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

Papers:28 Indexedcitations:201 20152020
InternationalJournalofComputerIntegratedManufacturing DiscreteEventDynamicSystems IEEETransactionsonAutomaticControl Computers&IndustrialEngineering EuropeanJournalofControl IEEETransactionsonIndustrialElectronics TheInternationalJournalofAdvancedManufacturingTechnology InternationalJournalofControl InternationalJournalofSystemsScience IEEETransactionsonAutomationScienceandEngineering SaïdAmari

Papers by

i Specialization
i since
published in

Saïd Amari

230 citations, 35 papers

Rankless by CCL
2025