| No. |
Title |
Author |
Year |
| 1 |
Practical Relational Calculus Query Evaluation |
Raszyk, Martin et al. |
2022 |
| 2 |
Verified Progress Tracking for Timely Dataflow |
Brun, Matthias et al. |
2021 |
| 3 |
From Nondeterministic to Multi-Head Deterministic Finite-State Transducers |
Raszyk, Martin et al. |
2019 |
| 4 |
Generic Authenticated Data Structures, Formally |
Brun, Matthias et al. |
2019 |
| 5 |
Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL |
Blanchette, Jasmin Christian et al. |
2017 |
| 6 |
Formal Languages, Formally and Coinductively |
Traytel, Dmitriy |
2016 |
| 7 |
A Coalgebraic Decision Procedure for WS1S |
Traytel, Dmitriy |
2015 |
