Gem Stapleton

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

Coauthor Index

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