John Howse

According to our database, John Howse authored at least 101 papers between 1992 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Evaluating Visualizations of Sets and Networks that Use Euler Diagrams and Graphs.

Almas Baimagambetov, Gem Stapleton, Andrew Blake, John Howse

Proceedings of the Diagrammatic Representation and Inference, 2020

2019

Exploring and Conceptualising Attestation.

Ian Oliver, John Howse, Gem Stapleton, Zohreh Shams, Mateja Jamnik

Proceedings of the Graph-Based Representation and Reasoning, 2019

2018

Euler Diagrams Through the Looking Glass: From Extent to Intent.

Gem Stapleton, Amirouche Moktefi, John Howse, Jim Burton

Proceedings of the Diagrammatic Representation and Inference, 2018

Picturing Problems: Solving Logic Puzzles Diagrammatically.

John Howse, Gem Stapleton, Jim Burton, Andrew Blake

Proceedings of International Workshop on Set Visualization and Reasoning (SetVR 2018) co-located with 10th International Conference on the Theory and Application of Diagrams (Diagrams 2018), 2018

Generating Effective Euler Diagrams.

Almas Baimagambetov, John Howse, Gem Stapleton, Aidan J. Delaney

Proceedings of the Diagrammatic Representation and Inference, 2018

2017

The Semiotics of Spider Diagrams.

Jim Burton, John Howse

Logica Universalis, 2017

Visualizing OWL 2 using diagrams.

Gem Stapleton, Michael Compton, John Howse

Proceedings of the 2017 IEEE Symposium on Visual Languages and Human-Centric Computing, 2017

Visual logics help people: An evaluation of diagrammatic, textual and symbolic notations.

Eisa Alharbi, John Howse, Gem Stapleton, Ali Hamie, Anestis Touloumis

Proceedings of the 2017 IEEE Symposium on Visual Languages and Human-Centric Computing, 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

Proceedings of the Semantic Web - ISWC 2017, 2017

2016

The impact of topological and graphical choices on the perception of Euler diagrams.

Andrew Blake, Gem Stapleton, Peter Rodgers, John Howse

Inf. Sci., 2016

Evaluating the Impact of Clutter in Linear Diagrams.

Mohanad Alqadah, Gem Stapleton, John Howse, Peter Chapman

Proceedings of the International Workshop on Set Visualization and Reasoning co-located with 9th International Conference on the Theory and Application of Diagrams (Diagrams 2016), 2016

The Perception of Clutter in Linear Diagrams.

Mohanad Alqadah, Gem Stapleton, John Howse, Peter Chapman

Proceedings of the Diagrammatic Representation and Inference, 2016

Evaluating Diagrammatic Patterns for Ontology Engineering.

Eisa Alharbi, John Howse, Gem Stapleton, Ali Hamie

Proceedings of the Diagrammatic Representation and Inference, 2016

2014

Drawing Area-Proportional Euler Diagrams Representing Up To Three Sets.

Peter Rodgers, Gem Stapleton, Jean Flower, John Howse

IEEE Trans. Vis. Comput. Graph., 2014

Properties of euler diagrams and graphs in combination.

Mithileysh Sathiyanarayanan, Gem Stapleton, Jim Burton, John Howse

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2014

How Should We Use Colour in Euler Diagrams?

Andrew Blake, Gem Stapleton, Peter J. Rodgers, John Howse

Proceedings of the 7th International Symposium on Visual Information Communication and Interaction, 2014

A Vision for Diagrammatic Ontology Engineering.

Gem Stapleton, John Howse, Adrienne Bonnington, Jim Burton

Proceedings of the International Workshop on Visualizations and User Interfaces for Knowledge Engineering and Linked Data Analytics co-located with 19th International Conference on Knowledge Engineering and Knowledge Management, 2014

Well-matchedness in Euler Diagrams.

Mithileysh Sathiyanarayanan, John Howse

Proceedings of the Joint Proceedings of the Fourth International Workshop on Euler Diagrams and the First International Workshop on Graph Visualization in Practice co-located with Diagrams 2014, 2014

Visualizing Concepts with Euler Diagrams.

Jim Burton, Gem Stapleton, John Howse, Peter Chapman

Proceedings of the Diagrammatic Representation and Inference, 2014

The Impact of Shape on the Perception of Euler Diagrams.

Andrew Blake, Gem Stapleton, Peter Rodgers, Liz Cheek, John Howse

Proceedings of the Diagrammatic Representation and Inference, 2014

Evaluating the Impact of Clutter in Euler Diagrams.

Mohanad Alqadah, Gem Stapleton, John Howse, Peter Chapman

Proceedings of the Diagrammatic Representation and Inference, 2014

2013

Generalized constraint diagrams and the classical decision problem.

Jim Burton, Gem Stapleton, John Howse

J. Log. Comput., 2013

Protecting privacy: Towards a visual framework for handling end-user data.

Ian Oliver, John Howse, Gem Stapleton

Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013

Improving user comprehension of Euler diagrams.

Andrew Blake, Gem Stapleton, Peter Rodgers, Liz Cheek, John Howse

Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013

Towards Diagrammatic Ontology Patterns.

Gem Stapleton, John Howse, Kerry Taylor, Aidan J. Delaney, Jim Burton, Peter Chapman

Proceedings of the 4th Workshop on Ontology and Semantic Web Patterns co-located with 12th International Semantic Web Conference (ISWC 2013), 2013

On the Completeness of Spider Diagrams Augmented with Constants.

Gem Stapleton, John Howse, Simon J. Thompson, John Taylor, Peter Chapman

Proceedings of the Visual Reasoning with Diagrams, 2013

2012

Automatically drawing Euler diagrams with circles.

Gem Stapleton, Jean Flower, Peter J. Rodgers, John Howse

J. Vis. Lang. Comput., 2012

Does the Orientation of an Euler Diagram Affect User Comprehension?

Andrew Blake, Gem Stapleton, Peter Rodgers, Liz Cheek, John Howse

Proceedings of the 18th International Conference on Distributed Multimedia Systems, 2012

What Can Concept Diagrams Say?

Gem Stapleton, John Howse, Peter Chapman, Ian Oliver, Aidan J. Delaney

Proceedings of the Diagrammatic Representation and Inference, 2012

Completeness Proof Strategies for Euler Diagram Logics.

Jim Burton, Gem Stapleton, John Howse

Proceedings of the 3rd International Workshop on Euler Diagrams, 2012

Completeness Proofs for Diagrammatic Logics.

Jim Burton, Gem Stapleton, John Howse

Proceedings of the Diagrammatic Representation and Inference, 2012

2011

A general method for drawing area-proportional Euler diagrams.

Gem Stapleton, Peter Rodgers, John Howse

J. Vis. Lang. Comput., 2011

Special Issue on Visual Languages and Logic: Guest editors' introduction.

Philip T. Cox, Andrew Fish, John Howse

J. Vis. Lang. Comput., 2011

Drawing Euler Diagrams with Circles: The Theory of Piercings.

Gem Stapleton, Leishi Zhang, John Howse, Peter Rodgers

IEEE Trans. Vis. Comput. Graph., 2011

Inductively Generating Euler Diagrams.

Gem Stapleton, Peter Rodgers, John Howse, Leishi Zhang

IEEE Trans. Vis. Comput. Graph., 2011

Deriving sound inference rules for concept diagrams.

Peter Chapman, Gem Stapleton, John Howse, Ian Oliver

Proceedings of the 2011 IEEE Symposium on Visual Languages and Human-Centric Computing, 2011

Visualizing Ontologies: A Case Study.

John Howse, Gem Stapleton, Kerry Taylor, Peter Chapman

Proceedings of the Semantic Web - ISWC 2011, 2011

2010

A graph theoretic approach to general Euler diagram drawing.

Gem Stapleton, John Howse, Peter J. Rodgers

Theor. Comput. Sci., 2010

Visual Specification Patterns.

Andrew Fish, Ali Hamie, John Howse

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Euler Graph Transformations for Euler Diagram Layout.

Peter Rodgers, Gem Stapleton, John Howse, Leishi Zhang

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010

Visual Reasoning about Ontologies.

John Howse, Gem Stapleton, Ian Oliver

Proceedings of the ISWC 2010 Posters & Demonstrations Track: Collected Abstracts, 2010

Drawing Euler Diagrams with Circles.

Gem Stapleton, Leishi Zhang, John Howse, Peter Rodgers

Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

Drawing Area-Proportional Venn-3 Diagrams with Convex Polygons.

Peter Rodgers, Jean Flower, Gem Stapleton, John Howse

Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

Drawing Euler Diagrams for Information Visualization.

John Howse, Peter Rodgers, Gem Stapleton

Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

2009

The expressiveness of spider diagrams augmented with constants.

Gem Stapleton, John Taylor, Simon J. Thompson, John Howse

J. Vis. Lang. Comput., 2009

Diagrammatic Formal Specification of a Configuration Control Platform.

John Howse, Steve Schuman, Gem Stapleton, Ian Oliver

Proceedings of the 14th BCS-FACS Refinement Workshop, 2009

Changing euler diagram properties by edge transformation of euler dual graphs.

John Howse, Peter Rodgers, Gem Stapleton

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2009

Some Results for Drawing Area Proportional Venn3 With Convex Curves.

Peter Rodgers, Jean Flower, Gem Stapleton, John Howse

Proceedings of the 13th International Conference on Information Visualisation, 2009

2008

Euler diagram generation.

Jean Flower, Andrew Fish, John Howse

J. Vis. Lang. Comput., 2008

Generating Euler Diagrams from Existing Layouts.

Gem Stapleton, John Howse, Peter Rodgers, Leishi Zhang

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Diagrammatic Reasoning Systems.

John Howse

Proceedings of the Conceptual Structures: Knowledge Visualization and Reasoning, 2008

Visual Mathematics: Diagrammatic Formalization and Proof.

John Howse, Gem Stapleton

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2007

Properties of Euler Diagrams.

Gem Stapleton, Peter Rodgers, John Howse, John Taylor

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

Introduction.

Philip T. Cox, Andrew Fish, John Howse

Proceedings of the VLL 2007 workshop on Visual Languages and Logic in Coeur d'Aléne, 2007

Visual Languages and Logic.

Philip T. Cox, Andrew Fish, John Howse

Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007

2006

Generalizing Spiders.

Gem Stapleton, John Howse, Kate Toller

Proceedings of the Diagrammatic Representation and Inference, 4th International Conference, 2006

Exploring the Notion of 'Clutter' in Euler Diagrams.

Chris John, Andrew Fish, John Howse, John Taylor

Proceedings of the Diagrammatic Representation and Inference, 4th International Conference, 2006

2005

The semantics of augmented constraint diagrams.

Andrew Fish, Jean Flower, John Howse

J. Vis. Lang. Comput., 2005

Precise visual modeling: A case-study.

John Howse, Steve Schuman

Softw. Syst. Model., 2005

A Decidable Constraint Diagram Reasoning System.

Gem Stapleton, John Howse, John Taylor

J. Log. Comput., 2005

Spider Diagrams.

John Howse, Gem Stapleton, John Taylor

LMS J. Comput. Math., 2005

A New Language for the Visualization of Logic and Reasoning.

Gem Stapleton, Simon J. Thompson, Andrew Fish, John Howse, John Taylor

Proceedings of the 11th International Conference on Distributed Multimedia Systems, 2005

2004

Nesting in Euler Diagrams: syntax, semantics and construction.

Jean Flower, John Howse, John Taylor

Softw. Syst. Model., 2004

The Expressiveness of Spider Diagrams.

Gem Stapleton, John Howse, John Taylor, Simon J. Thompson

J. Log. Comput., 2004

What Can Spider Diagrams Say?

Gem Stapleton, John Howse, John Taylor, Simon J. Thompson

Proceedings of the Diagrammatic Representation and Inference, 2004

Towards a Default Reading for Constraint Diagrams.

Andrew Fish, John Howse

Proceedings of the Diagrammatic Representation and Inference, 2004

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

A reading algorithm for constraint diagrams.

Andrew Fish, Jean Flower, John Howse

Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), 2003

Computing Reading Trees for Constraint Diagrams.

Andrew Fish, John Howse

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003

2002

Positive Semantics of Projections in Venn-Euler Diagrams.

Joseph Gil, John Howse, Elena Tulchinsky

J. Vis. Lang. Comput., 2002

Nesting in Euler Diagrams.

Jean Flower, John Howse, John Taylor

Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2002

A Visual Framework for Modelling with Heterogeneous Notations.

Jean Flower, John Howse, John Taylor, Stuart Kent

Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2002), 2002

Constraint Trees.

Stuart Kent, John Howse

Proceedings of the Object Modeling with the OCL, 2002

Advanced visual modelling: beyond UML.

Joseph Gil, John Howse, Stuart Kent

Proceedings of the 24th International Conference on Software Engineering, 2002

Corresponding Regions in Euler Diagrams.

John Howse, Gemma Stapleton, Jean Flower, John Taylor

Proceedings of the Diagrammatic Representation and Inference, 2002

On Diagram Tokens and Types.

John Howse, Fernando Molina, Sun-Joo Shin, John Taylor

Proceedings of the Diagrammatic Representation and Inference, 2002

Generating Euler Diagrams.

Jean Flower, John Howse

Proceedings of the Diagrammatic Representation and Inference, 2002

2001

Spider Diagrams: A Diagrammatic Reasoning System.

John Howse, Fernando Molina, John Taylor, Stuart Kent, Joseph Gil

J. Vis. Lang. Comput., 2001

Towards a Formalization of Constraint Diagrams.

Joseph Gil, John Howse, Stuart Kent

Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), 2001

Type-syntax and token-syntax in diagrammatic systems.

John Howse, Fernando Molina, John Taylor, Sun-Joo Shin

Proceedings of the 2nd International Conference on Formal Ontology in Information Systems, 2001

2000

SD2: A Sound and Complete Diagrammatic Reasoning System.

John Howse, Fernando Molina, John Taylor

Proceedings of the 2000 IEEE International Symposium on Visual Languages, 2000

Projections in Venn-Euler Diagrams.

Joseph Gil, John Howse, Stuart Kent, John Taylor

Proceedings of the 2000 IEEE International Symposium on Visual Languages, 2000

Advanced Visual Modeling: Beyond UML.

Joseph Gil, John Howse, Stuart Kent

Proceedings of the TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 2000

Advanced visual modeling (tutorial session): beyond UML.

Joseph Gil, John Howse, Stuart Kent

Proceedings of the 22nd International Conference on on Software Engineering, 2000

On the Completeness and Expressiveness of Spider Diagram Systems.

John Howse, Fernando Molina, John Taylor

Proceedings of the Theory and Application of Diagrams, First International Conference, 2000

A Sound and Complete Diagrammatic Reasoning System.

John Howse, Fernando Molina, John Taylor

Proceedings of the Artificial Intelligence and Soft Computing, July 24-26, 2000, Banff, 2000

1999

Reasoning with Spider Diagrams.

John Howse, Fernando Molina, John Taylor, Stuart Kent

Proceedings of the 1999 IEEE Symposium on Visual Languages, 1999

Formalizing Spider Diagrams.

Joseph Gil, John Howse, Stuart Kent

Proceedings of the 1999 IEEE Symposium on Visual Languages, 1999

Mixing Visual and Textual Constraint Languages.

Stuart Kent, John Howse

Proceedings of the «UML»'99: The Unified Modeling Language, 1999

Constraint Diagrams: A Step Beyond UML.

Joseph Gil, John Howse, Stuart Kent

Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999

Should UML Have a Single Semantics? Should UML Have a Single <i>Core</i> Semantics?

John Howse, Shusaku Iida, Richard Mitchell, Bernhard Rumpe

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998

Reflections on the Object Constraint Language.

Ali Hamie, Franco Civello, John Howse, Stuart Kent, Richard Mitchell

Proceedings of the Unified Modeling Language, 1998

Navigation Expresion in Object-Oriented Modelling.

Ali Hamie, John Howse, Stuart Kent

Proceedings of the Fundamental Approaches to Software Engineering, 1998

Modeling Software Components.

Stuart Kent, John Howse, Anthony Lauder

Proceedings of the Ninth International Workshop on Database and Expert Systems Applications, 1998

Interpreting the Object Constraint Language.

Ali Hamie, John Howse, Stuart Kent

Proceedings of the 5th Asia-Pacific Software Engineering Conference (APSEC '98), 1998

1997

Contract-Oriented Specifications.

Richard Mitchell, John Howse, Ali Hamie

Proceedings of the TOOLS 1997: 24th International Conference on Technology of Object-Oriented Languages and Systems, 1997

Semantics Through Pictures.

Stuart Kent, Ali Hamie, John Howse, Franco Civello, Richard Mitchell

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

1995

As-a: A Relationship to Support Code Reuse.

Richard J. Mitchell, John Howse, Ian Maung

J. Object Oriented Program., 1995

1994

Structuring formal specifications - a lesson relearned.

Richard J. Mitchell, Martin J. Loomes, John Howse

Microprocess. Microsystems, 1994

Towards a Formalization of Programming-by-Difference.

Ian Maung, John Howse, Richard J. Mitchell

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

1992

Introducing Hyper-Z - A New Approach to Object Orientation in Z.

Ian Maung, John Howse

Proceedings of the Z User Workshop, London, UK, 14-15 December 1992, Proceedings, 1992