Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Corin A. Gurr

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2007
[c17]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iceis/HeRBSG07
- ask others
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
[c16]
- view
  - electronic edition @ ceur-ws.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/vl/Gurr07
- ask others
Corin A. Gurr: Visualising a Logic of Dependability Arguments. VLL 2007: 97-109
2004
[c15]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/WintersteinBG04
- ask others
Daniel Winterstein, Alan Bundy, Corin A. Gurr: Dr.Doodle: A Diagrammatic Theorem Prover. IJCAR 2004: 331-335
[c14]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/diagrams/WintersteinBGJ04
- ask others
Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik: An Experimental Comparison of Diagrammatic and Algebraic Logics. Diagrams 2004: 432-434
2003
[c13]
- view
  - electronic edition @ ecscw.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ecscw/ClarkeHMRSGHPSV03
- ask others
Karen 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
[c12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/diagrams/WintersteinBGJ02
- ask others
Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik: Using Animation in Diagrammatic Theorem Proving. Diagrams 2002: 46-60
[c11]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sac/GurrH02
- ask others
Corin A. Gurr, Gillian Hardstone: Modelling organisational practice in user requirements. SAC 2002: 716-720
2001
[c10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ct/BlackwellBCGGKKLNPRRWY01
- ask others
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
[c9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ct/GurrH01
- ask others
Corin A. Gurr, Gillian Hardstone: Implementing Configurable Information Systems: A Combined Social Science and Cognitive Science Approach. Cognitive Technology 2001: 391-404
[c8]
- view
  - electronic edition @ computer.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/vl/Gurr01
- ask others
Corin A. Gurr: Aligning syntax and semantics in formalisations of visual languages. HCC 2001: 60-61
2000
[c7]
- view
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/diagrams/GurrT00
- ask others
Corin A. Gurr, Konstantinos Tourlas: Formalising the Essence of Diagrammatic Syntax. Diagrams 2000: 483-485
[c6]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icse/GurrT00
- ask others
Corin A. Gurr, Konstantinos Tourlas: Towards the principled design of software engineering diagrams. ICSE 2000: 509-518

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1999
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/vlc/Gurr99
- ask others
Corin A. Gurr: Effective Diagrammatic Communication: Syntactic, Semantic and Pragmatic Issues. J. Vis. Lang. Comput. 10(4): 317-342 (1999)
[c5]
- view
  - electronic edition @ computer.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/vl/GurrT99
- ask others
Corin A. Gurr, Konstantinos Tourlas: Formalizing Pragmatic Features of Graph-Based Notations. VL 1999: 220-227
1997
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iwc/StenningG97
- ask others
Keith Stenning, Corin A. Gurr: Human-Formalism Interaction: Studies in Communication through Formalism. Interacting with Computers 9(2): 111-128 (1997)
1996
[c4]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sac/Gurr96
- ask others
Corin A. Gurr: Verifiable partial specifications for logic programming. SAC 1996: 374-379
1995
[c3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lpe/Gurr95
- ask others
Corin A. Gurr: Techniques-Based Programming Environment for Gödel. LPE 1995
[c2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/slp/Gurr95
- ask others
Corin A. Gurr: Declarative Annotations for Logic Programs. ILPS 1995: 639
1993
[c1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lopstr/Gurr93
- ask others
Corin A. Gurr: Specialising the Ground Representation in the Logic Programming Language Gödel. LOPSTR 1993: 124-140

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?