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

Perdita Stevens.

Softw Syst Model 19, 935–958, 2020. 2020

Oskar Abrahamsson, Son Ho, Hrutvik Kanabar, Ramana Kumar, Magnus O. Myreen, Michael Norrish, and Yong Kiam Tan.

Journal of Automated Reasoning, 64, 1287–1306, 2020. 2020

Sougata Bose, Thomas A. Henzinger, Karoliina Lehtinen, Sven Schewe, Patrick Totzke.

History-deterministic Timed Automata. 2024. In Logical Methods in Computer Science, 20(4:1). 2024.