| 2004 | CADE | Dr.Doodle: A Diagrammatic Theorem Prover. | Daniel Winterstein, Alan Bundy, Corin A. Gurr |
| 2004 | DIAGRAMS | An Experimental Comparison of Diagrammatic and Algebraic Logics. | Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik |
| 2003 | ECSCW | Dependable Red Hot Action. | Karen Clarke, John A. Hughes, David B. Martin, Mark Rouncefield, Ian Sommerville, Corin A. Gurr, Mark Hartswood, Rob Procter, Roger Slack, Alexander Vo |
| 2002 | DIAGRAMS | Using Animation in Diagrammatic Theorem Proving. | Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik |
| 2002 | SAC | Modelling organisational practice in user requirements. | Corin A. Gurr, Gillian Hardstone |
| 2000 | DIAGRAMS | Formalising the Essence of Diagrammatic Syntax. | Corin A. Gurr, Konstantinos Tourlas |
| 2000 | ICSE | Towards the principled design of software engineering diagrams. | Corin A. Gurr, Konstantinos Tourlas |
| 1996 | SAC | Verifiable partial specifications for logic programming. | Corin A. Gurr |
| 1993 | LOPSTR | Specialising the Ground Representation in the Logic Programming Language Gdel. | Corin A. Gurr |