Gem Stapleton - RankMe

137 papers A* 1B 21C 38Misc 2Journal 38Unranked 32

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Oruga: An Avatar of Representational Systems Theory. CoRR Daniel Raggi, Gem Stapleton, Mateja Jamnik, Aaron Stockdill, Grecia Garcia Garcia, Peter C.-H. Cheng
2025	J	`jnl`	Structure Transfer: an Inference-Based Calculus for the Transformation of Representations. CoRR Daniel Raggi, Gem Stapleton, Mateja Jamnik, Aaron Stockdill, Grecia Garcia Garcia, Peter C.-H. Cheng
2024	C	`conf`	Oruga: Implementation and Use of Representational Systems Theory. CICM Daniel Raggi, Gem Stapleton, Aaron Stockdill, Grecia Garcia Garcia, Peter C.-H. Cheng, Mateja Jamnik
2023	B	`conf`	Human Visual Consistency-Checking in the Real World Ontologies. VL/HCC Yuri Sato, Gem Stapleton, Mateja Jamnik, Zohreh Shams, Andrew Blake
2022	C	`conf`	Evaluating Colour in Concept Diagrams. Diagrams Sean McGrath, Andrew Blake, Gem Stapleton, Anestis Touloumis, Peter Chapman, Mateja Jamnik, Zohreh Shams
2022	B	`conf`	Examining Experts' Recommendations of Representational Systems for Problem Solving. VL/HCC Aaron Stockdill, Gem Stapleton, Daniel Raggi, Mateja Jamnik, Grecia Garcia Garcia, Peter C.-H. Cheng
2022	—	`conf`	Oruga: an avatar of Representational Systems Theory. HLC Daniel Raggi, Gem Stapleton, Mateja Jamnik, Aaron Stockdill, Grecia Garcia Garcia, Peter C.-H. Cheng
2022	J	`jnl`	Representational Systems Theory: A Unified Approach to Encoding, Analysing and Transforming Representations. CoRR Daniel Raggi, Gem Stapleton, Mateja Jamnik, Aaron Stockdill, Grecia Garcia Garcia, Peter C.-H. Cheng
2021	C	`ed.`	Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Virtual, September 28-30, 2021, Proceedings Diagrams Amrita Basu, Gem Stapleton, Sven Linker, Catherine Legg, Emmanuel Manalo, Petrucio Viana
2021	J	`jnl`	Evaluating Free Rides and Observational Advantages in Set Visualizations. J. Log. Lang. Inf. Andrew Blake, Gem Stapleton, Peter J. Rodgers, Anestis Touloumis
2021	J	`jnl`	Evaluating graphical manipulations in automatically laid out LineSets. Behav. Inf. Technol. Dominique Tranquille, Gem Stapleton, Jim Burton, Peter Rodgers
2020	C	`conf`	Evaluating Visualizations of Sets and Networks that Use Euler Diagrams and Graphs. Diagrams Almas Baimagambetov, Gem Stapleton, Andrew Blake, John Howse
2020	B	`conf`	How to (Re)represent it? ICTAI Daniel Raggi, Gem Stapleton, Aaron Stockdill, Mateja Jamnik, Grecia Garcia Garcia, Peter C.-H. Cheng
2020	C	`conf`	Well-Matchedness in Euler and Linear Diagrams. Diagrams Gem Stapleton, Peter J. Rodgers, Anestis Touloumis, Andrew Blake
2019	Misc	`conf`	Exploring and Conceptualising Attestation. ICCS Ian Oliver, John Howse, Gem Stapleton, Zohreh Shams, Mateja Jamnik
2019	J	`jnl`	Human inference beyond syllogisms: an approach using external graphical representations. Cogn. Process. Yuri Sato, Gem Stapleton, Mateja Jamnik, Zohreh Shams
2018	C	`conf`	Accessible Reasoning with Diagrams: From Cognition to Automation. Diagrams Zohreh Shams, Yuri Sato, Mateja Jamnik, Gem Stapleton
2018	B	`conf`	Deductive reasoning about expressive statements using external graphical representations. CogSci Yuri Sato, Gem Stapleton, Mateja Jamnik, Zohreh Shams
2018	C	`ed.`	Diagrammatic Representation and Inference - 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings Diagrams Peter Chapman, Gem Stapleton, Amirouche Moktefi, Sarah Pérez-Kriz, Francesco Bellucci
2018	C	`conf`	Euler Diagrams Through the Looking Glass: From Extent to Intent. Diagrams Gem Stapleton, Amirouche Moktefi, John Howse, Jim Burton
2018	C	`conf`	Generating Effective Euler Diagrams. Diagrams Almas Baimagambetov, John Howse, Gem Stapleton, Aidan J. Delaney
2018	—	`ed.`	Graph Structures for Knowledge Representation and Reasoning - 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers GKR Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton
2018	—	`conf`	Picturing Problems: Solving Logic Puzzles Diagrammatically. SetVR@Diagrams John Howse, Gem Stapleton, Jim Burton, Andrew Blake
2018	—	`conf`	Reasoning with Diagrams: Observation, Inference and Overspecificity (Plenary). DMSVIVA Gem Stapleton
2018	—	`conf`	Spider Diagrams with Absence. DMSVIVA Lopamudra Choudhury, Mihir K. Chakraborty, Gem Stapleton
2018	J	`jnl`	Spider Diagrams with Absence: Inference Rules for Clutter Reduction. J. Vis. Lang. Sentient Syst. Gem Stapleton, Lopamudra Choudhury, Mihir K. Chakraborty
2018	—	`ed.`	The 24th International DMS Conference on Visualization and Visual Languages, DMSVIVA 2018, Hotel Pullman, Redwood City, San Francisco Bay, USA, June 29 to 30, 2018. DMSVIVA Gem Stapleton, Kang Zhang
2018	C	`conf`	The Observational Advantages of Euler Diagrams with Existential Import. Diagrams Gem Stapleton, Atsushi Shimojima, Mateja Jamnik
2018	A*	`conf`	iCon: A Diagrammatic Theorem Prover for Ontologies. KR Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato
2017	—	`conf`	An Empirical Evaluation of Argumentation in Explaining Inconsistency-Tolerant Query Answering. Description Logics Abdelraouf Hecham, Abdallah Arioua, Gem Stapleton, Madalina Croitoru
2017	C	`conf`	Evaluating the effects of size in linesets. VINCI Dominique Tranquille, Gem Stapleton, Jim Burton, Peter J. Rodgers
2017	C	`conf`	How Network-based and set-based visualizations aid consistency checking in ontologies. VINCI Yuri Sato, Gem Stapleton, Mateja Jamnik, Zohreh Shams, Andrew Blake
2017	J	`jnl`	Presence and Absence of Individuals in Diagrammatic Logics: An Empirical Comparison. Stud Logica Gem Stapleton, Andrew Blake, Jim Burton, Anestis Touloumis
2017	C	`conf`	Reasoning with Concept Diagrams About Antipatterns in Ontologies. CICM Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato
2017	—	`conf`	Reasoning with Concept Diagrams about Antipatterns. LPAR (Short Presentations) Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato
2017	—	`conf`	The Efficacy of OWL and DL on User Understanding of Axioms and Their Entailments. ISWC (1) Eisa Alharbi, John Howse, Gem Stapleton, Ali Hamie, Anestis Touloumis
2017	B	`conf`	Visual logics help people: An evaluation of diagrammatic, textual and symbolic notations. VL/HCC Eisa Alharbi, John Howse, Gem Stapleton, Ali Hamie, Anestis Touloumis
2017	—	`conf`	Visualizing GKR Gem Stapleton, Aidan J. Delaney, Michael Compton, Peter Chapman
2017	B	`conf`	Visualizing OWL 2 using diagrams. VL/HCC Gem Stapleton, Michael Compton, John Howse
2017	J	`jnl`	What Makes an Effective Representation of Information: A Formal Account of Observational Advantages. J. Log. Lang. Inf. Gem Stapleton, Mateja Jamnik, Atsushi Shimojima
2016	B	`ed.`	2016 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2016, Cambridge, United Kingdom, September 4-8, 2016 VL/HCC Alan F. Blackwell, Beryl Plimmer, Gem Stapleton
2016	J	`jnl`	A task-based evaluation of combined set and network visualization. Inf. Sci. Peter J. Rodgers, Gem Stapleton, Bilal Alsallakh, Luana Micallef, Robert Baker, Simon J. Thompson
2016	—	`conf`	Diagrammatic Ontology Engineering. JOWO@FOIS Gem Stapleton
2016	C	`conf`	Effective Representation of Information: Generalizing Free Rides. Diagrams Gem Stapleton, Mateja Jamnik, Atsushi Shimojima
2016	C	`conf`	Evaluating Diagrammatic Patterns for Ontology Engineering. Diagrams Eisa Alharbi, John Howse, Gem Stapleton, Ali Hamie
2016	C	`conf`	Evaluating the Effects of Colour in LineSets. Diagrams Dominique Tranquille, Gem Stapleton, Jim Burton, Peter Rodgers
2016	—	`conf`	Evaluating the Impact of Clutter in Linear Diagrams. SetVR@Diagrams Mohanad Alqadah, Gem Stapleton, John Howse, Peter Chapman
2016	Misc	`ed.`	Graph-Based Representation and Reasoning - 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings ICCS Ollivier Haemmerlé, Gem Stapleton, Catherine Faron-Zucker
2016	C	`conf`	Minimizing Clutter Using Absence in Venn-i Diagrams Jim Burton, Mihir K. Chakraborty, Lopamudra Choudhury, Gem Stapleton
2016	—	`conf`	Observing the Truth: Diagrams, Sets and Free Rides. SetVR@Diagrams Gem Stapleton
2016	C	`conf`	The Perception of Clutter in Linear Diagrams. Diagrams Mohanad Alqadah, Gem Stapleton, John Howse, Peter Chapman
2016	J	`jnl`	The impact of topological and graphical choices on the perception of Euler diagrams. Inf. Sci. Andrew Blake, Gem Stapleton, Peter Rodgers, John Howse
2015	J	`jnl`	Combining Sketching and Traditional Diagram Editing Tools. ACM Trans. Intell. Syst. Technol. Gem Stapleton, Beryl Plimmer, Aidan J. Delaney, Peter J. Rodgers
2015	—	`ed.`	Graph Structures for Knowledge Representation and Reasoning - 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers GKR Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton
2015	J	`jnl`	Special issue on Euler and Venn Diagrams: Guest Editors' introduction. J. Log. Lang. Inf. Jim Burton, Gem Stapleton
2015	J	`jnl`	Speedith: A Reasoner for Spider Diagrams. J. Log. Lang. Inf. Matej Urbas, Mateja Jamnik, Gem Stapleton
2015	J	`jnl`	Visualizing Sets with Linear Diagrams. ACM Trans. Comput. Hum. Interact. Peter J. Rodgers, Gem Stapleton, Peter Chapman
2014	—	`conf`	A Normal Form for Spider Diagrams of Order. DMS Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson
2014	—	`conf`	A Vision for Diagrammatic Ontology Engineering. VISUAL@EKAW Gem Stapleton, John Howse, Adrienne Bonnington, Jim Burton
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`	Drawing Area-Proportional Euler Diagrams Representing Up To Three Sets. IEEE Trans. Vis. Comput. Graph. Peter Rodgers, Gem Stapleton, Jean Flower, John Howse
2014	C	`conf`	Evaluating the Impact of Clutter in Euler Diagrams. Diagrams Mohanad Alqadah, Gem Stapleton, John Howse, Peter Chapman
2014	C	`conf`	How Should We Use Colour in Euler Diagrams? VINCI Andrew Blake, Gem Stapleton, Peter J. Rodgers, John Howse
2014	—	`ed.`	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, Melbourne, Australia, July 28th and 1st August 2014. ED/GViP@Diagrams Jim Burton, Gem Stapleton, Karsten Klein
2014	J	`jnl`	On the drawability of 3D Venn and Euler diagrams. J. Vis. Lang. Comput. Jean Flower, Gem Stapleton, Peter Rodgers
2014	—	`conf`	PaL Diagrams: A Linear Diagram-Based Visual Language. DMS Peter Chapman, Gem Stapleton, Peter Rodgers
2014	J	`jnl`	PaL diagrams: A linear diagram-based visual language. J. Vis. Lang. Comput. Peter Chapman, Gem Stapleton, Peter J. Rodgers
2014	B	`conf`	Properties of euler diagrams and graphs in combination. VL/HCC Mithileysh Sathiyanarayanan, Gem Stapleton, Jim Burton, John Howse
2014	J	`jnl`	Special issue on diagram aesthetics and layout: Guest editors' introduction. J. Vis. Lang. Comput. Beryl Plimmer, Peter Rodgers, Gem Stapleton
2014	C	`conf`	The Impact of Shape on the Perception of Euler Diagrams. Diagrams Andrew Blake, Gem Stapleton, Peter Rodgers, Liz Cheek, John Howse
2014	C	`conf`	Visualizing Concepts with Euler Diagrams. Diagrams Jim Burton, Gem Stapleton, John Howse, Peter Chapman
2014	C	`conf`	Visualizing Sets: An Empirical Comparison of Diagram Types. Diagrams Peter Chapman, Gem Stapleton, Peter Rodgers, Luana Micallef, Andrew Blake
2013	B	`conf`	Designing inference rules for spider diagrams. VL/HCC Gem Stapleton, Mateja Jamnik, Matej Urbas
2013	J	`jnl`	Generalized constraint diagrams and the classical decision problem. J. Log. Comput. Jim Burton, Gem Stapleton, John Howse
2013	B	`conf`	Improving user comprehension of Euler diagrams. VL/HCC Andrew Blake, Gem Stapleton, Peter Rodgers, Liz Cheek, John Howse
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 second-order spider diagrams. J. Vis. Lang. Comput. Peter Chapman, Gem Stapleton, Aidan J. Delaney
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
2013	B	`conf`	Protecting privacy: Towards a visual framework for handling end-user data. VL/HCC Ian Oliver, John Howse, Gem Stapleton
2013	—	`conf`	Towards Diagrammatic Ontology Patterns. WOP Gem Stapleton, John Howse, Kerry Taylor, Aidan J. Delaney, Jim Burton, Peter Chapman
2012	B	`ed.`	2012 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2012, Innsbruck, Austria, September 30 - October 4, 2012 VL/HCC Martin Erwig, Gem Stapleton, Gennaro Costagliola
2012	J	`jnl`	Automatically drawing Euler diagrams with circles. J. Vis. Lang. Comput. Gem Stapleton, Jean Flower, Peter J. Rodgers, John Howse
2012	—	`conf`	Completeness Proof Strategies for Euler Diagram Logics. ED@Diagrams Jim Burton, Gem Stapleton, John Howse
2012	C	`conf`	Completeness Proofs for Diagrammatic Logics. Diagrams Jim Burton, Gem Stapleton, John Howse
2012	—	`conf`	Does the Orientation of an Euler Diagram Affect User Comprehension? DMS Andrew Blake, Gem Stapleton, Peter Rodgers, Liz Cheek, John Howse
2012	—	`conf`	Formalizing the Syntax of Codecharts. DMS Jon Nicholson, Aidan J. Delaney, Gem Stapleton
2012	—	`conf`	Introducing 3D Venn and Euler Diagrams. ED@Diagrams Peter J. Rodgers, Jean Flower, Gem Stapleton
2012	B	`conf`	Linking codecharts with programs. VL/HCC Jon Nicholson, Aidan J. Delaney, Gem Stapleton
2012	C	`conf`	Speedith: A Diagrammatic Reasoner for Spider Diagrams. Diagrams Matej Urbas, Mateja Jamnik, Gem Stapleton, Jean Flower
2012	C	`conf`	What Can Concept Diagrams Say? Diagrams Gem Stapleton, John Howse, Peter Chapman, Ian Oliver, Aidan J. Delaney
2011	J	`jnl`	A decision procedure for a decidable fragment of generalized constraint diagrams. J. Vis. Lang. Comput. Jim Burton, Gem Stapleton, Ali Hamie
2011	J	`jnl`	A general method for drawing area-proportional Euler diagrams. J. Vis. Lang. Comput. Gem Stapleton, Peter Rodgers, John Howse
2011	B	`conf`	Deriving sound inference rules for concept diagrams. VL/HCC Peter Chapman, Gem Stapleton, John Howse, Ian Oliver
2011	J	`jnl`	Drawing Euler Diagrams with Circles: The Theory of Piercings. IEEE Trans. Vis. Comput. Graph. Gem Stapleton, Leishi Zhang, John Howse, Peter Rodgers
2011	B	`conf`	Drawing Euler diagrams with circles and ellipses. VL/HCC Gem Stapleton, Peter Rodgers
2011	J	`jnl`	Inductively Generating Euler Diagrams. IEEE Trans. Vis. Comput. Graph. Gem Stapleton, Peter Rodgers, John Howse, Leishi Zhang
2011	—	`conf`	Recognising Sketches of Euler Diagrams Augmented with Graphs. DMS Gem Stapleton, Aidan J. Delaney, Peter Rodgers, Beryl Plimmer
2011	B	`conf`	SketchSet: Creating Euler diagrams using pen or mouse. VL/HCC Mengdi Wang, Beryl Plimmer, Paul Schmieder, Gem Stapleton, Peter Rodgers, Aidan J. Delaney
2011	J	`jnl`	Special issue on visual analytics and visual semantics: Guest Editors' introduction. J. Vis. Lang. Comput. Gem Stapleton, Giuliana Vitiello, Monica Sebillo
2011	—	`conf`	Visualizing Ontologies: A Case Study. ISWC (1) John Howse, Gem Stapleton, Kerry Taylor, Peter Chapman
2010	J	`jnl`	A graph theoretic approach to general Euler diagram drawing. Theor. Comput. Sci. Gem Stapleton, John Howse, Peter J. Rodgers
2010	C	`conf`	Creating a Second Order Diagrammatic Logic. Diagrams Peter Chapman, Gem Stapleton
2010	C	`conf`	Drawing Area-Proportional Venn-3 Diagrams with Convex Polygons. Diagrams Peter Rodgers, Jean Flower, Gem Stapleton, John Howse
2010	C	`conf`	Drawing Euler Diagrams for Information Visualization. Diagrams John Howse, Peter Rodgers, Gem Stapleton
2010	C	`conf`	Drawing Euler Diagrams with Circles. Diagrams Gem Stapleton, Leishi Zhang, John Howse, Peter Rodgers
2010	B	`conf`	Euler Graph Transformations for Euler Diagram Layout. VL/HCC Peter Rodgers, Gem Stapleton, John Howse, Leishi Zhang
2010	C	`conf`	Fragments of Spider Diagrams of Order and Their Relative Expressiveness. Diagrams Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson
2010	B	`conf`	Introducing Second-Order Spider Diagrams for Defining Regular Languages. VL/HCC Peter Chapman, Gem Stapleton
2010	—	`conf`	On the Relative Expressiveness of Second-Order Spider Diagrams and Regular Expressions. DMS Peter Chapman, Gem Stapleton
2010	—	`conf`	Recognizing Sketches of Euler Diagrams Drawn with Ellipses. DMS Aidan J. Delaney, Beryl Plimmer, Gem Stapleton, Peter J. Rodgers
2010	—	`conf`	Visual Reasoning about Ontologies. ISWC (Posters & Demos) John Howse, Gem Stapleton, Ian Oliver
2009	B	`conf`	Changing euler diagram properties by edge transformation of euler dual graphs. VL/HCC John Howse, Peter Rodgers, Gem Stapleton
2009	—	`conf`	Diagrammatic Formal Specification of a Configuration Control Platform. REFINE@FMWeek John Howse, Steve Schuman, Gem Stapleton, Ian Oliver
2009	C	`conf`	Some Results for Drawing Area Proportional Venn3 With Convex Curves. IV Peter Rodgers, Jean Flower, Gem Stapleton, John Howse
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	—	`conf`	Abstract Euler Diagram Isomorphism. DMS Gem Stapleton, Andrew Fish, Peter Rodgers
2008	C	`ed.`	Diagrammatic Representation and Inference, 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings Diagrams Gem Stapleton, John Howse, John Lee
2008	C	`conf`	Embedding Wellformed Euler Diagrams. IV Peter Rodgers, Leishi Zhang, Gem Stapleton, Andrew Fish
2008	J	`jnl`	Evaluating and generalizing constraint diagrams. J. Vis. Lang. Comput. Gem Stapleton, Aidan J. Delaney
2008	J	`jnl`	Generating Euler Diagrams from Existing Layouts. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Gem Stapleton, John Howse, Peter Rodgers, Leishi Zhang
2008	—	`conf`	Spider Diagrams Augmented with Constants: A Complete System. DMS Gem Stapleton
2008	—	`conf`	Visual Mathematics: Diagrammatic Formalization and Proof. AISC/MKM/Calculemus John Howse, Gem Stapleton
2007	J	`jnl`	Automated Theorem Proving in Euler Diagram Systems. J. Autom. Reason. Gem Stapleton, Judith Masthoff, Jean Flower, Andrew Fish, Jane Southern
2007	J	`jnl`	Properties of Euler Diagrams. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Gem Stapleton, Peter Rodgers, John Howse, John Taylor
2007	—	`conf`	Spider Diagrams of Order. VLL Aidan J. Delaney, Gem Stapleton
2007	B	`conf`	Towards Overcoming Deficiencies in Constraint Diagrams. VL/HCC Gem Stapleton, Aidan J. Delaney
2006	C	`conf`	Defining Euler Diagrams: Simple or What?. Diagrams Andrew Fish, Gem Stapleton
2006	C	`conf`	Generalizing Spiders. Diagrams Gem Stapleton, John Howse, Kate Toller
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	—	`conf`	A Survey of Reasoning Systems Based on Euler Diagrams. Euler Gem Stapleton
2004	—	`conf`	Automated Theorem Proving with Spider Diagrams. CATS Jean Flower, Gem Stapleton
2004	C	`conf`	Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams. Diagrams Jean Flower, Judith Masthoff, Gem Stapleton
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