dblp.uni-trier.dewww.uni-trier.de

Jean Flower

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)