| No. |
Title |
Author |
Year |
| 1 |
Bidimensional Linear Recursive Sequences and Universality of Unambiguous Register Automata |
Barloy, Corentin et al. |
2021 |
| 2 |
Deterministic and Game Separability for Regular Languages of Infinite Trees |
Clemente, Lorenzo et al. |
2021 |
| 3 |
Cost Automata, Safe Schemes, and Downward Closures |
Barozzini, David et al. |
2020 |
| 4 |
Determinisability of One-Clock Timed Automata |
Clemente, Lorenzo et al. |
2020 |
| 5 |
Timed Games and Deterministic Separability |
Clemente, Lorenzo et al. |
2020 |
| 6 |
Timed Basic Parallel Processes |
Clemente, Lorenzo et al. |
2019 |
| 7 |
Binary Reachability of Timed Pushdown Automata via Quantifier Elimination and Cyclic Order Atoms |
Clemente, Lorenzo et al. |
2018 |
| 8 |
Regular Separability of Parikh Automata |
Clemente, Lorenzo et al. |
2017 |
| 9 |
Separability of Reachability Sets of Vector Addition Systems |
Clemente, Lorenzo et al. |
2017 |
| 10 |
Ordered Tree-Pushdown Systems |
Clemente, Lorenzo et al. |
2015 |
| 11 |
Reachability Analysis of First-order Definable Pushdown Systems |
Clemente, Lorenzo et al. |
2015 |
