Massimo Benerecetti
About
Massimo Benerecetti has authored 32 papers that have received a total of 219 indexed citations.
This includes 24 papers in Artificial Intelligence, 21 papers in Computational Theory and Mathematics and 7 papers in Software. The topics of these papers are Formal Methods in Verification (21 papers), Logic, Reasoning, and Knowledge (14 papers) and Logic, programming, and type systems (14 papers). Massimo Benerecetti is often cited by papers focused on Formal Methods in Verification (21 papers), Logic, Reasoning, and Knowledge (14 papers) and Logic, programming, and type systems (14 papers) and collaborates with scholars based in Italy, United Kingdom and France. Massimo Benerecetti's co-authors include Fabio Mogavero, Adriano Peron, Paolo Bouquet, Marco Faella and Aniello Murano and has published in prestigious journals such as Future Generation Computer Systems, Theoretical Computer Science and Lecture notes in computer science.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Delphina P. Mamiro Breakdown of academic impact, for papers by Ling Bai Breakdown of academic impact, for papers by Francisco Sánchez Breakdown of academic impact, for papers by Giacomo d’Andrea Breakdown of academic impact, for papers by J. Haslam Breakdown of academic impact, for papers by Leuridan Cavalcante Torres Breakdown of academic impact, for papers by H. H. Sambraus Breakdown of academic impact, for papers by Michaele Alvim Milward‐de-Azevedo