| No. |
Title |
Author |
Year |
| 1 |
Coverability in VASS Revisited: Improving Rackoff’s Bound to Obtain Conditional Optimality |
Künnemann, Marvin et al. |
2023 |
| 2 |
Monus Semantics in Vector Addition Systems with States |
Baumann, Pascal et al. |
2023 |
| 3 |
On Rational Recursive Sequences |
Clemente, Lorenzo et al. |
2023 |
| 4 |
Dynamic Data Structures for Timed Automata Acceptance |
Grez, Alejandro et al. |
2021 |
| 5 |
A Robust Class of Linear Recurrence Sequences |
Barloy, Corentin et al. |
2020 |
| 6 |
On Polynomial Recursive Sequences |
Cadilhac, Michaël et al. |
2020 |
| 7 |
Reachability in Fixed Dimension Vector Addition Systems with States |
Czerwiński, Wojciech et al. |
2020 |
| 8 |
Reachability for Bounded Branching VASS |
Mazowiecki, Filip et al. |
2019 |
| 9 |
Affine Extensions of Integer Vector Addition Systems with States |
Blondin, Michael et al. |
2018 |
| 10 |
Pumping Lemmas for Weighted Automata |
Mazowiecki, Filip et al. |
2018 |
| 11 |
When is Containment Decidable for Probabilistic Automata? |
Daviaud, Laure et al. |
2018 |
| 12 |
Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One |
Figueira, Diego et al. |
2017 |
| 13 |
Copyless Cost-Register Automata: Structure, Expressiveness, and Closure Properties |
Mazowiecki, Filip et al. |
2016 |
| 14 |
Maximal Partition Logic: Towards a Logical Characterization of Copyless Cost Register Automata |
Mazowiecki, Filip et al. |
2015 |
