2007 |
19 | | 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: 20-25 |
18 | EE | Corin A. Gurr:
Visualising a Logic of Dependability Arguments.
VLL 2007: 97-109 |
2004 |
17 | EE | Daniel Winterstein,
Alan Bundy,
Corin A. Gurr,
Mateja Jamnik:
An Experimental Comparison of Diagrammatic and Algebraic Logics.
Diagrams 2004: 432-434 |
16 | EE | Daniel Winterstein,
Alan Bundy,
Corin A. Gurr:
Dr.Doodle: A Diagrammatic Theorem Prover.
IJCAR 2004: 331-335 |
2003 |
15 | EE | K. Clarke,
John A. Hughes,
David Martin,
Mark Rouncefield,
Ian Sommerville,
Corin A. Gurr,
Mark Hartswood,
Rob Procter,
Roger Slack,
Alexander Voß:
Dependable Red Hot Action.
ECSCW 2003: 61-80 |
2002 |
14 | EE | Daniel Winterstein,
Alan Bundy,
Corin A. Gurr,
Mateja Jamnik:
Using Animation in Diagrammatic Theorem Proving.
Diagrams 2002: 46-60 |
13 | EE | Corin A. Gurr,
Gillian Hardstone:
Modelling organisational practice in user requirements.
SAC 2002: 716-720 |
2001 |
12 | EE | Alan F. Blackwell,
Carol Britton,
Anna Louise Cox,
Thomas R. G. Green,
Corin A. Gurr,
Gada F. Kadoda,
Maria Kutar,
Martin 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: 325-341 |
11 | EE | Corin A. Gurr,
Gillian Hardstone:
Implementing Configurable Information Systems: A Combined Social Science and Cognitive Science Approach.
Cognitive Technology 2001: 391-404 |
10 | EE | Corin A. Gurr:
Aligning syntax and semantics in formalisations of visual languages.
HCC 2001: 60-61 |
2000 |
9 | EE | Corin A. Gurr,
Konstantinos Tourlas:
Formalising the Essence of Diagrammatic Syntax.
Diagrams 2000: 483-485 |
8 | EE | Corin A. Gurr,
Konstantinos Tourlas:
Towards the principled design of software engineering diagrams.
ICSE 2000: 509-518 |
1999 |
7 | EE | Corin A. Gurr,
Konstantinos Tourlas:
Formalizing Pragmatic Features of Graph-Based Notations.
VL 1999: 220-227 |
6 | | Corin A. Gurr:
Effective Diagrammatic Communication: Syntactic, Semantic and Pragmatic Issues.
J. Vis. Lang. Comput. 10(4): 317-342 (1999) |
1997 |
5 | | Keith Stenning,
Corin A. Gurr:
Human-Formalism Interaction: Studies in Communication through Formalism.
Interacting with Computers 9(2): 111-128 (1997) |
1996 |
4 | EE | Corin A. Gurr:
Verifiable partial specifications for logic programming.
SAC 1996: 374-379 |
1995 |
3 | | Corin A. Gurr:
Declarative Annotations for Logic Programs.
ILPS 1995: 639 |
2 | | Corin A. Gurr:
Techniques-Based Programming Environment for Gödel.
LPE 1995 |
1993 |
1 | | Corin A. Gurr:
Specialising the Ground Representation in the Logic Programming Language Gödel.
LOPSTR 1993: 124-140 |