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 |