Výsledky vyhľadávania
Názov Operational Complexity: NFA-to-DFA Trade-Off Autor Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV Spoluautori Jirásek Jozef Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Šebej Juraj Akcia VEGA 2/0096/23. Automaty a formálne jazyky: popisná a výpočtová zložitosť : 2023-2026 Zdroj.dok. Lecture Notes in Computer Science : Descriptional Complexity of Formal Systems DCFS 2023. Vol. 13918 (2023), pp. 79-93. - Heidelberg : Springer Kategória ADMB - Vedecké práce v zahraničných neimpaktovaných časopisoch registrovaných vo WOS Core Collection alebo SCOPUS Kategória (od 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Typ výstupu kapitola Rok vykazovania 2023 DOI 10.1007/978-3-031-34326-1_6 URL URL link Názov súboru Prístup Veľkosť Stiahnuté Typ Licence Operational Complexity NFAtoDFA TradeOff.pdf Neprístupný/archív 333.8 KB 0 Vydavateľská verzia Názov Multiple Concatenation and State Complexity (Extended Abstract) Autor Jirásek Jozef Spoluautori Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Zdroj.dok. Descriptional Complexity of Formal Systems : Proceedings LNCS 12442. p. 78-90. - : Springer International Publishing, 2020 / Jirásková Galina 1963 ; Pighizzini Giovanni ; DCFS 2020 Kategória AFG - Abstrakty príspevkov zo zahraničných konferencií Rok vykazovania 2020 Názov Operations on unambiguous finite automata Autor Jirásek Jozef Spoluautori Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Šebej Juraj Zdroj.dok. International Journal of Foundations of Computer Science. Vol. 29, no. 5 (2018), p. 861-876 Kategória ADCA - Vedecké práce v zahraničných karentovaných časopisoch impaktovaných Kategória (od 2022) V3 - Vedecký výstup publikačnej činnosti z časopisu Typ výstupu článok Rok vykazovania 2018 DOI 10.1142/S012905411842008X Názov The exact complexity of star-complement-star Autor Jirásek Jozef Spoluautori Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Zdroj.dok. Lecture Notes in Computer Science : Implementation and Application of Automata. Vol. 10977 (2018), p. 223-235 Kategória ADMB - Vedecké práce v zahraničných neimpaktovaných časopisoch registrovaných vo WOS Core Collection alebo SCOPUS Kategória (od 2022) V3 - Vedecký výstup publikačnej činnosti z časopisu Typ výstupu článok Rok vykazovania 2018 DOI 10.1007/978-3-319-94812-6_19 URL URL link Názov Operations on unambiguous finite automata Autor Jirásek Jozef Spoluautori Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Šebej Juraj Zdroj.dok. Lecture Notes in Computer Science : Developments in Language Theory. Vol. 9840 (2016), p. 243-255. - Heidelberg : Springer Kategória ADMB - Vedecké práce v zahraničných neimpaktovaných časopisoch registrovaných vo WOS Core Collection alebo SCOPUS Kategória (od 2022) V3 - Vedecký výstup publikačnej činnosti z časopisu Typ výstupu článok Rok vykazovania 2016 DOI 10.1007/978-3-662-53132-7_20 Názov Prefix-free languages: Left and right quotient and reversal Autor Jirásek Jozef Spoluautori Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Krausová Monika Mlynárčik Peter 1972 SAVMATEM - Matematický ústav SAV Šebej Juraj Zdroj.dok. Theoretical Computer Science. Vol. 610 (2016), p. 78-90 Kategória ADCA - Vedecké práce v zahraničných karentovaných časopisoch impaktovaných Kategória (od 2022) V3 - Vedecký výstup publikačnej činnosti z časopisu Typ výstupu článok Rok vykazovania 2016 DOI 10.1016/j.tcs.2015.08.031 URL URL link Názov súboru Prístup Veľkosť Stiahnuté Typ Licence Prefix-free languages Left and right quotient and reversal.pdf Prístupný 516.6 KB 1 Vydavateľská verzia Názov On the boundary of regular languages Autor Jirásek Jozef Spoluautori Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Zdroj.dok. Theoretical Computer Science. Vol. 578 (2015), p. 42-57 Kategória ADCA - Vedecké práce v zahraničných karentovaných časopisoch impaktovaných Kategória (od 2022) V3 - Vedecký výstup publikačnej činnosti z časopisu Typ výstupu článok Rok vykazovania 2015 DOI 10.1016/j.tcs.2015.01.022 Názov Operations on self-verifying finite automata Autor Jirásek Jozef SAVMATEM - Matematický ústav SAV Spoluautori Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Szabari Alexander Zdroj.dok. 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 Kategória ABC - Kapitoly vo vedeckých monografiách vydané v zahraničných vydavateľstvách Kategória (od 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Typ výstupu kapitola Rok vykazovania 2015 DOI 10.1007/978-3-319-20297-6_16 Názov The boundary of prefix-free languages Autor Jirásek Jozef Spoluautori Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Zdroj.dok. Developments in Language Theory : LNCS 9168, proceedings. P. 300-312. - : Springer, 2015 / Potapov Igor ; DLT 2015 Kategória AECA - Vedecké práce v zahr. rec. zb. a kratšie kapitoly/state v zahraničných vedeckých monografiách alebo vysokoškolských učebniciach Kategória (od 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Typ výstupu príspevok Rok vykazovania 2015