| Publication | Date of Publication | Type |
|---|
| Knapsack and the power word problem in solvable Baumslag–Solitar groups | 2023-06-01 | Paper |
| Complexity of word problems for HNN-extensions | 2023-04-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5875566 | 2023-02-03 | Paper |
| Balancing straight-line programs for strings and trees | 2022-12-16 | Paper |
| Balancing Straight-line Programs | 2022-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5092405 | 2022-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5092480 | 2022-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5089240 | 2022-07-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5090487 | 2022-07-18 | Paper |
| Membership Problems in Finite Groups | 2022-06-23 | Paper |
| Complexity of word problems for HNN-extensions | 2022-05-20 | Paper |
| Compression techniques in group theory | 2022-03-22 | Paper |
| Entropy Bounds for Grammar-Based Tree Compressors | 2022-02-17 | Paper |
| Exponent equations in HNN-extensions | 2022-02-08 | Paper |
| Streaming word problems | 2022-02-08 | Paper |
| Closure properties of knapsack semilinear groups | 2021-10-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5005113 | 2021-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5005115 | 2021-08-04 | Paper |
| Derandomization for sliding window algorithms with strict correctness | 2021-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5002813 | 2021-07-28 | Paper |
| The Smallest Grammar Problem Revisited | 2021-02-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5144636 | 2021-01-19 | Paper |
| Largest common prefix of a regular tree language | 2020-10-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3304130 | 2020-08-05 | Paper |
| Knapsack Problems for Wreath Products | 2020-08-05 | Paper |
| A Comparison of Empirical Tree Entropies | 2020-06-01 | Paper |
| Counting problems for parikh images | 2020-05-26 | Paper |
| Grammar-based compression of unranked trees | 2020-02-27 | Paper |
| The complexity of knapsack problems in wreath products | 2020-02-19 | Paper |
| Knapsack and the power word problem in solvable Baumslag-Solitar groups | 2020-02-07 | Paper |
| Largest common prefix of a regular tree language | 2020-01-30 | Paper |
| Universal Tree Source Coding Using Grammar-Based Compression | 2020-01-28 | Paper |
| Knapsack in hyperbolic groups | 2019-12-27 | Paper |
| Circuits and Expressions over Finite Semirings | 2019-12-16 | Paper |
| A Universal Tree Balancing Theorem | 2019-12-16 | Paper |
| Closure properties of knapsack semilinear groups | 2019-11-28 | Paper |
| Derandomization for sliding window algorithms with strict correctness | 2019-10-22 | Paper |
| Groups with ALOGTIME-hard word problems and PSPACE-complete compressed word problems | 2019-09-30 | Paper |
| Size-optimal top dag compression | 2019-05-10 | Paper |
| The power word problem | 2019-04-17 | Paper |
| Grammar-based compression of unranked trees | 2018-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4553282 | 2018-11-02 | Paper |
| Knapsack in hyperbolic groups | 2018-10-23 | Paper |
| The smallest grammar problem revisited | 2018-10-17 | Paper |
| Parallel identity testing for skew circuits with big powers and applications | 2018-10-12 | Paper |
| Constant-time tree traversal and subtree equality check for grammar-compressed trees | 2018-07-25 | Paper |
| Compression of Unordered XML Trees | 2018-07-18 | Paper |
| Sliding window algorithms for regular languages | 2018-06-26 | Paper |
| Evaluation of circuits over nilpotent and polycyclic groups | 2018-05-18 | Paper |
| Average Case Analysis of Leaf-Centric Binary Tree Sources | 2018-04-27 | Paper |
| Querying Regular Languages over Sliding Windows | 2018-04-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4636634 | 2018-04-19 | Paper |
| The Complexity of Knapsack in Graph Groups | 2018-04-19 | Paper |
| Tree compression using string grammars | 2018-04-11 | Paper |
| Knapsack in graph groups | 2018-03-01 | Paper |
| Knapsack in graph groups, HNN-extensions and amalgamated products | 2018-01-24 | Paper |
| Processing succinct matrices and vectors | 2017-10-20 | Paper |
| Satisfiability of \(\mathrm{ECTL}^*\) with local tree constraints | 2017-10-20 | Paper |
| Path Checking for MTL and TPTL over Data Words | 2017-10-12 | Paper |
| Temporal Logics with Local Constraints (Invited Talk) | 2017-08-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5278398 | 2017-07-19 | Paper |
| On Boolean closed full trios and rational Kripke frames | 2017-07-17 | Paper |
| Constructing small tree grammars and small circuits for formulas | 2017-05-26 | Paper |
| The Complexity of Decomposing Modal and First-Order Theories | 2017-05-16 | Paper |
| Constructing Small Tree Grammars and Small Circuits for Formulas | 2017-04-25 | Paper |
| Knapsack and subset sum problems in nilpotent, polycyclic, and co-context-free groups | 2017-04-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2965507 | 2017-03-03 | Paper |
| On Boolean closed full trios and rational Kripke frames. | 2017-03-03 | Paper |
| Random presentations and random subgroups: a survey | 2017-02-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2958378 | 2017-02-01 | Paper |
| Approximation of smallest linear tree grammar | 2016-11-18 | Paper |
| The rational subset membership problem for groups: a survey | 2016-07-29 | Paper |
| Tree compression using string grammars | 2016-05-03 | Paper |
| XML compression via directed acyclic graphs | 2016-04-18 | Paper |
| Satisfiability of \(\operatorname{ECTL}^\ast\) with constraints | 2016-04-18 | Paper |
| Grammar-Based Tree Compression | 2015-11-10 | Paper |
| Path Checking for MTL and TPTL over Data Words | 2015-11-10 | Paper |
| Equality Testing of Compressed Strings | 2015-11-04 | Paper |
| Compressed Tree Canonization | 2015-11-04 | Paper |
| Evaluating Matrix Circuits | 2015-10-29 | Paper |
| Satisfiability of ECTL* with Tree Constraints | 2015-10-20 | Paper |
| The Complexity of Decomposing Modal and First-Order Theories | 2015-09-17 | Paper |
| Parallel Identity Testing for Skew Circuits with Big Powers and Applications | 2015-09-16 | Paper |
| Rational subsets and submonoids of wreath products. | 2015-06-09 | Paper |
| Rational subsets of unitriangular groups | 2015-04-21 | Paper |
| Processing succinct matrices and vectors | 2014-06-24 | Paper |
| The Compressed Word Problem for Groups | 2014-03-31 | Paper |
| The First-Order Theory of Ground Tree Rewrite Graphs | 2014-03-24 | Paper |
| Algorithmics on SLP-compressed strings: A survey | 2014-01-30 | Paper |
| Logspace Computations in Coxeter Groups and Graph Groups | 2014-01-03 | Paper |
| Branching-Time Model Checking of One-Counter Processes and Timed Automata | 2013-09-25 | Paper |
| The isomorphism problem on classes of automatic structures with transitive relations | 2013-09-04 | Paper |
| Satisfiability of CTL* with Constraints | 2013-08-12 | Paper |
| Rational subsets and submonoids of wreath products. | 2013-08-07 | Paper |
| Tree-Automatic Well-Founded Trees | 2013-07-09 | Paper |
| Isomorphism of regular trees and words | 2013-06-06 | Paper |
| COMPRESSED DECISION PROBLEMS FOR GRAPH PRODUCTS AND APPLICATIONS TO (OUTER) AUTOMORPHISM GROUPS | 2013-01-30 | Paper |
| The isomorphism problem for \(\omega \)-automatic trees | 2012-11-20 | Paper |
| Leaf languages and string compression | 2012-10-19 | Paper |
| The First-Order Theory of Ground Tree Rewrite Graphs | 2012-08-31 | Paper |
| Parameter reduction and automata evaluation for grammar-compressed trees | 2012-08-17 | Paper |
| Tree-Automatic Well-Founded Trees | 2012-08-14 | Paper |
| Logspace Computations in Graph Groups and Coxeter Groups | 2012-06-29 | Paper |
| Model-checking hierarchical structures | 2012-05-11 | Paper |
| Branching-time model checking of one-counter processes | 2012-01-23 | Paper |
| Automatic structures of bounded degree revisited | 2011-12-23 | Paper |
| Compressed word problems in HNN-extensions and amalgamated products | 2011-10-11 | Paper |
| Compressed Word Problems for Inverse Monoids | 2011-08-17 | Paper |
| Leaf languages and string compression | 2011-07-08 | Paper |
| Isomorphism of Regular Trees and Words | 2011-07-07 | Paper |
| Compressed Membership in Automata with Compressed Labels | 2011-06-17 | Paper |
| Fixpoint logics over hierarchical structures | 2011-04-01 | Paper |
| Tilings and submonoids of metabelian groups. | 2011-03-30 | Paper |
| Submonoids and rational subsets of groups with infinitely many ends. | 2010-11-18 | Paper |
| COMPRESSED MEMBERSHIP PROBLEMS FOR REGULAR EXPRESSIONS AND HIERARCHICAL AUTOMATA | 2010-11-11 | Paper |
| The Isomorphism Problem for ω-Automatic Trees | 2010-09-03 | Paper |
| Compressed Conjugacy and the Word Problem for Outer Automorphism Groups of Graph Groups | 2010-08-31 | Paper |
| Some natural decision problems in automatic graphs | 2010-06-24 | Paper |
| An automata theoretic approach to the generalized word problem in graphs of groups | 2010-03-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3408149 | 2010-02-24 | Paper |
| Automatic Structures of Bounded Degree Revisited | 2009-11-12 | Paper |
| Compressed Word Problems in HNN-Extensions and Amalgamated Products | 2009-08-18 | Paper |
| FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science | 2009-08-06 | Paper |
| Parameter Reduction in Grammar-Compressed Trees | 2009-03-31 | Paper |
| PDL with intersection and converse: satisfiability and infinite-state model checking | 2009-03-25 | Paper |
| Infinite State Model-Checking of Propositional Dynamic Logics | 2009-03-12 | Paper |
| Partially commutative inverse monoids. | 2008-12-02 | Paper |
| The submonoid and rational subset membership problems for graph groups. | 2008-10-06 | Paper |
| WORD EQUATIONS OVER GRAPH PRODUCTS | 2008-08-26 | Paper |
| Efficient Computation in Groups Via Compression | 2008-06-03 | Paper |
| RATIONAL SUBSETS IN HNN-EXTENSIONS AND AMALGAMATED PRODUCTS | 2008-05-20 | Paper |
| ALGORITHMIC PROBLEMS ON INVERSE MONOIDS OVER VIRTUALLY FREE GROUPS | 2008-05-20 | Paper |
| First-order and counting theories ofω-automatic structures | 2008-05-08 | Paper |
| Theories of HNN-Extensions and Amalgamated Products | 2007-09-11 | Paper |
| PDL with Intersection and Converse Is 2EXP-Complete | 2007-09-07 | Paper |
| Querying and Embedding Compressed Texts | 2007-09-05 | Paper |
| Partially Commutative Inverse Monoids | 2007-09-05 | Paper |
| Inverse monoids: decidability and complexity of algebraic questions. | 2007-08-23 | Paper |
| Foundations of Software Science and Computation Structures | 2007-05-02 | Paper |
| When Is a Graph Product of Groups Virtually-Free? | 2007-03-30 | Paper |
| The complexity of tree automata and XPath on grammar-compressed trees | 2007-01-09 | Paper |
| FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science | 2006-11-14 | Paper |
| Implementation and Application of Automata | 2006-11-13 | Paper |
| Mathematical Foundations of Computer Science 2005 | 2006-10-20 | Paper |
| Database Programming Languages | 2006-10-20 | Paper |
| LOGICAL ASPECTS OF CAYLEY-GRAPHS: THE MONOID CASE | 2006-08-14 | Paper |
| Word Problems and Membership Problems on Compressed Words | 2006-06-01 | Paper |
| Axiomatising divergence | 2006-01-10 | Paper |
| Developments in Language Theory | 2005-12-22 | Paper |
| Automata, Languages and Programming | 2005-08-24 | Paper |
| DECIDABILITY AND COMPLEXITY IN AUTOMATIC MONOIDS | 2005-08-03 | Paper |
| Complexity results for prefix grammars | 2005-07-13 | Paper |
| Decidable first-order theories of one-step rewriting in trace monoids | 2005-02-24 | Paper |
| Logical aspects of Cayley-graphs: the group case | 2005-01-31 | Paper |
| Existential and positive theories of equations in graph products | 2005-01-25 | Paper |
| Realizability of high-level message sequence charts: closing the gaps | 2004-10-27 | Paper |
| Bounded MSC communication | 2004-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736866 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737191 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737205 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738233 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4418673 | 2003-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4484487 | 2003-06-12 | Paper |
| Confluence problems for trace rewriting systems | 2003-01-14 | Paper |
| A NOTE ON THE EXISTENTIAL THEORY OF EQUATIONS IN PLAIN GROUPS | 2002-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4779168 | 2002-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2778879 | 2002-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723899 | 2001-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941894 | 2000-03-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4269163 | 1999-10-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4251917 | 1999-06-17 | Paper |
