Corin A. Gurr

26 papers A* 1A 1B 1C 4Misc 2Journal 4Unranked 9
YearRankTypeTitle / Venue / Authors
2007 — conf
A Design for Business Intelligence Service in Demand Driven Supply Chain Management.
ICEIS (4)
T. He, P. Ribbins, R. Brown, Lily Sun, Corin A. Gurr
2007 — conf
Visualising a Logic of Dependability Arguments.
VLL
Corin A. Gurr
2006 — ch.
Explicating Failure.
Trust in Technology
Dave Martin, Alexander Voß, Corin A. Gurr, Rob Procter, Roger Slack, Mark Hartswood
2004 C conf
An Experimental Comparison of Diagrammatic and Algebraic Logics.
Diagrams
Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik
2004 A conf
Dr.Doodle: A Diagrammatic Theorem Prover.
IJCAR
Daniel Winterstein, Alan Bundy, Corin A. Gurr
2004 — ch.
The Persuasion Machine.
Argumentation Machines
Michael A. Gilbert, Floriana Grasso, Leo Groarke, Corin A. Gurr, Janne M. Gerlofs
2003 B conf
Dependable Red Hot Action.
ECSCW
Karen Clarke, John A. Hughes, David B. Martin, Mark Rouncefield, Ian Sommerville, Corin A. Gurr, Mark Hartswood, Rob Procter, Roger Slack, Alexander Voß
2002 — ch.
Combining Semantic and Cognitive Accounts of Diagrams.
Diagrammatic Representation and Reasoning
Corin A. Gurr
2002 Misc conf
Modelling organisational practice in user requirements.
SAC
Corin A. Gurr, Gillian Hardstone
2002 C conf
Using Animation in Diagrammatic Theorem Proving.
Diagrams
Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik
2001 — conf
Aligning syntax and semantics in formalisations of visual languages.
HCC
Corin A. Gurr
2001 — conf
Cognitive Dimensions of Notations: Design Tools for Cognitive Technology.
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
2001 — conf
Implementing Configurable Information Systems: A Combined Social Science and Cognitive Science Approach.
Cognitive Technology
Corin A. Gurr, Gillian Hardstone
2000 C conf
Formalising the Essence of Diagrammatic Syntax.
Diagrams
Corin A. Gurr, Konstantinos Tourlas
2000 A* conf
Towards the principled design of software engineering diagrams.
ICSE
Corin A. Gurr, Konstantinos Tourlas
1999 J jnl
Effective Diagrammatic Communication: Syntactic, Semantic and Pragmatic Issues.
J. Vis. Lang. Comput.
Corin A. Gurr
1999 — conf
Formalizing Pragmatic Features of Graph-Based Notations.
VL
Corin A. Gurr, Konstantinos Tourlas
1998 — conf
Software architectures in industrial systems: an empirical study.
ISAW@FSE
Corin A. Gurr
1998 J jnl
Theories of Diagrammatic Reasoning: Distinguishing Component Problems.
Minds Mach.
Corin A. Gurr, John Lee, Keith Stenning
1997 J jnl
Human-Formalism Interaction: Studies in Communication through Formalism.
Interact. Comput.
Keith Stenning, Corin A. Gurr
1997 J jnl
Knowledge engineering in the communication of Information for safety critical systems.
Knowl. Eng. Rev.
Corin A. Gurr
1996 Misc conf
Verifiable partial specifications for logic programming.
SAC
Corin A. Gurr
1995 — conf
Declarative Annotations for Logic Programs.
ILPS
Corin A. Gurr
1995 — conf
Techniques-Based Programming Environment for Gödel.
LPE
Corin A. Gurr
1994 — —
A self-applicable partial evaluator for the logic programming language Goedel.
Corin A. Gurr
1993 C conf
Specialising the Ground Representation in the Logic Programming Language Gödel.
LOPSTR
Corin A. Gurr