Mohammad Reza Mousavi
About
Mohammad Reza Mousavi has authored 77 papers that have received a total of 389 indexed citations.
This includes 41 papers in Computational Theory and Mathematics, 40 papers in Artificial Intelligence and 27 papers in Software. The topics of these papers are Formal Methods in Verification (33 papers), Logic, programming, and type systems (21 papers) and Logic, Reasoning, and Knowledge (16 papers). Mohammad Reza Mousavi is often cited by papers focused on Formal Methods in Verification (33 papers), Logic, programming, and type systems (21 papers) and Logic, Reasoning, and Knowledge (16 papers) and collaborates with scholars based in The Netherlands, Sweden and United Kingdom. Mohammad Reza Mousavi's co-authors include Michel Reniers, Jan Friso Groote, Anna Ingólfsdóttir, Luca Aceto and Marjan Sirjani and has published in prestigious journals such as Computer, Theoretical Computer Science and Lecture notes in computer science.
In The Last Decade
side by side view
Countries citing papers authored by Mohammad Reza Mousavi
Since SpecializationCitations
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Masatsugu Otsuki Breakdown of academic impact, for papers by Kim Geok Soh Breakdown of academic impact, for papers by Timothy M. A. Utteridge Breakdown of academic impact, for papers by C. N. Smithers Breakdown of academic impact, for papers by Н. Н. Кабальнова Breakdown of academic impact, for papers by K. Hoffmann Breakdown of academic impact, for papers by Mohamed Khaldi Breakdown of academic impact, for papers by L.C. Leal