| Generating euler diagrams J Flower, J Howse Diagrammatic Representation and Inference: Second International Conference …, 2002 | 142 | 2002 |
| The semantics of augmented constraint diagrams A Fish, J Flower, J Howse Journal of Visual Languages & Computing 16 (6), 541-573, 2005 | 99 | 2005 |
| Euler diagram generation J Flower, A Fish, J Howse Journal of Visual Languages & Computing 19 (6), 675-694, 2008 | 69 | 2008 |
| Automated theorem proving in Euler diagram systems G Stapleton, J Masthoff, J Flower, A Fish, J Southern Journal of Automated Reasoning 39, 431-470, 2007 | 59 | 2007 |
| Layout metrics for Euler diagrams J Flower, P Rodgers, P Mutton Proceedings on Seventh International Conference on Information Visualization …, 2003 | 56 | 2003 |
| Peer tutoring in first-year undergraduate mathematics W Evans, J Flower, D Holton International Journal of Mathematical Education in Science and Technology 32 …, 2001 | 56 | 2001 |
| Generative design conversion to editable and watertight boundary representation M Marinov, M Amagliani, T Barback, J Flower, S Barley, S Furuta, ... Computer-Aided Design 115, 194-205, 2019 | 42 | 2019 |
| Automatically drawing Euler diagrams with circles G Stapleton, J Flower, P Rodgers, J Howse Journal of Visual Languages & Computing 23 (3), 163-193, 2012 | 41 | 2012 |
| Generating readable proofs: A heuristic approach to theorem proving with spider diagrams J Flower, J Masthoff, G Stapleton Diagrammatic Representation and Inference: Third International Conference …, 2004 | 37 | 2004 |
| Investigating reasoning with constraint diagrams A Fish, J Flower Electronic Notes in Theoretical Computer Science 127 (4), 53-69, 2005 | 34 | 2005 |
| Nesting in Euler diagrams: syntax, semantics and construction J Flower, J Howse, J Taylor Software & Systems Modeling 3, 55-67, 2004 | 33 | 2004 |
| Drawing graphs in Euler diagrams P Mutton, P Rodgers, J Flower Diagrammatic Representation and Inference: Third International Conference …, 2004 | 30 | 2004 |
| A reading algorithm for constraint diagrams A Fish, J Flower, J Howse IEEE Symposium on Human Centric Computing Languages and Environments, 2003 …, 2003 | 29 | 2003 |
| Automated theorem proving with spider diagrams J Flower, G Stapleton Electronic Notes in Theoretical Computer Science 91, 246-263, 2004 | 28 | 2004 |
| Drawing area-proportional Venn-3 diagrams with convex polygons P Rodgers, J Flower, G Stapleton, J Howse International Conference on Theory and Application of Diagrams, 54-68, 2010 | 26 | 2010 |
| Corresponding regions in Euler diagrams J Howse, G Stapleton, J Flower, J Taylor Diagrammatic Representation and Inference: Second International Conference …, 2002 | 26 | 2002 |
| Dynamic Euler diagram drawing P Rodgers, P Mutton, J Flower 2004 IEEE Symposium on Visual Languages-Human Centric Computing, 147-156, 2004 | 25 | 2004 |
| Speedith: a diagrammatic reasoner for spider diagrams M Urbas, M Jamnik, G Stapleton, J Flower International Conference on Theory and Application of Diagrams, 163-177, 2012 | 24 | 2012 |
| Drawing area-proportional Euler diagrams representing up to three sets P Rodgers, G Stapleton, J Flower, J Howse IEEE transactions on visualization and computer graphics 20 (1), 1-1, 2013 | 22 | 2013 |
| On the drawability of 3D Venn and Euler diagrams J Flower, G Stapleton, P Rodgers Journal of Visual Languages & Computing 25 (3), 186-209, 2014 | 16 | 2014 |
John HowseProfessor of Mathematics and Computation, University of BrightonVerified email at brighton.ac.uk
