H. Alla

13 papers and 113 indexed citations i.

H. Alla has authored 13 papers that have received a total of 113 indexed citations. This includes 12 papers in Computational Theory and Mathematics, 7 papers in Management Information Systems and 2 papers in Computer Networks and Communications. The topics of these papers are Petri Nets in System Modeling (11 papers), Formal Methods in Verification (9 papers) and Business Process Modeling and Analysis (7 papers). H. Alla is often cited by papers focused on Petri Nets in System Modeling (11 papers), Formal Methods in Verification (9 papers) and Business Process Modeling and Analysis (7 papers) and collaborates with scholars based in France, Iran and Algeria. H. Alla's co-authors include Abbas Dideban, Jonathan S. Ostroff, J. Zaytoon, Flora Charbonnier and Adib Allahham and has published in prestigious journals such as IEEE Transactions on Control Systems Technology, IEEE Transactions on Robotics and Automation and IEEE Transactions on Automation Science and Engineering