Jozef Jirásek 0002

dblp:182/6176 · also Jozef Jirásek Jr., Jozef Stefan Jirásek · DBLP profile ↗
← Back
9ranked-venue papers
6as first author
2since 2021 · last 2023
0000-0003-2218-7139ORCID · conflict

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 9 · 6 first-author · 2 since 2021
YearPublicationVenuePosition
2023 Visit-Bounded Stack Automata
Jozef Jirásek 0002, Ian McQuillan
Theory Comput. Syst.1
2022 Visit-Bounded Stack Automata
Jozef Jirásek 0002, Ian McQuillan
DLT1
2020 Space Complexity of Stack Automata Models
Oscar H. Ibarra, Jozef Jirásek 0002, Ian McQuillan, Luca Prigioniero
DLT2
2018 Computational Complexity of Decision Problems on Self-verifying Finite Automata
Markus Holzer 0001, Sebastian Jakobi, Jozef Jirásek 0002
DLT3
2016 Non-regular Maximal Prefix-Free Subsets of Regular Languages
Jozef Jirásek 0002
DLT1
2016 Operations on Unambiguous Finite Automata
Jozef Jirásek 0002, Galina Jirásková, Juraj Sebej
DLT1
2016 Kuratowski Algebras Generated by Prefix-Free Languages
Jozef Jirásek 0002, Juraj Sebej
CIAA1
2011 On the Complexity of Planar Covering of Small Graphs
Ondrej Bílka, Jozef Jirásek 0002, Pavel Klavík, Martin Tancer, Jan Volec
WG2
2010 Structural and Complexity Aspects of Line Systems of Graphs
Jozef Jirásek 0002, Pavel Klavík
ISAAC (1)1