Gem Stapleton
Gem Stapleton
Reader in Computer Science, University of Brighton
Verified email at brighton.ac.uk - Homepage
TitleCited byYear
Spider diagrams
J Howse, G Stapleton, J Taylor
LMS Journal of Computation and Mathematics 8, 145-194, 2005
1532005
Visualizing ontologies: A case study
J Howse, G Stapleton, K Taylor, P Chapman
International Semantic Web Conference, 257-272, 2011
632011
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
592007
The expressiveness of spider diagrams
G Stapleton, J Howse, J Taylor, S Thompson
Journal of Logic and Computation 14 (6), 857-880, 2004
592004
A survey of reasoning systems based on Euler diagrams
G Stapleton
Electronic Notes in Theoretical Computer Science 134, 127-151, 2005
582005
Inductively generating Euler diagrams
G Stapleton, P Rodgers, J Howse, L Zhang
IEEE Transactions on Visualization and Computer Graphics 17 (1), 88-100, 2011
462011
Properties of Euler diagrams
G Stapleton, P Rodgers, J Howse, J Taylor
Electronic Communications of the EASST 7, 2007
452007
A decidable constraint diagram reasoning system
G Stapleton, J Howse, J Taylor
Journal of Logic and Computation 15 (6), 975-1008, 2005
412005
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
382004
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
362009
Evaluating and generalizing constraint diagrams
G Stapleton, A Delaney
Journal of Visual Languages & Computing 19 (4), 499-521, 2008
342008
Automatically drawing Euler diagrams with circles
G Stapleton, J Flower, P Rodgers, J Howse
Journal of Visual Languages & Computing 23 (3), 163-193, 2012
322012
A constraint diagram reasoning system
G Stapleton, J Howse, J Taylor
Proceedings of International Conference on Visual Languages and Computing …, 2003
322003
Visualizing sets with linear diagrams
P Rodgers, G Stapleton, P Chapman
ACM Transactions on Computer-Human Interaction (TOCHI) 22 (6), 27, 2015
302015
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
302011
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
282014
Automated theorem proving with spider diagrams
J Flower, G Stapleton
Electronic Notes in Theoretical Computer Science 91, 246-263, 2004
272004
Embedding wellformed Euler diagrams
P Rodgers, L Zhang, G Stapleton, A Fish
Information Visualisation, 2008. IV'08. 12th International Conference, 585-593, 2008
262008
Formalizing concept diagrams
G Stapleton, J Howse, P Chapman, A Delaney, J Burton, I Oliver
Visual languages and computing, 182-187, 2013
252013
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
252011
The system can't perform the operation now. Try again later.
Articles 1–20