Ahmed Khoumsi

47 papers and 260 indexed citations i.

About

Ahmed Khoumsi has authored 47 papers that have received a total of 260 indexed citations. This includes 27 papers in Computational Theory and Mathematics, 22 papers in Computer Networks and Communications and 7 papers in Artificial Intelligence. The topics of these papers are Petri Nets in System Modeling (24 papers), Formal Methods in Verification (22 papers) and Distributed systems and fault tolerance (15 papers). Ahmed Khoumsi is often cited by papers focused on Petri Nets in System Modeling (24 papers), Formal Methods in Verification (22 papers) and Distributed systems and fault tolerance (15 papers) and collaborates with scholars based in Canada, Morocco and Portugal. Ahmed Khoumsi's co-authors include João P. Trovão, Mustapha Nourelfath, Ismaïl Berrada, Bernd Freisleben and Kassem Saleh and has published in prestigious journals such as IEEE Transactions on Automatic Control, IEEE Transactions on Vehicular Technology and IEEE Transactions on Software Engineering

In The Last Decade

Rankless by CCL
2025