Saïd Amari

39 papers and 235 indexed citations i.

About

Saïd Amari has authored 39 papers that have received a total of 235 indexed citations. This includes 38 papers in Computational Theory and Mathematics, 21 papers in Hardware and Architecture and 15 papers in Computer Networks and Communications. The topics of these papers are Petri Nets in System Modeling (38 papers), Formal Methods in Verification (24 papers) and Real-Time Systems Scheduling (20 papers). Saïd Amari is often cited by papers focused on Petri Nets in System Modeling (38 papers), Formal Methods in Verification (24 papers) and Real-Time Systems Scheduling (20 papers) and collaborates with scholars based in France, Algeria and Burundi. Saïd Amari's co-authors include Jean-Jacques Lesage, Isabel Demongodin, Mohamed Barkallah, Léonardo Brenner and Mohamed Haddar and has published in prestigious journals such as IEEE Transactions on Automatic Control, IEEE Transactions on Industrial Electronics and Computers & Industrial Engineering

In The Last Decade

Rankless by CCL
2025