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 |