Search the dblp DataBase
Corin A. Gurr: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Daniel Winterstein, Alan Bundy, Corin A. Gurr
Dr.Doodle: A Diagrammatic Theorem Prover. [Citation Graph (0, 0)][DBLP]
IJCAR, 2004, pp:331-335 [Conf] - 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. [Citation Graph (0, 0)][DBLP]
Cognitive Technology, 2001, pp:325-341 [Conf] - Corin A. Gurr, Gillian Hardstone
Implementing Configurable Information Systems: A Combined Social Science and Cognitive Science Approach. [Citation Graph (0, 0)][DBLP]
Cognitive Technology, 2001, pp:391-404 [Conf] - Corin A. Gurr, Konstantinos Tourlas
Formalising the Essence of Diagrammatic Syntax. [Citation Graph (0, 0)][DBLP]
Diagrams, 2000, pp:483-485 [Conf] - Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik
Using Animation in Diagrammatic Theorem Proving. [Citation Graph (0, 0)][DBLP]
Diagrams, 2002, pp:46-60 [Conf] - Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik
An Experimental Comparison of Diagrammatic and Algebraic Logics. [Citation Graph (0, 0)][DBLP]
Diagrams, 2004, pp:432-434 [Conf] - 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. [Citation Graph (0, 0)][DBLP]
ECSCW, 2003, pp:61-80 [Conf] - Corin A. Gurr, Konstantinos Tourlas
Towards the principled design of software engineering diagrams. [Citation Graph (0, 0)][DBLP]
ICSE, 2000, pp:509-518 [Conf] - Corin A. Gurr
Specialising the Ground Representation in the Logic Programming Language Gödel. [Citation Graph (0, 0)][DBLP]
LOPSTR, 1993, pp:124-140 [Conf] - Corin A. Gurr
Techniques-Based Programming Environment for Gödel. [Citation Graph (0, 0)][DBLP]
LPE, 1995, pp:- [Conf] - Corin A. Gurr
Verifiable partial specifications for logic programming. [Citation Graph (0, 0)][DBLP]
SAC, 1996, pp:374-379 [Conf] - Corin A. Gurr, Gillian Hardstone
Modelling organisational practice in user requirements. [Citation Graph (0, 0)][DBLP]
SAC, 2002, pp:716-720 [Conf] - Corin A. Gurr
Declarative Annotations for Logic Programs. [Citation Graph (0, 0)][DBLP]
ILPS, 1995, pp:639- [Conf] - Corin A. Gurr
Aligning syntax and semantics in formalisations of visual languages. [Citation Graph (0, 0)][DBLP]
HCC, 2001, pp:60-61 [Conf] - Corin A. Gurr, Konstantinos Tourlas
Formalizing Pragmatic Features of Graph-Based Notations. [Citation Graph (0, 0)][DBLP]
VL, 1999, pp:220-227 [Conf] - Keith Stenning, Corin A. Gurr
Human-Formalism Interaction: Studies in Communication through Formalism. [Citation Graph (0, 0)][DBLP]
Interacting with Computers, 1997, v:9, n:2, pp:111-128 [Journal] - Corin A. Gurr
Effective Diagrammatic Communication: Syntactic, Semantic and Pragmatic Issues. [Citation Graph (0, 0)][DBLP]
J. Vis. Lang. Comput., 1999, v:10, n:4, pp:317-342 [Journal]
A Design for Business Intelligence Service in Demand Driven Supply Chain Management. [Citation Graph (, )][DBLP]
Visualising a Logic of Dependability Arguments. [Citation Graph (, )][DBLP]
Search in 0.012secs, Finished in 0.013secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002