No. |
Title |
Author |
Year |
---|

1 |
Reachability for Bounded Branching VASS |
Mazowiecki, Filip et al. |
2019 |

2 |
Affine Extensions of Integer Vector Addition Systems with States |
Blondin, Michael et al. |
2018 |

3 |
Pumping Lemmas for Weighted Automata |
Mazowiecki, Filip et al. |
2018 |

4 |
When is Containment Decidable for Probabilistic Automata? |
Daviaud, Laure et al. |
2018 |

5 |
Polynomial-Space Completeness of Reachability for Succinct Branching VASS in Dimension One |
Figueira, Diego et al. |
2017 |

6 |
Copyless Cost-Register Automata: Structure, Expressiveness, and Closure Properties |
Mazowiecki, Filip et al. |
2016 |

7 |
Maximal Partition Logic: Towards a Logical Characterization of Copyless Cost Register Automata |
Mazowiecki, Filip et al. |
2015 |