Jozef jun. Jirásek

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Operational complexity: NFA-to-DFA trade-off Information and Computation	2025-12-15	Paper
State complexity of the minimal star basis	2025-01-20	Paper
Visit-bounded stack automata Theory of Computing Systems	2023-10-30	Paper
Space Complexity of Stack Automata Models International Journal of Foundations of Computer Science	2023-08-15	Paper
Space complexity of stack automata models Developments in Language Theory	2022-10-13	Paper
Visit-bounded stack automata	2022-08-11	Paper
Kuratowski Algebras Generated by Prefix-, Suffix-, Factor-, and Subword-Free Languages Under Star and Complementation International Journal of Foundations of Computer Science	2019-12-10	Paper
Computational complexity of decision problems on self-verifying finite automata	2018-11-22	Paper
Operations on Unambiguous Finite Automata International Journal of Foundations of Computer Science	2018-09-20	Paper
Kuratowski algebras generated by factor-, subword-, and suffix-free languages	2017-08-31	Paper
Kuratowski algebras generated by prefix-free languages Implementation and Application of Automata	2016-11-09	Paper
Operations on Unambiguous Finite Automata Developments in Language Theory	2016-08-30	Paper
Non-regular Maximal Prefix-Free Subsets of Regular Languages Developments in Language Theory	2016-08-30	Paper

Research outcomes over time

This page was built for person: Jozef jun. Jirásek