Graversen, E., Phillips, I. and Yoshida, N. (2022) Event structures for the reversible early internal π-calculus. Journal of Logical and Algebraic Methods in Programming, 124, 100720. (doi: 10.1016/j.jlamp.2021.100720)

Graversen, E., Phillips, I. and Yoshida, N. (2021) Event structure semantics of (controlled) reversible CCS. Journal of Logical and Algebraic Methods in Programming, 121, 100686. (doi: 10.1016/j.jlamp.2021.100686)

de Muijnck-Hughes, J. , Brady, E. and Vanderbauwhede, W. (2020) A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Pearl). In: 34th European Conference on Object-Oriented Programming (ECOOP 2020), 15-17 Nov 2020, p. 20. ISBN 9783959771542 (doi: 10.4230/LIPIcs.ECOOP.2020.20)

Archibald, B. , Maier, P., Stewart, R. and Trinder, P. (2020) YewPar: Skeletons for Exact Combinatorial Search. In: 25th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming Proceedings, San Diego, CA, USA, 22-26 Feb 2020, pp. 292-307. ISBN 9781450368186 (doi: 10.1145/3332466.3374537)

de Muijnck-Hughes, J. , Brady, E. and Vanderbauwhede, W. (2020) A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Artifact). Dagstuhl Artifacts Series, 6(2), 2. (doi: 10.4230/DARTS.6.2.2)