Jean Flower

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

Coauthor Index

1	Andrew Fish	[7] [13] [14] [15] [16]
2	John Howse	[1] [2] [3] [4] [5] [7] [8] [13]
3	Stuart Kent	[1] [2]
4	Judith Masthoff	[12] [16]
5	Paul Mutton	[6] [10] [11]
6	Peter Rodgers	[6] [10] [11]
7	Jane Southern	[16]
8	Gem Stapleton	[9] [12] [16]
9	Gemma Stapleton	[3]
10	John Taylor	[1] [2] [3] [5] [8]

Colors in the list of coauthors