dblp.uni-trier.dewww.uni-trier.de

Corin A. Gurr

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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
18EECorin A. Gurr: Visualising a Logic of Dependability Arguments. VLL 2007: 97-109
2004
17EEDaniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik: An Experimental Comparison of Diagrammatic and Algebraic Logics. Diagrams 2004: 432-434
16EEDaniel Winterstein, Alan Bundy, Corin A. Gurr: Dr.Doodle: A Diagrammatic Theorem Prover. IJCAR 2004: 331-335
2003
15EEK. 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
14EEDaniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik: Using Animation in Diagrammatic Theorem Proving. Diagrams 2002: 46-60
13EECorin A. Gurr, Gillian Hardstone: Modelling organisational practice in user requirements. SAC 2002: 716-720
2001
12EEAlan 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
11EECorin A. Gurr, Gillian Hardstone: Implementing Configurable Information Systems: A Combined Social Science and Cognitive Science Approach. Cognitive Technology 2001: 391-404
10EECorin A. Gurr: Aligning syntax and semantics in formalisations of visual languages. HCC 2001: 60-61
2000
9EECorin A. Gurr, Konstantinos Tourlas: Formalising the Essence of Diagrammatic Syntax. Diagrams 2000: 483-485
8EECorin A. Gurr, Konstantinos Tourlas: Towards the principled design of software engineering diagrams. ICSE 2000: 509-518
1999
7EECorin 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
4EECorin 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

Coauthor Index

1Alan F. Blackwell [12]
2Carol Britton [12]
3R. Brown [19]
4Alan Bundy [14] [16] [17]
5K. Clarke [15]
6Anna Louise Cox [12]
7Thomas R. G. Green [12]
8Gillian Hardstone [11] [13]
9Mark Hartswood [15]
10T. He [19]
11John A. Hughes [15]
12Mateja Jamnik [14] [17]
13Gada F. Kadoda [12]
14Maria Kutar [12]
15Martin Loomes (Martin J. Loomes) [12]
16David Martin [15]
17Chrystopher L. Nehaniv [12]
18Marian Petre [12]
19Rob Procter [15]
20P. Ribbins [19]
21Chris Roast (Chris R. Roast) [12]
22Chris Roe [12]
23Mark Rouncefield [15]
24Roger Slack [15]
25Ian Sommerville [15]
26Keith Stenning [5]
27Lily Sun [19]
28Konstantinos Tourlas [7] [8] [9]
29Alexander Voß [15]
30Daniel Winterstein [14] [16] [17]
31Allan Wong [12]
32R. Michael Young [12]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)