Skip to content

Dr James Burton

Lecturer

contact:
Computing, Engineering and Mathematics
Moulsecoomb
Brighton
BN2 4GJ

Telephone: +44 (0)1273 642544

Email: J.Burton@brighton.ac.uk

Teaching

I am a Lecturer in Computing at the University of Brighton. In 2012/2013 I am teaching the following subjects:
  • CI283 Operating Systems,
  • CI284 Data Structures and Algorithms, and
  • CI360 Mobile Application Development.
I am also part of the teaching teams for CI101 Introduction to Programming and CI135 Introduction to Web Development.

Research

My research interests include visual logic, using diagrams to model software and other systems, and the usability of graphical notations. I am a member of The Visual Modelling Group. I received my PhD, Generalized Constraint Diagrams: The Classical Decision Problem in a Diagrammatic Reasoning System, in 2011 from the University of Brighton, and was supervised by Dr Gem Stapleton and Professor John Howse.

I was Publicity Chair for the 2012 International Workshop on Visual Languages and Computing. I have acted as a reviewer for the following journals and conferences:
  • The International Journal of Semantic Web and Information Systems (2012),
  • IEEE Transactions on Software Engineering (2012),
  • Software and Systems Modeling (2012),
  • The Journal of Visual Languages and Computing (2011),
  • The 7th International Conference on the Theory and Application of Diagrams, and its Graduate Symposium (2012),
  • Visual Languages and Human-Centric Computing (2012), and
  • MODELS (2011).

Publications

Journal Papers

  1. J. Burton, G. Stapleton, J. Howse, A. Hamie. Generalized Constraint Diagrams and the Classical Decision Problem. Journal of Logic and Computation, April 2012. In press.
  2. J. Burton, G. Stapleton, J. Howse, A. Hamie. A Decision Procedure for a Decidable Fragment of Generalized Constraint Diagrams. Journal of Visual Languages and Computing, 22 (1): 90-106, 2011.

Conference Papers

  1. J. Burton, G. Stapleton, J. Howse. Completeness Proof Strategies for Euler-based Diagrammatic Logics. 3rd International Workshop on Euler Diagrams (Euler Diagrams 2012). Canterbury, UK, July, 2, 2012.
  2. J. Burton, P. Coppin, S. Hockema. Understanding and Predicting the Affordances of Visual Logics. 3rd International Workshop on Euler Diagrams (Euler Diagrams 2012). Canterbury, UK, July, 2, 2012.
  3. J. Burton, G. Stapleton, J. Howse. Completeness Proofs for Diagrammatic Logics. (Poster) 7th International Conference on the Theory and Application of Diagrams 2012, Springer, pages 318-320, 2012.
  4. P. Coppin, J. Burton, S. Hockema. An Attention Based Theory to Explore Affordances of Textual and Diagrammatic Proofs. 6th International Conference on the Theory and Application of Diagrams. Springer, 2010. pp 271-278.
  5. J. Burton. Transforming Constraint Diagrams. Visual Language and Logic. 2009. pp 62-80.
  6. J. Burton. Diagrammatic Reasoning and Enhanced Static Constraints. Proceedings of the 13th ESSLLI Student Session. Hamburg: Association for Logic, Language and Information, 2008. pp 47-56.
  7. J. Burton. Diagrams and Intuitive Formal Specifications. Visual Languages and Human-Centric Computing. IEEE, 2008. pp 262-263.
  8. J. Burton. Types and Programs from Euler Diagrams. 5th International Conference on the Theory and Application of Diagrams. Springer, 2008. pp 357-359.