Corresponding Regions in Euler Diagrams. - John Howse; Gemma Stapleton; Jean Flower; John Taylor 001 (Diagrams, 2002)

Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams. - Jean Flower; Judith Masthoff; Gem Stapleton (Diagrams, 2004)

What Can Spider Diagrams Say? - Gem Stapleton; John Howse; John Taylor 001; Simon J. Thompson (Diagrams, 2004)

Automated Theorem Proving with Spider Diagrams. - Jean Flower; Gem Stapleton (CATS, 2004)

A Survey of Reasoning Systems Based on Euler Diagrams. - Gem Stapleton (Euler, 2004)

The Expressiveness of Spider Diagrams. - Gem Stapleton; John Howse; John Taylor 001; Simon J. Thompson (J. Log. Comput., 2004)

Reasoning with constraint diagrams. - Gemmelia Eve Stapleton (2004)

A New Language for the Visualization of Logic and Reasoning. - Gem Stapleton; Simon J. Thompson; Andrew Fish; John Howse; John Taylor 001 (DMS, 2005)

Spider Diagrams. - John Howse; Gem Stapleton; John Taylor 001 (LMS J. Comput. Math., 2005)

A Decidable Constraint Diagram Reasoning System. - Gem Stapleton; John Howse; John Taylor 001 (J. Log. Comput., 2005)

Defining Euler Diagrams: Simple or What?. - Andrew Fish; Gem Stapleton (Diagrams, 2006)

Generalizing Spiders. - Gem Stapleton; John Howse; Kate Toller (Diagrams, 2006)

Spider Diagrams of Order. - Aidan J. Delaney; Gem Stapleton (VLL, 2007)

Towards Overcoming Deficiencies in Constraint Diagrams. - Gem Stapleton; Aidan J. Delaney (VL/HCC, 2007)

Properties of Euler Diagrams. - Gem Stapleton; Peter Rodgers 001; John Howse; John Taylor 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007)

Automated Theorem Proving in Euler Diagram Systems. - Gem Stapleton; Judith Masthoff; Jean Flower; Andrew Fish; Jane Southern (J. Autom. Reason., 2007)

Visual Mathematics: Diagrammatic Formalization and Proof. - John Howse; Gem Stapleton (AISC/MKM/Calculemus, 2008)

Spider Diagrams Augmented with Constants: A Complete System. - Gem Stapleton (DMS, 2008)

Abstract Euler Diagram Isomorphism. - Gem Stapleton; Andrew Fish; Peter Rodgers 001 (DMS, 2008)

Embedding Wellformed Euler Diagrams. - Peter Rodgers 001; Leishi Zhang; Gem Stapleton; Andrew Fish (IV, 2008)

Generating Euler Diagrams from Existing Layouts. - Gem Stapleton; John Howse; Peter Rodgers 001; Leishi Zhang (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Evaluating and generalizing constraint diagrams. - Gem Stapleton; Aidan J. Delaney (J. Vis. Lang. Comput., 2008)

Some Results for Drawing Area Proportional Venn3 With Convex Curves. - Peter Rodgers 001; Jean Flower; Gem Stapleton; John Howse (IV, 2009)

Changing euler diagram properties by edge transformation of euler dual graphs. - John Howse; Peter Rodgers 001; Gem Stapleton (VL/HCC, 2009)

Diagrammatic Formal Specification of a Configuration Control Platform. - John Howse; Steve Schuman; Gem Stapleton; Ian Oliver (REFINE@FMWeek, 2009)

The expressiveness of spider diagrams augmented with constants. - Gem Stapleton; John Taylor 001; Simon J. Thompson; John Howse (J. Vis. Lang. Comput., 2009)

Creating a Second Order Diagrammatic Logic. - Peter Chapman; Gem Stapleton (Diagrams, 2010)

Fragments of Spider Diagrams of Order and Their Relative Expressiveness. - Aidan J. Delaney; Gem Stapleton; John Taylor 001; Simon J. Thompson (Diagrams, 2010)

Drawing Euler Diagrams for Information Visualization. - John Howse; Peter Rodgers 001; Gem Stapleton (Diagrams, 2010)

Drawing Area-Proportional Venn-3 Diagrams with Convex Polygons. - Peter Rodgers 001; Jean Flower; Gem Stapleton; John Howse (Diagrams, 2010)

Drawing Euler Diagrams with Circles. - Gem Stapleton; Leishi Zhang; John Howse; Peter Rodgers 001 (Diagrams, 2010)

On the Relative Expressiveness of Second-Order Spider Diagrams and Regular Expressions. - Peter Chapman; Gem Stapleton (DMS, 2010)

Recognizing Sketches of Euler Diagrams Drawn with Ellipses. - Aidan J. Delaney; Beryl Plimmer; Gem Stapleton; Peter J. Rodgers (DMS, 2010)

Visual Reasoning about Ontologies. - John Howse; Gem Stapleton; Ian Oliver (ISWC (Posters & Demos), 2010)

Introducing Second-Order Spider Diagrams for Defining Regular Languages. - Peter Chapman; Gem Stapleton (VL/HCC, 2010)

Euler Graph Transformations for Euler Diagram Layout. - Peter Rodgers 001; Gem Stapleton; John Howse; Leishi Zhang (VL/HCC, 2010)

A graph theoretic approach to general Euler diagram drawing. - Gem Stapleton; John Howse; Peter J. Rodgers (Theor. Comput. Sci., 2010)

Recognising Sketches of Euler Diagrams Augmented with Graphs. - Gem Stapleton; Aidan J. Delaney; Peter Rodgers 001; Beryl Plimmer (DMS, 2011)

Visualizing Ontologies: A Case Study. - John Howse; Gem Stapleton; Kerry Taylor; Peter Chapman (ISWC (1), 2011)

Deriving sound inference rules for concept diagrams. - Peter Chapman; Gem Stapleton; John Howse; Ian Oliver (VL/HCC, 2011)

Drawing Euler diagrams with circles and ellipses. - Gem Stapleton; Peter Rodgers 001 (VL/HCC, 2011)

SketchSet: Creating Euler diagrams using pen or mouse. - Mengdi Wang; Beryl Plimmer; Paul Schmieder; Gem Stapleton; Peter Rodgers 001; Aidan J. Delaney (VL/HCC, 2011)

Inductively Generating Euler Diagrams. - Gem Stapleton; Peter Rodgers 001; John Howse; Leishi Zhang (IEEE Trans. Vis. Comput. Graph., 2011)

Drawing Euler Diagrams with Circles: The Theory of Piercings. - Gem Stapleton; Leishi Zhang; John Howse; Peter Rodgers 001 (IEEE Trans. Vis. Comput. Graph., 2011)

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

A general method for drawing area-proportional Euler diagrams. - Gem Stapleton; Peter Rodgers 001; John Howse (J. Vis. Lang. Comput., 2011)

Special issue on visual analytics and visual semantics: Guest Editors' introduction. - Gem Stapleton; Giuliana Vitiello; Monica Sebillo (J. Vis. Lang. Comput., 2011)

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)

Introducing 3D Venn and Euler Diagrams. - Peter J. Rodgers; Jean Flower; Gem Stapleton (ED@Diagrams, 2012)

What Can Concept Diagrams Say? - Gem Stapleton; John Howse; Peter Chapman; Ian Oliver; Aidan J. Delaney (Diagrams, 2012)

Speedith: A Diagrammatic Reasoner for Spider Diagrams. - Matej Urbas; Mateja Jamnik; Gem Stapleton; Jean Flower (Diagrams, 2012)

Does the Orientation of an Euler Diagram Affect User Comprehension? - Andrew Blake 002; Gem Stapleton; Peter Rodgers 001; Liz Cheek; John Howse (DMS, 2012)

Formalizing the Syntax of Codecharts. - Jon Nicholson; Aidan J. Delaney; Gem Stapleton (DMS, 2012)

Linking codecharts with programs. - Jon Nicholson; Aidan J. Delaney; Gem Stapleton (VL/HCC, 2012)

Automatically drawing Euler diagrams with circles. - Gem Stapleton; Jean Flower; Peter J. Rodgers; John Howse (J. Vis. Lang. Comput., 2012)

On the Completeness of Spider Diagrams Augmented with Constants. - Gem Stapleton; John Howse; Simon J. Thompson; John Taylor 001; Peter Chapman (Visual Reasoning with Diagrams, 2013)

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

Improving user comprehension of Euler diagrams. - Andrew Blake 002; Gem Stapleton; Peter Rodgers 001; Liz Cheek; John Howse (VL/HCC, 2013)

Protecting privacy: Towards a visual framework for handling end-user data. - Ian Oliver; John Howse; Gem Stapleton (VL/HCC, 2013)

Designing inference rules for spider diagrams. - Gem Stapleton; Mateja Jamnik; Matej Urbas (VL/HCC, 2013)

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

On the expressiveness of second-order spider diagrams. - Peter Chapman; Gem Stapleton; Aidan J. Delaney (J. Vis. Lang. Comput., 2013)

On the expressiveness of spider diagrams and commutative star-free regular languages. - Aidan J. Delaney; Gem Stapleton; John Taylor 001; Simon J. Thompson (J. Vis. Lang. Comput., 2013)

Evaluating the Impact of Clutter in Euler Diagrams. - Mohanad Alqadah; Gem Stapleton; John Howse; Peter Chapman (Diagrams, 2014)

The Impact of Shape on the Perception of Euler Diagrams. - Andrew Blake 002; Gem Stapleton; Peter Rodgers 001; Liz Cheek; John Howse (Diagrams, 2014)

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

Visualizing Sets: An Empirical Comparison of Diagram Types. - Peter Chapman; Gem Stapleton; Peter Rodgers 001; Luana Micallef; Andrew Blake 002 (Diagrams, 2014)

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

How Should We Use Colour in Euler Diagrams? - Andrew Blake 002; Gem Stapleton; Peter J. Rodgers; John Howse (VINCI, 2014)

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

Drawing Area-Proportional Euler Diagrams Representing Up To Three Sets. - Peter Rodgers 001; Gem Stapleton; Jean Flower; John Howse (IEEE Trans. Vis. Comput. Graph., 2014)

PaL diagrams: A linear diagram-based visual language. - Peter Chapman; Gem Stapleton; Peter J. Rodgers (J. Vis. Lang. Comput., 2014)

A normal form for spider diagrams of order. - Aidan J. Delaney; Gem Stapleton; John Taylor 001; Simon J. Thompson (J. Vis. Lang. Comput., 2014)

On the drawability of 3D Venn and Euler diagrams. - Jean Flower; Gem Stapleton; Peter Rodgers 001 (J. Vis. Lang. Comput., 2014)

Special issue on diagram aesthetics and layout: Guest editors' introduction. - Beryl Plimmer; Peter Rodgers 001; Gem Stapleton (J. Vis. Lang. Comput., 2014)

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

Speedith: A Reasoner for Spider Diagrams. - Matej Urbas; Mateja Jamnik; Gem Stapleton (J. Log. Lang. Inf., 2015)

Combining Sketching and Traditional Diagram Editing Tools. - Gem Stapleton; Beryl Plimmer; Aidan J. Delaney; Peter J. Rodgers (ACM Trans. Intell. Syst. Technol., 2015)

Visualizing Sets with Linear Diagrams. - Peter J. Rodgers; Gem Stapleton; Peter Chapman (ACM Trans. Comput. Hum. Interact., 2015)

Evaluating Diagrammatic Patterns for Ontology Engineering. - Eisa Alharbi; John Howse; Gem Stapleton; Ali Hamie (Diagrams, 2016)

The Perception of Clutter in Linear Diagrams. - Mohanad Alqadah; Gem Stapleton; John Howse; Peter Chapman (Diagrams, 2016)

Evaluating the Impact of Clutter in Linear Diagrams. - Mohanad Alqadah; Gem Stapleton; John Howse; Peter Chapman (SetVR@Diagrams, 2016)

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

Observing the Truth: Diagrams, Sets and Free Rides. - Gem Stapleton (SetVR@Diagrams, 2016)

Effective Representation of Information: Generalizing Free Rides. - Gem Stapleton; Mateja Jamnik; Atsushi Shimojima (Diagrams, 2016)

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

Diagrammatic Ontology Engineering. - Gem Stapleton (JOWO@FOIS, 2016)

The impact of topological and graphical choices on the perception of Euler diagrams. - Andrew Blake 002; Gem Stapleton; Peter Rodgers 001; John Howse (Inf. Sci., 2016)

A task-based evaluation of combined set and network visualization. - Peter J. Rodgers; Gem Stapleton; Bilal Alsallakh; Luana Micallef; Robert Baker 001; Simon J. Thompson (Inf. Sci., 2016)

An Empirical Evaluation of Argumentation in Explaining Inconsistency-Tolerant Query Answering. - Abdelraouf Hecham; Abdallah Arioua; Gem Stapleton; Madalina Croitoru (Description Logics, 2017)

Visualizing ALC Using Concept Diagrams. - Gem Stapleton; Aidan J. Delaney; Michael Compton; Peter Chapman (GKR, 2017)

Reasoning with Concept Diagrams about Antipatterns. - Zohreh Shams; Mateja Jamnik; Gem Stapleton; Yuri Sato 001 (LPAR (Short Presentations), 2017)

Reasoning with Concept Diagrams About Antipatterns in Ontologies. - Zohreh Shams; Mateja Jamnik; Gem Stapleton; Yuri Sato 001 (CICM, 2017)

The Efficacy of OWL and DL on User Understanding of Axioms and Their Entailments. - Eisa Alharbi; John Howse; Gem Stapleton; Ali Hamie; Anestis Touloumis (ISWC (1), 2017)

How Network-based and set-based visualizations aid consistency checking in ontologies. - Yuri Sato 001; Gem Stapleton; Mateja Jamnik; Zohreh Shams; Andrew Blake 002 (VINCI, 2017)

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

Visual logics help people: An evaluation of diagrammatic, textual and symbolic notations. - Eisa Alharbi; John Howse; Gem Stapleton; Ali Hamie; Anestis Touloumis (VL/HCC, 2017)

Visualizing OWL 2 using diagrams. - Gem Stapleton; Michael Compton; John Howse (VL/HCC, 2017)

What Makes an Effective Representation of Information: A Formal Account of Observational Advantages. - Gem Stapleton; Mateja Jamnik; Atsushi Shimojima (J. Log. Lang. Inf., 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)

Deductive reasoning about expressive statements using external graphical representations. - Yuri Sato 001; Gem Stapleton; Mateja Jamnik; Zohreh Shams (CogSci, 2018)

Generating Effective Euler Diagrams. - Almas Baimagambetov; John Howse; Gem Stapleton; Aidan J. Delaney (Diagrams, 2018)

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

Accessible Reasoning with Diagrams: From Cognition to Automation. - Zohreh Shams; Yuri Sato 001; Mateja Jamnik; Gem Stapleton (Diagrams, 2018)

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

The Observational Advantages of Euler Diagrams with Existential Import. - Gem Stapleton; Atsushi Shimojima; Mateja Jamnik (Diagrams, 2018)

Spider Diagrams with Absence. - Lopamudra Choudhury; Mihir K. Chakraborty; Gem Stapleton (DMSVIVA, 2018)

Reasoning with Diagrams: Observation, Inference and Overspecificity (Plenary). - Gem Stapleton (DMSVIVA, 2018)

iCon: A Diagrammatic Theorem Prover for Ontologies. - Zohreh Shams; Mateja Jamnik; Gem Stapleton; Yuri Sato 001 (KR, 2018)

Spider Diagrams with Absence: Inference Rules for Clutter Reduction. - Gem Stapleton; Lopamudra Choudhury; Mihir K. Chakraborty (J. Vis. Lang. Sentient Syst., 2018)

Exploring and Conceptualising Attestation. - Ian Oliver; John Howse; Gem Stapleton; Zohreh Shams; Mateja Jamnik (ICCS, 2019)

Human inference beyond syllogisms: an approach using external graphical representations. - Yuri Sato 001; Gem Stapleton; Mateja Jamnik; Zohreh Shams (Cogn. Process., 2019)

Evaluating Visualizations of Sets and Networks that Use Euler Diagrams and Graphs. - Almas Baimagambetov; Gem Stapleton; Andrew Blake 002; John Howse (Diagrams, 2020)

Well-Matchedness in Euler and Linear Diagrams. - Gem Stapleton; Peter J. Rodgers; Anestis Touloumis; Andrew Blake 002 (Diagrams, 2020)

How to (Re)represent it? - Daniel Raggi; Gem Stapleton; Aaron Stockdill; Mateja Jamnik; Grecia Garcia Garcia; Peter C.-H. Cheng (ICTAI, 2020)

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

Evaluating Free Rides and Observational Advantages in Set Visualizations. - Andrew Blake 002; Gem Stapleton; Peter J. Rodgers; Anestis Touloumis (J. Log. Lang. Inf., 2021)

Evaluating Colour in Concept Diagrams. - Sean McGrath 002; Andrew Blake 002; Gem Stapleton; Anestis Touloumis; Peter Chapman; Mateja Jamnik; Zohreh Shams (Diagrams, 2022)

Oruga: an avatar of Representational Systems Theory. - Daniel Raggi; Gem Stapleton; Mateja Jamnik; Aaron Stockdill; Grecia Garcia Garcia; Peter C.-H. Cheng (HLC, 2022)

Examining Experts' Recommendations of Representational Systems for Problem Solving. - Aaron Stockdill; Gem Stapleton; Daniel Raggi; Mateja Jamnik; Grecia Garcia Garcia; Peter C.-H. Cheng (VL/HCC, 2022)

Representational Systems Theory: A Unified Approach to Encoding, Analysing and Transforming Representations. - Daniel Raggi; Gem Stapleton; Mateja Jamnik; Aaron Stockdill; Grecia Garcia Garcia; Peter C.-H. Cheng (CoRR, 2022)

Human Visual Consistency-Checking in the Real World Ontologies. - Yuri Sato 001; Gem Stapleton; Mateja Jamnik; Zohreh Shams; Andrew Blake 002 (VL/HCC, 2023)

Oruga: Implementation and Use of Representational Systems Theory. - Daniel Raggi; Gem Stapleton; Aaron Stockdill; Grecia Garcia Garcia; Peter C.-H. Cheng; Mateja Jamnik (CICM, 2024)