John Taylor - RankMe

29 papers B 1C 9Misc 1Journal 10Unranked 7

Year	Rank	Type	Title / Venue / Authors
2014	—	`conf`	A Normal Form for Spider Diagrams of Order. DMS Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson
2014	J	`jnl`	A normal form for spider diagrams of order. J. Vis. Lang. Comput. Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson
2014	J	`jnl`	Equivalences in Euler-based diagram systems through normal forms. LMS J. Comput. Math. Andrew Fish, John Taylor
2013	—	`ch.`	On the Completeness of Spider Diagrams Augmented with Constants. Visual Reasoning with Diagrams Gem Stapleton, John Howse, Simon J. Thompson, John Taylor, Peter Chapman
2013	J	`jnl`	On the expressiveness of spider diagrams and commutative star-free regular languages. J. Vis. Lang. Comput. Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson
2010	C	`conf`	Fragments of Spider Diagrams of Order and Their Relative Expressiveness. Diagrams Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson
2009	J	`jnl`	The expressiveness of spider diagrams augmented with constants. J. Vis. Lang. Comput. Gem Stapleton, John Taylor, Simon J. Thompson, John Howse
2008	C	`conf`	A Normal Form for Euler Diagrams with Shading. Diagrams Andrew Fish, Chris John, John Taylor
2008	C	`conf`	Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages. Diagrams Aidan J. Delaney, John Taylor, Simon J. Thompson
2007	J	`jnl`	Properties of Euler Diagrams. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Gem Stapleton, Peter Rodgers, John Howse, John Taylor
2006	C	`conf`	Exploring the Notion of 'Clutter' in Euler Diagrams. Diagrams Chris John, Andrew Fish, John Howse, John Taylor
2005	J	`jnl`	A Decidable Constraint Diagram Reasoning System. J. Log. Comput. Gem Stapleton, John Howse, John Taylor
2005	—	`conf`	A New Language for the Visualization of Logic and Reasoning. DMS Gem Stapleton, Simon J. Thompson, Andrew Fish, John Howse, John Taylor
2005	J	`jnl`	Spider Diagrams. LMS J. Comput. Math. John Howse, Gem Stapleton, John Taylor
2004	J	`jnl`	Nesting in Euler Diagrams: syntax, semantics and construction. Softw. Syst. Model. Jean Flower, John Howse, John Taylor
2004	B	`conf`	The Expressiveness of Spider Diagrams Augmented with Constants. VL/HCC Gem Stapleton, John Howse, John Taylor, Simon J. Thompson
2004	J	`jnl`	The Expressiveness of Spider Diagrams. J. Log. Comput. Gem Stapleton, John Howse, John Taylor, Simon J. Thompson
2004	C	`conf`	What Can Spider Diagrams Say? Diagrams Gem Stapleton, John Howse, John Taylor, Simon J. Thompson
2002	—	`conf`	A Visual Framework for Modelling with Heterogeneous Notations. HCC Jean Flower, John Howse, John Taylor, Stuart Kent
2002	C	`conf`	Corresponding Regions in Euler Diagrams. Diagrams John Howse, Gemma Stapleton, Jean Flower, John Taylor
2002	—	`conf`	Nesting in Euler Diagrams. GT-VMT@ICGT Jean Flower, John Howse, John Taylor
2002	C	`conf`	On Diagram Tokens and Types. Diagrams John Howse, Fernando Molina, Sun-Joo Shin, John Taylor
2001	J	`jnl`	Spider Diagrams: A Diagrammatic Reasoning System. J. Vis. Lang. Comput. John Howse, Fernando Molina, John Taylor, Stuart Kent, Joseph Gil
2001	C	`conf`	Type-syntax and token-syntax in diagrammatic systems. FOIS John Howse, Fernando Molina, John Taylor, Sun-Joo Shin
2000	Misc	`conf`	A Sound and Complete Diagrammatic Reasoning System. Artificial Intelligence and Soft Computing John Howse, Fernando Molina, John Taylor
2000	C	`conf`	On the Completeness and Expressiveness of Spider Diagram Systems. Diagrams John Howse, Fernando Molina, John Taylor
2000	—	`conf`	Projections in Venn-Euler Diagrams. VL Joseph Gil, John Howse, Stuart Kent, John Taylor
2000	—	`conf`	SD2: A Sound and Complete Diagrammatic Reasoning System. VL John Howse, Fernando Molina, John Taylor
1999	—	`conf`	Reasoning with Spider Diagrams. VL John Howse, Fernando Molina, John Taylor, Stuart Kent