Corin A. Gurr

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

Coauthor Index

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

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page