| No. | Title | Author | Year |
|---|---|---|---|
| 1 | Reachability in Two-Dimensional Vector Addition Systems with States: One Test Is for Free | Leroux, Jérôme et al. | 2020 |
| 2 | On the Boundedness Problem for Higher-Order Pushdown Vector Addition Systems | Penelle, Vincent et al. | 2018 |
| 3 | Reachability for Two-Counter Machines with One Test and One Reset | Finkel, Alain et al. | 2018 |
| 4 | Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One | Figueira, Diego et al. | 2017 |
| 5 | Safety Verification of Communicating One-Counter Machines | Heußner, Alexander et al. | 2012 |
| 6 | Flat counter automata almost everywhere! | Leroux, Jérôme et al. | 2006 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 6 |