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