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. 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

  6. 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

  7. 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

  8. 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

  9. 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



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