Publications & Reports

Eleni Bila, John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, and Heike Wehrheim.

Logical Methods in Computer Science, July 28, 2022, Volume 18, Issue 3. 2022

Wilmer Ricciotti and James Cheney.

Journal of  Automated Reasoning 66, 989–1030. 2022

David Kozhaya, Jérémie Decouchant, Vincent Rahli, and Paulo Esteves-Verissimo.

IEEE Transactions on Parallel and Distributed Systems, vol. 32, no. 9, 2277-2290. 2021

John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, and Heike Wehrheim.

Formal Aspects of Computing, Volume 33, Issue 4-5, 547–573. 2021

Kristoffer Just Arndal Andersen and Ilya Sergey.

Journal of Functional Programming, 31, E3, 2021. 2021