Gem Stapleton

צוטט על ידי

	הכל	מאז 2020
ציטוטים ביבליוגרפיים	2106	474
H-index	24	11
i10-index	64	13

220

110

165

200420052006200720082009201020112012201320142015201620172018201920202021202220232024202535 49 37 55 92 62 68 92 112 181 214 94 140 121 146 113 105 113 93 68 88 6

גישה ציבורית

הצג הכל

10 מאמרים

מאמר אחד

זמין

לא זמין

על סמך ייפוי כח מהמממנים

מחברים משותפים

John HowseProfessor of Mathematics and Computation, University of Brightonכתובת אימייל מאומתת בדומיין brighton.ac.uk
Peter RodgersSchool of Computing, University of Kentכתובת אימייל מאומתת בדומיין kent.ac.uk
Peter ChapmanEdinburgh Napier Universityכתובת אימייל מאומתת בדומיין napier.ac.uk
Aidan Delaneyכתובת אימייל מאומתת בדומיין ontologyengineering.org
Andrew BlakeUniversity of Brightonכתובת אימייל מאומתת בדומיין brighton.ac.uk
Jim BurtonSenior Lecturer in Computing, University of Brightonכתובת אימייל מאומתת בדומיין brighton.ac.uk
Simon ThompsonProfessor, University of Kent and Eötvös Loránd University, Budapestכתובת אימייל מאומתת בדומיין kent.ac.uk
Leishi ZhangSchool of Engineering, Technology and Design, Canterbury Christ Church Univeristyכתובת אימייל מאומתת בדומיין canterbury.ac.uk
Judith MasthoffUtrecht Universityכתובת אימייל מאומתת בדומיין uu.nl
Anestis TouloumisUniversity of Brightonכתובת אימייל מאומתת בדומיין brighton.ac.uk
Yuri SatoOchanomizu Universityכתובת אימייל מאומתת בדומיין ocha.ac.jp
Beryl PlimmerUniversity of Aucklandכתובת אימייל מאומתת בדומיין cs.auckland.ac.nz
Atsushi ShimojimaDoshisha Universityכתובת אימייל מאומתת בדומיין mail.doshisha.ac.jp
Kerry TaylorProfessor of Computer Science, Australian National Universityכתובת אימייל מאומתת בדומיין acm.org
Amirouche MoktefiRagnar Nurkse Department of Innovation and Governance, Tallinn University of Technology, Estoniaכתובת אימייל מאומתת בדומיין taltech.ee
Luana MicallefHuman-Centered Computing, Department of Computer Science, University of Copenhagenכתובת אימייל מאומתת בדומיין di.ku.dk
Michael ComptonCSIROכתובת אימייל מאומתת בדומיין csiro.au
Bilal AlsallakhVoxel AIכתובת אימייל מאומתת בדומיין voxelai.com
Jon NicholsonHastings Directכתובת אימייל מאומתת בדומיין drjonnicholson.com
Gennaro CostagliolaComputer Scienceכתובת אימייל מאומתת בדומיין unisa.it

עקוב אחר

Gem Stapleton

University of Cambridge

כתובת אימייל מאומתת בדומיין cam.ac.uk - דף הבית

logic visualization diagrammatic reasoning


כותרת מיון לפי ציטוט ביבליוגרפי מיון לפי שנה מיון לפי כותרת	צוטט על ידי צוטט על ידי	שנה
Spider diagrams‏ J Howse, G Stapleton, J Taylor‏ LMS Journal of Computation and Mathematics 8, 145-194, 2005‏	182	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‏	65	2015
A survey of reasoning systems based on Euler diagrams‏ G Stapleton‏ Electronic Notes in Theoretical Computer Science 134, 127-151, 2005‏	63	2005
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‏	61	2007
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
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‏	57	2017
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‏	55	2014
Properties of Euler diagrams‏ G Stapleton, P Rodgers, J Howse, J Taylor‏ Electronic Communications of the EASST 7, 2007‏	53	2007
Automatically drawing Euler diagrams with circles‏ G Stapleton, J Flower, P Rodgers, J Howse‏ Journal of Visual Languages & Computing 23 (3), 163-193, 2012‏	44	2012
A decidable constraint diagram reasoning system‏ G Stapleton, J Howse, J Taylor‏ Journal of Logic and Computation 15 (6), 975-1008, 2005‏	44	2005
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‏ International conference on theory and application of diagrams, 166-181, 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‏	34	2014
A constraint diagram reasoning system‏ G Stapleton, J Howse, J Taylor‏ Proceedings of International Conference on Visual Languages and Computing …, 2003‏	33	2003
Automated theorem proving with spider diagrams‏ J Flower, G Stapleton‏ Electronic Notes in Theoretical Computer Science 91, 246-263, 2004‏	29	2004
Formalizing concept diagrams‏ G Stapleton, J Howse, P Chapman, A Delaney, J Burton, I Oliver‏ Visual languages and computing, 182-187, 2013‏	28	2013

המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.

מאמרים 1–20

ציטוטים ביבליוגרפיים בשנה

ציטוטים ביביליוגרפיים כפולים

ציטוטים ביביליוגרפיים שמוזגו

הוסף מחברים שותפיםמחברים משותפים

עקוב אחר

צוטט על ידי

מחברים משותפים