If you made any changes in Pure these will be visible here soon.

Research Output 2002 2019

Filter
Article
2019

The efficacy of Euler diagrams and linear diagrams for visualizing set cardinality using proportions and numbers

Stapleton, G., Chapman, P., Rodgers, P., Touloumis, A., Blake, A. & Delaney, A., 28 Mar 2019, In : PLoS ONE. 14, 3, e0211234.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
2018

Human inference beyond syllogisms: an approach using external graphical representations

Sato, Y., Stapleton, G., Jamnik, M. & Shams, Z., 3 Aug 2018, In : Cognitive Processing. 20, 1, p. 103–115

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
Ontology
Experiments

Spider Diagrams with Absence: Inference Rules for Clutter Reduction

Stapleton, G., Choudhury, L. & Chakraborty, M., 17 Sep 2018, (Accepted/In press) In : Journal of Visual Languages and Sentient Systems.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
Acoustic waves
2017

Presence and Absence of Individuals in Diagrammatic Logics: An Empirical Comparison

Stapleton, G., Blake, A., Burton, J. & Touloumis, A., 20 Feb 2017, In : Studia Logica. 105, 4, p. 787-815 29 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
Cognition
Research

What Makes an Effective Representation of Information: A Formal Account of Observational Advantages

Stapleton, G., Jamnik, M. & Shimojima, A., 7 Apr 2017, In : Journal of Logic, Language and Information. 26, 2, p. 143-177 35 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
2016

A Task-Based Evaluation of Combined Set and Network Visualization

Rodgers, P., Stapleton, G., Alsallakh, B., Michallef, L., Baker, R. & Thompson, S., 2 Jun 2016, In : Information Sciences. 367-8, p. 58-79 22 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
Crime
Electric network analysis
Gene expression
Visualization
2015

Combining sketching and traditional diagram editing tools

Stapleton, G., Plimmer, B., Delaney, A. & Rodgers, P., 1 Mar 2015, In : ACM Transactions on Intelligent Systems and Technology. 6, 1

Research output: Contribution to journalArticleResearchpeer-review

Visualization
Syntactics

Speedith: A reasoner for spider diagrams

Urbas, M., Jamnik, M. & Stapleton, G., 1 Dec 2015, In : Journal of Logic, Language and Information. 24, 4, p. 487-540 54 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
Acoustic waves

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

Blake, A., Stapleton, G., Rodgers, P. & Howse, J., 15 May 2015, In : Information Sciences. 330, p. 455-482 28 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
diagram
network analysis
social network
crime

Visualizing Sets with Linear Diagrams

Rodgers, P., Stapleton, G. & Chapman, P., 1 Sep 2015, In : ACM Transactions on Computer-Human Interaction. 22, 6

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
Visualization
Human computer interaction
Color
2014

A normal form for spider diagrams of order

Delaney, A., Stapleton, G., Taylor, J. & Thompson, S., 1 Dec 2014, In : Journal of Visual Languages and Computing. 25, 6, p. 935-944 10 p.

Research output: Contribution to journalArticleResearchpeer-review

Spiders
Normal Form
Diagram
Reasoning
Logic

Drawing area-proportional Euler diagrams representing up to three sets

Rodgers, P., Stapleton, G., Flower, J. & Howse, J., 1 Jan 2014, In : IEEE Transactions on Visualization and Computer Graphics. 20, 1, p. 56-69 14 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
Drawing (graphics)
Visualization
Industry
Experiments

On the drawability of 3D venn and euler diagrams

Flower, J., Stapleton, G. & Rodgers, P., 1 Jan 2014, In : Journal of Visual Languages and Computing. 25, 3, p. 186-209 24 p.

Research output: Contribution to journalArticleResearchpeer-review

File
Labels

PaL Diagrams: a linear diagram-based visual language

Chapman, P., Stapleton, G. & Rodgers, P., 1 Jan 2014, In : Journal of Visual Languages and Computing. 25, 6, p. 945-954 10 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
Visual languages
2013

Generalized constraint diagrams and the classical decision problem

Burton, J., Stapleton, G. & Howse, J., 1 Jan 2013, In : Journal of Logic and Computation. 23, 1, p. 199-262 64 p.

Research output: Contribution to journalArticleResearchpeer-review

Syntactics
Semantics
Acoustic waves

On the expressiveness of second-order spider diagrams

Chapman, P., Stapleton, G. & Delaney, A., 1 Oct 2013, In : Journal of Visual Languages and Computing. 24, 5, p. 327-349 23 p.

Research output: Contribution to journalArticleResearchpeer-review

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

Delaney, A., Stapleton, G., Taylor, J. & Thompson, S., 27 Feb 2013, In : Journal of Visual Languages and Computing. 24, 4, p. 273-288 16 p.

Research output: Contribution to journalArticleResearchpeer-review

Spiders
Regular Languages
Expressiveness
Star
Diagram
2012

Automatically drawing Euler diagrams with circles

Stapleton, G., Flower, J., Rodgers, P. & Howse, J., 1 Jan 2012, In : Journal of Visual Languages and Computing. 23, 3, p. 163-193 31 p.

Research output: Contribution to journalArticleResearchpeer-review

File
Polynomials
2011

A decision procedure for a decidable fragment of generalized constraint diagrams

Burton, J., Stapleton, G. & Hamie, A., 28 Feb 2011, In : Journal of Visual Languages and Computing. 22, 1, p. 90-105 16 p.

Research output: Contribution to journalArticleResearchpeer-review

A general method for drawing area-proportional Euler diagrams

Stapleton, G., Rodgers, P. & Howse, J., 22 Aug 2011, In : Journal of Visual Languages and Computing. 22, 6, p. 426-442 17 p.

Research output: Contribution to journalArticleResearchpeer-review

Specifications

Drawing Euler diagrams with circles: the theory of piercings

Stapleton, G., Zhang, L., Howse, J. & Rodgers, P., 1 Jul 2011, In : IEEE Transactions on Visualization and Computer Graphics. 17, 7, p. 1020-1032 13 p.

Research output: Contribution to journalArticleResearchpeer-review

Euler
Circle
Diagram
Curve
Polygon

Inductively generating Euler diagrams

Stapleton, G., Rodgers, P., Howse, J. & Zhang, L., 1 Jan 2011, In : IEEE Transactions on Visualization and Computer Graphics. 17, 1, p. 88-100 13 p.

Research output: Contribution to journalArticleResearchpeer-review

Visualization
Specifications
2010

A graph theoretic approach to general euler diagram drawing

Stapleton, G., Howse, J. & Rodgers, P., 1 Jan 2010, In : Theoretical Computer Science. 411, 1, p. 91-112 22 p.

Research output: Contribution to journalArticleResearchpeer-review

2009

The expressiveness of spider diagrams augmented with constants

Stapleton, G., Taylor, J., Thompson, S. & Howse, J., 1 Feb 2009, In : Journal of Visual Languages and Computing. 20, 1, p. 91-98 8 p.

Research output: Contribution to journalArticleResearchpeer-review

Acoustic waves
Visual languages
Syntactics
Semantics
2008

Evaluating and generalizing constraint diagrams

Stapleton, G. & Delaney, A., 1 Aug 2008, In : Journal of Visual Languages and Computing. 19, 4, p. 499-521 23 p.

Research output: Contribution to journalArticleResearchpeer-review

Unified Modeling Language
Semantics
Specifications
2007

Automated theorem proving in Euler diagram systems

Stapleton, G., Masthoff, J., Flower, J., Fish, A. & Southern, J., 1 Jun 2007, In : Journal of Automated Reasoning. 39, 4, p. 431-470 40 p.

Research output: Contribution to journalArticleResearchpeer-review

Theorem proving
Acoustic waves
2005

A decidable constraint diagram reasoning system

Stapleton, G., Howse, J. & Taylor, J., 1 Dec 2005, In : Journal of Logic and Computation. 15, 6, p. 975-1008 34 p.

Research output: Contribution to journalArticleResearchpeer-review

Information systems
Semantics
Acoustic waves
Engineers

A survey of reasoning systems based on Euler diagrams

Stapleton, G., 1 Jun 2005, In : Electronic Notes in Theoretical Computer Science. 134, p. 127-151 25 p.

Research output: Contribution to journalArticleResearchpeer-review

Conveying

Spider diagrams

Howse, J., Stapleton, G. & Taylor, J., 1 Jan 2005, In : LMS Journal of Computation and Mathematics. 8, p. 145-194 50 p.

Research output: Contribution to journalArticleResearchpeer-review

Diagrams
Syntax
Logicians
First-order Logic
Leonhard Euler
2004

Automated theorem proving with spider diagrams

Flower, J. & Stapleton, G., 16 Feb 2004, In : Electronic Notes in Theoretical Computer Science. 91, p. 246-263 18 p.

Research output: Contribution to journalArticleResearchpeer-review

Automated Theorem Proving
Spiders
Diagram
Counterexample
Tool Support

The expressiveness of spider diagrams

Stapleton, G., Howse, J., Taylor, J. & Thompson, S., 1 Dec 2004, In : Journal of Logic and Computation. 14, 6, p. 857-880 24 p.

Research output: Contribution to journalArticleResearchpeer-review

Spiders
Expressiveness
Diagram
Visual Languages
Predicate Logic