| Publication | Date of Publication | Type |
|---|
On the structure of solution-sets to regular word equations
Theory of Computing Systems | 2024-10-07 | Paper |
| Subsequences with gap constraints: complexity bounds for matching and analysis problems | 2024-09-11 | Paper |
A closer look at the expressive power of logics based on word equations
Theory of Computing Systems | 2024-07-29 | Paper |
| Formal languages via theories over strings: an overview of some recent results | 2024-02-06 | Paper |
Towards more efficient methods for solving regular-expression heavy string constraints
Theoretical Computer Science | 2023-01-05 | Paper |
Unambiguous injective morphisms in free groups
Information and Computation | 2022-12-08 | Paper |
| Word equations in the context of string solving | 2022-08-11 | Paper |
Graph and string parameters: connections between pathwidth, cutwidth and the locality number
(available as arXiv preprint) | 2022-07-21 | 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 |
| 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 |
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 |
k-Spectra of weakly-c-Balanced Words
(available as arXiv preprint) | 2019-04-19 | Paper |
| On matching generalised repetitive patterns | 2018-11-22 | Paper |
| The satisfiability of word equations: decidable and undecidable theories | 2018-10-23 | Paper |
Equations enforcing repetitions under permutations
Lecture Notes in Computer Science | 2017-11-15 | Paper |
Closure properties of pattern languages
Journal of Computer and System Sciences | 2016-11-14 | Paper |
Ambiguity of morphisms in a free group
Lecture Notes in Computer Science | 2015-11-04 | Paper |
Periodicity forcing words
Theoretical Computer Science | 2015-09-16 | Paper |
On the dual Post correspondence problem
International Journal of Foundations of Computer Science | 2015-04-23 | Paper |
Closure properties of pattern languages
Developments in Language Theory | 2014-10-14 | Paper |
Periodicity forcing words
Lecture Notes in Computer Science | 2013-09-20 | Paper |
On the dual Post correspondence problem
Developments in Language Theory | 2013-06-28 | Paper |
