Massimo Merro

35 papers and 325 indexed citations i.

About

Massimo Merro has authored 35 papers that have received a total of 325 indexed citations. This includes 21 papers in Computer Networks and Communications, 17 papers in Artificial Intelligence and 16 papers in Computational Theory and Mathematics. The topics of these papers are Distributed systems and fault tolerance (13 papers), Formal Methods in Verification (12 papers) and Logic, programming, and type systems (12 papers). Massimo Merro is often cited by papers focused on Distributed systems and fault tolerance (13 papers), Formal Methods in Verification (12 papers) and Logic, programming, and type systems (12 papers) and collaborates with scholars based in Italy, United Kingdom and France. Massimo Merro's co-authors include Ruggero Lanotte, Uwe Nestmann, Hans Hüttel, Matthew Hennessy and Simone Tini and has published in prestigious journals such as Journal of the ACM, Theoretical Computer Science and ACM SIGPLAN Notices

In The Last Decade

Rankless by CCL
2025