Journal Articles

  1. & A university-based model for supporting computer science curriculum reform. Journal of Computers in Education 5(4), 415-434.
  2. & On modelling and verifying railway interlockings: Tracking train lengths. Science of Computer Programming 96, 315-336.
  3. & Techniques for modelling and verifying railway interlockings. International Journal on Software Tools for Technology Transfer 16(6), 685-711.
  4. & Railway modelling in CSP||B: the double junction case study. Electronic Communications of the European Association for the Study of Science and Technology n/a
  5. & Automated Verification of Signalling Principles in Railway Interlocking Systems. Electronic Notes in Theoretical Computer Science 250(2), 19-31.
  6. & DP lower bounds for equivalence-checking and model-checking of one-counter automata. Information and Computation 188(1), 1
  7. & On the computational complexity of bisimulation, redux. Information and Computation 194(2), 129
  8. & Counting on CTL*: on the expressive power of monadic path logic. Information and Computation 184(1), 147
  9. & Pushdown automata, multiset automata, and Petri nets. Theoretical Computer Science 256(1-2), 3

Book Chapters

  1. & A Specification Theory of Real-Time Processes. In Concurrency, Security, and Puzzles. (pp. 18-38).
  2. & Verification of Scheme Plans Using CSP || B. In Software Engineering and Formal Methods. -204).
  3. & Verification of Solid State Interlocking Programs. In Software Engineering and Formal Methods. -268).
  4. On the complexity of parity games. In Visions of Computer Science. (pp. 237-247). British Computer Society.

Conference Contributions

  1. & (2019). Teaching Computing via a School Placement. , 1-4. Durham, UK: ACM Press. doi:10.1145/3294016.3294029
  2. & A National Engagement Model for Developing Computer Science Education in Wales. Presented at ISSEP'2016: The 9th International Conference on Informatics in Schools, Munster, Germany: ISSEP 2016.
  3. & (2015). Technocamps: : Advancing Computer Science Education in Wales. Presented at 10th Workshop in Primary and Secondary Computing Education,, 121-126. doi:10.1145/2818314.2818341
  4. & (2013). Defining and model checking abstractions of complex railway models using CSP||B. Presented at Haifa Verification Conference 2012, Berlin Heidelberg: Springer Verlag.
  5. & (2012). Safety and Line Capacity in Railways – An Approach in Timed CSP. Presented at Integrated Formal Methods,, 54-68. Berlin Heidelberg: Springer-Verlag. doi:10.1007/978-3-642-30729-4_5