Gem Stapleton

Gemma Stapleton

	2009
24		Peter Rodgers, Jean Flower, Gem Stapleton, John Howse: Some Results for Drawing Area Proportional Venn3 With Convex Curves. IV 2009: 667-672
23		Gem Stapleton, John Taylor, Simon Thompson, John Howse: The expressiveness of spider diagrams augmented with constants. J. Vis. Lang. Comput. 20(1): 30-49 (2009)
	2008
22		Gem Stapleton, John Howse, John Lee: Diagrammatic Representation and Inference, 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings Springer 2008
21		John Howse, Gem Stapleton: Visual Mathematics: Diagrammatic Formalization and Proof. AISC/MKM/Calculemus 2008: 478-493
20		Gem Stapleton: Spider Diagrams Augmented with Constants: A Complete System. DMS 2008: 292-299
19		Gem Stapleton, Andrew Fish, Peter Rodgers: Abstract Euler Diagram Isomorphism. DMS 2008: 310-317
18		Peter Rodgers, Leishi Zhang, Gem Stapleton, Andrew Fish: Embedding Wellformed Euler Diagrams. IV 2008: 585-593
17		Gem Stapleton, John Howse, Peter Rodgers, Leishi Zhang: Generating Euler Diagrams from Existing Layouts. ECEASST 13: (2008)
16		Gem Stapleton, Aidan Delaney: Evaluating and generalizing constraint diagrams. J. Vis. Lang. Comput. 19(4): 499-521 (2008)
	2007
15		Gem Stapleton, Aidan Delaney: Towards Overcoming Deficiencies in Constraint Diagrams. VL/HCC 2007: 33-40
14		Aidan Delaney, Gem Stapleton: Spider Diagrams of Order. VLL 2007: 27-39
13		Gem Stapleton, Peter Rodgers, John Howse, John Taylor: Properties of Euler Diagrams. ECEASST 7: (2007)
12		Gem Stapleton, Judith Masthoff, Jean Flower, Andrew Fish, Jane Southern: Automated Theorem Proving in Euler Diagram Systems. J. Autom. Reasoning 39(4): 431-470 (2007)
	2006
11		Andrew Fish, Gem Stapleton: Defining Euler Diagrams: Simple or What?. Diagrams 2006: 109-111
10		Gem Stapleton, John Howse, Kate Toller: Generalizing Spiders. Diagrams 2006: 148-150
	2005
9		Gem Stapleton, Simon Thompson, Andrew Fish, John Howse, John Taylor: A New Language for the Visualization of Logic and Reasoning. DMS 2005: 287-292
8		Gem Stapleton: A Survey of Reasoning Systems Based on Euler Diagrams. Electr. Notes Theor. Comput. Sci. 134: 127-151 (2005)
7		Gem Stapleton, John Howse, John Taylor: A Decidable Constraint Diagram Reasoning System. J. Log. Comput. 15(6): 975-1008 (2005)
	2004
6		Gem Stapleton, John Howse, John Taylor, Simon Thompson: What Can Spider Diagrams Say? Diagrams 2004: 112-127
5		Jean Flower, Judith Masthoff, Gem Stapleton: Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams. Diagrams 2004: 166-181
4		Gem Stapleton, John Howse, John Taylor, Simon Thompson: The Expressiveness of Spider Diagrams Augmented with Constants. VL/HCC 2004: 91-98
3		Jean Flower, Gem Stapleton: Automated Theorem Proving with Spider Diagrams. Electr. Notes Theor. Comput. Sci. 91: 246-263 (2004)
2		Gem Stapleton, John Howse, John Taylor, Simon Thompson: The Expressiveness of Spider Diagrams. J. Log. Comput. 14(6): 857-880 (2004)
	2002
1		John Howse, Gemma Stapleton, Jean Flower, John Taylor: Corresponding Regions in Euler Diagrams. Diagrams 2002: 76-90

Coauthor Index

1	Aidan Delaney	[14] [15] [16]
2	Andrew Fish	[9] [11] [12] [18] [19]
3	Jean Flower	[1] [3] [5] [12] [24]
4	John Howse	[1] [2] [4] [6] [7] [9] [10] [13] [17] [21] [22] [23] [24]
5	John Lee	[22]
6	Judith Masthoff	[5] [12]
7	Peter J. Rodgers (Peter Rodgers)	[13] [17] [18] [19] [24]
8	Jane Southern	[12]
9	John Taylor	[1] [2] [4] [6] [7] [9] [13] [23]
10	Simon Thompson	[2] [4] [6] [9] [23]
11	Kate Toller	[10]
12	Leishi Zhang	[17] [18]