1. Unambiguous injective morphisms in free groups;Information and Computation;2022-11
2. Closure properties of pattern languages;Journal of Computer and System Sciences;2017-03
3. Formalizing a Fragment of Combinatorics on Words;Unveiling Dynamics and Complexity;2017
4. Periodicity forcing words;Theoretical Computer Science;2015-10
5. INTRICACIES OF SIMPLE WORD EQUATIONS: AN EXAMPLE;International Journal of Foundations of Computer Science;2007-12