Daniel Winterstein
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
2000–2005
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | IJCAI | Proof General / Eclipse: A Generic Interface for Interactive Proof. | Daniel Winterstein, David Aspinall, Christoph Lth |
| 2004 | CADE | Dr.Doodle: A Diagrammatic Theorem Prover. | Daniel Winterstein |
| 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 |
| 2004 | DIAGRAMS | On Differences between the Real and Physical Plane. | Daniel Winterstein, Alan Bundy, Mateja Jamnik |
| 2002 | DIAGRAMS | Using Animation in Diagrammatic Theorem Proving. | Daniel Winterstein, Alan Bundy, Corin A. Gurr, Mateja Jamnik |
| 2000 | DIAGRAMS | A Proposal for Automating Diagrammatic Reasoning in Continuous Domains. | Daniel Winterstein, Alan Bundy, Mateja Jamnik |