Decision Problems on Copying and Shuffling.
Fundam. Informaticae, 2024
On bi-infinite and conjugate post correspondence problems.
RAIRO Theor. Informatics Appl., 2023
The Conjugate Post Correspondence Problem.
CoRR, 2021
On Shuffling a Word with its Letter-to-Letter Substitution.
Fundam. Informaticae, 2020
On fixed points of rational transductions.
Theor. Comput. Sci., 2018
A New Proof for Undecidability of the Bi-Infinite Post Correspondence Problem.
Fundam. Informaticae, 2017