Gem Stapleton - Google Scholar Citations

Cited by

	All	Since 2014
Citations	1454	717
h-index	21	14
i10-index	44	23

220

110

165

200420052006200720082009201020112012201320142015201620172018201926 46 37 62 77 63 55 98 126 140 215 93 132 129 129 19

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
Aidan DelaneyVerified email at brighton.ac.uk
Jim BurtonSenior Lecturer in Computing, University of BrightonVerified email at brighton.ac.uk
Andrew BlakeUniversity of BrightonVerified email at brighton.ac.uk
Simon ThompsonProfessor of Logic and Computation, University of Kent, UKVerified email at kent.ac.uk
Leishi ZhangDepartment of Computer Science, Middlesex UniversityVerified email at mdx.ac.uk
Judith MasthoffUtrecht University and University of AberdeenVerified email at abdn.ac.uk
Beryl PlimmerUniversity of AucklandVerified email at cs.auckland.ac.nz
Yuri SatoGraduate School of Letters, Kyoto UniversityVerified email at kyoto-u.ac.jp
Kerry TaylorAssociate Professor, Australian National UniversityVerified email at acm.org
Atsushi ShimojimaDoshisha UniversityVerified email at mail.doshisha.ac.jp
Luana MicallefHuman-Centered Computing, Department of Computer Science, University of CopenhagenVerified email at di.ku.dk
Jon NicholsonAssemblyVerified email at drjonnicholson.com
Bilal AlsallakhBosch ResearchVerified email at us.bosch.com
Martin ErwigProfessor of Computer Science, Oregon State UniversityVerified email at oregonstate.edu
Gennaro CostagliolaComputer ScienceVerified email at unisa.it
Jean FlowerAutodesk
Robert Baker

Gem Stapleton

Reader in Computer Science, University of Brighton

Verified email at brighton.ac.uk - Homepage

logic visualization diagrammatic reasoning


Title	Cited by	Year
Spider diagrams J Howse, G Stapleton, J Taylor LMS Journal of Computation and Mathematics 8, 145-194, 2005	143	2005
Visualizing ontologies: A case study J Howse, G Stapleton, K Taylor, P Chapman International Semantic Web Conference, 257-272, 2011	62	2011
Automated theorem proving in Euler diagram systems G Stapleton, J Masthoff, J Flower, A Fish, J Southern Journal of Automated Reasoning 39 (4), 431-470, 2007	56	2007
A survey of reasoning systems based on Euler diagrams G Stapleton Electronic Notes in Theoretical Computer Science 134, 127-151, 2005	55	2005
The expressiveness of spider diagrams G Stapleton, J Howse, J Taylor, S Thompson Journal of Logic and Computation 14 (6), 857-880, 2004	55	2004
Automatically drawing Euler diagrams with circles G Stapleton, J Flower, P Rodgers, J Howse Journal of Visual Languages & Computing 23 (3), 163-193, 2012	41*	2012
Properties of Euler diagrams G Stapleton, P Rodgers, J Howse, J Taylor Proceedings of layout of (software) engineering diagrams 7 (Volume), 2007	41	2007
Inductively generating Euler diagrams G Stapleton, P Rodgers, J Howse, L Zhang IEEE Transactions on Visualization and Computer Graphics 17 (1), 88-100, 2011	40	2011
A decidable constraint diagram reasoning system G Stapleton, J Howse, J Taylor Journal of Logic and Computation 15 (6), 975-1008, 2005	37	2005
Generating readable proofs: A heuristic approach to theorem proving with spider diagrams J Flower, J Masthoff, G Stapleton International Conference on Theory and Application of Diagrams, 166-181, 2004	35	2004
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	33	2009
Visualizing sets with linear diagrams P Rodgers, G Stapleton, P Chapman ACM Transactions on Computer-Human Interaction (TOCHI) 22 (6), 27, 2015	31	2015
Evaluating and generalizing constraint diagrams G Stapleton, A Delaney Journal of Visual Languages & Computing 19 (4), 499-521, 2008	31	2008
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, 2011	29	2011
A constraint diagram reasoning system G Stapleton, J Howse, J Taylor Proceedings of International Conference on Visual Languages and Computing …, 2003	29	2003
Visualizing sets: an empirical comparison of diagram types P Chapman, G Stapleton, P Rodgers, L Micallef, A Blake International Conference on Theory and Application of Diagrams, 146-160, 2014	27	2014
Embedding wellformed Euler diagrams P Rodgers, L Zhang, G Stapleton, A Fish 2008 12th International Conference Information Visualisation, 585-593, 2008	27	2008
Automated theorem proving with spider diagrams J Flower, G Stapleton Electronic Notes in Theoretical Computer Science 91, 246-263, 2004	25	2004
Corresponding regions in Euler diagrams J Howse, G Stapleton, J Flower, J Taylor International Conference on Theory and Application of Diagrams, 76-90, 2002	25	2002
Formalizing concept diagrams G Stapleton, J Howse, P Chapman, A Delaney, J Burton, I Oliver Visual languages and computing, 182-187, 2013	24	2013

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

Upload PDF

Follow this author

Cited by

Co-authors