| Publication | Date of Publication | Type |
|---|
| The equivalence problem of E-pattern languages with regular constraints is undecidable | 2025-01-20 | Paper |
Word-representable graphs from a word's perspective
Acta Informatica | 2024-11-07 | Paper |
| Matching patterns with variables under Simon's congruence | 2024-10-23 | Paper |
Decision problems on copying and shuffling
Fundamenta Informaticae | 2024-10-07 | Paper |
Verified verifying: SMT-LIB for strings in Isabelle
Implementation and Application of Automata | 2024-02-28 | Paper |
| Solving string constraints using SAT | 2024-01-12 | Paper |
Nearly \(k\)-universal words -- investigating a part of Simon's congruence
Theoretical Computer Science | 2023-09-18 | Paper |
Reconstructing Words from Right-Bounded-Block Words
International Journal of Foundations of Computer Science | 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
Theoretical Computer Science | 2023-01-05 | Paper |
| Solving String Theories Involving Regular Membership Predicates Using SAT | 2022-12-07 | Paper |
Reconstructing words from right-bounded-block words
Developments in Language Theory | 2022-10-13 | Paper |
Scattered Factor-Universality of Words
Developments in Language Theory | 2022-10-13 | Paper |
| scientific article; zbMATH DE number 7561688 (Why is no real title available?) | 2022-07-21 | Paper |
String theories involving regular membership predicates: from practice to theory and back
(available as arXiv preprint) | 2022-05-20 | Paper |
An SMT solver for regular expressions and linear arithmetic over string length
(available as arXiv preprint) | 2022-03-25 | Paper |
Weighted prefix normal words: mind the gap
(available as arXiv preprint) | 2022-03-25 | Paper |
Blocksequences of \(k\)-local words
(available as arXiv preprint) | 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
SIAM Journal on Computing | 2022-02-08 | Paper |
Lagrange's theorem for binary squares
(available as arXiv preprint) | 2021-08-04 | Paper |
Rollercoasters and caterpillars
(available as arXiv preprint) | 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
String Processing and Information Retrieval | 2021-02-16 | Paper |
| scientific article; zbMATH DE number 7278096 (Why is no real title available?) | 2020-11-25 | Paper |
Equations enforcing repetitions under permutations
Discrete Applied Mathematics | 2020-08-31 | Paper |
On collapsing prefix normal words
(available as arXiv preprint) | 2020-07-27 | Paper |
The hardness of solving simple word equations
(available as arXiv preprint) | 2020-05-26 | Paper |
On solving word equations using SAT
(available as arXiv preprint) | 2019-10-22 | Paper |
\(k\)-spectra of weakly-\(c\)-balanced words
(available as arXiv preprint) | 2019-10-15 | Paper |
Rollercoasters: Long Sequences without Short Runs
SIAM Journal on Discrete Mathematics | 2019-08-29 | Paper |
k-Spectra of weakly-c-Balanced Words
(available as arXiv preprint) | 2019-04-19 | Paper |
Hide and seek with repetitions
Journal of Computer and System Sciences | 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 |
One-variable word equations and three-variable constant-free word equations
International Journal of Foundations of Computer Science | 2018-09-20 | Paper |
On the complexity of solving restricted word equations
International Journal of Foundations of Computer Science | 2018-09-20 | Paper |
Unary patterns under permutations
Theoretical Computer Science | 2018-08-23 | Paper |
Corrigendum to ``A note on Thue games
Information Processing Letters | 2017-11-22 | Paper |
Equations enforcing repetitions under permutations
Lecture Notes in Computer Science | 2017-11-15 | Paper |
Lagrange's Theorem for Binary Squares
(available as arXiv preprint) | 2017-10-11 | Paper |
| Testing generalised freeness of words | 2017-03-03 | Paper |
| On the pseudoperiodic extension of \(u^\ell = v^m w^n\) | 2017-02-21 | Paper |
| Finding pseudo-repetitions | 2017-01-30 | Paper |
The extended equation of Lyndon and Schützenberger
Journal of Computer and System Sciences | 2016-12-28 | Paper |
A note on Thue games
Information Processing Letters | 2016-11-23 | Paper |
A note on Thue games
Information Processing Letters | 2016-11-23 | Paper |
On the Solvability Problem for Restricted Classes of Word Equations
Developments in Language Theory | 2016-08-30 | Paper |
One-Unknown Word Equations and Three-Unknown Constant-Free Word Equations
Developments in Language Theory | 2016-08-30 | Paper |
Pattern avoidability with involution
Electronic Proceedings in Theoretical Computer Science | 2016-03-01 | Paper |
Pattern avoidability with involution
Electronic Proceedings in Theoretical Computer Science | 2016-03-01 | Paper |
Unary patterns with permutations
Developments in Language Theory | 2015-11-10 | Paper |
On prefix/suffix-square free words
String Processing and Information Retrieval | 2015-10-02 | Paper |
\(k\)-abelian pattern matching
Journal of Discrete Algorithms | 2015-08-24 | Paper |
Cubic patterns with permutations
Journal of Computer and System Sciences | 2015-07-13 | Paper |
k-Abelian Pattern Matching
Developments in Language Theory | 2014-10-14 | Paper |
Generalised Lyndon-Schützenberger Equations
Mathematical Foundations of Computer Science 2014 | 2014-10-14 | Paper |
Discovering hidden repetitions in words
Lecture Notes in Computer Science | 2013-08-05 | Paper |
Unary patterns with involution
International Journal of Foundations of Computer Science | 2013-07-30 | Paper |
String matching with involutions
Unconventional Computation and Natural Computation | 2012-11-08 | Paper |
The avoidability of cubes under permutations
Developments in Language Theory | 2012-11-02 | Paper |
Fine and Wilf's theorem and pseudo-repetitions
Mathematical Foundations of Computer Science 2012 | 2012-09-25 | Paper |
Cyclically repetition-free words on small alphabets
Information Processing Letters | 2012-03-19 | Paper |
The Ehrenfeucht-Silberger problem
Journal of Combinatorial Theory. Series A | 2012-02-11 | Paper |
The number of positions starting a square in binary words
The Electronic Journal of Combinatorics | 2011-02-17 | Paper |
The number of positions starting a square in binary words
The Electronic Journal of Combinatorics | 2011-02-17 | Paper |
On the relation between periodicity and unbordered factors of finite words
International Journal of Foundations of Computer Science | 2010-09-06 | Paper |
Maximal intersection queries in randomized input models
Theory of Computing Systems | 2010-03-05 | Paper |
Weinbaum factorizations of primitive words
Russian Mathematics | 2010-02-05 | Paper |
| scientific article; zbMATH DE number 5605093 (Why is no real title available?) | 2009-09-19 | Paper |
| scientific article; zbMATH DE number 5604089 (Why is no real title available?) | 2009-09-15 | Paper |
The Ehrenfeucht-Silberger Problem
Automata, Languages and Programming | 2009-07-14 | Paper |
Bordered conjugates of words over large alphabets
The Electronic Journal of Combinatorics | 2009-04-07 | Paper |
Bordered conjugates of words over large alphabets
The Electronic Journal of Combinatorics | 2009-04-07 | Paper |
Periodicity and unbordered words
Journal of the ACM | 2008-12-21 | Paper |
A note on an extension of PDL
Journal of Applied Logic | 2008-12-11 | Paper |
On the Relation between Periodicity and Unbordered Factors of Finite Words
Developments in Language Theory | 2008-10-30 | Paper |
Height-Deterministic Pushdown Automata
Mathematical Foundations of Computer Science 2007 | 2008-09-17 | Paper |
Estimation of the Click Volume by Large Scale Regression Analysis
Computer Science – Theory and Applications | 2008-06-03 | Paper |
Maximal Intersection Queries in Randomized Graph Models
Computer Science – Theory and Applications | 2008-06-03 | Paper |
Unbordered factors and Lyndon words
Discrete Mathematics | 2008-04-28 | Paper |
STACS 2004
Lecture Notes in Computer Science | 2007-10-01 | Paper |
Periods in extensions of words
Acta Informatica | 2006-10-18 | Paper |
On unique factorizations of primitive words.
Theoretical Computer Science | 2006-05-18 | Paper |
A characterization of periodicity of bi-infinite words
Theoretical Computer Science | 2005-12-29 | Paper |
Counting bordered and primitive words with a fixed weight
Theoretical Computer Science | 2005-08-01 | Paper |
MINIMAL DUVAL EXTENSIONS
International Journal of Foundations of Computer Science | 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
Theoretical Computer Science | 2005-02-22 | Paper |
Border correlation of binary words
Journal of Combinatorial Theory. Series A | 2005-01-11 | Paper |
The equation \(x^i=y^jz^k\) in a free semigroup.
Semigroup Forum | 2004-10-01 | Paper |
On the independence of equations in three variables.
Theoretical Computer Science | 2004-03-14 | Paper |
| scientific article; zbMATH DE number 2051182 (Why is no real title available?) | 2004-03-07 | Paper |
| scientific article; zbMATH DE number 2040916 (Why is no real title available?) | 2004-02-11 | Paper |
Density of Critical Factorizations
RAIRO - Theoretical Informatics and Applications | 2003-04-02 | Paper |
Density of Critical Factorizations
RAIRO - Theoretical Informatics and Applications | 2003-04-02 | Paper |
| Computer arithmetic: Logic, calculation, and rewriting | 2002-04-03 | Paper |
