Peter Gammie

6 papers and 91 indexed citations i.

Peter Gammie has authored 6 papers that have received a total of 91 indexed citations. This includes 5 papers in Artificial Intelligence, 3 papers in Computational Theory and Mathematics and 3 papers in Hardware and Architecture. The topics of these papers are Security and Verification in Computing (4 papers), Parallel Computing and Optimization Techniques (3 papers) and Formal Methods in Verification (2 papers). Peter Gammie is often cited by papers focused on Security and Verification in Computing (4 papers), Parallel Computing and Optimization Techniques (3 papers) and Formal Methods in Verification (2 papers) and collaborates with scholars based in Australia. Peter Gammie's co-authors include Toby Murray, Gerwin Klein, Daniel Matichuk, Thomas Sewell and Antony L. Hosking and has published in prestigious journals such as ACM Computing Surveys, Lecture notes in computer science and ACM SIGPLAN Notices