Michael Emmi

14 papers and 200 indexed citations i.

About

Michael Emmi has authored 14 papers that have received a total of 200 indexed citations. This includes 9 papers in Artificial Intelligence, 9 papers in Computer Networks and Communications and 6 papers in Hardware and Architecture. The topics of these papers are Distributed systems and fault tolerance (8 papers), Parallel Computing and Optimization Techniques (6 papers) and Security and Verification in Computing (6 papers). Michael Emmi is often cited by papers focused on Distributed systems and fault tolerance (8 papers), Parallel Computing and Optimization Techniques (6 papers) and Security and Verification in Computing (6 papers) and collaborates with scholars based in France, United States and Spain. Michael Emmi's co-authors include Ahmed Bouajjani, Constantin Enea, Rupak Majumdar, Roman Manevich and Jemin George and has published in prestigious journals such as Lecture notes in computer science, ACM SIGPLAN Notices and ACM Transactions on Programming Languages and Systems.

In The Last Decade

Rankless by CCL
2025