Ramtin Khosravi
About
Ramtin Khosravi has authored 16 papers that have received a total of 56 indexed citations.
This includes 10 papers in Software, 6 papers in Artificial Intelligence and 6 papers in Computational Theory and Mathematics. The topics of these papers are Formal Methods in Verification (6 papers), Model-Driven Software Engineering Techniques (6 papers) and Advanced Software Engineering Methodologies (5 papers). Ramtin Khosravi is often cited by papers focused on Formal Methods in Verification (6 papers), Model-Driven Software Engineering Techniques (6 papers) and Advanced Software Engineering Methodologies (5 papers) and collaborates with scholars based in Iran, The Netherlands and Iceland. Ramtin Khosravi's co-authors include Marjan Sirjani, Mohammad Ghodsi, Ehsan Khamespanah, Olga Kouchnarenko and Tim A. C. Willemse and has published in prestigious journals such as Theoretical Computer Science, Lecture notes in computer science and Information Processing Letters
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by T. O’Connor Top journals papers by Felipe Amstalden Trevisan are published in Top authors papers by Giovanni Boccaccio are co-authored with Top authors papers by Shailendra Lakhanpal are co-authored with Top fields papers by Kim are about Top journals papers by Gilmar Ferreira Mendes are published in Top fields papers by Z. Yan are about Top journals papers by Lynda Juall Carpenito are published in