Hanifa Boucheneb
About
Hanifa Boucheneb has authored 43 papers that have received a total of 220 indexed citations.
This includes 28 papers in Computational Theory and Mathematics, 16 papers in Software and 8 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (26 papers), Petri Nets in System Modeling (26 papers) and Model-Driven Software Engineering Techniques (14 papers). Hanifa Boucheneb is often cited by papers focused on Formal Methods in Verification (26 papers), Petri Nets in System Modeling (26 papers) and Model-Driven Software Engineering Techniques (14 papers) and collaborates with scholars based in Canada, France and China. Hanifa Boucheneb's co-authors include Kamel Barkaoui, Rachid Hadjidj, Chamseddine Talhi, Samuel Pierre and Alejandro Quintero and has published in prestigious journals such as Automatica, IEEE Access and Information Sciences
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Kamarulzaman Kamarudin are about Top authors papers by Richard E. Greenleaf are co-authored with Top countries impacted by papers by Metesh Acharya Top authors papers by Kevin Brink are co-authored with Top fields papers by B. Caiffi are about Top journals papers by Jan Van Geel are published in Top fields papers by A. Boiano are about Top journals papers by Manas Kalra are published in