Search results

Records found: 9  
Your query: Author Sysno = "^sav_un_auth 0193140^"
  1. TitleOperational 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
    CategoryADMB - 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 documentkapitola
    Year2023
    DOI 10.1007/978-3-031-34326-1_6
    URLURL link
    File nameAccessSizeDownloadedTypeLicense
    Operational Complexity NFAtoDFA TradeOff.pdfNeprístupný/archív333.8 KB0Publisher's version
    article

    article

  2. TitleMultiple 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
    CategoryAFG - Abstracts of papers from foreign conferences
    Year2020
    article

    article

  3. TitleOperations on unambiguous finite automata
    Author Jirásek Jozef
    Co-authors Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV
    Šebej Juraj
    Source document International Journal of Foundations of Computer Science. Vol. 29, no. 5 (2018), p. 861-876
    CategoryADCA - 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
    Year2018
    DOI 10.1142/S012905411842008X
    article

    article

  4. TitleThe exact complexity of star-complement-star
    Author Jirásek Jozef
    Co-authors Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV
    Source document Lecture Notes in Computer Science : Implementation and Application of Automata. Vol. 10977 (2018), p. 223-235
    CategoryADMB - 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
    Year2018
    DOI 10.1007/978-3-319-94812-6_19
    URLURL link
    article

    article

  5. TitleOperations on unambiguous finite automata
    Author Jirásek Jozef
    Co-authors Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV
    Šebej Juraj
    Source document Lecture Notes in Computer Science : Developments in Language Theory. Vol. 9840 (2016), p. 243-255. - Heidelberg : Springer
    CategoryADMB - 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
    Year2016
    DOI 10.1007/978-3-662-53132-7_20
    article

    article

  6. TitlePrefix-free languages: Left and right quotient and reversal
    Author Jirásek Jozef
    Co-authors Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV
    Krausová Monika
    Mlynárčik Peter 1972 SAVMATEM - Matematický ústav SAV
    Šebej Juraj
    Source document Theoretical Computer Science. Vol. 610 (2016), p. 78-90
    CategoryADCA - 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
    Year2016
    DOI 10.1016/j.tcs.2015.08.031
    URLURL link
    File nameAccessSizeDownloadedTypeLicense
    Prefix-free languages Left and right quotient and reversal.pdfavailable516.6 KB1Publisher's version
    article

    article

  7. TitleOn the boundary of regular languages
    Author Jirásek Jozef
    Co-authors Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV
    Source document Theoretical Computer Science. Vol. 578 (2015), p. 42-57
    CategoryADCA - 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
    Year2015
    DOI 10.1016/j.tcs.2015.01.022
    article

    article

  8. TitleOperations on self-verifying finite automata
    Author Jirásek Jozef SAVMATEM - Matematický ústav SAV
    Co-authors Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV
    Szabari Alexander
    Source document 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
    CategoryABC - Chapters in scientific monographs published abroad
    Category of document (from 2022)V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka
    Type of documentkapitola
    Year2015
    DOI 10.1007/978-3-319-20297-6_16
    article

    article

  9. TitleThe boundary of prefix-free languages
    Author Jirásek Jozef
    Co-authors Jirásková Galina 1963 SAVMATEM - Matematický ústav SAV
    Source document Developments in Language Theory : LNCS 9168, proceedings. P. 300-312. - : Springer, 2015 / Potapov Igor ; DLT 2015
    CategoryAECA - Scientific papers in foreign peer-reviewed proceedings and shorter chapters in foreign scientific monographs or academic/university textbooks
    Category of document (from 2022)V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka
    Type of documentpríspevok
    Year2015
    article

    article



  This site uses cookies to make them easier to browse. Learn more about how we use cookies.