Search results
Title Operations on Boolean and Alternating Finite Automata Author 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 16th International Conference on Automata and Formal Languages ( 16th : September 5-7, 2023 : Eger, Hungary ) Source document Electronic Proceedings in Theoretical Computer Science : Proceedings of the 16th International Conference on Automata and Formal Languages. Vol. 386 (2023), pp. 3-10 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 príspevok z podujatia Year 2023 DOI 10.4204/EPTCS.386.1 URL URL link File name Access Size Downloaded Type License Operations on Boolean and Alternating Finite Automata.pdf Neprístupný/archív 216.8 KB 0 Publisher's version 
article
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 Special Issue on Implementation and Application of Automata : Preface Author Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Co-authors Câmpeanu Cezar Source document Theoretical Computer Science. Vol. 870 (2021), p. 1-2 Category GII - Other publications and documents which is not possible to categorize into classes/categories mentioned above Year 2021 DOI 10.1016/j.tcs.2021.05.001 File name Access Size Downloaded Type License Special Issue on Implementation and Application of Automata.pdf Neprístupný/archív 133.9 KB 2 Publisher's version article
Title Descriptional Complexity of Formal Systems : Proceedings LNCS 12442 Another authors Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Pighizzini Giovanni Action DCFS 2020. International Conference ( 22nd : August 24-26, 2020 : Wien, Austria ) Issue data Springer International Publishing , 2020. - 245 p. Edition LNCS : 12442 Category FAI - Editorial work on book publications (bibliographies, encyclopedias, catalogues, dictionaries, collective publications/proceedings, atlases ...) Year 2020 DOI 10.1007/978-3-030-62536-8 References (1) Publication Activity of SAV - Articles 
book
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 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
Title Descriptional complexity of the forever operator Author Hospodár Michal 1991 SAVMATEM - Matematický ústav SAV Co-authors Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Mlynárčik Peter 1972 SAVMATEM - Matematický ústav SAV Source document International Journal of Foundations of Computer Science. Vol. 30, no. 1 (2019), p. 115-134 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 2019 DOI 10.1142/S0129054119400069 File name Access Size Downloaded Type License Descriptional Complexity of the Forever Operator.pdf Neprístupný/archív 504.4 KB 0 Publisher's version article
Title Report on CIAA 2018. [elektronický zdroj] : Conference on implementation and application of automata Author Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Source document Bulletin of the EATCS. Vol. 127 (2019) Category GHG - Works published on the internet Year 2019 article
Title Deterministic biautomata and subclasses of deterministic linear languages Author Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV Co-authors Klíma Ondřej Source document Lecture Notes in Computer Science : Language and Automata Theory and Applications. Vol. 11417 (2019), p. 315-327 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 2019 DOI 10.1007/978-3-030-13435-8_23 File name Access Size Downloaded Type License Deterministic biautomata and subclasses of deterministic linear languages.pdf available 294.6 KB 8 Postprint article