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

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

2 |
Counting Problems for Parikh Images |
Haase, Christoph et al. |
2017 |

3 |
On the Complexity of Quantified Integer Programming |
Chistikov, Dmitry et al. |
2017 |

4 |
A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension One |
Göller, Stefan et al. |
2016 |

5 |
The Taming of the Semi-Linear Set |
Chistikov, Dmitry et al. |
2016 |

6 |
Tightening the Complexity of Equivalence Problems for Commutative Grammars |
Haase, Christoph et al. |
2016 |