Jean Flower

发表

Gem Stapleton, Peter J. Rodgers, Jean Flower, 2012, ED@Diagrams.

Investigating Reasoning with Constraint Diagrams

Andrew Fish, Jean Flower, 2005, Electron. Notes Theor. Comput. Sci..

A reading algorithm for constraint diagrams

Andrew Fish, John Howse, Jean Flower, 2003, IEEE Symposium on Human Centric Computing Languages and Environments, 2003. Proceedings. 2003.

On the drawability of 3D Venn and Euler diagrams

Gem Stapleton, Peter Rodgers, Jean Flower, 2014, J. Vis. Lang. Comput..

A visual framework for modelling with heterogeneous notations

Stuart Kent, John Taylor, John Howse, 2002, Proceedings IEEE 2002 Symposia on Human Centric Computing Languages and Environments.

Dynamic Euler Diagram Drawing

Peter Rodgers, Jean Flower, Paul Mutton, 2004, 2004 IEEE Symposium on Visual Languages - Human Centric Computing.

Corresponding Regions in Euler Diagrams

Gem Stapleton, John Taylor, John Howse, 2002, Diagrams.

Euler diagram generation

Andrew Fish, John Howse, Jean Flower, 2008, J. Vis. Lang. Comput..

Some Results for Drawing Area Proportional Venn3 With Convex Curves

Gem Stapleton, John Howse, Peter Rodgers, 2009, 2009 13th International Conference Information Visualisation.

Automated Theorem Proving with Spider Diagrams

Gem Stapleton, Jean Flower, 2004, Electron. Notes Theor. Comput. Sci..

Euler Diagram Decomposition

Andrew Fish, Jean Flower, A. Fish, 2008, Diagrams.

Generative Design Conversion to Editable and Watertight Boundary Representation

Jean Flower, Martin Marinov, Siavash Meshkat, 2019, Comput. Aided Des..

The semantics of augmented constraint diagrams

Andrew Fish, John Howse, Jean Flower, 2005, J. Vis. Lang. Comput..

Interactive companion to advanced maths

Jean Flower, Linda Tetlow, A. J. Oldknow, 2005 .

Drawing Graphs in Euler Diagrams

Peter Rodgers, Jean Flower, Paul Mutton, 2004, Diagrams.

Drawing Area-Proportional Venn-3 Diagrams with Convex Polygons

Gem Stapleton, John Howse, Peter Rodgers, 2010, Diagrams.

Drawing Area-Proportional Euler Diagrams Representing Up To Three Sets

Gem Stapleton, John Howse, Peter Rodgers, 2014, IEEE Transactions on Visualization and Computer Graphics.

Abstractions of Euler Diagrams

Andrew Fish, Jean Flower, A. Fish, 2005, Euler.

Nesting in Euler Diagrams

John Taylor, John Howse, Jean Flower, 2003, Electron. Notes Theor. Comput. Sci..

Automated Theorem Proving in Euler Diagram Systems

Judith Masthoff, Gem Stapleton, Andrew Fish, 2007, Journal of Automated Reasoning.

Generating Euler Diagrams

John Howse, Jean Flower, J. Howse, 2002, Diagrams.

Automatically drawing Euler diagrams with circles

Gem Stapleton, John Howse, Peter J. Rodgers, 2012, J. Vis. Lang. Comput..

Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams

Judith Masthoff, Gem Stapleton, Jean Flower, 2004, Diagrams.

Nesting in Euler Diagrams: syntax, semantics and construction

John Taylor, John Howse, Jean Flower, 2004, Software & Systems Modeling.

Layout metrics for Euler diagrams

Peter Rodgers, Jean Flower, Paul Mutton, 2003, Proceedings on Seventh International Conference on Information Visualization, 2003. IV 2003..

Speedith: A Diagrammatic Reasoner for Spider Diagrams

Gem Stapleton, Jean Flower, Mateja Jamnik, 2012, Diagrams.

Generating proofs with spider diagrams using heuristics

Judith Masthoff, Gem Stapleton, Jean Flower, 2004 .

Appendices for automated theorem proving in Euler diagram systems

Judith Masthoff, Gem Stapleton, Andrew Fish, 2006 .