| No. |
Title |
Author |
Year |
| 1 |
Higher-Order Mathematical Operational Semantics (Early Ideas) |
Goncharov, Sergey et al. |
2023 |
| 2 |
Nominal Topology for Data Languages |
Birkmann, Fabian et al. |
2023 |
| 3 |
Positive Data Languages |
Frank, Florian et al. |
2023 |
| 4 |
Stateful Structural Operational Semantics |
Goncharov, Sergey et al. |
2022 |
| 5 |
Nominal Büchi Automata with Name Allocation |
Urbat, Henning et al. |
2021 |
| 6 |
Syntactic Minimization Of Nondeterministic Finite Automata |
Myers, Robert S. R. et al. |
2021 |
| 7 |
Varieties of Data Languages |
Urbat, Henning et al. |
2019 |
| 8 |
Eilenberg Theorems for Free |
Urbat, Henning et al. |
2017 |
| 9 |
Finite Behaviours and Finitary Corecursion |
Urbat, Henning |
2017 |
| 10 |
A Fibrational Approach to Automata Theory |
Chen, Liang-Ting et al. |
2015 |
| 11 |
Syntactic Monoids in a Category |
Adamek, Jiri et al. |
2015 |
