Types and Programs from Euler Diagrams. - James Burton 001 (Diagrams, 2008)

Diagrams and intuitive formal specifications. - James Burton 001 (VL/HCC, 2008)

An Attention Based Theory to Explore Affordances of Textual and Diagrammatic Proofs. - Peter Coppin; Jim Burton 001; Stephen Hockema (Diagrams, 2010)

A decision procedure for a decidable fragment of generalized constraint diagrams. - Jim Burton 001; Gem Stapleton; Ali Hamie (J. Vis. Lang. Comput., 2011)

Generalized constraint diagrams : the classical decision problem in a diagrammatic reasoning system. - James Burton 001 (2011)

Understanding and Predicting the Affordances of Visual Logics. - Jim Burton 001; Peter Coppin (ED@Diagrams, 2012)

Completeness Proofs for Diagrammatic Logics. - Jim Burton 001; Gem Stapleton; John Howse (Diagrams, 2012)

Completeness Proof Strategies for Euler Diagram Logics. - Jim Burton 001; Gem Stapleton; John Howse (ED@Diagrams, 2012)

Towards Diagrammatic Ontology Patterns. - Gem Stapleton; John Howse; Kerry Taylor; Aidan J. Delaney; Jim Burton 001; Peter Chapman (WOP, 2013)

Generalized constraint diagrams and the classical decision problem. - Jim Burton 001; Gem Stapleton; John Howse (J. Log. Comput., 2013)

Visualizing Concepts with Euler Diagrams. - Jim Burton 001; Gem Stapleton; John Howse; Peter Chapman (Diagrams, 2014)

A Vision for Diagrammatic Ontology Engineering. - Gem Stapleton; John Howse; Adrienne Bonnington; Jim Burton 001 (VISUAL@EKAW, 2014)

Properties of euler diagrams and graphs in combination. - Mithileysh Sathiyanarayanan; Gem Stapleton; Jim Burton 001; John Howse (VL/HCC, 2014)

Generating readable diagrammatic proofs. - Jim Burton 001; Sven Linker (VL/HCC, 2015)

Special issue on Euler and Venn Diagrams: Guest Editors' introduction. - Jim Burton 001; Gem Stapleton (J. Log. Lang. Inf., 2015)

Minimizing Clutter Using Absence in Venn-ie. - Jim Burton 001; Mihir K. Chakraborty; Lopamudra Choudhury; Gem Stapleton (Diagrams, 2016)

Measuring User Comprehension of Inference Rules in Euler Diagrams. - Sven Linker; Jim Burton 001; Andrew Blake 002 (Diagrams, 2016)

Evaluating the Effects of Colour in LineSets. - Dominique Tranquille; Gem Stapleton; Jim Burton 001; Peter Rodgers 001 (Diagrams, 2016)

Tactical Diagrammatic Reasoning. - Sven Linker; Jim Burton 001; Mateja Jamnik (UITP, 2016)

Evaluating the effects of size in linesets. - Dominique Tranquille; Gem Stapleton; Jim Burton 001; Peter J. Rodgers (VINCI, 2017)

Team VALOR's ESCHER: A Novel Electromechanical Biped for the DARPA Robotics Challenge. - Coleman Knabe; Robert J. Griffin; James Burton 001; Graham Cantor-Cooke; Lakshitha Dantanarayana; Graham Day; Oliver Ebeling-Koning; Eric Hahn; Michael A. Hopkins; Jordan Neal; Jackson Newton; Chris Nogales; et al. (J. Field Robotics, 2017)

The Semiotics of Spider Diagrams. - Jim Burton 001; John Howse (Logica Universalis, 2017)

Presence and Absence of Individuals in Diagrammatic Logics: An Empirical Comparison. - Gem Stapleton; Andrew Blake 002; Jim Burton 001; Anestis Touloumis (Stud Logica, 2017)

A Survey and Evaluation of Diagrams for Navya-Nyāya. - Jim Burton 001; Lopamudra Choudhury; Mihir K. Chakraborty (Diagrams, 2018)

Picturing Problems: Solving Logic Puzzles Diagrammatically. - John Howse; Gem Stapleton; Jim Burton 001; Andrew Blake 002 (SetVR@Diagrams, 2018)

Euler Diagrams Through the Looking Glass: From Extent to Intent. - Gem Stapleton; Amirouche Moktefi; John Howse; Jim Burton 001 (Diagrams, 2018)

Observational Advantages and Occurrence Referentiality. - Francesco Bellucci; Jim Burton 001 (Diagrams, 2020)

Evaluating graphical manipulations in automatically laid out LineSets. - Dominique Tranquille; Gem Stapleton; Jim Burton 001; Peter Rodgers 001 (Behav. Inf. Technol., 2021)