`Travelled to:`

1 × Belgium

1 × Portugal

1 × Spain

2 × Ireland

2 × USA

`Collaborated with:`

∅ G.Hardstone K.Tourlas D.Winterstein A.Bundy T.He P.Ribbins R.Brown L.Sun

`Talks about:`

program (3) logic (3) design (2) diagrammat (1) specialis (1) represent (1) principl (1) intellig (1) theorem (1) softwar (1)

## Person: Corin A. Gurr

### DBLP: Gurr:Corin_A=

### Contributed to:

### Wrote 7 papers:

- ICEIS-SAIC-2007-HeRBSG #design
- A Design for Business Intelligence Service in Demand Driven Supply Chain Management (TH, PR, RB, LS, CAG), pp. 20–25.
- IJCAR-2004-WintersteinBG #diagrams #proving #theorem proving
- Dr.Doodle: A Diagrammatic Theorem Prover (DW, AB, CAG), pp. 331–335.
- SAC-2002-GurrH #modelling #requirements
- Modelling organisational practice in user requirements (CAG, GH), pp. 716–720.
- ICSE-2000-GurrT #design #diagrams #re-engineering #towards
- Towards the principled design of software engineering diagrams (CAG, KT), pp. 509–518.
- SAC-1996-Gurr #logic programming #specification
- Verifiable partial specifications for logic programming (CAG), pp. 374–379.
- ILPS-1995-Gurr #declarative #logic programming #source code
- Declarative Annotations for Logic Programs (CAG), p. 639.
- LOPSTR-1993-Gurr #logic programming #programming language #representation
- Specialising the Ground Representation in the Logic Programming Language Gödel (CAG), pp. 124–140.