Sergio Mover
About
Sergio Mover has authored 15 papers that have received a total of 102 indexed citations.
This includes 13 papers in Computational Theory and Mathematics, 11 papers in Software and 9 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (13 papers), Software Testing and Debugging Techniques (7 papers) and Logic, programming, and type systems (5 papers). Sergio Mover is often cited by papers focused on Formal Methods in Verification (13 papers), Software Testing and Debugging Techniques (7 papers) and Logic, programming, and type systems (5 papers) and collaborates with scholars based in Italy, United Kingdom and United States. Sergio Mover's co-authors include Alessandro Cimatti, Stefano Tonetta, Marco Roveri, Alberto Griggio and Marco Bozzano and has published in prestigious journals such as Science of Computer Programming, ACM Transactions on Embedded Computing Systems and Formal Methods in System Design
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Hiromi Nakaiwa are about Top countries impacted by papers by Daniel S. Bandari Top journals papers by G. Visser are published in Top journals papers by Christine Smith are published in Top journals papers by Chantale Pambrun are published in Top journals papers by Emmanuel Kwaku Manu are published in Top countries impacted by papers by Juliana Spahr Top authors papers by C. Dallett Hemphill are co-authored with