Items where Author is "Flower, Jean"

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 21.

Contribution to conference proceedings in the public domain

Rodgers, Peter, Flower, Jean, STAPLETON, GEM and HOWSE, JOHN (2010) Drawing area-proportional Venn-3 diagrams with convex polygons In: 6th International Conference on the Theory and Application of Diagrams, 9-11 August 2010, Portland, Oregon, USA, 9-11 August, 2010.

Rodgers, Peter, Flower, Jean, STAPLETON, GEM and HOWSE, JOHN (2009) Some results for drawing area-proportional Venn3 with convex curves In: Proceedings of the 13th International Conference on Information Visualisation, IV 2009, Barcelona, Spain, 15-17 July, 2009.

FISH, ANDREW and Flower, Jean (2008) Euler diagram decomposition In: Proceedings of the 5th International Conference on the Theory and Application of Diagrams, Herrsching, Germany, 19-21 September, 2008.

Flower, Jean, Masthoff, Judith and STAPLETON, GEM (2004) Generating proofs with spider diagrams using heuristics In: 10th International Conference on Distributed Multimedia Systems, International Workshop on Visual Languages and Computing, Oak Brook, Illinois, USA.

Flower, Jean, Masthoff, Judith and STAPLETON, GEM (2004) Generating readable proofs: a heuristic approach to theorum proving with spider diagrams In: Proceedings of the Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004.

Flower, Jean (2003) Layout metrics for Euler diagrams In: Information Visualization, 2003. IV 2003. Proceedings. Seventh International Conference, London, UK, 18 July 2003.

FISH, ANDREW, Flower, Jean and HOWSE, JOHN (2003) A reading algorithm for constraint diagrams In: Proceedings of the IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), Auckland, New Zealand, 28-31 October, 2003.

Flower, Jean, HOWSE, JOHN, TAYLOR, JOHN and Kent, Stuart (2002) A visual framework for modelling with heterogeneous notations In: IEEE 2002 Symposium on Human Centric Computing Languages and Environments (HCC'02), Arlington, VA, USA, 3-6 September, 2002.

HOWSE, JOHN, STAPLETON, GEM, Flower, Jean and TAYLOR, JOHN (2002) Corresponding regions in Euler diagrams In: Diagrammatic Representation and Inference, Second International Conference, Diagrams 2002, Callaway Gardens, GA, USA, April 18-20, 2002.

Flower, Jean and HOWSE, JOHN (2002) Generating Euler diagrams In: Proceedings of the 2nd International Conference, Diagrams 2002, Callaway Gardens, GA, USA, 18-20 April, 2002.

Journal article

Rodgers, Peter, STAPLETON, GEM, Flower, Jean and HOWSE, JOHN (2014) Drawing area-proportional Euler diagrams representing up to three sets IEEE Transactions on Visualization and Computer Graphics, 20 (1). pp. 56-69. ISSN 1077-2626

Flower, Jean, STAPLETON, GEM and Rodgers, Peter (2013) On the drawability of 3D Venn and Euler diagrams Journal of Visual Languages and Computing. ISSN 1045-926X

STAPLETON, GEM, Flower, Jean, Rodgers, Peter and HOWSE, JOHN (2012) Automatically drawing Euler diagrams with circles Journal of Visual Languages and Computing, 23 (3). ISSN 1045-926X

Flower, Jean, FISH, ANDREW and HOWSE, JOHN (2008) Euler diagram generation Journal of Visual Languages and Computing, 19 (6). pp. 675-694. ISSN 1045-926X

STAPLETON, GEM, Masthoff, Judith, Flower, Jean, FISH, ANDREW and Southern, Jane (2007) Automated theorem proving in Euler diagram systems Journal of Automated Reasoning, 39 (4). pp. 431-470. ISSN 0168-7433

FISH, ANDREW, Flower, Jean and HOWSE, JOHN (2005) The semantics of augmented constraint diagrams Journal of Visual Languages and Computing, 16 (6). pp. 541-573. ISSN 1045-926X

FISH, ANDREW and Flower, Jean (2005) Abstractions of Euler diagrams Electronic Notes in Theoretical Computer Science, 134. pp. 77-101. ISSN 1571-0661

FISH, ANDREW and Flower, Jean (2005) Investigating reasoning with constraint diagrams Electronic Notes in Theoretical Computer Science, 127 (4). pp. 53-69. ISSN 1571-0661

Flower, Jean, HOWSE, JOHN and TAYLOR, JOHN (2004) Nesting in Euler Diagrams: syntax, semantics and construction Software and Systems Modeling, 3 (1). pp. 55-67. ISSN 1619-1366

Flower, Jean and STAPLETON, GEM (2004) Automated theorem proving with spider diagrams Electronic Notes in Theoretical Computer Science, 91. pp. 246-263. ISSN 1571-0661

Flower, Jean, HOWSE, JOHN and TAYLOR, JOHN (2003) Nesting in Euler diagrams Electronic Notes in Theoretical Computer Science, 72 (3). pp. 93-102. ISSN 1571-0661

This list was generated on Wed Oct 1 23:22:35 2014 BST.