The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Corin A. Gurr: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Daniel Winterstein, Alan Bundy, Corin A. Gurr
    Dr.Doodle: A Diagrammatic Theorem Prover. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2004, pp:331-335 [Conf]
  2. 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]
  3. 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]
  4. Corin A. Gurr, Konstantinos Tourlas
    Formalising the Essence of Diagrammatic Syntax. [Citation Graph (0, 0)][DBLP]
    Diagrams, 2000, pp:483-485 [Conf]
  5. 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]
  6. 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]
  7. 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]
  8. Corin A. Gurr, Konstantinos Tourlas
    Towards the principled design of software engineering diagrams. [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:509-518 [Conf]
  9. 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]
  10. Corin A. Gurr
    Techniques-Based Programming Environment for Gödel. [Citation Graph (0, 0)][DBLP]
    LPE, 1995, pp:- [Conf]
  11. Corin A. Gurr
    Verifiable partial specifications for logic programming. [Citation Graph (0, 0)][DBLP]
    SAC, 1996, pp:374-379 [Conf]
  12. Corin A. Gurr, Gillian Hardstone
    Modelling organisational practice in user requirements. [Citation Graph (0, 0)][DBLP]
    SAC, 2002, pp:716-720 [Conf]
  13. Corin A. Gurr
    Declarative Annotations for Logic Programs. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:639- [Conf]
  14. Corin A. Gurr
    Aligning syntax and semantics in formalisations of visual languages. [Citation Graph (0, 0)][DBLP]
    HCC, 2001, pp:60-61 [Conf]
  15. Corin A. Gurr, Konstantinos Tourlas
    Formalizing Pragmatic Features of Graph-Based Notations. [Citation Graph (0, 0)][DBLP]
    VL, 1999, pp:220-227 [Conf]
  16. 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]
  17. 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]

  18. A Design for Business Intelligence Service in Demand Driven Supply Chain Management. [Citation Graph (, )][DBLP]


  19. Visualising a Logic of Dependability Arguments. [Citation Graph (, )][DBLP]


Search in 0.013secs, 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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002