Items where Author is "Howse, J."

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.

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

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)

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

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

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

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

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