Items where Author is "Flower, Jean"

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

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

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.

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

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.

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, 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.

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

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.

This list was generated on Tue Jul 22 10:17:51 2014 BST.