Geoffrey Burn
About
Geoffrey Burn has authored 9 papers that have received a total of 72 indexed citations.
This includes 4 papers in Artificial Intelligence, 4 papers in Computational Theory and Mathematics and 3 papers in Sociology and Political Science. The topics of these papers are Formal Methods in Verification (4 papers), Logic, programming, and type systems (4 papers) and Parallel Computing and Optimization Techniques (2 papers). Geoffrey Burn is often cited by papers focused on Formal Methods in Verification (4 papers), Logic, programming, and type systems (4 papers) and Parallel Computing and Optimization Techniques (2 papers) and collaborates with scholars based in United Kingdom and France. Geoffrey Burn's co-authors include Chris Hankin, Mark Ryan, Daniel Le Métayer, Simon Peyton Jones and Jon Derek Loftis and has published in prestigious journals such as Theoretical Computer Science, Science of Computer Programming and Journal of Functional Programming
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by G. Wölfle are co-authored with Top fields papers by John Limon are about Top countries impacted by papers by I. C. BRILL Top fields papers by Thomas Kubitza are about Top fields papers by Shuyin Huang are about Top countries impacted by papers by Hideki Ishizuka Top journals papers by Reinhard Kramar are published in Top authors papers by B. Klaassen are co-authored with