Search results
Title Operational Complexity in Subregular Classes Author Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV Co-authors Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV 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 : Implementation and Application of Automata CIAA 2023. Vol. 14151 (2023), pp. 153-165. - 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-40247-0_11 URL URL link File name Access Size Downloaded Type License Operational Complexity in Subregular Classes.pdf Neprístupný/archív 317.5 KB 0 Publisher's version 
article
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 The cut operation in subclasses of convex languages Author Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV Co-authors Olejár Viktor SAVMATEM - Matematický ústav SAV Action VEGA 2/0096/23. Automaty a formálne jazyky: popisná a výpočtová zložitosť : 2023-2026 Source document Theoretical Computer Science. Vol. 969 (2023), art. nr. 114050 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 2023 DOI 10.1016/j.tcs.2023.114050 URL URL link File name Access Size Downloaded Type License The Cut Operation in Subclasses of Convex Languages.pdf Neprístupný/archív 772.5 KB 0 Publisher's version article
Title Nondeterministic operational complexity in subregular languages Author Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV Co-authors Olejár Viktor SAVMATEM - Matematický ústav SAV Action VEGA 2/0096/23. Automaty a formálne jazyky: popisná a výpočtová zložitosť : 2023-2026 Source document Theoretical Computer Science. Vol. 972 (2023), art. nr. 114075 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 2023 DOI 10.1016/j.tcs.2023.114075 URL URL link File name Access Size Downloaded Type License Nondeterministic operational complexity in subregular languages.pdf Neprístupný/archív 605.8 KB 0 Publisher's version article
Title The Cut Operation in Subclasses of Convex Languages : Extended Abstract Author Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV Co-authors Olejár Viktor SAVMATEM - Matematický ústav SAV Source document 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 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 2022 DOI 10.1007/978-3-031-07469-1_12 URL link.springer.com/chapter/10.1007/978-3-031-07469-1_12 File name Access Size Downloaded Type License The Cut Operation in Subclasses of Convex Languages.pdf Neprístupný/archív 271.9 KB 2 Publisher's version article
Title Operations on Subregular Languages and Nondeterministic State Complexity Author Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV Co-authors Mlynárčik Peter 1972 SAVMATEM - Matematický ústav SAV Olejár Viktor SAVMATEM - Matematický ústav SAV Source document 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 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 2022 DOI 10.1007/978-3-031-13257-5_9 URL link.springer.com/chapter/10.1007/978-3-031-13257-5_9 File name Access Size Downloaded Type License Operations on Subregular Languages and Nondeterministic State Complexity.pdf Neprístupný/archív 572.1 KB 1 Publisher's version article
Title Power, positive closure, and quotients on convex languages Author Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV Source document Theoretical Computer Science. Vol. 870 (2021), p. 53-74 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 2021 DOI 10.1016/j.tcs.2021.02.002 File name Access Size Downloaded Type License Power, positive closure, and quotients on convex languages.pdf Neprístupný/archív 627.5 KB 0 Publisher's version article
Title The Ranges of Accepting State Complexities of Languages Resulting from Some Operations Author Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV Co-authors Holzer Markus Source document International Journal of Foundations of Computer Science. Vol. 31, no. 8 (2020), p. 1159-1177 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 2020 DOI 10.1142/S0129054120420083 File name Access Size Downloaded Type License The Ranges of Accepting State Complexities.pdf Neprístupný/archív 350.4 KB 7 Publisher's version article
Title Operations on permutation automata Author Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV Co-authors Mlynárčik Peter 1972 SAVMATEM - Matematický ústav SAV Source document Lecture Notes in Computer Science. Vol. 12086 (2020), p. 122-136 : Developments in Language Theory 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 2020 DOI 10.1007/978-3-030-48516-0_10 article
Title Preface : NCMA 2018 Author Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV Co-authors Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Pighizzini Giovanni Source document Journal of Automata, Languages and Combinatorics. Vol. 25, no. 2-3 (2020), p. 81-82 : Special issue dedicated to NCMA 2018 Category GII - Other publications and documents which is not possible to categorize into classes/categories mentioned above Year 2020 DOI 10.25596/jalc-2020-081 article