On the Square of Regular Languages. - Kristína Cevorová; Galina Jirásková; Ivana Krajnáková (CIAA, 2014)

Operations on Boolean and Alternating Finite Automata. - Michal Hospodár; Galina Jirásková; Ivana Krajnáková (CSR, 2018)

NFA-to-DFA Trade-Off for Regular Operations. - Galina Jirásková; Ivana Krajnáková (DCFS, 2019)

Square on Deterministic, Alternating, and Boolean Finite Automata. - Galina Jirásková; Ivana Krajnáková (Int. J. Found. Comput. Sci., 2019)