| 2007 |
|---|
| 9 | EE | David Aspinall,
Christoph Lüth,
Daniel Winterstein:
A Framework for Interactive Proof.
Calculemus/MKM 2007: 161-175 |
| 2006 |
|---|
| 8 | EE | David Aspinall,
Daniel Winterstein,
Christoph Lüth,
Ahsan Fayyaz:
Proof general in Eclipse: system and architecture overview.
ETX 2006: 45-49 |
| 2005 |
|---|
| 7 | EE | Daniel Winterstein,
David Aspinall,
Christoph Lüth:
Proof General / Eclipse: A Generic Interface for Interactive Proof.
IJCAI 2005: 1587-1588 |
| 2004 |
|---|
| 6 | EE | Daniel Winterstein,
Alan Bundy,
Mateja Jamnik:
On Differences between the Real and Physical Plane.
Diagrams 2004: 29-31 |
| 5 | EE | Daniel Winterstein,
Alan Bundy,
Corin A. Gurr,
Mateja Jamnik:
An Experimental Comparison of Diagrammatic and Algebraic Logics.
Diagrams 2004: 432-434 |
| 4 | EE | Daniel Winterstein,
Alan Bundy,
Corin A. Gurr:
Dr.Doodle: A Diagrammatic Theorem Prover.
IJCAR 2004: 331-335 |
| 3 | EE | Daniel Winterstein:
Dr.Doodle: A Diagrammatic Theorem Prover.
IJCAR Doctoral Programme 2004 |
| 2002 |
|---|
| 2 | EE | Daniel Winterstein,
Alan Bundy,
Corin A. Gurr,
Mateja Jamnik:
Using Animation in Diagrammatic Theorem Proving.
Diagrams 2002: 46-60 |
| 2000 |
|---|
| 1 | EE | Daniel Winterstein,
Alan Bundy,
Mateja Jamnik:
A Proposal for Automating Diagrammatic Reasoning in Continuous Domains.
Diagrams 2000: 286-299 |
