Marco Roveri
About
Marco Roveri has authored 68 papers that have received a total of 1.3k indexed citations.
This includes 48 papers in Artificial Intelligence, 48 papers in Computational Theory and Mathematics and 36 papers in Software. The topics of these papers are Formal Methods in Verification (47 papers), Model-Driven Software Engineering Techniques (19 papers) and Software Testing and Debugging Techniques (16 papers). Marco Roveri is often cited by papers focused on Formal Methods in Verification (47 papers), Model-Driven Software Engineering Techniques (19 papers) and Software Testing and Debugging Techniques (16 papers) and collaborates with scholars based in Italy, Germany and United States. Marco Roveri's co-authors include Alessandro Cimatti, Andrea Micheli, Stefano Tonetta, Marco Pistore and Paolo Traverso and has published in prestigious journals such as Automatica, Artificial Intelligence and Journal of Lightwave Technology
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Christopher Turner are published in Top journals papers by Yuki Yuza are published in Top journals papers by M. R. Mosquera‐Losada are published in Top countries impacted by papers by Antonella Amoruso Top fields papers by Tayfun Bağış are about Top fields papers by Satoru Fujita are about Top authors papers by Jim Duggan are co-authored with Top fields papers by Ji Hoon Seo are about