Dimitris Mostrous
About
Dimitris Mostrous has authored 5 papers that have received a total of 113 indexed citations.
This includes 5 papers in Artificial Intelligence, 5 papers in Computational Theory and Mathematics and 1 paper in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (5 papers), Logic, programming, and type systems (5 papers) and Advanced Software Engineering Methodologies (2 papers). Dimitris Mostrous is often cited by papers focused on Formal Methods in Verification (5 papers), Logic, programming, and type systems (5 papers) and Advanced Software Engineering Methodologies (2 papers) and collaborates with scholars based in Portugal, United Kingdom and Italy. Dimitris Mostrous's co-authors include Nobuko Yoshida, Vasco T. Vasconcelos, Hans Hüttel, Luca Padovani and Ivan Lanese and has published in prestigious journals such as ACM Computing Surveys and Information and Computation.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Bethany A. Stahl Breakdown of academic impact, for papers by D. Guadagnoli Breakdown of academic impact, for papers by Sebastian Broch Breakdown of academic impact, for papers by Poppy Iveson Breakdown of academic impact, for papers by Julie Dekens Breakdown of academic impact, for papers by Natacha Faivre Breakdown of academic impact, for papers by Erin E. Morley Breakdown of academic impact, for papers by Mert Dikmen