Mohamed Khalgui

84 papers and 1.3k indexed citations i.

Mohamed Khalgui has authored 84 papers that have received a total of 1.3k indexed citations. This includes 32 papers in Computational Theory and Mathematics, 30 papers in Hardware and Architecture and 20 papers in Computer Networks and Communications. The topics of these papers are Petri Nets in System Modeling (30 papers), Real-Time Systems Scheduling (27 papers) and Formal Methods in Verification (21 papers). Mohamed Khalgui is often cited by papers focused on Petri Nets in System Modeling (30 papers), Real-Time Systems Scheduling (27 papers) and Formal Methods in Verification (21 papers) and collaborates with scholars based in Tunisia, China and Macao. Mohamed Khalgui's co-authors include Zhiwu Li, Olfa Mosbahi, Anis Koubâa, Naiqi Wu and Georg Frey and has published in prestigious journals such as Sensors, IEEE Access and Information Sciences.