Mike Barnett

35 papers and 860 indexed citations i.

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