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 
článok
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 Operations on Boolean and Alternating Finite Automata Autor 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 16th International Conference on Automata and Formal Languages ( 16th : September 5-7, 2023 : Eger, Hungary ) Zdroj.dok. Electronic Proceedings in Theoretical Computer Science : Proceedings of the 16th International Conference on Automata and Formal Languages. Vol. 386 (2023), pp. 3-10 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 príspevok z podujatia Rok vykazovania 2023 DOI 10.4204/EPTCS.386.1 URL URL link Názov súboru Prístup Veľkosť Stiahnuté Typ Licence Operations on Boolean and Alternating Finite Automata.pdf Neprístupný/archív 216.8 KB 0 Vydavateľská verzia článok
Názov Special Issue on Implementation and Application of Automata : Preface Autor Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Spoluautori Câmpeanu Cezar Zdroj.dok. Theoretical Computer Science. Vol. 870 (2021), p. 1-2 Kategória GII - Rôzne publikácie a dokumenty, ktoré nemožno zaradiť do žiadnej z predchádzajúcich kategórií Rok vykazovania 2021 DOI 10.1016/j.tcs.2021.05.001 Názov súboru Prístup Veľkosť Stiahnuté Typ Licence Special Issue on Implementation and Application of Automata.pdf Neprístupný/archív 133.9 KB 2 Vydavateľská verzia článok
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 článok
Názov Descriptional Complexity of Formal Systems : Proceedings LNCS 12442 Ďalší autori Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Pighizzini Giovanni Akcia DCFS 2020. International Conference ( 22nd : August 24-26, 2020 : Wien, Austria ) Vyd.údaje Springer International Publishing , 2020. - 245 p. Edícia LNCS : 12442 Kategória FAI - Zostavovateľské práce knižného charakteru (bibliografie, encyklopédie, katalógy, slovníky, zborníky...) Rok vykazovania 2020 DOI 10.1007/978-3-030-62536-8 Odkazy (1) Publikačná činnosť SAV - články 
kniha
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
Názov Report on CIAA 2018. [elektronický zdroj] : Conference on implementation and application of automata Autor Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Zdroj.dok. Bulletin of the EATCS. Vol. 127 (2019) Kategória GHG - Práce zverejnené spôsobom umožňujúcim hromadný prístup Rok vykazovania 2019 článok
Názov Implementation and application of automata : Proceedings LNCS 11601 Ďalší autori Hospodár Michal 1991 Jirásková Galina 1963 Akcia CIAA 2019. International Conference ( 24th : July 22-25, 2019 : Košice, Slovakia ) Vyd.údaje Springer International Publishing , 2019. - 249 p. Edícia Lecture Notes in Computer Science : 11601 Kategória FAI - Zostavovateľské práce knižného charakteru (bibliografie, encyklopédie, katalógy, slovníky, zborníky...) Rok vykazovania 2019 kniha
Názov Descriptional complexity of formal systems : Proceedings LNCS 11612 Ďalší autori Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Konstantinidis Stavros Akcia 21st IFIP WG 1.02, DFCS 2019. International conference ( 21st : July 17-19, 2019 : Košice, Slovakia ) Vyd.údaje Springer International Publishing , 2019. - 299 p. Edícia Lecture Notes in Computer Science : 11612 Kategória FAI - Zostavovateľské práce knižného charakteru (bibliografie, encyklopédie, katalógy, slovníky, zborníky...) Rok vykazovania 2019 kniha