Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2023

    1. Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving
      SCHWARZOVÁ, Tereza, Jan STREJČEK a Juraj MAJOR. Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving. Online. In Meena Mahajan and Friedrich Slivovsky. 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy. Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, s. 1-20. ISBN 978-3-95977-286-0. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.SAT.2023.23.
      URL
      RIV/00216224:14330/23:00131935 Stať ve sborníku. angličtina. Německo.
      Schwarzová, Tereza (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Major, Juraj (703 Slovensko, domácí)
      Klíčová slova anglicky: Emerson-Lei automata; TELA; automata reduction; QBF; telatko
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 19. 3. 2024 13:57.
      Podrobněji: https://is.muni.cz/publication/2326760/cs

    2020

    1. LTL to self-loop alternating automata with generic acceptance and back
      BLAHOUDEK, František, Juraj MAJOR a Jan STREJČEK. LTL to self-loop alternating automata with generic acceptance and back. Theoretical Computer Science. AMSTERDAM: North Holland, 2020, roč. 840, Nov 2020, s. 122-142. ISSN 0304-3975. Dostupné z: https://dx.doi.org/10.1016/j.tcs.2020.07.015.
      URL
      RIV/00216224:14330/20:00114391 Článek v odborném periodiku. angličtina. Nizozemské království.
      Blahoudek, František (203 Česká republika) -- Major, Juraj (703 Slovensko, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: LTL; Omega-automata; LTL to automata translation; Alternating automata; ltl3tela
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2021 12:31.
      Podrobněji: https://is.muni.cz/publication/1686867/cs

    2019

    1. LTL to Smaller Self-Loop Alternating Automata and Back
      BLAHOUDEK, František, Juraj MAJOR a Jan STREJČEK. LTL to Smaller Self-Loop Alternating Automata and Back. Online. In Robert Mark Hierons, Mohamed Mosbah. Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings. Cham (Switzerland): Springer, 2019, s. 152-171. ISBN 978-3-030-32504-6. Dostupné z: https://dx.doi.org/10.1007/978-3-030-32505-3_10.
      URL
      RIV/00216224:14330/19:00107795 Stať ve sborníku. angličtina. Švýcarsko.
      Blahoudek, František (203 Česká republika) -- Major, Juraj (703 Slovensko, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: LTL; linear temporal logic; automata; automata over infinite words; alternating automata; LTL to automata; ltl3tela
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2020 00:00.
      Podrobněji: https://is.muni.cz/publication/1580376/cs
    2. ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata
      MAJOR, Juraj, František BLAHOUDEK, Jan STREJČEK, Miriama JÁNOŠOVÁ a Tatiana ZBONČÁKOVÁ. ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata. Online. In Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza. Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings. Cham (Switzerland): Springer, 2019, s. 357-365. ISBN 978-3-030-31783-6. Dostupné z: https://dx.doi.org/10.1007/978-3-030-31784-3_21.
      URL
      RIV/00216224:14330/19:00107770 Stať ve sborníku. angličtina. Švýcarsko.
      Major, Juraj (703 Slovensko, domácí) -- Blahoudek, František (203 Česká republika) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Jánošová, Miriama (703 Slovensko, domácí) -- Zbončáková, Tatiana (703 Slovensko, domácí)
      Klíčová slova anglicky: ltl3tela; LTL; linear temporal logic; automata; automata over infinite words; LTL to automata
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2020 00:04.
      Podrobněji: https://is.muni.cz/publication/1577339/cs
Zobrazeno: 10. 5. 2024 02:57