| No. |
Title |
Author |
Year |
| 1 |
Low-Latency Sliding Window Algorithms for Formal Languages |
Ganardi, Moses et al. |
2022 |
| 2 |
Membership Problems in Finite Groups |
Lohrey, Markus et al. |
2022 |
| 3 |
Streaming Word Problems |
Lohrey, Markus et al. |
2022 |
| 4 |
Subgroup Membership in GL(2,Z) |
Lohrey, Markus |
2021 |
| 5 |
Groups with ALOGTIME-Hard Word Problems and PSPACE-Complete Circuit Value Problems |
Bartholdi, Laurent et al. |
2020 |
| 6 |
Knapsack and the Power Word Problem in Solvable Baumslag-Solitar Groups |
Lohrey, Markus et al. |
2020 |
| 7 |
The Complexity of Knapsack Problems in Wreath Products |
Figelius, Michael et al. |
2020 |
| 8 |
Algorithmic Problems in Group Theory (Dagstuhl Seminar 19131) |
Diekert, Volker et al. |
2019 |
| 9 |
Compressed Decision Problems in Hyperbolic Groups |
Holt, Derek et al. |
2019 |
| 10 |
Sliding Window Property Testing for Regular Languages |
Ganardi, Moses et al. |
2019 |
| 11 |
The Power Word Problem |
Lohrey, Markus et al. |
2019 |
| 12 |
Automata Theory on Sliding Windows |
Ganardi, Moses et al. |
2018 |
| 13 |
Average Case Analysis of Leaf-Centric Binary Tree Sources |
Seelbach Benkner, Louisa et al. |
2018 |
| 14 |
Knapsack Problems for Wreath Products |
Ganardi, Moses et al. |
2018 |
| 15 |
Randomized Sliding Window Algorithms for Regular Languages |
Ganardi, Moses et al. |
2018 |
| 16 |
Sliding Windows over Context-Free Languages |
Ganardi, Moses et al. |
2018 |
| 17 |
Circuit Evaluation for Finite Semirings |
Ganardi, Moses et al. |
2017 |
| 18 |
Compression of Unordered XML Trees |
Lohrey, Markus et al. |
2017 |
| 19 |
Computation over Compressed Structured Data (Dagstuhl Seminar 16431) |
Bille, Philip et al. |
2017 |
| 20 |
Counting Problems for Parikh Images |
Haase, Christoph et al. |
2017 |
| 21 |
The Complexity of Knapsack in Graph Groups |
Lohrey, Markus et al. |
2017 |
| 22 |
Knapsack in Graph Groups, HNN-Extensions and Amalgamated Products |
Lohrey, Markus et al. |
2016 |
| 23 |
On the Parallel Complexity of Bisimulation on Finite Systems |
Ganardi, Moses et al. |
2016 |
| 24 |
Querying Regular Languages over Sliding Windows |
Ganardi, Moses et al. |
2016 |
| 25 |
Temporal Logics with Local Constraints (Invited Talk) |
Carapelle, Claudia et al. |
2015 |
| 26 |
Approximation of smallest linear tree grammar |
Jez, Artur et al. |
2014 |
| 27 |
Constructing Small Tree Grammars and Small Circuits for Formulas |
Hucke, Danny et al. |
2014 |
| 28 |
On Boolean closed full trios and rational Kripke frames |
Lohrey, Markus et al. |
2014 |
| 29 |
Compression of Rewriting Systems for Termination Analysis |
Bau, Alexander et al. |
2013 |
| 30 |
The First-Order Theory of Ground Tree Rewrite Graphs |
Göller, Stefan et al. |
2011 |
| 31 |
Branching-time Model Checking of One-counter Processes |
Göller, Stefan et al. |
2010 |
| 32 |
07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures |
Downey, Rod et al. |
2008 |
| 33 |
07441 Summary -- Algorithmic-Logical Theory of Infinite Structures |
Downey, Rod et al. |
2008 |
| 34 |
08261 Abstracts Collection -- Structure-Based Compression of Complex Massive Data |
Böttcher, Stefan et al. |
2008 |
| 35 |
08261 Executive Summary -- Structure-Based Compression of Complex Massive Data |
Böttcher, Stefan et al. |
2008 |
| 36 |
Application of verification techniques to inverse monoids |
Lohrey, Markus |
2008 |
| 37 |
Leaf languages and string compression |
Lohrey, Markus |
2008 |
| 38 |
PDL with Intersection and Converse is 2EXP-complete |
Göller, Stefan et al. |
2008 |
