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) |