Ming Kawaguchi
About
Ming Kawaguchi has authored 6 papers that have received a total of 15 indexed citations.
This includes 5 papers in Artificial Intelligence, 3 papers in Hardware and Architecture and 1 paper in Neurology. The topics of these papers are Security and Verification in Computing (4 papers), Logic, programming, and type systems (4 papers) and Parallel Computing and Optimization Techniques (3 papers). Ming Kawaguchi is often cited by papers focused on Security and Verification in Computing (4 papers), Logic, programming, and type systems (4 papers) and Parallel Computing and Optimization Techniques (3 papers) and collaborates with scholars based in United States and Canada. Ming Kawaguchi's co-authors include Patrick M. Rondon, Ranjit Jhala, John C. Drummond, Margo Seltzer and Stephen Chong and has published in prestigious journals such as ACM SIGPLAN Notices, ACM Transactions on Programming Languages and Systems and Journal of Neurosurgical Anesthesiology.
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Renée Johnson are about Top journals papers by Philip Lyndon Reynolds are published in Top countries impacted by papers by Karin Oellers-Frahm Top journals papers by Maria Creignou are published in Top journals papers by Robert W. Morrill are published in Top authors papers by W. R. Berry are co-authored with Top journals papers by P. Eerola are published in Top fields papers by Buchi Emecheta are about