| No. |
Title |
Author |
Year |
| 1 |
Reachability in Fixed Dimension Vector Addition Systems with States |
Czerwiński, Wojciech et al. |
2020 |
| 2 |
Reachability in Two-Dimensional Vector Addition Systems with States: One Test Is for Free |
Leroux, Jérôme et al. |
2020 |
| 3 |
Distance Between Mutually Reachable Petri Net Configurations |
Leroux, Jérôme |
2019 |
| 4 |
Petri Net Reachability Problem (Invited Talk) |
Leroux, Jérôme |
2019 |
| 5 |
Polynomial Vector Addition Systems With States |
Leroux, Jérôme |
2018 |
| 6 |
Reachability for Two-Counter Machines with One Test and One Reset |
Finkel, Alain et al. |
2018 |
| 7 |
Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One |
Figueira, Diego et al. |
2017 |
| 8 |
Ideal Decompositions for Vector Addition Systems (Invited Talk) |
Leroux, Jérôme et al. |
2016 |
| 9 |
Model Checking Population Protocols |
Esparza, Javier et al. |
2016 |
| 10 |
Verification of Population Protocols |
Esparza, Javier et al. |
2015 |
| 11 |
Place-Boundedness for Vector Addition Systems with one zero-test |
Bonnet, Rémi et al. |
2010 |
| 12 |
Flat counter automata almost everywhere! |
Leroux, Jérôme et al. |
2006 |
