2008 |
18 | EE | Andrew Fish,
Jean Flower:
Euler Diagram Decomposition.
Diagrams 2008: 28-44 |
17 | EE | Jean Flower,
Andrew Fish,
John Howse:
Euler diagram generation.
J. Vis. Lang. Comput. 19(6): 675-694 (2008) |
2007 |
16 | 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) |
2005 |
15 | EE | Andrew Fish,
Jean Flower:
Investigating Reasoning with Constraint Diagrams.
Electr. Notes Theor. Comput. Sci. 127(4): 53-69 (2005) |
14 | EE | Andrew Fish,
Jean Flower:
Abstractions of Euler Diagrams.
Electr. Notes Theor. Comput. Sci. 134: 77-101 (2005) |
13 | EE | Andrew Fish,
Jean Flower,
John Howse:
The semantics of augmented constraint diagrams.
J. Vis. Lang. Comput. 16(6): 541-573 (2005) |
2004 |
12 | EE | Jean Flower,
Judith Masthoff,
Gem Stapleton:
Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams.
Diagrams 2004: 166-181 |
11 | EE | Paul Mutton,
Peter Rodgers,
Jean Flower:
Drawing Graphs in Euler Diagrams.
Diagrams 2004: 66-81 |
10 | EE | Peter Rodgers,
Paul Mutton,
Jean Flower:
Dynamic Euler Diagram Drawing.
VL/HCC 2004: 147-156 |
9 | EE | Jean Flower,
Gem Stapleton:
Automated Theorem Proving with Spider Diagrams.
Electr. Notes Theor. Comput. Sci. 91: 246-263 (2004) |
8 | EE | Jean Flower,
John Howse,
John Taylor:
Nesting in Euler Diagrams: syntax, semantics and construction.
Software and System Modeling 3(1): 55-67 (2004) |
2003 |
7 | | Andrew Fish,
Jean Flower,
John Howse:
A reading algorithm for constraint diagrams.
HCC 2003: 161-168 |
6 | EE | Jean Flower,
Peter Rodgers,
Paul Mutton:
Layout Metrics for Euler Diagrams.
IV 2003: 272-280 |
5 | EE | Jean Flower,
John Howse,
John Taylor:
Nesting in Euler Diagrams.
Electr. Notes Theor. Comput. Sci. 72(3): (2003) |
2002 |
4 | EE | Jean Flower,
John Howse:
Generating Euler Diagrams.
Diagrams 2002: 61-75 |
3 | EE | John Howse,
Gemma Stapleton,
Jean Flower,
John Taylor:
Corresponding Regions in Euler Diagrams.
Diagrams 2002: 76-90 |
2 | EE | Jean Flower,
John Howse,
John Taylor,
Stuart Kent:
A Visual Framework for Modelling with Heterogeneous Notations.
HCC 2002: 71-73 |
1 | EE | Jean Flower,
John Howse,
John Taylor,
Stuart Kent:
A Visual Framework for Modelling with Heterogeneous Notations.
IEEE Symposia on Human Centric Computing Languages and Environments 2002: 71-73 |