The Block Structure of Successor Morphisms. - Jana Hadravová (LATA, 2011)

Large Simple Binary Equality Words. - Jana Hadravová; Stepan Holub (Int. J. Found. Comput. Sci., 2012)

Equation x^iy^jx^k=u^iv^ju^k in Words. - Jana Hadravová; Stepan Holub (LATA, 2015)

Equation xiyjxk=uivjuk in words. - Jana Hadravová; Stepan Holub (CoRR, 2015)