Výsledky vyhľadávania
Názov Operational Complexity in Subregular Classes Autor Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV Spoluautori Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV 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 : Implementation and Application of Automata CIAA 2023. Vol. 14151 (2023), pp. 153-165. - 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-40247-0_11 URL URL link Názov súboru Prístup Veľkosť Stiahnuté Typ Licence Operational Complexity in Subregular Classes.pdf Neprístupný/archív 317.5 KB 0 Vydavateľská verzia 
článok
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 článok
Názov The cut operation in subclasses of convex languages Autor Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV Spoluautori Olejár Viktor SAVMATEM - Matematický ústav SAV Akcia VEGA 2/0096/23. Automaty a formálne jazyky: popisná a výpočtová zložitosť : 2023-2026 Zdroj.dok. Theoretical Computer Science. Vol. 969 (2023), art. nr. 114050 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 2023 DOI 10.1016/j.tcs.2023.114050 URL URL link Názov súboru Prístup Veľkosť Stiahnuté Typ Licence The Cut Operation in Subclasses of Convex Languages.pdf Neprístupný/archív 772.5 KB 0 Vydavateľská verzia článok
Názov Nondeterministic operational complexity in subregular languages Autor Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV Spoluautori Olejár Viktor SAVMATEM - Matematický ústav SAV Akcia VEGA 2/0096/23. Automaty a formálne jazyky: popisná a výpočtová zložitosť : 2023-2026 Zdroj.dok. Theoretical Computer Science. Vol. 972 (2023), art. nr. 114075 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 2023 DOI 10.1016/j.tcs.2023.114075 URL URL link Názov súboru Prístup Veľkosť Stiahnuté Typ Licence Nondeterministic operational complexity in subregular languages.pdf Neprístupný/archív 605.8 KB 0 Vydavateľská verzia článok
Názov The Cut Operation in Subclasses of Convex Languages : Extended Abstract Autor Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV Spoluautori Olejár Viktor SAVMATEM - Matematický ústav SAV Zdroj.dok. Implementation and Application of Automata : Conference proceedings CIAA 2022. Vol. 13266 (2022), p. 152-164. - Cham, Switzerland : Springer International Publishing, 2022 / Caron Pascal ; Mignot Ludovic ; CIAA 2022 International Conference 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 2022 DOI 10.1007/978-3-031-07469-1_12 URL link.springer.com/chapter/10.1007/978-3-031-07469-1_12 Názov súboru Prístup Veľkosť Stiahnuté Typ Licence The Cut Operation in Subclasses of Convex Languages.pdf Neprístupný/archív 271.9 KB 2 Vydavateľská verzia článok
Názov Operations on Subregular Languages and Nondeterministic State Complexity Autor Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV Spoluautori Mlynárčik Peter 1972 SAVMATEM - Matematický ústav SAV Olejár Viktor SAVMATEM - Matematický ústav SAV Zdroj.dok. Descriptional Complexity of Formal Systems : Conference proceedings DCFS 2022. Vol. 13439 (2022), p. 112-126. - Cham, Switzerland : Springer International Publishing, 2022 / Han Yo-Sub ; Vaszil Gyorgy ; DCFS 2022 IFIP WG 1.02 International Conference 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 2022 DOI 10.1007/978-3-031-13257-5_9 URL link.springer.com/chapter/10.1007/978-3-031-13257-5_9 Názov súboru Prístup Veľkosť Stiahnuté Typ Licence Operations on Subregular Languages and Nondeterministic State Complexity.pdf Neprístupný/archív 572.1 KB 1 Vydavateľská verzia článok
Názov Power, positive closure, and quotients on convex languages Autor Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV Zdroj.dok. Theoretical Computer Science. Vol. 870 (2021), p. 53-74 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 2021 DOI 10.1016/j.tcs.2021.02.002 Názov súboru Prístup Veľkosť Stiahnuté Typ Licence Power, positive closure, and quotients on convex languages.pdf Neprístupný/archív 627.5 KB 0 Vydavateľská verzia článok
Názov The Ranges of Accepting State Complexities of Languages Resulting from Some Operations Autor Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV Spoluautori Holzer Markus Zdroj.dok. International Journal of Foundations of Computer Science. Vol. 31, no. 8 (2020), p. 1159-1177 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 2020 DOI 10.1142/S0129054120420083 Názov súboru Prístup Veľkosť Stiahnuté Typ Licence The Ranges of Accepting State Complexities.pdf Neprístupný/archív 350.4 KB 7 Vydavateľská verzia článok
Názov Operations on permutation automata Autor Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV Spoluautori Mlynárčik Peter 1972 SAVMATEM - Matematický ústav SAV Zdroj.dok. Lecture Notes in Computer Science. Vol. 12086 (2020), p. 122-136 : Developments in Language Theory 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 2020 DOI 10.1007/978-3-030-48516-0_10 článok
Názov Preface : NCMA 2018 Autor Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV Spoluautori Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Pighizzini Giovanni Zdroj.dok. Journal of Automata, Languages and Combinatorics. Vol. 25, no. 2-3 (2020), p. 81-82 : Special issue dedicated to NCMA 2018 Kategória GII - Rôzne publikácie a dokumenty, ktoré nemožno zaradiť do žiadnej z predchádzajúcich kategórií Rok vykazovania 2020 DOI 10.25596/jalc-2020-081 článok