Specialising the Ground Representation in the Logic Programming Language Gödel. - Corin A. Gurr (LOPSTR, 1993)

A self-applicable partial evaluator for the logic programming language Goedel. - Corin A. Gurr (1994)

Techniques-Based Programming Environment for Gödel. - Corin A. Gurr (LPE, 1995)

Declarative Annotations for Logic Programs. - Corin A. Gurr (ILPS, 1995)

Verifiable partial specifications for logic programming. - Corin A. Gurr (SAC, 1996)

Human-Formalism Interaction: Studies in Communication through Formalism. - Keith Stenning; Corin A. Gurr (Interact. Comput., 1997)

Knowledge engineering in the communication of Information for safety critical systems. - Corin A. Gurr (Knowl. Eng. Rev., 1997)

Software architectures in industrial systems: an empirical study. - Corin A. Gurr (ISAW@FSE, 1998)

Theories of Diagrammatic Reasoning: Distinguishing Component Problems. - Corin A. Gurr; John Lee 004; Keith Stenning (Minds Mach., 1998)

Formalizing Pragmatic Features of Graph-Based Notations. - Corin A. Gurr; Konstantinos Tourlas (VL, 1999)

Effective Diagrammatic Communication: Syntactic, Semantic and Pragmatic Issues. - Corin A. Gurr (J. Vis. Lang. Comput., 1999)

Formalising the Essence of Diagrammatic Syntax. - Corin A. Gurr; Konstantinos Tourlas (Diagrams, 2000)

Towards the principled design of software engineering diagrams. - Corin A. Gurr; Konstantinos Tourlas (ICSE, 2000)

Cognitive Dimensions of Notations: Design Tools for Cognitive Technology. - Alan F. Blackwell; Carol Britton; Anna Louise Cox; Thomas R. G. Green; Corin A. Gurr; Gada F. Kadoda; Maria Kutar; Martin J. Loomes; Chrystopher L. Nehaniv; Marian Petre; Chris Roast; Chris Roe; et al. (Cognitive Technology, 2001)

Implementing Configurable Information Systems: A Combined Social Science and Cognitive Science Approach. - Corin A. Gurr; Gillian Hardstone (Cognitive Technology, 2001)

Aligning syntax and semantics in formalisations of visual languages. - Corin A. Gurr (HCC, 2001)

Combining Semantic and Cognitive Accounts of Diagrams. - Corin A. Gurr (Diagrammatic Representation and Reasoning, 2002)

Using Animation in Diagrammatic Theorem Proving. - Daniel Winterstein; Alan Bundy; Corin A. Gurr; Mateja Jamnik (Diagrams, 2002)

Modelling organisational practice in user requirements. - Corin A. Gurr; Gillian Hardstone (SAC, 2002)

Dependable Red Hot Action. - Karen Clarke; John A. Hughes; David B. Martin 001; Mark Rouncefield; Ian Sommerville; Corin A. Gurr; Mark Hartswood; Rob Procter; Roger Slack; Alexander Voß (ECSCW, 2003)

Dr.Doodle: A Diagrammatic Theorem Prover. - Daniel Winterstein; Alan Bundy; Corin A. Gurr (IJCAR, 2004)

An Experimental Comparison of Diagrammatic and Algebraic Logics. - Daniel Winterstein; Alan Bundy; Corin A. Gurr; Mateja Jamnik (Diagrams, 2004)

The Persuasion Machine. - Michael A. Gilbert; Floriana Grasso; Leo Groarke; Corin A. Gurr; Janne M. Gerlofs (Argumentation Machines, 2004)

Explicating Failure. - Dave Martin; Alexander Voß; Corin A. Gurr; Rob Procter; Roger Slack; Mark Hartswood (Trust in Technology, 2006)

A Design for Business Intelligence Service in Demand Driven Supply Chain Management. - T. He; P. Ribbins; R. Brown; Lily Sun; Corin A. Gurr (ICEIS (4), 2007)

Visualising a Logic of Dependability Arguments. - Corin A. Gurr (VLL, 2007)