publications

This page is taken from the VMG pages at Brighton, 16th Sept 2003, and will become out of date. If you find broken links, and want to see the most up to date list, go to live page

2003

Fish A, Howse J. Computing Reading Trees for Constraint Diagrams, AGTIVE '03, Applications of Graph Transformations with Industrial Relevance, Charlottesville, Virginia, September 2003.

Fish A, Flower J, Howse, J. A Reading Algorithm for Constraint Diagrams, VLFM '03, IEEE Symposium on Visual Languages and Formal Methods, Auckland, New Zealand, October 2003.

G. Stapleton, J. Howse and J. Taylor. A Constraint Diagram Reasoning System, VLC03, accepted for International Conference on Visual Langauges and Computing, Florida International University, Miami, 2003.

Flower J, Howse J, Taylor J. Nesting in Euler diagrams: syntax, semantics and construction, SoSyM Journal, to appear.

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

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

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.

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

Flower J and Howse J, Generating Euler Diagrams,  proceedings of Diagrams 2002, Springer Verlag, 61-75. 

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

Howse J, Stapleton G, Flower J, Taylor J, Corresponding Regions in Euler Diagrams, Proceedings of Diagrams 2002, Springer Verlag, 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, 2002.  

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

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, 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, 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, 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, Proceedings of IEEE Symposium on Visual Languages (VL99), IEEE Computer Society Press.

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

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

Kent S, Howse J, Mixing Visual and Textual Constraint Languages, Proceedings of UML'99.
 

1998

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

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

Hamie A, Howse J, Kent S, Navigation expressions in object-oriented modelling,  Proc. Fundamental Approaches to Software Engineering (FASE), LNCS, Springer Verlag, 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, LNCS, Springer, 1998.