Jozef Jirásek Jr.

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 8

Top Topics

Regular Languages

Finite Automata

Space Complexity

Manually Constructed

Top Venues

Int. J. Found. Comput. Sci.

Publications

Oscar H. Ibarra, Jozef Jirásek Jr., Ian McQuillan, Luca Prigioniero
Space Complexity of Stack Automata Models. DLT (2020)
Jozef Jirásek Jr., Matús Palmovský, Juraj Sebej
Kuratowski Algebras Generated by Prefix-, Suffix-, Factor-, and Subword-Free Languages Under Star and Complementation. Int. J. Found. Comput. Sci. 30 (6-7) (2019)
Jozef Jirásek Jr., Galina Jirásková, Juraj Sebej
Operations on Unambiguous Finite Automata. Int. J. Found. Comput. Sci. 29 (5) (2018)
Markus Holzer, Sebastian Jakobi, Jozef Jirásek Jr.
Computational Complexity of Decision Problems on Self-verifying Finite Automata. DLT (2018)
Jozef Jirásek Jr., Matús Palmovský, Juraj Sebej
Kuratowski Algebras Generated by Factor-, Subword-, and Suffix-Free Languages. DCFS (2017)
Jozef Jirásek Jr.
Non-regular Maximal Prefix-Free Subsets of Regular Languages. DLT (2016)
Jozef Jirásek Jr., Galina Jirásková, Juraj Sebej
Operations on Unambiguous Finite Automata. DLT (2016)
Jozef Jirásek Jr., Juraj Sebej
Kuratowski Algebras Generated by Prefix-Free Languages. CIAA (2016)