Search the dblp DataBase

Publications of Author

1. Andrew Fish, Gem Stapleton
   Defining Euler Diagrams: Simple or What?. [Citation Graph (0, 0)][DBLP]
   Diagrams, 2006, pp:109-111 [Conf]
   
2. Jean Flower, Judith Masthoff, Gem Stapleton
   Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams. [Citation Graph (0, 0)][DBLP]
   Diagrams, 2004, pp:166-181 [Conf]
   
3. Gem Stapleton, John Howse, Kate Toller
   Generalizing Spiders. [Citation Graph (0, 0)][DBLP]
   Diagrams, 2006, pp:148-150 [Conf]
   
4. Gem Stapleton, John Howse, John Taylor, Simon Thompson
   What Can Spider Diagrams Say? [Citation Graph (0, 0)][DBLP]
   Diagrams, 2004, pp:112-127 [Conf]
   
5. Gem Stapleton, John Howse, John Taylor, Simon Thompson
   The Expressiveness of Spider Diagrams Augmented with Constants. [Citation Graph (0, 0)][DBLP]
   VL/HCC, 2004, pp:91-98 [Conf]
   
6. Jean Flower, Gem Stapleton
   Automated Theorem Proving with Spider Diagrams. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:91, n:, pp:246-263 [Journal]
   
7. Gem Stapleton
   A Survey of Reasoning Systems Based on Euler Diagrams. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:134, n:, pp:127-151 [Journal]
   
8. Gem Stapleton, John Howse, John Taylor
   A Decidable Constraint Diagram Reasoning System. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2005, v:15, n:6, pp:975-1008 [Journal]
   
9. Gem Stapleton, John Howse, John Taylor, Simon Thompson
   The Expressiveness of Spider Diagrams. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2004, v:14, n:6, pp:857-880 [Journal]
   
10. Gem Stapleton, Simon Thompson, Andrew Fish, John Howse, John Taylor
    A New Language for the Visualization of Logic and Reasoning. [Citation Graph (0, 0)][DBLP]
    DMS, 2005, pp:287-292 [Conf]
    
11. 
    Visual Mathematics: Diagrammatic Formalization and Proof. [Citation Graph (, )][DBLP]
    
    
12. 
    Drawing Euler Diagrams with Circles. [Citation Graph (, )][DBLP]
    
    
13. 
    Drawing Area-Proportional Venn-3 Diagrams with Convex Polygons. [Citation Graph (, )][DBLP]
    
    
14. 
    Fragments of Spider Diagrams of Order and Their Relative Expressiveness. [Citation Graph (, )][DBLP]
    
    
15. 
    Creating a Second Order Diagrammatic Logic. [Citation Graph (, )][DBLP]
    
    
16. 
    Drawing Euler Diagrams for Information Visualization. [Citation Graph (, )][DBLP]
    
    
17. 
    Embedding Wellformed Euler Diagrams. [Citation Graph (, )][DBLP]
    
    
18. 
    Some Results for Drawing Area Proportional Venn3 With Convex Curves. [Citation Graph (, )][DBLP]
    
    
19. 
    Towards Overcoming Deficiencies in Constraint Diagrams. [Citation Graph (, )][DBLP]
    
    
20. 
    Spider Diagrams of Order. [Citation Graph (, )][DBLP]
    
    
21. 
    Changing euler diagram properties by edge transformation of euler dual graphs. [Citation Graph (, )][DBLP]
    
    
22. 
    Abstract Euler Diagram Isomorphism. [Citation Graph (, )][DBLP]
    
    
23. 
    Spider Diagrams Augmented with Constants: A Complete System. [Citation Graph (, )][DBLP]
    
    
24. 
    Diagrammatic Formal Specification of a Configuration Control Platform. [Citation Graph (, )][DBLP]