Dr John Taylor
Principal Lecturer
contact:
Computing, Engineering and Mathematics
Moulsecoomb
Brighton
BN2 4GJ
Telephone: +44 (0)1273 642597
+44 (0)1273 641187
Email: John.Taylor@brighton.ac.uk
Personal Web Page
John Taylor’s current research interest centres on diagrammatic notations and diagrammatic reasoning. One of the driving forces behind the research is the desire to find usable and rigorous diagrammatic notations that can be used in software specification and design. He is a member of the Visual Modelling Research Group and a member of the School’s Mathematics and Formal Aspects of Computing subject groups. John’s teaching interests are principally in the areas of discrete mathematics, abstract algebra, topology and the use of mathematics in software engineering.Research publications
DELANEY, AIDAN, STAPLETON, GEM, TAYLOR, JOHN and Thompson, Simon (2013) On the expressiveness of spider diagrams and commutative star-free regular languages Journal of Visual Languages and Computing, 24 (1). ISSN 1045-926X
DELANEY, AIDAN, STAPLETON, GEM, TAYLOR, JOHN and Thompson, Simon (2010) Fragments of spider diagrams of order and their relative expressiveness In: Proceedings of the 6th international conference on diagrammatic representation and inference, Portland, OR, USA, 9-11 August, 2010.
Garner, R. and Taylor, J. (2009) Discrete mathematics: Proofs, structures and applications (3rd Edition) Boca Raton. ISBN 1439812802
STAPLETON, GEM, TAYLOR, JOHN, Thompson, Simon and HOWSE, JOHN (2009) The expressiveness of spider diagrams augmented with constants Journal of Visual Languages and Computing, 20 (1). pp. 91-98. ISSN 1045-926X
DELANEY, AIDAN, TAYLOR, JOHN and Thompson, Simon (2008) Spider diagrams of order and a hierarchy of star-free regular languages In: Proceedings of the 5th international conference on the theory and application of diagrams, Herrsching, Germany, 19-21 September, 2008.
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
STAPLETON, GEM, Rodgers, Peter, HOWSE, JOHN and TAYLOR, JOHN (2007) Properties of Euler diagrams In: Proceedings of the Workshop on the Layout of (Software) Engineering Diagrams (LED 2007), Coeur d'Alene, Idaho, USA, 27 September, 2007.
John, Chris, FISH, ANDREW, HOWSE, JOHN and TAYLOR, JOHN (2006) Exploring the notion of 'clutter' in Euler diagrams In: Proceedings of the 4th International Conference, Diagrams 2006, Stanford, CA, USA, 28-30 June, 2006.
STAPLETON, GEM, HOWSE, JOHN and TAYLOR, JOHN (2005) A decidable constraint diagram reasoning system Journal of Logic and Computation, 15 (6). pp. 975-1008. ISSN 0955-792X
STAPLETON, GEM, Thompson, Simon, FISH, ANDREW, HOWSE, JOHN and TAYLOR, JOHN (2005) A new language for the visualisation of logic and reasoning In: Proceedings of the 2005 International Workshop on Visual Languages and Computing, Banff, Alberta, Canada, 5-7 September, 2005.
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, JOHN and TAYLOR, JOHN (2004) Nesting in Euler Diagrams: syntax, semantics and construction Software and Systems Modeling, 3 (1). pp. 55-67. ISSN 1619-1366
STAPLETON, GEM, HOWSE, JOHN, TAYLOR, JOHN and Thompson, Simon (2004) What can spider diagrams say? In: Proceedings of the 3rd International Conference, Diagrams 2004, Cambridge, UK, 22-24 March, 2004.
Flower, Jean, HOWSE, JOHN and TAYLOR, JOHN (2003) Nesting in Euler diagrams Electronic Notes in Theoretical Computer Science, 72 (3). pp. 93-102. ISSN 1571-0661
STAPLETON, GEM, HOWSE, JOHN and TAYLOR, JOHN (2003) A constraint diagram reasoning system In: Proceedings of the International Conference on Visual Languages and Computing, DMS 2003, Florida International University, Miami, Florida, USA, 24-26 September, 2003.
Flower, Jean, HOWSE, JOHN, TAYLOR, JOHN and Kent, Stuart (2002) A visual framework for modelling with heterogeneous notations In: IEEE 2002 Symposium on Human Centric Computing Languages and Environments (HCC'02), Arlington, VA, USA, 3-6 September, 2002.
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
