A Proposal for Automating Diagrammatic Reasoning in Continuous Domains. - Daniel Winterstein; Alan Bundy; Mateja Jamnik (Diagrams, 2000)

Using Animation in Diagrammatic Theorem Proving. - Daniel Winterstein; Alan Bundy; Corin A. Gurr; Mateja Jamnik (Diagrams, 2002)

Dr.Doodle: A Diagrammatic Theorem Prover. - Daniel Winterstein (IJCAR Doctoral Programme, 2004)

Dr.Doodle: A Diagrammatic Theorem Prover. - Daniel Winterstein; Alan Bundy; Corin A. Gurr (IJCAR, 2004)

An Experimental Comparison of Diagrammatic and Algebraic Logics. - Daniel Winterstein; Alan Bundy; Corin A. Gurr; Mateja Jamnik (Diagrams, 2004)

On Differences between the Real and Physical Plane. - Daniel Winterstein; Alan Bundy; Mateja Jamnik (Diagrams, 2004)

Proof General / Eclipse: A Generic Interface for Interactive Proof. - Daniel Winterstein; David Aspinall 001; Christoph Lüth (IJCAI, 2005)

Proof general in Eclipse: system and architecture overview. - David Aspinall 001; Daniel Winterstein; Christoph Lüth; Ahsan Fayyaz (ETX, 2006)

A Framework for Interactive Proof. - David Aspinall 001; Christoph Lüth; Daniel Winterstein (Calculemus/MKM, 2007)

X575: Writing Rengas with Web Services. - Joseph Corneli; Daniel Winterstein (CC-NLG, 2016)

The Importance of Applying Computational Creativity to Scientific and Mathematical Domains. - Alison Pease; Simon Colton; Chris Warburton; Athanasios Nathanail; Irina Preda; Daniel Arnold 004; Daniel Winterstein; Mike Cook (ICCC, 2019)