Mike Barnett

35 papers and 867 indexed citations i.

Mike Barnett has authored 35 papers that have received a total of 867 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 Parallel Computing and Optimization Techniques (6 papers), Formal Methods in Verification (6 papers) and Logic, programming, and type systems (6 papers). Mike Barnett is often cited by papers focused on Parallel Computing and Optimization Techniques (6 papers), Formal Methods in Verification (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, K. Rustan M. Leino, Robert A. Geijn, 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.