Ali Jafari
About
Ali Jafari has authored 19 papers that have received a total of 243 indexed citations.
This includes 5 papers in Artificial Intelligence, 4 papers in Computational Theory and Mathematics and 3 papers in Education. The topics of these papers are Formal Methods in Verification (4 papers), Petri Nets in System Modeling (3 papers) and Real-Time Systems Scheduling (3 papers). Ali Jafari is often cited by papers focused on Formal Methods in Verification (4 papers), Petri Nets in System Modeling (3 papers) and Real-Time Systems Scheduling (3 papers) and collaborates with scholars based in Iceland, Iran and United States. Ali Jafari's co-authors include Marjan Sirjani, Ehsan Khamespanah, Xiao Luo, Holger Hermanns and Matteo Cimini and has published in prestigious journals such as Knowledge-Based Systems, Science of Computer Programming and Journal of Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Douglas Villela de Oliveira Lessa are co-authored with Top fields papers by Renato Pelessoni are about Top journals papers by Lisa Overholtzer are published in Top fields papers by Takahiro Itaya are about Top journals papers by Naoko Asahina are published in Top journals papers by William B. Lee are published in Top journals papers by Richard Davies are published in Top fields papers by Simo Sun are about