Gem Stapleton - Google Scholar Citations

Cited by

	All	Since 2014
Citations	1549	740
h-index	24	14
i10-index	45	26

240

120

180

200420052006200720082009201020112012201320142015201620172018201927 46 38 66 81 65 66 98 162 143 221 89 150 144 130 6

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 ChapmanUniversity of BrightonVerified email at brighton.ac.uk
Aidan DelaneyVerified email at brighton.ac.uk
Jim BurtonSenior Lecturer in Computing, University of BrightonVerified email at brighton.ac.uk
Simon ThompsonProfessor of Logic and Computation, University of Kent, UKVerified email at kent.ac.uk
Andrew BlakeUniversity of BrightonVerified email at brighton.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
Luana MicallefHuman-Centered Computing, Department of Computer Science, University of CopenhagenVerified email at di.ku.dk
Atsushi ShimojimaDoshisha UniversityVerified email at mail.doshisha.ac.jp
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	153	2005
Visualizing ontologies: A case study J Howse, G Stapleton, K Taylor, P Chapman International Semantic Web Conference, 257-272, 2011	63	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	59	2007
The expressiveness of spider diagrams G Stapleton, J Howse, J Taylor, S Thompson Journal of Logic and Computation 14 (6), 857-880, 2004	59	2004
A survey of reasoning systems based on Euler diagrams G Stapleton Electronic Notes in Theoretical Computer Science 134, 127-151, 2005	58	2005
Inductively generating Euler diagrams G Stapleton, P Rodgers, J Howse, L Zhang IEEE Transactions on Visualization and Computer Graphics 17 (1), 88-100, 2011	46	2011
Properties of Euler diagrams G Stapleton, P Rodgers, J Howse, J Taylor Electronic Communications of the EASST 7, 2007	45	2007
A decidable constraint diagram reasoning system G Stapleton, J Howse, J Taylor Journal of Logic and Computation 15 (6), 975-1008, 2005	41	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	38	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	36	2009
Evaluating and generalizing constraint diagrams G Stapleton, A Delaney Journal of Visual Languages & Computing 19 (4), 499-521, 2008	34	2008
Automatically drawing Euler diagrams with circles G Stapleton, J Flower, P Rodgers, J Howse Journal of Visual Languages & Computing 23 (3), 163-193, 2012	32	2012
A constraint diagram reasoning system G Stapleton, J Howse, J Taylor Proceedings of International Conference on Visual Languages and Computing …, 2003	32	2003
Visualizing sets with linear diagrams P Rodgers, G Stapleton, P Chapman ACM Transactions on Computer-Human Interaction (TOCHI) 22 (6), 27, 2015	30	2015
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	30	2011
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	28	2014
Automated theorem proving with spider diagrams J Flower, G Stapleton Electronic Notes in Theoretical Computer Science 91, 246-263, 2004	27	2004
Embedding wellformed Euler diagrams P Rodgers, L Zhang, G Stapleton, A Fish Information Visualisation, 2008. IV'08. 12th International Conference, 585-593, 2008	26	2008
Formalizing concept diagrams G Stapleton, J Howse, P Chapman, A Delaney, J Burton, I Oliver Visual languages and computing, 182-187, 2013	25	2013
SketchSet: Creating Euler diagrams using pen or mouse M Wang, B Plimmer, P Schmieder, G Stapleton, P Rodgers, A Delaney Visual Languages and Human-Centric Computing (VL/HCC), 2011 IEEE Symposium …, 2011	25	2011

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