Search results
Title Operational Complexity: NFA-to-DFA Trade-Off Author Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV Co-authors Jirásek Jozef Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Šebej Juraj Action VEGA 2/0096/23. Automaty a formálne jazyky: popisná a výpočtová zložitosť : 2023-2026 Source document Lecture Notes in Computer Science : Descriptional Complexity of Formal Systems DCFS 2023. Vol. 13918 (2023), pp. 79-93. - Heidelberg : Springer Category ADMB - Scientific papers in foreign non-impacted journals registered in Web of Sciences or Scopus Category of document (from 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Type of document kapitola Year 2023 DOI 10.1007/978-3-031-34326-1_6 URL URL link File name Access Size Downloaded Type License Operational Complexity NFAtoDFA TradeOff.pdf Neprístupný/archív 333.8 KB 0 Publisher's version 
article
Title Multiple Concatenation and State Complexity (Extended Abstract) Author Jirásek Jozef Co-authors Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Source document Descriptional Complexity of Formal Systems : Proceedings LNCS 12442. p. 78-90. - : Springer International Publishing, 2020 / Jirásková Galina 1963 ; Pighizzini Giovanni ; DCFS 2020 Category AFG - Abstracts of papers from foreign conferences Year 2020 article
Title Operations on unambiguous finite automata Author Jirásek Jozef Co-authors Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Šebej Juraj Source document International Journal of Foundations of Computer Science. Vol. 29, no. 5 (2018), p. 861-876 Category ADCA - Scientific papers in foreign journals registered in Current Contents Connect with IF (impacted) Category of document (from 2022) V3 - Vedecký výstup publikačnej činnosti z časopisu Type of document článok Year 2018 DOI 10.1142/S012905411842008X article
Title The exact complexity of star-complement-star Author Jirásek Jozef Co-authors Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Source document Lecture Notes in Computer Science : Implementation and Application of Automata. Vol. 10977 (2018), p. 223-235 Category ADMB - Scientific papers in foreign non-impacted journals registered in Web of Sciences or Scopus Category of document (from 2022) V3 - Vedecký výstup publikačnej činnosti z časopisu Type of document článok Year 2018 DOI 10.1007/978-3-319-94812-6_19 URL URL link article
Title Operations on unambiguous finite automata Author Jirásek Jozef Co-authors Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Šebej Juraj Source document Lecture Notes in Computer Science : Developments in Language Theory. Vol. 9840 (2016), p. 243-255. - Heidelberg : Springer Category ADMB - Scientific papers in foreign non-impacted journals registered in Web of Sciences or Scopus Category of document (from 2022) V3 - Vedecký výstup publikačnej činnosti z časopisu Type of document článok Year 2016 DOI 10.1007/978-3-662-53132-7_20 article
Title Prefix-free languages: Left and right quotient and reversal Author Jirásek Jozef Co-authors Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Krausová Monika Mlynárčik Peter 1972 SAVMATEM - Matematický ústav SAV Šebej Juraj Source document Theoretical Computer Science. Vol. 610 (2016), p. 78-90 Category ADCA - Scientific papers in foreign journals registered in Current Contents Connect with IF (impacted) Category of document (from 2022) V3 - Vedecký výstup publikačnej činnosti z časopisu Type of document článok Year 2016 DOI 10.1016/j.tcs.2015.08.031 URL URL link File name Access Size Downloaded Type License Prefix-free languages Left and right quotient and reversal.pdf available 516.6 KB 1 Publisher's version article
Title On the boundary of regular languages Author Jirásek Jozef Co-authors Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Source document Theoretical Computer Science. Vol. 578 (2015), p. 42-57 Category ADCA - Scientific papers in foreign journals registered in Current Contents Connect with IF (impacted) Category of document (from 2022) V3 - Vedecký výstup publikačnej činnosti z časopisu Type of document článok Year 2015 DOI 10.1016/j.tcs.2015.01.022 article
Title Operations on self-verifying finite automata Author Jirásek Jozef SAVMATEM - Matematický ústav SAV Co-authors Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Szabari Alexander Source document Computer Science - Theory and Applications : LNCS 9139, proceedings. P. 231-261. - : Springer, 2015 / Beklemishev Lev D. ; Musatov Daniil V. ; CSR 2015 International Computer Science Symposium Category ABC - Chapters in scientific monographs published abroad Category of document (from 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Type of document kapitola Year 2015 DOI 10.1007/978-3-319-20297-6_16 article
Title The boundary of prefix-free languages Author Jirásek Jozef Co-authors Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Source document Developments in Language Theory : LNCS 9168, proceedings. P. 300-312. - : Springer, 2015 / Potapov Igor ; DLT 2015 Category AECA - Scientific papers in foreign peer-reviewed proceedings and shorter chapters in foreign scientific monographs or academic/university textbooks Category of document (from 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Type of document príspevok Year 2015 article