Corin A. Gurr

According to our database, Corin A. Gurr authored at least 26 papers between 1993 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Visualising a Logic of Dependability Arguments.

Corin A. Gurr

Proceedings of the VLL 2007 workshop on Visual Languages and Logic in Coeur d'Aléne, 2007

A Design for Business Intelligence Service in Demand Driven Supply Chain Management.

T. He, P. Ribbins, R. Brown, Lily Sun, Corin A. Gurr

Proceedings of the ICEIS 2007, 2007

2006

Explicating Failure.

Dave Martin, Alexander Voß, Corin A. Gurr, Rob Procter, Roger Slack, Mark Hartswood

Proceedings of the Trust in Technology: A Socio-Technical Perspective, 2006

2004

The Persuasion Machine.

Michael A. Gilbert, Floriana Grasso, Leo Groarke, Corin A. Gurr, Janne M. Gerlofs

Proceedings of the Argumentation Machines, New Frontiers in Argument and Computation., 2004

An Experimental Comparison of Diagrammatic and Algebraic Logics.

Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik

Proceedings of the Diagrammatic Representation and Inference, 2004

Dr.Doodle: A Diagrammatic Theorem Prover.

Daniel Winterstein, Alan Bundy, Corin A. Gurr

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

2003

Dependable Red Hot Action.

Karen Clarke, John A. Hughes, David B. Martin, Mark Rouncefield, Ian Sommerville, Corin A. Gurr, Mark Hartswood, Rob Procter, Roger Slack, Alexander Voß

Proceedings of the Eighth European Conference on Computer Supported Cooperative Work, 2003

2002

Modelling organisational practice in user requirements.

Corin A. Gurr, Gillian Hardstone

Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), 2002

Using Animation in Diagrammatic Theorem Proving.

Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik

Proceedings of the Diagrammatic Representation and Inference, 2002

Combining Semantic and Cognitive Accounts of Diagrams.

Corin A. Gurr

Proceedings of the Diagrammatic Representation and Reasoning, 2002

2001

Aligning syntax and semantics in formalisations of visual languages.

Corin A. Gurr

Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

Implementing Configurable Information Systems: A Combined Social Science and Cognitive Science Approach.

Corin A. Gurr, Gillian Hardstone

Proceedings of the Cognitive Technology: Instruments of Mind, 4th International Conference, 2001

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, Allan Wong, R. Michael Young

Proceedings of the Cognitive Technology: Instruments of Mind, 4th International Conference, 2001

2000

Towards the principled design of software engineering diagrams.

Corin A. Gurr, Konstantinos Tourlas

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Formalising the Essence of Diagrammatic Syntax.

Corin A. Gurr, Konstantinos Tourlas

Proceedings of the Theory and Application of Diagrams, First International Conference, 2000

1999

Effective Diagrammatic Communication: Syntactic, Semantic and Pragmatic Issues.

Corin A. Gurr

J. Vis. Lang. Comput., 1999

Formalizing Pragmatic Features of Graph-Based Notations.

Corin A. Gurr, Konstantinos Tourlas

Proceedings of the 1999 IEEE Symposium on Visual Languages, 1999

1998

Theories of Diagrammatic Reasoning: Distinguishing Component Problems.

Corin A. Gurr, John Lee, Keith Stenning

Minds Mach., 1998

Software architectures in industrial systems: an empirical study.

Corin A. Gurr

Proceedings of the Third International Workshop on Software Architecture, 1998

1997

Knowledge engineering in the communication of Information for safety critical systems.

Corin A. Gurr

Knowl. Eng. Rev., 1997

Human-Formalism Interaction: Studies in Communication through Formalism.

Keith Stenning, Corin A. Gurr

Interact. Comput., 1997

1996

Verifiable partial specifications for logic programming.

Corin A. Gurr

Proceedings of the 1996 ACM Symposium on Applied Computing, 1996

1995

Declarative Annotations for Logic Programs.

Corin A. Gurr

Proceedings of the Logic Programming, 1995

Techniques-Based Programming Environment for Gödel.

Corin A. Gurr

Proceedings of the 7th Workshop on Logic Programming Environments, 1995

1994

A self-applicable partial evaluator for the logic programming language Goedel.

Corin A. Gurr

PhD thesis, 1994

1993

Specialising the Ground Representation in the Logic Programming Language Gödel.

Corin A. Gurr

Proceedings of the Logic Program Synthesis and Transformation, 1993