Introducing Hyper-Z - A New Approach to Object Orientation in Z. - Ian Maung; John Howse (Z User Workshop, 1992)

Towards a Formalization of Programming-by-Difference. - Ian Maung; John Howse; Richard J. Mitchell (FME, 1994)

Structuring formal specifications - a lesson relearned. - Richard J. Mitchell; Martin J. Loomes; John Howse (Microprocess. Microsystems, 1994)

As-a: A Relationship to Support Code Reuse. - Richard J. Mitchell; John Howse; Ian Maung (J. Object Oriented Program., 1995)

Semantics Through Pictures. - Stuart Kent 001; Ali Hamie; John Howse; Franco Civello; Richard Mitchell (ECOOP Workshops, 1997)

Contract-Oriented Specifications. - Richard Mitchell; John Howse; Ali Hamie (TOOLS (24), 1997)

Interpreting the Object Constraint Language. - Ali Hamie; John Howse; Stuart Kent 001 (APSEC, 1998)

Modeling Software Components. - Stuart Kent 001; John Howse; Anthony Lauder (DEXA Workshop, 1998)

Navigation Expresion in Object-Oriented Modelling. - Ali Hamie; John Howse; Stuart Kent 001 (FASE, 1998)

Reflections on the Object Constraint Language. - Ali Hamie; Franco Civello; John Howse; Stuart Kent 001; Richard Mitchell (UML, 1998)

Should UML Have a Single Semantics? Should UML Have a Single Core Semantics? - John Howse; Shusaku Iida; Richard Mitchell; Bernhard Rumpe (ECOOP Workshops, 1999)

Constraint Diagrams: A Step Beyond UML. - Joseph Gil; John Howse; Stuart Kent 001 (TOOLS (30), 1999)

Mixing Visual and Textual Constraint Languages. - Stuart Kent 001; John Howse (UML, 1999)

Formalizing Spider Diagrams. - Joseph Gil; John Howse; Stuart Kent 001 (VL, 1999)

Reasoning with Spider Diagrams. - John Howse; Fernando Molina; John Taylor 001; Stuart Kent 001 (VL, 1999)

A Sound and Complete Diagrammatic Reasoning System. - John Howse; Fernando Molina; John Taylor 001 (Artificial Intelligence and Soft Computing, 2000)

On the Completeness and Expressiveness of Spider Diagram Systems. - John Howse; Fernando Molina; John Taylor 001 (Diagrams, 2000)

Advanced visual modeling (tutorial session): beyond UML. - Joseph Gil; John Howse; Stuart Kent 001 (ICSE, 2000)

Advanced Visual Modeling: Beyond UML. - Joseph Gil; John Howse; Stuart Kent 001 (TOOLS (33), 2000)

Projections in Venn-Euler Diagrams. - Joseph Gil; John Howse; Stuart Kent 001; John Taylor 001 (VL, 2000)

SD2: A Sound and Complete Diagrammatic Reasoning System. - John Howse; Fernando Molina; John Taylor 001 (VL, 2000)

Type-syntax and token-syntax in diagrammatic systems. - John Howse; Fernando Molina; John Taylor 001; Sun-Joo Shin (FOIS, 2001)

Towards a Formalization of Constraint Diagrams. - Joseph Gil; John Howse; Stuart Kent 001 (HCC, 2001)

Spider Diagrams: A Diagrammatic Reasoning System. - John Howse; Fernando Molina; John Taylor 001; Stuart Kent 001; Joseph Gil (J. Vis. Lang. Comput., 2001)

Generating Euler Diagrams. - Jean Flower; John Howse (Diagrams, 2002)

On Diagram Tokens and Types. - John Howse; Fernando Molina; Sun-Joo Shin; John Taylor 001 (Diagrams, 2002)

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

Advanced visual modelling: beyond UML. - Joseph Gil; John Howse; Stuart Kent 001 (ICSE, 2002)

Constraint Trees. - Stuart Kent 001; John Howse (Object Modeling with the OCL, 2002)

A Visual Framework for Modelling with Heterogeneous Notations. - Jean Flower; John Howse; John Taylor 001; Stuart Kent 001 (HCC, 2002)

Nesting in Euler Diagrams. - Jean Flower; John Howse; John Taylor 001 (GT-VMT@ICGT, 2002)

Positive Semantics of Projections in Venn-Euler Diagrams. - Joseph Gil; John Howse; Elena Tulchinsky (J. Vis. Lang. Comput., 2002)

Computing Reading Trees for Constraint Diagrams. - Andrew Fish; John Howse (AGTIVE, 2003)

A reading algorithm for constraint diagrams. - Andrew Fish; Jean Flower; John Howse (HCC, 2003)

The Iconic Logic of Peirce's Graphs: Sun-Joo Shin MIT Press, Cambridge, MA, 2002 ISBN: 0-262-19470-8. - John Howse (J. Vis. Lang. Comput., 2003)

Towards a Default Reading for Constraint Diagrams. - Andrew Fish; John Howse (Diagrams, 2004)

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

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

Nesting in Euler Diagrams: syntax, semantics and construction. - Jean Flower; John Howse; John Taylor 001 (Softw. Syst. Model., 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)

Precise visual modeling: A case-study. - John Howse; Steve Schuman (Softw. Syst. Model., 2005)

The semantics of augmented constraint diagrams. - Andrew Fish; Jean Flower; John Howse (J. Vis. Lang. Comput., 2005)

Exploring the Notion of 'Clutter' in Euler Diagrams. - Chris John; Andrew Fish; John Howse; John Taylor 001 (Diagrams, 2006)

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

Visual Languages and Logic. - Philip T. Cox; Andrew Fish; John Howse (VL/HCC, 2007)

Introduction. - Philip T. Cox; Andrew Fish; John Howse (VLL, 2007)

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

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

Diagrammatic Reasoning Systems. - John Howse (ICCS, 2008)

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

Euler diagram generation. - Jean Flower; Andrew Fish; John Howse (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)

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)

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

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

Visual Specification Patterns. - Andrew Fish; Ali Hamie; John Howse (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

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

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)

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)

Special Issue on Visual Languages and Logic: Guest editors' introduction. - Philip T. Cox; Andrew Fish; John Howse (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)

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)

What Can Concept Diagrams Say? - Gem Stapleton; John Howse; Peter Chapman; Ian Oliver; Aidan J. Delaney (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)

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)

Generalized constraint diagrams and the classical decision problem. - Jim Burton 001; Gem Stapleton; John Howse (J. Log. 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)

Well-matchedness in Euler Diagrams. - Mithileysh Sathiyanarayanan; John Howse (ED/GViP@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)

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)

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)

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)

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)

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

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)

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

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

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