Gem Stapleton

Cited by

	All	Since 2019
Citations	2059	544
h-index	25	11
i10-index	62	16

220

110

165

20042005200620072008200920102011201220132014201520162017201820192020202120222023202435 49 37 55 92 62 68 91 106 181 213 93 141 121 149 116 106 110 93 70 48

Public access

View all

10 articles

1 article

available

not available

Based on funding mandates

Co-authors

John HowseProfessor of Mathematics and Computation, University of BrightonVerified email at brighton.ac.uk
Peter RodgersSchool of Computing, University of KentVerified email at kent.ac.uk
Peter ChapmanEdinburgh Napier UniversityVerified email at napier.ac.uk
Aidan DelaneyVerified email at ontologyengineering.org
Andrew BlakeUniversity of BrightonVerified email at brighton.ac.uk
Jim BurtonSenior Lecturer in Computing, University of BrightonVerified email at brighton.ac.uk
Simon ThompsonProfessor, University of Kent and Eötvös Loránd University, Budapest; Technical Advisor, IO GlobalVerified email at kent.ac.uk
Leishi ZhangSchool of Engineering, Technology and Design, Canterbury Christ Church UniveristyVerified email at canterbury.ac.uk
Judith MasthoffUtrecht UniversityVerified email at uu.nl
Anestis TouloumisUniversity of BrightonVerified email at brighton.ac.uk
Yuri SatoOchanomizu UniversityVerified email at ocha.ac.jp
Beryl PlimmerUniversity of AucklandVerified email at cs.auckland.ac.nz
Atsushi ShimojimaDoshisha UniversityVerified email at mail.doshisha.ac.jp
Kerry TaylorProfessor of Computer Science, Australian National UniversityVerified email at acm.org
Amirouche MoktefiRagnar Nurkse Department of Innovation and Governance, Tallinn University of Technology, EstoniaVerified email at taltech.ee
Luana MicallefHuman-Centered Computing, Department of Computer Science, University of CopenhagenVerified email at di.ku.dk
Michael ComptonCSIROVerified email at csiro.au
Jon NicholsonHastings DirectVerified email at drjonnicholson.com
Gennaro CostagliolaComputer ScienceVerified email at unisa.it
Martin ErwigStretch Professor of Computer Science, Oregon State UniversityVerified email at oregonstate.edu

Gem Stapleton

University of Cambridge

Verified email at cam.ac.uk - Homepage

logic visualization diagrammatic reasoning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Spider diagrams J Howse, G Stapleton, J Taylor LMS Journal of Computation and Mathematics 8, 145-194, 2005	174	2005
Visualizing ontologies: A case study J Howse, G Stapleton, K Taylor, P Chapman The Semantic Web–ISWC 2011: 10th International Semantic Web Conference, Bonn …, 2011	74	2011
Visualizing sets with linear diagrams P Rodgers, G Stapleton, P Chapman ACM Transactions on Computer-Human Interaction (TOCHI) 22 (6), 1-39, 2015	64	2015
A survey of reasoning systems based on Euler diagrams G Stapleton Electronic Notes in Theoretical Computer Science 134, 127-151, 2005	64	2005
The expressiveness of spider diagrams G Stapleton, J Howse, J Taylor, S Thompson Journal of Logic and Computation 14 (6), 857-880, 2004	61	2004
Automated theorem proving in Euler diagram systems G Stapleton, J Masthoff, J Flower, A Fish, J Southern Journal of Automated Reasoning 39, 431-470, 2007	60	2007
Inductively generating Euler diagrams G Stapleton, P Rodgers, J Howse, L Zhang IEEE Transactions on Visualization and Computer Graphics 17 (1), 88-100, 2010	57	2010
Visualizing sets: An empirical comparison of diagram types P Chapman, G Stapleton, P Rodgers, L Micallef, A Blake Diagrammatic Representation and Inference: 8th International Conference …, 2014	54	2014
What makes an effective representation of information: a formal account of observational advantages G Stapleton, M Jamnik, A Shimojima Journal of Logic, Language and Information 26, 143-177, 2017	52	2017
Properties of Euler diagrams G Stapleton, P Rodgers, J Howse, J Taylor Electronic Communications of the EASST 7, 2007	52	2007
A decidable constraint diagram reasoning system G Stapleton, J Howse, J Taylor Journal of Logic and Computation 15 (6), 975-1008, 2005	43	2005
Automatically drawing Euler diagrams with circles G Stapleton, J Flower, P Rodgers, J Howse Journal of Visual Languages & Computing 23 (3), 163-193, 2012	42	2012
The expressiveness of spider diagrams augmented with constants G Stapleton, J Taylor, S Thompson, J Howse Journal of Visual Languages & Computing 20 (1), 30-49, 2009	41	2009
Drawing Euler diagrams with circles: The theory of piercings G Stapleton, L Zhang, J Howse, P Rodgers IEEE transactions on visualization and computer graphics 17 (7), 1020-1032, 2010	40	2010
Generating readable proofs: A heuristic approach to theorem proving with spider diagrams J Flower, J Masthoff, G Stapleton Diagrammatic Representation and Inference: Third International Conference …, 2004	37	2004
Evaluating and generalizing constraint diagrams G Stapleton, A Delaney Journal of Visual Languages & Computing 19 (4), 499-521, 2008	36	2008
The impact of shape on the perception of Euler diagrams A Blake, G Stapleton, P Rodgers, L Cheek, J Howse Diagrammatic Representation and Inference: 8th International Conference …, 2014	33	2014
A constraint diagram reasoning system G Stapleton, J Howse, J Taylor Proceedings of International Conference on Visual Languages and Computing …, 2003	33	2003
Formalizing concept diagrams G Stapleton, J Howse, P Chapman, A Delaney, J Burton, I Oliver Visual languages and computing, 182-187, 2013	29	2013
Automated theorem proving with spider diagrams J Flower, G Stapleton Electronic Notes in Theoretical Computer Science 91, 246-263, 2004	28	2004

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors