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


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