| Publication | Date of Publication | Type |
|---|
| Verified verifying: SMT-LIB for strings in Isabelle | 2024-02-28 | Paper |
| Nearly \(k\)-universal words -- investigating a part of Simon's congruence | 2023-09-18 | Paper |
| Reconstructing Words from Right-Bounded-Block Words | 2023-08-15 | Paper |
| $\alpha$-$\beta$-Factorization and the Binary Case of Simon's Congruence | 2023-06-25 | Paper |
| Nearly \(k\)-universal words -- investigating a part of Simon's congruence | 2023-01-18 | Paper |
| Towards more efficient methods for solving regular-expression heavy string constraints | 2023-01-05 | Paper |
| Solving String Theories Involving Regular Membership Predicates Using SAT | 2022-12-07 | Paper |
| Scattered Factor-Universality of Words | 2022-10-13 | Paper |
| Reconstructing Words from Right-Bounded-Block Words | 2022-10-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5092406 | 2022-07-21 | Paper |
| String theories involving regular membership predicates: from practice to theory and back | 2022-05-20 | Paper |
| An SMT solver for regular expressions and linear arithmetic over string length | 2022-03-25 | Paper |
| Weighted prefix normal words: mind the gap | 2022-03-25 | Paper |
| Blocksequences of \(k\)-local words | 2022-03-24 | Paper |
| m-Nearly k-Universal Words -- Investigating Simon Congruence | 2022-02-16 | Paper |
| On the Self Shuffle Language | 2022-02-16 | Paper |
| An Optimal Bound on the Solution Sets of One-Variable Word Equations and its Consequences | 2022-02-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5005118 | 2021-08-04 | Paper |
| Rollercoasters and Caterpillars | 2021-07-28 | Paper |
| An Optimal Bound on the Solution Sets of One-Variable Word Equations and its Consequences | 2021-07-28 | Paper |
| Scattered Factor Universality -- The Power of the Remainder | 2021-04-19 | Paper |
| Detecting One-Variable Patterns | 2021-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5136316 | 2020-11-25 | Paper |
| Equations enforcing repetitions under permutations | 2020-08-31 | Paper |
| On collapsing prefix normal words | 2020-07-27 | Paper |
| The hardness of solving simple word equations | 2020-05-26 | Paper |
| On solving word equations using SAT | 2019-10-22 | Paper |
| \(k\)-spectra of weakly-\(c\)-balanced words | 2019-10-15 | Paper |
| Rollercoasters: Long Sequences without Short Runs | 2019-08-29 | Paper |
| k-Spectra of weakly-c-Balanced Words | 2019-04-19 | Paper |
| Hide and seek with repetitions | 2019-01-25 | Paper |
| On matching generalised repetitive patterns | 2018-11-22 | Paper |
| The satisfiability of word equations: decidable and undecidable theories | 2018-10-23 | Paper |
| On the Complexity of Solving Restricted Word Equations | 2018-09-20 | Paper |
| One-Variable Word Equations and Three-Variable Constant-Free Word Equations | 2018-09-20 | Paper |
| Unary patterns under permutations | 2018-08-23 | Paper |
| Corrigendum to ``A note on Thue games | 2017-11-22 | Paper |
| Equations enforcing repetitions under permutations | 2017-11-15 | Paper |
| Lagrange's Theorem for Binary Squares | 2017-10-11 | Paper |
| Testing Generalised Freeness of Words | 2017-03-03 | Paper |
| On the Pseudoperiodic Extension of u^l = v^m w^n | 2017-02-21 | Paper |
| Finding Pseudo-Repetitions | 2017-01-30 | Paper |
| The extended equation of Lyndon and Schützenberger | 2016-12-28 | Paper |
| A note on Thue games | 2016-11-23 | Paper |
| On the Solvability Problem for Restricted Classes of Word Equations | 2016-08-30 | Paper |
| One-Unknown Word Equations and Three-Unknown Constant-Free Word Equations | 2016-08-30 | Paper |
| Pattern Avoidability with Involution | 2016-03-01 | Paper |
| Unary Patterns with Permutations | 2015-11-10 | Paper |
| On Prefix/Suffix-Square Free Words | 2015-10-02 | Paper |
| \(k\)-abelian pattern matching | 2015-08-24 | Paper |
| Cubic patterns with permutations | 2015-07-13 | Paper |
| k-Abelian Pattern Matching | 2014-10-14 | Paper |
| Generalised Lyndon-Schützenberger Equations | 2014-10-14 | Paper |
| Discovering Hidden Repetitions in Words | 2013-08-05 | Paper |
| UNARY PATTERNS WITH INVOLUTION | 2013-07-30 | Paper |
| String Matching with Involutions | 2012-11-08 | Paper |
| The Avoidability of Cubes under Permutations | 2012-11-02 | Paper |
| Fine and Wilf’s Theorem and Pseudo-repetitions | 2012-09-25 | Paper |
| Cyclically repetition-free words on small alphabets | 2012-03-19 | Paper |
| The Ehrenfeucht-Silberger problem | 2012-02-11 | Paper |
| The number of positions starting a square in binary words | 2011-02-17 | Paper |
| ON THE RELATION BETWEEN PERIODICITY AND UNBORDERED FACTORS OF FINITE WORDS | 2010-09-06 | Paper |
| Maximal intersection queries in randomized input models | 2010-03-05 | Paper |
| Weinbaum factorizations of primitive words | 2010-02-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396590 | 2009-09-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3395972 | 2009-09-15 | Paper |
| The Ehrenfeucht-Silberger Problem | 2009-07-14 | Paper |
| Bordered conjugates of words over large alphabets | 2009-04-07 | Paper |
| Periodicity and unbordered words | 2008-12-21 | Paper |
| A note on an extension of PDL | 2008-12-11 | Paper |
| On the Relation between Periodicity and Unbordered Factors of Finite Words | 2008-10-30 | Paper |
| Height-Deterministic Pushdown Automata | 2008-09-17 | Paper |
| Estimation of the Click Volume by Large Scale Regression Analysis | 2008-06-03 | Paper |
| Maximal Intersection Queries in Randomized Graph Models | 2008-06-03 | Paper |
| Unbordered factors and Lyndon words | 2008-04-28 | Paper |
| STACS 2004 | 2007-10-01 | Paper |
| Periods in extensions of words | 2006-10-18 | Paper |
| On unique factorizations of primitive words. | 2006-05-18 | Paper |
| A characterization of periodicity of bi-infinite words | 2005-12-29 | Paper |
| Counting bordered and primitive words with a fixed weight | 2005-08-01 | Paper |
| MINIMAL DUVAL EXTENSIONS | 2005-06-22 | Paper |
| On the equation \(x^k=z_1^{k_1}z_2^{k_2}\cdots z_n^{k_n}\) in a free semigroup | 2005-02-22 | Paper |
| Border correlation of binary words | 2005-01-11 | Paper |
| The equation \(x^i=y^jz^k\) in a free semigroup. | 2004-10-01 | Paper |
| On the independence of equations in three variables. | 2004-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4453474 | 2004-03-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4452072 | 2004-02-11 | Paper |
| Density of Critical Factorizations | 2003-04-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2782482 | 2002-04-03 | Paper |
