Ivana Krajnáková

According to our database, Ivana Krajnáková authored at least 4 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

NFA-to-DFA Trade-Off for Regular Operations.

Galina Jirásková, Ivana Krajnáková

Proceedings of the Descriptional Complexity of Formal Systems, 2019

2018

Operations on Boolean and Alternating Finite Automata.

Michal Hospodár, Galina Jirásková, Ivana Krajnáková

Proceedings of the Computer Science - Theory and Applications, 2018

2017

Square on Deterministic, Alternating, and Boolean Finite Automata.

Ivana Krajnáková, Galina Jirásková

Proceedings of the Descriptional Complexity of Formal Systems, 2017

2014

On the Square of Regular Languages.

Kristína Cevorová, Galina Jirásková, Ivana Krajnáková

Proceedings of the Implementation and Application of Automata, 2014