Geoff Sutcliffe
About
Geoff Sutcliffe has authored 73 papers that have received a total of 858 indexed citations.
This includes 56 papers in Artificial Intelligence, 45 papers in Computational Theory and Mathematics and 10 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (45 papers), Formal Methods in Verification (30 papers) and Logic, Reasoning, and Knowledge (18 papers). Geoff Sutcliffe is often cited by papers focused on Logic, programming, and type systems (45 papers), Formal Methods in Verification (30 papers) and Logic, Reasoning, and Knowledge (18 papers) and collaborates with scholars based in United States, Australia and Germany. Geoff Sutcliffe's co-authors include Christian Suttner, Josef Urban, Francis Jeffry Pelletier, Stephan Schulz and Андрей Воронков and has published in prestigious journals such as Artificial Intelligence, JAIDS Journal of Acquired Immune Deficiency Syndromes and Knowledge-Based Systems
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Bruce D. Baker are co-authored with Top authors papers by You Liu are co-authored with Top authors papers by Brendan Roycroft are co-authored with Top fields papers by E. Tıraşoğlu are about Top countries impacted by papers by Marincan Pardede Top countries impacted by papers by Jina Lee Top journals papers by Benjamin Gal‐Or are published in Top countries impacted by papers by M. Blanco