John Taylor

According to our database, John Taylor authored at least 27 papers between 1999 and 2014.

Collaborative distances:

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

2014

A normal form for spider diagrams of order.

Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson

J. Vis. Lang. Comput., 2014

Equivalences in Euler-based diagram systems through normal forms.

Andrew Fish, John Taylor

LMS J. Comput. Math., 2014

2013

On the expressiveness of spider diagrams and commutative star-free regular languages.

Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson

J. Vis. Lang. Comput., 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

2010

Fragments of Spider Diagrams of Order and Their Relative Expressiveness.

Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson

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

2008

A Normal Form for Euler Diagrams with Shading.

Andrew Fish, Chris John, John Taylor

Proceedings of the Diagrammatic Representation and Inference, 5th International Conference, 2008

Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages.

Aidan J. Delaney, John Taylor, Simon J. Thompson

Proceedings of the Diagrammatic Representation and Inference, 5th International Conference, 2008

2007

Properties of Euler Diagrams.

Gem Stapleton, Peter Rodgers, John Howse, John Taylor

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

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

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

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

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

2001

Spider Diagrams: A Diagrammatic Reasoning System.

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

J. Vis. Lang. Comput., 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

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