Michael Carbin
About
Michael Carbin has authored 47 papers that have received a total of 1.1k indexed citations.
This includes 23 papers in Artificial Intelligence, 21 papers in Hardware and Architecture and 15 papers in Computer Networks and Communications. The topics of these papers are Parallel Computing and Optimization Techniques (21 papers), Distributed systems and fault tolerance (8 papers) and Formal Methods in Verification (6 papers). Michael Carbin is often cited by papers focused on Parallel Computing and Optimization Techniques (21 papers), Distributed systems and fault tolerance (8 papers) and Formal Methods in Verification (6 papers) and collaborates with scholars based in United States, France and Singapore. Michael Carbin's co-authors include Martin Rinard, Saša Misailovíc, Stelios Sidiroglou, Charith Mendis and Deokhwan Kim and has published in prestigious journals such as Communications of the ACM, ACM Computing Surveys and ACM SIGPLAN Notices.
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Thang V. Nguyen are published in Top authors papers by E. Bostofte are co-authored with Top fields papers by Alejandro Recio‐Mayoral are about Top journals papers by Mirela Sedić are published in Top fields papers by Marcello Tropeano are about Top fields papers by Sripen Tantivess are about Top journals papers by Oscar Francesconi are published in Top fields papers by Mona A. El‐Ghazaly are about