BURTON, JAMES, STAPLETON, GEM and HOWSE, JOHN (2012) Generalized constraint diagrams; the classical decision problem in a diagrammatic reasoning system Journal of Logic and Computation . ISSN 0955-792X (In Press)

Stapleton, G., Flower, J., Rodgers, P. and Howse, J. (2012) Automatically drawing Euler diagrams with circles Journal of Visual Languages and Computing . ISSN 1045-926X (In Press)

Stapleton, G., Rodgers, P. and Howse, J. (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: IEEE Symposium on Visual Languages and Human-Centric Computing 2011, 18-22 September 2011, Pittsburgh, PA, USA.

Clark, R., FISH, ANDREW, GARRETT, CHRISTOPHER and HOWSE, JOHN (2011) Developing a rigorous bottom-up modular static failure modelling methdology In: 6th IET International Conference on System Safety, 2011, 22 September, 2011, Holiday Inn, Birmingham, UK, 20 - 22 September 2011. (In Press)

HOWSE, JOHN, STAPLETON, GEM, Taylor, Kerry and CHAPMAN, PETER (2011) Visualizing ontologies: a case study In: International Semantic Web Conference, 2011, Bonn, Germany.

Rodgers, P., Stapleton, G., Howse, J. and Zhang, L. (2010) Euler graph transformations for Euler diagram layout In: IEEE Symposium on Visual Languages and Human-Centric Computing 2010, 21-25 September 2010, Madrid, Spain.

Howse, J., Stapleton, G. and Oliver, I. (2010) Visual reasoning about ontologies In: International Semantic Web Conference, 7-11 November 2010, Shanghai, China.

Stapleton, G., Zhang, L., Howse, J. and Rodgers, P. (2010) Drawing Euler diagrams with circles In: 6th International Conference on the Theory and Application of Diagrams, 9-11 August 2010, Portland, Oregon, USA.

Stapleton, G., Zhang, L., Howse, J. and Rodgers, P. (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.

Stapleton, G., Rodgers, P., Howse, J. and Zhang, L. (2010) Inductively generating Euler diagrams IEEE Transactions on Visualization and Computer Graphics, 17 (1). pp. 88-100. ISSN 1077-2626 (In Press)

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

Howse, J., Rodgers, P. and Stapleton, G. (2010) Drawing Euler diagrams for information visualization In: 6th International Conference on the Theory and Application of Diagrams, 9-11 August 2010, Portland, Oregon, USA.

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.

Hamie, A., Howse, J. and Fish, A. (2010) Visual specification patterns In: 2nd International Workshop on Visual Formalisms for Patterns, 21 September 2010, Madrid, Spain.

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.

Howse, J., Rodgers, P. and Stapleton, G. (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), 20-24 September 2009, Corvallis, Oregon.

Stapleton, G., Rodgers, P., Howse, J. and Flower, J. (2009) Some results for drawing area-proportional Venn-3 with convex curves Information Visualisation, 2009 13th International Conference . pp. 667-672. ISSN 1550-6037

Howse, J., Schuman, S., Stapleton, G. and Oliver, I. (2009) Diagrammatic formal specification of a configuration control platform In: 2009 Refinement Workshop, 3rd November 2009, Eindhoven.

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.

Oliver, O, Howse, J., Stapleton, G., Nuutlia, S and Torma, S (2009) Visualizing and specifying ontologies using diagrammatic logics In: Proceedings of the Australasian Ontology Workshop, 1 December 2009, Melbourne, Australia.

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

Howse, J. and Stapleton, G. (2008) Visual mathematics: Diagrammatic formalization and proof Lecture Notes in Computer Science - Intelligent Computer Mathematics, 5144 . pp. 478-493.

Howse, J. (2008) Diagrammatic reasoning systems In: Conceptual Structures: Knowledge Visualization and Reasoning. Lecture Notes in Computer Science - 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings, 5113 . Springer-Verlag, Berlin, pp. 1-20. ISBN 978-3-540-70595-6

Stapleton, G., Howse, J., Rodgers, P. and Zhang, L. (2008) Generating Euler diagrams from existing layouts Electronic Communications of the EASST, 13 . ISSN 1863-2122

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

Stapleton, G., Rodgers, P., Howse, J. and Taylor, J. (2007) Properties of Euler diagrams Electronic communications of the EASST: Proceedings of layout of (software) engineering diagrams, 7 . pp. 1-15. ISSN 1863-2122

Stapleton, G. and Howse, J. (2006) Enhancing the expressiveness of spider diagram systems In: Proceedings of VLC06, Visual Languages and Computing, 30 Aug - 1 Sep 2006, Grand Canyon, USA.

John, C., Fish, A., Howse, J. and Taylor, J. (2006) Exploring the notion of clutter in Euler diagrams In: Diagrammatic representation and inference: fourth international conference, Diagrams 2006. Stanford, CA, USA, June 28-30: proceedings. Lecture notes in computer science, 4045/2006 . Springer, Berlin, Germany, pp. 267-282. ISBN 9783540356233

Stapleton, G., Howse, J. and Toller, K. (2006) Generalizing spiders In: Diagrammatic representation and inference: fourth international conference, Diagrams 2006. Stanford, CA, USA, June 28-30: proceedings. Lecture Notes in Computer Science, 4045/2006 . Springer, Berlin, Germany, pp. 148-150. ISBN 9783540356233

Grundy, J. and Howse, J. (2006) Proceedings of the IEEE symposium on visual languages and human-centric computing 2006 IEEE Computer Society. ISBN 0-7695-2586-5

Stapleton, G., Howse, J. and Taylor, J. (2005) A decidable constraint diagram reasoning system Journal of Logic and Computation, 15 (6). pp. 975-1008. ISSN 1465-363X

Fish, A., Flower, J. and Howse, J. (2005) The semantics of augmented constraint diagrams Journal of Visual Languages and Computing, 16 (6). pp. 541-573. ISSN 1045-926X

Stapleton, G., Thompson, S., Fish, A., Howse, J. and Taylor, J. (2005) A new language for the visualisation of logic and reasoning In: Proceedings of 11th International Conference on Distributed Multimedia Systems, International Workshop on Visual Languages and Computing. Knowledge Systems Institute, Banff, Canada, pp. 287-292.

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

Flower, Jean, Howse, J. and Taylor, J. (2004) Nesting in Euler diagrams: syntax, semantics and construction Journal of Software and Systems Modeling, 3 (1). pp. 55-67. ISSN 1619-1366

Fish, A. and Howse, J. (2004) Computing reading trees for constraint diagrams In: Hosking, J. and Cox, P., eds. Applications of graph transformations with industrial relevance: second international workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, revised selected and invited papers. Lecture notes in computer science, 3062/2004 . Springer-Verlag, Berlin, Germany, pp. 260-274. ISBN 9783540221203

Stapleton, G., Howse, J., Taylor, J. and Thompson, S. (2004) The expressiveness of spider diagrams augmented with constants VLHCC '04 Proceedings of the 2004 IEEE Symposium on Visual Languages - Human Centric Computing . pp. 91-98.

Hamie, A., Howse, J. and Mitchell, R. (2004) Time-based constraints in OCL In: 8th International Conference on Artificial Intelligence and Soft Computing, 1 - 3 Sep 2004, Marbella, Spain.

Fish, A. and Howse, J. (2004) Towards a default reading for constraint diagrams In: Blackwell, A., Marriott, K. and Shimojima, A., eds. Diagrammatic representation and inference: third international conference, Diagrams 2004. Cambridge, UK, Mar 22-24: proceedings. Lecture notes in computer science, 2980/2004 . Springer-Verlag, Berlin, Germany, pp. 51-65. ISBN 9783540212683

Stapleton, G., Howse, J., Taylor, J. and Thompson, S. (2004) What can spider diagrams say? In: Blackwell, A., Marriott, K. and Shimojima, A., eds. Diagrammatic representation and inference: third international conference, Diagrams 2004. Cambridge, UK, Mar 22-24: proceedings. Lecture notes in computer science, 2980/2004 . Springer-Verlag, Berlin, Germany, pp. 112-127. ISBN 9783540212683

Flower, J., Howse, J. and Taylor, J. (2003) Nesting in Euler diagrams Electronic Notes in Theoretical Computer Science, 72 (3). pp. 93-102. ISSN 1571-0661

Stapleton, G., Howse, J. and Taylor, J. (2003) A constraint diagram reasoning system In: Cardenas, A.F. and Mussio, P., eds. VLC03, distributed multimedia systems, international conference on visual languages and computing, Florida international university, Miami, September 2003. Knowledge systems institute, Cambridge, MA, United States, pp. 263-270. ISBN 1891706316

Fish, A., Flower, J. and Howse, J. (2003) A reading algorithm for constraint diagrams In: Hosking, J., ed. IEEE symposium on human centric computing languages and environments, Auckland, New Zealand, October 2003. IEEE Computer Society, pp. 161-168. ISBN 0780382250

Flower, J., Howse, J. and Taylor, J. (2002) A visual framework for modelling with heterogeneous notations, technical note In: Human Centric Computing Languages and Environments, 2002. Proceedings. IEEE 2002 Symposia. IEEE Computer Society, pp. 71-73. ISBN 0769516440

Gil, J., Howse, J. and Tulchinsky, E. (2002) Positive semantics of projections in Venn-Euler diagrams Journal of Visual Languages and Computing, 13 (2). pp. 197-227. ISSN 1045-926X

Kent, S. and Howse, J. (2002) Constraint trees In: Clark, A. and Warmer, J., eds. Object modeling with the OC: the rationale behind the object constraint language. Lecture notes in computer science, 2263/2002 . Springer, pp. 427-430. ISBN 0302-9743 (Print) 1611-3349 (Online)

Flower, J. and Howse, J. (2002) Generating Euler diagrams In: Diagrammatic Representation and Inference : Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18-20, 2002. Proceedings. Lecture Notes in Computer Science . Springer-Verlag, Berlin, Germany, pp. 61-75. ISBN 03029743

Gil, J., Howse, J. and Kent, S. (2001) Towards a formalization of constraint diagrams In: EEE 2001 Symposium on Human Centric Computing Languages and Environments (HCC'01). IEEE Computer Society, pp. 72-79.