Corin A. Gurr

Publication Activity (10 Years)

Years Active: 1993-2007
Publications (10 Years): 0

University of Bristol, UK (PHD)

Education History

University of Bristol, UK

PHD

Publications

Corin A. Gurr
Visualising a Logic of Dependability Arguments. VLL (2007)
T. He, P. Ribbins, R. Brown, Lily Sun, Corin A. Gurr
A Design for Business Intelligence Service in Demand Driven Supply Chain Management. ICEIS (4) (2007)
Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik
An Experimental Comparison of Diagrammatic and Algebraic Logics. Diagrams (2004)
Daniel Winterstein, Alan Bundy, Corin A. Gurr
Dr.Doodle: A Diagrammatic Theorem Prover. IJCAR (2004)
Karen Clarke, John A. Hughes, David B. Martin, Mark Rouncefield, Ian Sommerville, Corin A. Gurr, Mark Hartswood, Rob Procter, Roger Slack, Alexander Voß
Dependable Red Hot Action. ECSCW (2003)
Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik
Using Animation in Diagrammatic Theorem Proving. Diagrams (2002)
Corin A. Gurr, Gillian Hardstone
Modelling organisational practice in user requirements. SAC (2002)
Corin A. Gurr
Aligning syntax and semantics in formalisations of visual languages. HCC (2001)
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, Allan Wong, R. Michael Young
Cognitive Dimensions of Notations: Design Tools for Cognitive Technology. Cognitive Technology (2001)
Corin A. Gurr, Gillian Hardstone
Implementing Configurable Information Systems: A Combined Social Science and Cognitive Science Approach. Cognitive Technology (2001)
Corin A. Gurr, Konstantinos Tourlas
Towards the principled design of software engineering diagrams. ICSE (2000)
Corin A. Gurr, Konstantinos Tourlas
Formalising the Essence of Diagrammatic Syntax. Diagrams (2000)
Corin A. Gurr, Konstantinos Tourlas
Formalizing Pragmatic Features of Graph-Based Notations. VL (1999)
Corin A. Gurr
Effective Diagrammatic Communication: Syntactic, Semantic and Pragmatic Issues. J. Vis. Lang. Comput. 10 (4) (1999)
Corin A. Gurr, John Lee, Keith Stenning
Theories of Diagrammatic Reasoning: Distinguishing Component Problems. Minds Mach. 8 (4) (1998)
Corin A. Gurr
Knowledge engineering in the communication of Information for safety critical systems. Knowl. Eng. Rev. 12 (3) (1997)
Keith Stenning, Corin A. Gurr
Human-Formalism Interaction: Studies in Communication through Formalism. Interact. Comput. 9 (2) (1997)
Corin A. Gurr
Verifiable partial specifications for logic programming. SAC (1996)
Corin A. Gurr
Declarative Annotations for Logic Programs. ILPS (1995)
Corin A. Gurr
Techniques-Based Programming Environment for Gödel. LPE (1995)
Corin A. Gurr
Specialising the Ground Representation in the Logic Programming Language Gödel. LOPSTR (1993)

Corin A. Gurr.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Corin A. Gurr