Mike Barnett
About
Mike Barnett has authored 35 papers that have received a total of 860 indexed citations.
This includes 12 papers in Computer Networks and Communications, 8 papers in Artificial Intelligence and 8 papers in Information Systems. The topics of these papers are Formal Methods in Verification (6 papers), Parallel Computing and Optimization Techniques (6 papers) and Logic, programming, and type systems (6 papers). Mike Barnett is often cited by papers focused on Formal Methods in Verification (6 papers), Parallel Computing and Optimization Techniques (6 papers) and Logic, programming, and type systems (6 papers) and collaborates with scholars based in United States, United Kingdom and Canada. Mike Barnett's co-authors include Badrish Chandramouli, Robert A. Geijn, K. Rustan M. Leino, Wolfram Schulte and D. A. Ramsay and has published in prestigious journals such as The Journal of Chemical Physics, Chemical Physics Letters and Communications of the ACM
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Richard L. Stalnaker are about Top journals papers by Mark C. Preul are published in Top fields papers by F.C. Erné are about Top countries impacted by papers by Olivier Grosso Top journals papers by F Salord are published in Top authors papers by Yuanyuan Dong are co-authored with Top countries impacted by papers by Say Beng Tan Top countries impacted by papers by L. Declercq