No. Title Author Year
1 Regular Separability in Büchi VASS Baumann, Pascal et al. 2023
2 Existential Definability over the Subword Ordering Baumann, Pascal et al. 2022
3 Membership Problems in Finite Groups Lohrey, Markus et al. 2022
4 Reachability in Bidirected Pushdown VASS Ganardi, Moses et al. 2022
5 A Characterization of Wreath Products Where Knapsack Is Decidable Bergsträßer, Pascal et al. 2021
6 Scope-Bounded Reachability in Valence Systems Shetty, Aneesh K. et al. 2021
7 Knapsack and the Power Word Problem in Solvable Baumslag-Solitar Groups Lohrey, Markus et al. 2020
8 Rational Subsets of Baumslag-Solitar Groups Cadilhac, Michaël et al. 2020
9 The Complexity of Bounded Context Switching with Dynamic Thread Creation Baumann, Pascal et al. 2020
10 The Complexity of Knapsack Problems in Wreath Products Figelius, Michael et al. 2020
11 Regular Separability and Intersection Emptiness Are Independent Problems Thinniyam, Ramanathan S. et al. 2019
12 Bounded Context Switching for Valence Systems Meyer, Roland et al. 2018
13 Knapsack Problems for Wreath Products Ganardi, Moses et al. 2018
14 Unboundedness Problems for Languages of Vector Addition Systems Czerwinski, Wojciech et al. 2018
15 The Complexity of Knapsack in Graph Groups Lohrey, Markus et al. 2017
16 Knapsack in Graph Groups, HNN-Extensions and Amalgamated Products Lohrey, Markus et al. 2016
17 The Complexity of Downward Closure Comparisons Zetzsche, Georg 2016
18 Computing Downward Closures for Stacked Counter Automata Zetzsche, Georg 2015
19 On Boolean closed full trios and rational Kripke frames Lohrey, Markus et al. 2014
Current Page :
Number of result pages: 1
Number of documents: 19

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI