Delaney, A., Stapleton, G., Taylor, J. and Thompson, S. (2010) Fragments of spider diagrams of order and their relative expressiveness In: Diagrams'10 Proceedings of the 6th international conference on Diagrammatic representation and inference , 9-11 August 2010, Portland, Oregon, USA.

Garner, R. and Taylor, J. (2009) Discrete mathematics: Proofs, structures and applications (3rd Edition) Boca Raton. ISBN 1439812802

Fish, A., Taylor, J. and John, C. (2008) A normal form for Euler diagrams with shading Proceedings of the 5th International Conference on Diagrams 2008, Lecture Notes in Artificial Intelligence, 5223 . pp. 206-221. ISSN 0302-9743

Delaney, A., Taylor, J. and Thompson, S. (2008) Spider diagrams of order and a hierarchy of star-free regular languages In: Diagrammatic Representation and Inference 5th International Conference Diagrams 2008 (2008) , 19-21 September, 2008, Herrsching, Germany.

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 . pp. 1-15. ISSN 1863-2122

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 Taylor, J. (2005) A decidable constraint diagram reasoning system Journal of Logic and Computation, 15 (6). pp. 975-1008. ISSN 1465-363X

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.

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

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

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.

Stapleton, G., Howse, J., Taylor, J. and Thompson, S. (2004) What can spider diagrams say? In: Blackwell, A., Marriott, K. and Shimojima, A., eds. 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 9783540212683

Flower, J., Howse, J. and Taylor, J. (2003) Nesting in Euler diagrams Electronic Notes in Theoretical Computer Science, 72 (3). pp. 93-102. ISSN 1571-0661

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

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

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