Publicationsshelley2024-07-29T13:30:35+00:00

Publications & Reports

Kangfeng Ye, Simon Foster, and Jim Woodcock.

In: Adamatzky, A., Kendon, V. (eds) From Astrophysics to Unconventional Computation. Emergence, Complexity and Computation, vol 35. 2020

Tom Ridge.

ICFP 2017. 2017

Mikolas Janota, Radu Grigore, and Vasco Manquinho.

arXiv: Logic in Computer Science. 2017

Blake Loring, Duncan Mitchell, and Johannes Kinder.

SPIN 2017: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, July 2017, 196–199. 2017

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.

Filter by