Publications

Peer reviewed Conference / Journal papers:

https://scholar.google.co.uk/citations?user=qqJUovcAAAAJ&hl=en

Masters projects & Reports:

  1. Ching Hay, Chau. Modelling and Verification of Adaptive eLearning System. Newcastle University, 2025.
  2. Chau, J. Report on Integrating Advanced Technologies in Education and Industry. Newcastle University, 2024.
  3. Delchev, A. EROP to Drools Smart Contract Translator, Newcastle University, 2020.
  4. Sun, W, BPMN 2 PROMELA Transaltion and Verification, Newcastle University, 2012.
  5. Sfyrakis, I. Smart Contract Compliance Checker, Newcastle University, 2012.