Concepedia

Jean Flower

JF

15

Publications

467

Citations

14

H-Index

2001

Active since

Affiliations

University of Brighton(Current)

University of Kent

Jean Flower is an author at University of Brighton specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsComputer-aided DesignDesignGeometryNatural SciencesGeometry ModelingComputational Geometry

Publications per year

2001–2019

15

Publications

15

The semantics of augmented constraint diagrams

Andrew Fish, Jean Flower, John Howse · Journal of Visual Languages & Computing · 2005 · 76 citations

Constraint Solving, Engineering, Diagrammatic Reasoning +6

Euler diagram generation

Jean Flower, Andrew Fish, John Howse · Journal of Visual Languages & Computing · 2008 · 54 citations

Diagrammatic Reasoning, Graph Theory, Geometry +6

Automated Theorem Proving in Euler Diagram Systems

Gem Stapleton, Judith Masthoff, Jean Flower et al. · Journal of Automated Reasoning · 2007 · 47 citations

Engineering, Automated Reasoning, Formal Methods +6

Generative Design Conversion to Editable and Watertight Boundary Representation

Martin Marinov, Marco Amagliani, Tristan Barback et al. · Computer-Aided Design · 2019 · 37 citations

Geometric Modeling, Architectural Design, Generative Development +8

Automatically drawing Euler diagrams with circles

Gem Stapleton, Jean Flower, Peter Rodgers et al. · Journal of Visual Languages & Computing · 2012 · 35 citations · Full text

Geometric Modeling, Diagrammatic Reasoning, Geometry +6

Rows per page

1–5 of 15