Items where Author is "Howse, J."

Authored book

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

Chapter in book

Howse, J., Stapleton, G., Flower, J. and Taylor, J. (2002) Corresponding regions in 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, 2317/2002 . Springer-Verlag, pp. 146-160. ISBN 9783540435617

Howse, J., Molina, F., Shin, S-J. and Taylor, J. (2002) Type-syntax and token-syntax in diagrammatic systems In: Formal ontology in information systems: Proceedings of the international conference on formal ontology in information systems. ACM Press, New York, USA, pp. 174-185. ISBN 1581133774

Contribution to conference proceedings in the public domain

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

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.

Journal article

Howse, J. and Schuman, S. (2005) Precise visual modelling: a case study Software and Systems Modeling, 4 (3). pp. 310-325. ISSN 1619-1366

Howse, J., Stapleton, G. and Taylor, J. (2005) Spider diagrams LMS Journal of Computation and Mathematics, 8 . pp. 145-194. ISSN 1461-1570

Stapleton, G., Howse, J., Taylor, J. and Thompson, S. (2004) The expressiveness of spider diagrams Journal of Logic and Computation, 14 (6). pp. 857-880. ISSN 0955-792X

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.

Howse, J., Molina, F., Shin, S-J. and Taylor, J. (2002) On diagram tokens and types DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference . pp. 76-90. ISSN 0302-9743 (print); 1611-3349 (online)

Howse, J., Molina, F., Taylor, J., Kent, S. and Gil, J. (2001) Spider diagrams: a diagrammatic reasoning system Journal of Visual Languages and Computing, 12 (3). pp. 299-324. ISSN 1045-926X

Other form of assessable output

Howse, J., Bosworth, R., Fish, A., Stapleton, G., Taylor, J., Rodgers, P. and Thompson, S. (2006) Euler diagram-based notations University of Brighton, Brighton, UK. (Unpublished)

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