publications

2008

Stapleton G., Howse J., Lee J. (eds). Proceedings of International Conference on the Theory and Application of Diagrams, Springer, LNCS 5223, 2008.

Burton J., Diagrams and Intuitive Formal Specifications, Accepted for the IEEE Symposium on Visual Languages and Human Centric Computing, Graduate Consortium, 2008.

De Chiara R., Fish A., EulerView: article organisation within the ACM. Accepted for the IEEE Symposium on Visual Languages and Human Centric Computing, 2008.

Fish A., Flower J., Euler Diagram Decomposition. Accepted for International Conference on the Theory and Application of Diagrams, Springer, LNCS 5223, 2008.

Fish A., John C., Taylor J., A Normal Form for Euler Diagrams with Shading. Accepted for International Conference on the Theory and Application of Diagrams, Springer, LNCS 5223, 2008.

Rodgers P., Zhang L., Fish A., General Euler Diagram Generation. Accepted for International Conference on the Theory and Application of Diagrams, Springer, LNCS 5223, 2008.

Delaney A., Taylor J., Thompson S., Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages. Accepted for International Conference on the Theory and Application of Diagrams, Springer, LNCS 5223, 2008.

Burton J., Types and Programs from Euler Diagrams. Accepted for International Conference on the Theory and Application of Diagrams, Springer, LNCS 5223, 2008.

Stapleton G., Howse J., Rodgers P., Zhang L., Generating Euler Diagrams from Existing Layouts. In Proceedings of Layout of (Software) Engineering Diagrams, Herrsching, 2008.

Stapleton G., Fish A., Rodgers P., Abstract Euler Diagram Isomorphism. In Proceedings of 14th International Conference on Distributed Multimedia Systems, Visual Languages and Computing, Boston, USA, Knowledge Systems Institute, 2008.

Stapleton G., Spider Diagrams Augmented with Constants: A Complete System. In Proceedings of 14th International Conference on Distributed Multimedia Systems, Visual Languages and Computing, Boston, USA, Knowledge Systems Institute, 2008.

Burton J., Diagrammatic Reasoning with Enhanced Static Constraints, Accepted for ESSLLI student session, 2008.

Howse J., Stapleton G., Visual Mathematics: Diagrammatic Formalization and Proof. Proceedings of International Conference on Mathematical Knowledge Management, Birmingham, UK, Springer, July, 2008.

Rodgers, P., Zhang, L., Stapleton, G., Fish, A. Embedding Wellformed Euler Diagrams, Information Visualisation, IEEE Computer Society Press, 585-593, London, UK, 2008.

De Chiara R., Fish A., Eulicious: Euler diagrams for delicious. Information Visualisation, IEEE Computer Society Press, London, UK, 2008.

De Chiara R., Fish A., EulerView with projections: non hierarchical visualisation. Accepted for Eurographics Italian Chapter conference, 2008.

Howse J., Diagrammatic Reasoning Systems. International Conference on Conceptual Structures, Springer, LNCS 5113, 1-20, 2008.

Dau F., Fish A., Conceptual Spider Diagrams. International Conference on Conceptual Structures, Springer, LNCS 5113, 104-118, 2008.

De Chiara R., Fish A., Ruocco S., Eulr: a Novel Resource Tagging Facility Integrated with Flickr. Advanced Visual Interfaces 2008 conference, ACM press.

Stapleton, G., Delaney A., Evaluating and Generalizing Constraint Diagrams, accepted for Journal of Visual Languages and Computing, Special Issue containing Best Papers from VLHCC 2007, 9(4):499-521, 2008.

Stapleton G., Taylor J., Thompson S., Howse J. The Expressiveness of Spider Diagrams Augmented with Constants, accepted for Journal of Visual Languages and Computing.

Flower J., Fish A., Howse J. Euler Diagram Generation, accepted for Journal of Visual Languages and Computing.

2007

Fish A., Knapp A., Stoerrle H. (eds). Proceedings of Layout of Software Engineering Diagrams, Idaho, USA, September 2007.

Cox P., Fish A., Howse J. (eds). Proceedings of Visual Languages and Logic 2007, Idaho, USA, September 2007. CEUR Series Vol. 274.

Stapleton G., Rodgers P., Howse J., Taylor J. Properties of Euler Diagrams. Proceedings of Layout of Software Engineering Diagrams, Idaho, USA, 2-16, September 2007.

Delaney A., Stapleton G. Spider Diagrams of Order. Proceedings of Visual Languages and Logic 2007, 27-39, Idaho, USA, September 2007. CEUR Series Vol. 274.

Fish A., Störrle H. Visual qualities of the Unified Modeling Language: Deficiencies and Improvements. Proceedings of VLHCC2007, Visual Languages and Human-Centric Computing, Coeur d'Alene, Idaho, USA, 41-49, September 2007.

De Chiara R., Fish A. EulerView: a non-hierarchical visualization component. Proceedings of VLHCC2007, Visual Languages and Human-Centric Computing, Coeur d'Alene, Idaho, USA, 145-152, September 2007.

Stapleton G., Delaney A. Towards Overcoming Deficiencies in Constraint Diagrams. Proceedings of VLHCC2007, Visual Languages and Human-Centric Computing, Coeur d'Alene, Idaho, USA, 33-40, September 2007.

Stapleton G., Masthoff J. Incorporating Negation into Visual Logics: A Case Study Using Euler Diagrams. Proceedings of VLC07, Visual Languages and Computing, San Francisco, USA, 187-194, September 2007.

Delaney A., Stapleton G. On the Descriptional Complexity of a Diagrammatic Notation. Proceedings of VLC07, Visual Languages and Computing, San Francisco, USA, 195-202, September 2007.

Stapleton G. How to Use Edith: the Euler Diagram Theorem Prover. Technical Report VMG.07.1, University of Brighton, 2007.

Stapleton G. Euler Diagram Reasoning. Technical Report VMG.07.2, University of Brighton, 2007.

Fish A., Khazaei B., Roast C. Exploring human factors in formal diagram usage. Accepted for Engineering Interactive Systems 2007, to appear 2007.

Stapleton G., Masthoff J., Flower J., Fish A., Southern J. Automated Theorem Proving in Euler Diagram Systems. Journal of Automated Reasoning, Springer online first, 2007.

Stapleton, G. Diagrammatic Logics: Past, Present and Future. Invited Contribution to the International Conference on Logic, Navya Nyaya and Applications: A Homage to Bimal Krishna Mitilal, Calcutta, India, 4-15, January 2007.

2006

John C., Measuring and Reducing Clutter in Spider Diagrams with Projections. PhD thesis, November 2006.

Fish A. and Keyman E. Jones Polynomial Invariants. Journal of Knot Theory and its Ramifications, volume 15, issue 3, pages 339-350, World Scientific Publishing Company, 2006.

Grundy J. and Howse J. (eds) Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing 2006. IEEE CS Press, 2006.

Barbaiani M., Bibire C., Dassow J., Delaney A., Fazekas S., Ionescu M., Liu G., Lodhi A., Nagy B. The Power of Programmed Grammars with Graphs from Various Classes. J. Appl. Math. & Computing Vol. 22(2006), No. 1 - 2, pp. 21 - 38.

Stapleton G., Howse J. Enhancing the Expressiveness of Spider Diagram Systems. Proceedings of VLC06, Visual Languages and Computing, Grand Canyon, USA, 129-138, August 2006.

Fish A. and G. Stapleton. Formal Issues in Languages Based on Closed Curves. Proceedings of VLC06, Visual Languages and Computing, Grand Canyon, USA, 161-167, August 2006.

John C., Fish A., Howse J., Taylor J. Exploring the Notion of Clutter in Euler Diagrams. Proceedings of Diagrams 2006, International Conference on the Theory and Application of Diagrams, Stanford, 267-282, June 2006.

Fish A., Stapleton G. Defining Euler Diagrams: Simple or What?. Proceedings of Diagrams 2006, International Conference on the Theory and Application of Diagrams, Stanford, 109-111, June 2006.

Stapleton G., Howse J., Toller K. Generalizing Spiders. Proceedings of Diagrams 2006, International Conference on the Theory and Application of Diagrams, Stanford, 148-150, June 2006.

Stapleton G., Masthoff J., Flower J., Fish A., Southern J. Appendices for Automated Theorem Proving in Euler Diagram Systems. Technical Report VMG.06.2, University of Brighton, 2006.

Howse J., Bosworth R., Fish A., Stapleton G., Taylor J., Rodgers P., Thompson S. Euler Diagram-based Notations. Technical Report VMG.06.1, University of Brighton, 2006.

2005

Howse J., Bosworth R., Fish A., Taylor J., Rodgers P., Stapleton G., Thompson S. Reasoning with diagrams: Final Report. EPSRC grant GR/R63516 Reasoning with Diagrams Final Report, November 2005.

The project was assessed as Outstanding.

Stapleton G., Howse J., Taylor J. A Decidable Constraint Diagram Reasoning System. Journal of Logic and Computation. 15(6) 975-1008, 2005.

Fish A., Flower J., Howse J. The Semantics of Augmented Constraint Diagrams. Journal of Visual Languages and Computing 16 (2005) 541-573.

Howse J., Stapleton G., Taylor J. Spider Diagrams. Available at The LMS Journal of Computation and Mathematics Vol.8 (2005) 145-194.

Howse J., Schuman S. Precise Visual Modelling: a case study. Available at SoSyM Journal Online First . Software and Systems Modelling Journal, Vol.4, No.3, pp 310-325, 2005.

Fish A., Howse J., Taentzer G., Winkelmann J. Two Visualizations of OCL: a comparison. Technical Report VMG.05.1, University of Brighton, 2005.

Fish A., Masthoff J. Do Monkeys Like Elephants or Do Elephants Watch Monkeys? An Empirical Study into the Default Reading of Constraint Diagrams. Technical Report VMG.05.2, University of Brighton, 2005.

Fish A., Masthoff J. An Experimental Study into the Default Reading of Constraint Diagrams. VLHCC05, Proceedings of Visual Languages and Human Centric Computing, Dallas, September 2004, pp 287 - 289.

Stapleton G., Howse J., Toller K. On Spiders' feet, extended abstract. Euler Diagrams, Paris, September 2005

Fish A., Stapleton G. Defining Euler Diagrams: Choices and Consequences, extended abstract. Euler Diagrams, Paris, September 2005.

Stapleton G., Thompson S., Fish A., Howse J., Taylor J. A New Language for the Visualization of Logic and Reasoning, VLC05, International Conference on Visual Languages and Computing, Banff, September 2005, pp 263-270.

Clark R. Failure Mode Decomposition Using Spider Diagrams. Proceedings of 1st International workshop on Euler Diagrams, Brighton, September 2004. ENTCS 134, pp 19-31, June 2005.

Fish A., Flower J. Abstractions of Euler Diagrams. Proceedings of 1st International workshop on Euler Diagrams, Brighton, September 2004. ENTCS 134, pp 77-101, June 2005.

John C. Measuring and Reducing Clutter in Euler Diagrams. Proceedings of 1st International workshop on Euler Diagrams, Brighton, September 2004. ENTCS 134, pp 103-126, June 2005.

Stapleton G. A Survey of Reasoning Systems Based on Euler Diagrams. Proceedings of 1st International workshop on Euler Diagrams, Brighton, September 2004. ENTCS 134, pp 127-151, June 2005.

Fish A., Flower J., Investigating Reasoning with Constraint Diagrams, VLFM04, Visual Languages and Formal Methods, Rome, September 2004. ENTCS 127, Issue 4, April 2005, pp 53-69.

2004

Stapleton G., Howse J., Taylor J., Thompson S. The Expressiveness of Spider Diagrams Augmented with Constants, VLHCC04, Visual Languages and Human Centric Computing, Rome, September 2004, pp 91 - 98.

Stapleton G., Thompson S., Howse J., Taylor J. The Expressiveness of Spider Diagrams, Journal of Logic and Computation. 14(6) pp 857 - 880, 2004.

Rodgers P., Mutton P., Flower J. Dynamic Euler Diagram Drawing, VLHCC04, Visual Languages and Human Centric Computing, Rome, September 2004, pp 147 - 155.

Flower J., Masthoff J., Stapleton G. Generating Proofs with Spider Diagrams Using Heuristics, VLC'2004, International Workshop on Visual Languages and Computing, San Francisco, September 2004.

Hamie A, Howse J, Mitchell R. Time-based constraints in OCL, ASC 2004, 8th International Conference on Artificial Intelligence and Soft Computing, Marbella, Spain, September 2004.

Barrio-Solorzano M and Howse J. Theorem Proving in Spider Diagrams Using PVS, (extended abstract). Proc. Euler Diagrams Brighton, September 2004.

Howse J and Meyer B. Conjunction labels in Euler diagrams, (extended abstract). Proc. Euler Diagrams Brighton, September 2004.

Stapleton G., Reasoning with Constraint Diagrams. PhD thesis, August 2004.
     British Computer Society Distinguished Dissertation Award (Runner-up) 2005.

Stapleton G. Reasoning with Constraint Diagrams: summary of PhD thesis. Technical Report VMG.04.1, University of Brighton, 2004.

Hamie A Translating the Object Constraint Language into JML, SAC'04, 19th ACM Symposium on Applied Computing, Nicosia, Cyprus, March 2004, pp 1531 - 1535.

Flower J, Howse J, Taylor J. Nesting in Euler diagrams: syntax, semantics and construction, Software and Systems Modelling Journal, SoSyM Journal. Vol.3, March 2004, pp 55-67.

Mutton P, Rodgers P, Flower J. Drawing Graphs in Euler Diagrams, Diagrams'04, International Conference on the Theory and Application of Diagrams, Cambridge, March 2004, pp 66-81.

Fish A, Howse J Towards a Default Reading for Constraint Diagrams, Diagrams '04, International Conference on the Theory and Application of Diagrams, Cambridge, March 2004, pp 51-65.

Flower J, Masthoff J, Stapleton G. Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams , Diagrams '04, International Conference on the Theory and Application of Diagrams, Cambridge, March 2004, pp 166-181.
     Voted BEST PAPER at Diagrams 2004.

Bosworth, R Towards an Automatic Proof System for Scalecharts, Diagrams '04, International Conference on the Theory and Application of Diagrams, Cambridge, March 2004, pp 227-229.

John, C Reasoning with Projected Contours, Diagrams '04, International Conference on the Theory and Application of Diagrams, Cambridge, March 2004.

Stapleton G, Howse J, Taylor J, Thompson S. What Can Spider Diagrams Say?, Diagrams '04, International Conference on the Theory and Application of Diagrams, Cambridge, March 2004, pp 112-127.

Flower J, Stapleton G. Automated theorem proving with spider diagrams , CATS'04, Computing: The Australasian Theory Symposium, Dunedin, New Zealand, January 2004, ENTCS vol 91, Science Direct, pp 116-132. 

2003

Fish A, Flower J, Howse, J. A Reading Algorithm for Constraint Diagrams, HCC '03, IEEE Symposium on human centric computing languages and environments, Auckland, New Zealand, October 2003, pp 161-168.
     Voted BEST PAPER Visual Languages and Formal Methods strand.

Fish A, Howse J. Computing Reading Trees for Constraint Diagrams, Proceedings of AGTIVE '03, Applications of Graph Transformations with Industrial Relevance, Charlottesville, Virginia, September 2003, LNCS 3062, Springer Verlag, pp 260-274.

Stapleton G, Howse J, Taylor J. A Constraint Diagram Reasoning System, VLC03, Distributed Multimedia Systems, International Conference on Visual Languages and Computing, Florida International University, Miami, September 2003, pp 263-270.

Flower J, Howse J, Taylor J. Nesting in Euler diagrams: syntax, semantics and construction, Software and Systems Modelling Journal, SoSyM Journal. Vol.3, March 2004, pp 55-67.

Flower J, Rodgers, P, Mutton P. Layout metrics for Euler Diagrams,  IV'03,  7th International Conference on information visualisation, London, July 2003, pp 272-280.

Howse J. Book Review: The Iconic Logic of Peirce's Graphs by Sun-Joo Shin,  Journal of Visual Languages and Computing Vol.14, February 2003, pp 119-121.

Clark R. Constraint Diagram Editor. MSc dissertation, University of Brighton, 2003.

2002

Flower J, Howse J, Taylor J, Nesting in Euler Diagrams,  GT-VMT-02,  International Workshop on Graph Transformation and Visual Modeling Techniques, Barcelona, October 2002, pp 99-108.

Flower J, Howse J, Kent S, Taylor J, A Visual Framework for Modelling with Heterogeneous Notations,  technical note, HCC02 (IEEE Symposium on Human Centric Computing Languages and Environments)., September 2002, pp 71-73.

Flower J and Howse J, Generating Euler Diagrams,  Proceedings of Diagrams 2002, Callaway Gardens, Georgia, April 2002, Springer Verlag, pp 61-75. 
     Voted BEST PAPER at Diagrams 2002.

Howse J, Molina F, Shin S-J, Taylor J, On Diagram Tokens and Types,   Proceedings of Diagrams 2002, Callaway Gardens, Georgia, April 2002, Springer Verlag, pp 76-90. 

Howse J, Stapleton G, Flower J, Taylor J, Corresponding Regions in Euler Diagrams, Proceedings of Diagrams 2002, Callaway Gardens, Georgia, April 2002, Springer Verlag, pp 146-160. 

Hamie A, Towards Verifying Java Realizations of OCL-Constrained Design Models Using JML,   Proceedings of 6th IASTED International Conference on Software Engineering and Applications (SEA'2002), MIT, Cambridge, USA, November 2002.  

Gil J, Howse J, Tulchinsky E,  Positive Semantics of Projections, Journal of Visual Languages and Computing, Vol. 13, No. 2, Apr 2002, pp 197-227.

2001

Molina F, Reasoning with extended Venn-Peirce Diagrammatic Systems. PhD thesis, University of Brighton, September 2001.

Howse J, Molina F, Taylor J, Kent S, Gil J, Spider Diagrams: A Diagrammatic Reasoning System,  Journal of Visual Languages and Computing. Vol. 12, No. 3, Jun 2001, pp 299-324.

Howse J, Molina F, Shin S.-J., Taylor J, Type-syntax and Token-syntax in Diagrammatic Systems, Proceedings FOIS-2001:  2nd International Conference on Formal Ontology in Information Systems, Maine USA, ACM Press, pp 174–185.

Gil J, Howse J, Kent S,  Towards a formalization of constraint diagrams, Proc. IEEE Symposia on Human-Centric Computing (HCC ’01), Stresa, Italy, IEEE Computer Society Press, September 2001, pp 72-79.

Kent S, Howse J,  Constraint Trees, in Clark A, Warmer J (eds) Advances in Object Modelling with OCL, Springer Verlag.
 

2000

Howse J, Molina F, Taylor J, A sound and complete diagrammatic reasoning system, Proceedings. ASC 2000: 3rd IASTED International Conference on Artificial Intelligence and Soft Computing, Banff, IASTED/ACTA Press 2000, 402–408.

Howse J, Molina F, Taylor J, SD2: A sound and complete diagrammatic reasoning system, Proceedings VL 2000: IEEE Symposium on Visual Languages, Seattle, IEEE Computer Society Press 2000, 127–136.

Gil J, Howse J, Kent S, Taylor J, Projections in Venn-Euler Diagrams, Proceedings VL 2000: IEEE Symposium on Visual Languages, Seattle, IEEE Computer Society Press 2000, 119–126.

Howse J, Molina F, Taylor J, On the completeness and expressiveness of spider diagram systems, Proc. Diagrams 2000, Edinburgh 2000, LNAI 1889, Springer-Verlag, 26-41.

Gil J, Howse J, Tulchinsky E, Positive semantics of projections in Venn-Euler diagrams, Proc. Diagrams 2000, Edinburgh 2000, LNAI 1889, Springer-Verlag, 7-25.

Flower, J. A, Generating constraint diagrams, MSc dissertation, University of Brighton, 2000.
 

1999

Howse J, Molina F, Taylor J, Kent, S, Reasoning with spider diagrams, Proc. IEEE Symposium on Visual Languages (VL99), Tokyo, Sept 1999., IEEE Computer Society Press, 138-147.

Gil Y, Howse J, Kent S, Formalising spider diagrams, Proc. IEEE Symposium on Visual Languages (VL99), Tokyo, Sept 1999., IEEE Computer Society Press, 130-137.

Gil Y, Howse J, Kent S, Constraint Diagrams: a step beyond UML, Proc. TOOLS USA 1999, Santa Barbara, California, Aug 1999., IEEE Computer Society Press, 453-463.

Kent S, Howse J, Mixing Visual and Textual Constraint Languages, Proc. Second International Conference on the Unified Modelling Language (UML'99), Fort Collins, Colorado, Oct 1999. LNCS, Springer, 384-398.
 

1998

Hamie A, Howse J, Kent S, Interpreting the Object Constraint Language, Proc. Asia-Pacific Software Engineering Conference (APSEC’98), Taipei, Taiwan, Dec 1998., IEEE Computer Society Press, 288-295.

Hamie A, Howse J, Kent S, Modular semantics for object-oriented models, 3rd BCS-FACS Northern Formal Methods Workshop, Electronic workshops in Computing (eWiC), UK, Springer, Aug 1998.

Hamie A, Civello F, Howse J, Kent S, Mitchell R, Reflections on the Object Constraint Language, Proc. First International Conference on the Unified Modelling Language (UML'98), Mulhouse, France, Jun 1998., LNCS, Springer, 162-172.

Hamie A, Howse J, Kent S, Navigation expressions in object-oriented modelling,  Proc. Fundamental Approaches to Software Engineering (FASE), Lisbon, Portugal, Mar 1998., LNCS, Springer Verlag, 123-137.