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
Explore authors with similar magnitude of impact
Top journals papers by А.Н. Праведников are published in Top authors papers by Tadeusz Wibig are co-authored with Top countries impacted by papers by Zenonas Navickas Top fields papers by Manuel F. Struck are about Top authors papers by Manish Kumar are co-authored with Top countries impacted by papers by Leila Amiri‐Farahani Top countries impacted by papers by Ratnajit Bhattacharjee Top journals papers by Rodolfo Novelo‐Gutiérrez are published in