Mohammad Mahdi Jaghoori

13 papers and 187 indexed citations i.

Mohammad Mahdi Jaghoori has authored 13 papers that have received a total of 187 indexed citations. This includes 9 papers in Computational Theory and Mathematics, 5 papers in Hardware and Architecture and 4 papers in Software. The topics of these papers are Formal Methods in Verification (7 papers), Embedded Systems Design Techniques (4 papers) and Real-Time Systems Scheduling (4 papers). Mohammad Mahdi Jaghoori is often cited by papers focused on Formal Methods in Verification (7 papers), Embedded Systems Design Techniques (4 papers) and Real-Time Systems Scheduling (4 papers) and collaborates with scholars based in The Netherlands, United Kingdom and Iceland. Mohammad Mahdi Jaghoori's co-authors include Marjan Sirjani, Sílvia D. Olabarriaga, Tom Chothia, Boris Bleijlevens and Ali Movaghar and has published in prestigious journals such as Journal of Computer-Aided Molecular Design, Acta Informatica and Concurrency and Computation Practice and Experience.