Prof John Howse

JR Howse
Asst Head of School/Prof of Maths & Comp

contact:
Computing Mathematical and Information Sciences
Watts Building
Moulsecoomb
Brighton

Telephone: +44 (0)1273 642523

Email: John.Howse@brighton.ac.uk

Personal web page

Research publications

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

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

Howse, J., Stapleton, G. and Taylor, J. (2005) Spider diagrams. The London Mathematical Society Journal of computation and mathematics, 8. pp. 145-194. ISSN 1461-1570

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

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

Stapleton, G., Thompson, S., Howse, J. and Taylor, J. (2004) The expressiveness of spider diagrams. Journal of logic and computation, 14 (6). pp. 857-880. ISSN 1465-363X

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-1374

Fish, A. and Howse, J. (2004) Computing reading trees for constraint diagrams. In: Hosking, J. and Cox, P., ed. 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. In: Proceedings of IEEE symposium on visual languages and human-centric computing, 26-19 Sept 2004, Rome, Italy.

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., ed. 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., ed. 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 0302-9743 (Print) 1611-3349 (Online)

Stapleton, G., Howse, J. and Taylor, J. (2003) A constraint diagram reasoning system. In: Cardenas, A.F. and Mussio, P., ed. 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

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

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

Kent, S. and Howse, J. (2002) Constraint trees. In: Clark, A. and Warmer, J., ed. 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, 2317/2003. Springer-Verlag, Berlin, Germany, pp. 61-75. ISBN 03029743

Flower, J., Howse, J. and Taylor, J. (2002) Nesting in Euler diagrams. Electronic notes in theoretical computer science, 72 (3). pp. 93-102. ISSN 1571-0661

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.

This list was generated on Tue Feb 9 17:31:37 GMT 2010.