Geoff Sutcliffe

73 papers and 862 indexed citations i.

Geoff Sutcliffe has authored 73 papers that have received a total of 862 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, Андрей Воронков and Stephan Schulz and has published in prestigious journals such as Artificial Intelligence, JAIDS Journal of Acquired Immune Deficiency Syndromes and Knowledge-Based Systems.