BURTON, JAMES, STAPLETON, GEM and HOWSE, JOHN (2012) Completeness proof strategies for Euler diagram logics In: Euler Diagrams 2012: Proceedings of the 3rd International Workshop on Euler Diagrams, Canterbury, UK, 2 July, 2012.

BURTON, JAMES, STAPLETON, GEM and HOWSE, JOHN (2012) Generalized constraint diagrams and the classical decision problem Journal of Logic and Computation, 23 (1). ISSN 0955-792X (In Press)

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 (In Press)

STAPLETON, GEM, Rodgers, Peter and HOWSE, JOHN (2011) A general method for drawing area-proportional Euler diagrams Journal of Visual Languages and Computing, 22 (6). pp. 426-442. ISSN 1045-926X

CHAPMAN, PETER, STAPLETON, GEM, HOWSE, JOHN and Oliver, Ian (2011) Deriving sound inference rules for concept diagrams In: Proceedings of the IEEE symposium on visual languages and human-centric computing 2011, 18-22 September 2011, Pittsburgh, PA, USA, 18-22 September, 2011.

Clark, R., FISH, ANDREW, GARRETT, CHRISTOPHER and HOWSE, JOHN (2011) Developing a rigorous bottom-up modular static failure modelling methdology In: Proceedings of the 6th international conference on system safety, 2011, Birmingham, UK, 20-22 September, 2011.

STAPLETON, GEM, Rodgers, Peter, HOWSE, JOHN and Zhang, Leishi (2011) Inductively generating Euler diagrams IEEE Transactions on Visualization and Computer Graphics, 17 (1). pp. 88-100. ISSN 1077-2626

HOWSE, JOHN, STAPLETON, GEM, Taylor, Kerry and CHAPMAN, PETER (2011) Visualizing ontologies: a case study In: Proceedings of the 10th International Semantic Web Conference, Part I, 2011, Bonn, Germany, October 23-27, 2011.

Rodgers, Peter, STAPLETON, GEM, HOWSE, JOHN and Zhang, Leishi (2010) Euler graph transformations for Euler diagram layout In: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, Leganes, Madrid, Spain, 21-25 September, 2010.

HOWSE, JOHN, STAPLETON, GEM and Oliver, Ian (2010) Visual reasoning about ontologies In: Proceedings of the 9th International Semantic Web Conference (ISWC2010), 7-11 November 2010, Shanghai, China, 7-11 November, 2010.

STAPLETON, GEM, Zhang, Leishi, HOWSE, JOHN and Rodgers, Peter (2010) Drawing Euler diagrams with circles In: Proceedings of the 6th International Conference, Diagrams 2010, Portland, Oregon, USA, 9-11 August, 2010.

STAPLETON, GEM, Zhang, Leishi, HOWSE, JOHN and Rodgers, Peter (2010) Drawing Euler diagrams with circles: the theory of piercings IEEE Transactions on Visualization and Computer Graphics, 17 (7). pp. 1020-1032. ISSN 1077-2626

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.

HOWSE, JOHN, Rodgers, Peter and STAPLETON, GEM (2010) Drawing Euler diagrams for information visualization In: Proceedings of the 6th International Conference on the Theory and Application of Diagrams, Portland, OR, USA, 9-11 August, 2010.

STAPLETON, GEM, HOWSE, JOHN and Rodgers, Peter (2010) A graph theoretic approach to general euler diagram drawing Theoretical Computer Science, 411 (1). pp. 91-112. ISSN 0304-3975

HAMIE, ALI, HOWSE, JOHN and FISH, ANDREW (2010) Visual specification patterns In: Proceedings of the Second International Workshop on Visual Formalisms for Patterns (VFfP 2010), 21 September 2010, Madrid, Spain, 21 September, 2010.

Howse, J., Rodgers, P. and Stapleton, G. (2010) Levels of syntax for Euler diagram logics In: World Congress and Summer School on Universal Logic, 18-25 April, 2010, Monte Estoril, Portugal.

HOWSE, JOHN, Rodgers, Peter and STAPLETON, GEM (2009) Changing Euler diagram properties by edge transformation of Euler dual graphs In: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2009), Corvallis, Oregon, USA, 20-24 September, 2009.

Howse, J., Rodgers, P. and Stapleton, G. (2009) Automated diagram drawing In: IEEE Symposium on Visual Languages and Human-Centric Computing 2009, 20-24 September, 2009, Corvallis, Oregon, USA.

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.

STAPLETON, GEM, TAYLOR, JOHN, Thompson, Simon and HOWSE, JOHN (2009) The expressiveness of spider diagrams augmented with constants Journal of Visual Languages and Computing, 20 (1). pp. 91-98. ISSN 1045-926X

HOWSE, JOHN, Schuman, Steve, STAPLETON, GEM and Oliver, Ian (2009) Diagrammatic formal specification of a configuration control platform In: Proceedings of the 14th BCS-FACS Refinement Workshop (REFINE 2009), Eindhoven, The Netherlands, 3 November, 2009.

Oliver, Ian, HOWSE, JOHN, STAPLETON, GEM, Nuutila, Esko and Torma, Seppo (2009) Visualizing and specifying ontologies using diagrammatic logics In: Proceedings of the 5th Australasian Ontology Workshop, Melbourne, Australia, 1 December, 2009.

Oliver, I., Howse, J., Stapleton, G., Nuutlia, E and Torma, S (2009) A proposed diagrammatic logic for ontology specification and visualization In: International Semantic Web Conference, 25-29 October 2009, Chantilly, VA, USA.

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

HOWSE, JOHN and STAPLETON, GEM (2008) Visual mathematics: Diagrammatic formalization and proof In: Proceedings of the 7th international MKM conference on Intelligent Computer Mathematics, Birmingham, UK, 28 July - 1 August, 2008.

HOWSE, JOHN (2008) Diagrammatic reasoning systems In: Proceedings of the 16th International Conference on Conceptual Structures, Toulouse, France, 7-11 July, 2008.

STAPLETON, GEM, HOWSE, JOHN, Rodgers, Peter and Zhang, Leishi (2008) Generating Euler diagrams from existing layouts In: Proceedings of the Second International Workshop on Layout of (Software) Engineering Diagrams (LED 2008), Herrsching am Ammersee, Germany, 15-19 September, 2008.

Cox, P., Fish, A. and Howse, J. (2007) Proceedings of visual languages and logic 2007, Idaho, USA, September 2007 Ceur Workshop Proceedings.

STAPLETON, GEM, Rodgers, Peter, HOWSE, JOHN and TAYLOR, JOHN (2007) Properties of Euler diagrams In: Proceedings of the Workshop on the Layout of (Software) Engineering Diagrams (LED 2007), Coeur d'Alene, Idaho, USA, 27 September, 2007.

STAPLETON, GEM and HOWSE, JOHN (2006) Enhancing the expressiveness of spider diagram systems In: Proceedings of the 12th International Conference on Distributed Multimedia Systems, Visual Languages and Computing, Grand Canyon, USA, 30 August - 1 September, 2006.

John, Chris, FISH, ANDREW, HOWSE, JOHN and TAYLOR, JOHN (2006) Exploring the notion of 'clutter' in Euler diagrams In: Proceedings of the 4th International Conference, Diagrams 2006, Stanford, CA, USA, 28-30 June, 2006.

STAPLETON, GEM, HOWSE, JOHN and Toller, Kate (2006) Generalizing spiders In: Proceedings of the 4th International Conference, Diagrams 2006, Stanford, CA, USA, 28-30 June, 2006.

Grundy, John C and HOWSE, JOHN (2006) Proceedings of the IEEE symposium on visual languages and human-centric computing [Edited Collections]

STAPLETON, GEM, HOWSE, JOHN and TAYLOR, JOHN (2005) A decidable constraint diagram reasoning system Journal of Logic and Computation, 15 (6). pp. 975-1008. ISSN 0955-792X

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

STAPLETON, GEM, Thompson, Simon, FISH, ANDREW, HOWSE, JOHN and TAYLOR, JOHN (2005) A new language for the visualisation of logic and reasoning In: Proceedings of the 2005 International Workshop on Visual Languages and Computing, Banff, Alberta, Canada, 5-7 September, 2005.

Fish, A., Howse, J., Taentzer, G. and Winkelmann, J. (2005) Two visualizations of OCL: a comparison University of Brighton, Brighton.

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

FISH, ANDREW and HOWSE, JOHN (2004) Computing reading trees for constraint diagrams In: Proceedings of the Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, 22 September - 1 October, 2003.

HAMIE, ALI, HOWSE, JOHN and Mitchell, Richard (2004) Time-based constraints in the Object Contraint Language OCL In: Proceedings of the 8th international conference on Artificial Intelligence and Soft Computing (ASC 2004), Marbella, Spain, 1-3 September, 2004.

FISH, ANDREW and HOWSE, JOHN (2004) Towards a default reading for constraint diagrams In: Proceedings of the 3rd International Conference, Diagrams 2004, Cambridge, UK, 22-24 March, 2004.

STAPLETON, GEM, HOWSE, JOHN, TAYLOR, JOHN and Thompson, Simon (2004) What can spider diagrams say? In: Proceedings of the 3rd International Conference, Diagrams 2004, Cambridge, UK, 22-24 March, 2004.

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

STAPLETON, GEM, HOWSE, JOHN and TAYLOR, JOHN (2003) A constraint diagram reasoning system In: Proceedings of the International Conference on Visual Languages and Computing, DMS 2003, Florida International University, Miami, Florida, USA, 24-26 September, 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.

Gil, Joseph (Yossi), HOWSE, JOHN and Tulchinsky, Elena (2002) Positive semantics of projections in Venn-Euler diagrams Journal of Visual Languages and Computing, 13 (2). pp. 197-227. ISSN 1045-926X

Kent, Stuart and HOWSE, JOHN (2002) Constraint trees In: Clark, A. and Warmer, J., eds. Object modeling with the OCL: the rationale behind the object constraint language. Lecture Notes in Computer Science . Springer-Verlag, Berlin, Germany, pp. 427-430. ISBN 9783540431695

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.

Gil, Joseph (Yossi), HOWSE, JOHN and Kent, Stuart (2001) Towards a formalization of constraint diagrams In: Proceedings of the IEEE Symposium on Human Centric Computing Languages and Environments, Stresa, Italy, 5-7 September, 2001.