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

1 |
Checking Refinement of Asynchronous Programs Against Context-Free Specifications |
Baumann, Pascal et al. |
2023 |

2 |
Context-Bounded Analysis of Concurrent Programs (Invited Talk) |
Baumann, Pascal et al. |
2023 |

3 |
Monus Semantics in Vector Addition Systems with States |
Baumann, Pascal et al. |
2023 |

4 |
Priority Downward Closures |
Anand, Ashwani et al. |
2023 |

5 |
Regular Separability in Büchi VASS |
Baumann, Pascal et al. |
2023 |

6 |
Existential Definability over the Subword Ordering |
Baumann, Pascal et al. |
2022 |

7 |
Membership Problems in Finite Groups |
Lohrey, Markus et al. |
2022 |

8 |
Reachability in Bidirected Pushdown VASS |
Ganardi, Moses et al. |
2022 |

9 |
A Characterization of Wreath Products Where Knapsack Is Decidable |
Bergsträßer, Pascal et al. |
2021 |

10 |
Scope-Bounded Reachability in Valence Systems |
Shetty, Aneesh K. et al. |
2021 |

11 |
Knapsack and the Power Word Problem in Solvable Baumslag-Solitar Groups |
Lohrey, Markus et al. |
2020 |

12 |
Rational Subsets of Baumslag-Solitar Groups |
Cadilhac, Michaël et al. |
2020 |

13 |
The Complexity of Bounded Context Switching with Dynamic Thread Creation |
Baumann, Pascal et al. |
2020 |

14 |
The Complexity of Knapsack Problems in Wreath Products |
Figelius, Michael et al. |
2020 |

15 |
Regular Separability and Intersection Emptiness Are Independent Problems |
Thinniyam, Ramanathan S. et al. |
2019 |

16 |
Bounded Context Switching for Valence Systems |
Meyer, Roland et al. |
2018 |

17 |
Knapsack Problems for Wreath Products |
Ganardi, Moses et al. |
2018 |

18 |
Unboundedness Problems for Languages of Vector Addition Systems |
Czerwinski, Wojciech et al. |
2018 |

19 |
The Complexity of Knapsack in Graph Groups |
Lohrey, Markus et al. |
2017 |

20 |
Knapsack in Graph Groups, HNN-Extensions and Amalgamated Products |
Lohrey, Markus et al. |
2016 |

21 |
The Complexity of Downward Closure Comparisons |
Zetzsche, Georg |
2016 |

22 |
Computing Downward Closures for Stacked Counter Automata |
Zetzsche, Georg |
2015 |

23 |
On Boolean closed full trios and rational Kripke frames |
Lohrey, Markus et al. |
2014 |