| No. |
Title |
Author |
Year |
| 1 |
New Pumping Technique for 2-Dimensional VASS |
Czerwinski, Wojciech et al. |
2019 |
| 2 |
Binary Reachability of Timed Pushdown Automata via Quantifier Elimination and Cyclic Order Atoms |
Clemente, Lorenzo et al. |
2018 |
| 3 |
Linear Equations with Ordered Data |
Hofman, Piotr et al. |
2018 |
| 4 |
Regular Separability of Well-Structured Transition Systems |
Czerwinski, Wojciech et al. |
2018 |
| 5 |
Regular Separability of Parikh Automata |
Clemente, Lorenzo et al. |
2017 |
| 6 |
Separability of Reachability Sets of Vector Addition Systems |
Clemente, Lorenzo et al. |
2017 |
| 7 |
Homomorphism Problems for First-Order Definable Structures |
Klin, Bartek et al. |
2016 |
| 8 |
Reachability Analysis of First-order Definable Pushdown Systems |
Clemente, Lorenzo et al. |
2015 |
| 9 |
Simulation Over One-counter Nets is PSPACE-Complete |
Hofman, Piotr et al. |
2013 |
| 10 |
Fast equivalence-checking for normed context-free processes |
Czerwinski, Wojciech et al. |
2010 |
