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
side by side view
Countries citing papers authored by Michael Carbin
Since SpecializationCitations
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Volker Roeber Breakdown of academic impact, for papers by Joseph D. Gresser Breakdown of academic impact, for papers by Keith D. Rochfort Breakdown of academic impact, for papers by Michael T. Stevens Breakdown of academic impact, for papers by Enduo Gao Breakdown of academic impact, for papers by Chia‐Chien Hsieh Breakdown of academic impact, for papers by Shan Yang Breakdown of academic impact, for papers by S.M. Jeng