Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2024

    1. Tighter Construction of Tight Büchi Automata
      JANKOLA, Marek a Jan STREJČEK. Tighter Construction of Tight Büchi Automata. Online. In Naoki Kobayashi and James Worrell. Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I. Cham: Springer, 2024, s. 234-255. ISBN 978-3-031-57227-2. Dostupné z: https://dx.doi.org/10.1007/978-3-031-57228-9_12.
      URL
      RIV: Stať ve sborníku. angličtina. Německo.
      Jankola, Marek (703 Slovensko) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: tight automata; shortest counterexamples; LTL
      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: 18. 10. 2024 17:06.
      Podrobněji: https://is.muni.cz/publication/2396421/cs

    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
    2. The Power-Set Construction for Tree Algebras
      BLUMENSATH, Achim. The Power-Set Construction for Tree Algebras. LOGICAL METHODS IN COMPUTER SCIENCE. GERMANY: LOGICAL METHODS COMPUTER SCIENCE E V, 2023, roč. 19, č. 4, s. 1-47. ISSN 1860-5974. Dostupné z: https://dx.doi.org/10.46298/lmcs-19(4:9)2023.
      URL
      RIV/00216224:14330/23:00133773 Článek v odborném periodiku. angličtina. Německo.
      Blumensath, Achim (276 Německo, garant, domácí)
      Klíčová slova anglicky: tree algebras; power-set functor; distributive law
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 7. 4. 2024 23:47.
      Podrobněji: https://is.muni.cz/publication/2384057/cs

    2021

    1. Algebraic Language Theory for Eilenberg–Moore Algebras
      BLUMENSATH, Achim. Algebraic Language Theory for Eilenberg–Moore Algebras. Logical Methods in Computer Science. Logical Methods in Computer Science e.V., 2021, roč. 17, č. 2, s. 1-60. ISSN 1860-5974. Dostupné z: https://dx.doi.org/10.23638/LMCS-17(2:6)2021.
      URL
      Název anglicky: Algebraic Language Theory for Eilenberg–Moore Algebras
      RIV/00216224:14330/21:00119651 Článek v odborném periodiku. angličtina. Německo.
      Blumensath, Achim (276 Německo, garant, domácí)
      Klíčová slova anglicky: algebraic language theory; monads
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2022 07:58.
      Podrobněji: https://is.muni.cz/publication/1834747/cs
    2. DQBDD: An Efficient BDD-Based DQBF Solver
      SÍČ, Juraj a Jan STREJČEK. DQBDD: An Efficient BDD-Based DQBF Solver. Online. In Chu-Min Li and Felip Manyà. Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings. Cham (Switzerland): Springer, 2021, s. 535-544. ISBN 978-3-030-80222-6. Dostupné z: https://dx.doi.org/10.1007/978-3-030-80223-3_36.
      URL
      RIV/00216224:14330/21:00122203 Stať ve sborníku. angličtina. Švýcarsko.
      Síč, Juraj (703 Slovensko) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: dependency quantified Boolean formulas; DQBF; binary decision diagrams; BDD; DQBDD
      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: 23. 5. 2022 14:57.
      Podrobněji: https://is.muni.cz/publication/1789078/cs
    3. ω-Forest Algebras and Temporal Logics
      BLUMENSATH, Achim a Jakub LÉDL. ω-Forest Algebras and Temporal Logics. Online. In Filippo Bonchi, Simon J. Puglisi. 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia. Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, s. 1-21. ISBN 978-3-95977-201-3. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.MFCS.2021.19.
      URL
      Název anglicky: ω-Forest Algebras and Temporal Logics
      RIV/00216224:14330/21:00119652 Stať ve sborníku. angličtina. Německo.
      Blumensath, Achim (276 Německo, garant, domácí) -- Lédl, Jakub (203 Česká republika, domácí)
      Klíčová slova anglicky: forest algebras; wreath products; temporal logics
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2022 07:56.
      Podrobněji: https://is.muni.cz/publication/1834758/cs

    2020

    1. Bisimulation invariant monadic-second order logic in the finite
      BLUMENSATH, Achim a Felix WOLF. Bisimulation invariant monadic-second order logic in the finite. Theoretical Computer Science. Elsevier, 2020, roč. 823, č. 1, s. 26-43. ISSN 0304-3975. Dostupné z: https://dx.doi.org/10.1016/j.tcs.2020.03.001.
      journal web page
      RIV/00216224:14330/20:00114229 Článek v odborném periodiku. angličtina. Nizozemské království.
      Blumensath, Achim (276 Německo, garant, domácí) -- Wolf, Felix (276 Německo)
      Klíčová slova anglicky: Bisimulation; Monadic second-order logic; Composition method
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2021 07:59.
      Podrobněji: https://is.muni.cz/publication/1670125/cs
    2. Regular Tree Algebras
      BLUMENSATH, Achim. Regular Tree Algebras. Logical Methods in Computer Science. Technical University of Braunschweig, 2020, roč. 16, č. 1, s. 1-25. ISSN 1860-5974. Dostupné z: https://dx.doi.org/10.23638/LMCS-16(1:16)2020.
      journal web page
      RIV/00216224:14330/20:00114228 Článek v odborném periodiku. angličtina. Německo.
      Blumensath, Achim (276 Německo, garant, domácí)
      Klíčová slova anglicky: infinite trees; tree algebras; regular languages; monads
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2021 07:58.
      Podrobněji: https://is.muni.cz/publication/1670123/cs

    2018

    1. Bisimulation Invariant Monadic-Second Order Logic in the Finite
      BLUMENSATH, Achim a Felix WOLF. Bisimulation Invariant Monadic-Second Order Logic in the Finite. Online. In 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic. Dagstuhl: Schloss Dagstuhl, 2018, s. 1-13. ISBN 978-3-95977-076-7. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.ICALP.2018.117.
      Název anglicky: Bisimulation Invariant Monadic-Second Order Logic in the Finite
      RIV/00216224:14330/18:00101061 Stať ve sborníku. angličtina. Česká republika.
      Blumensath, Achim (276 Německo, garant, domácí) -- Wolf, Felix (276 Německo)
      Klíčová slova anglicky: bisimulation; monadic second-order logic; composition method
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 30. 4. 2019 09:59.
      Podrobněji: https://is.muni.cz/publication/1423341/cs

    2016

    1. On a Fragment of AMSO and Tiling Systems
      BLUMENSATH, Achim, Thomas COLCOMBET a Pawel PARYS. On a Fragment of AMSO and Tiling Systems. Online. In Nicolas Ollinger, Heribert Vollmer. 33rd Symposium on Theoretical Aspects of Computer Science, STACS 2016, February 17-20, 2016, Orleans, France. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, s. 1-14. ISBN 978-3-95977-001-9. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.STACS.2016.19.
      RIV/00216224:14330/16:00088529 Stať ve sborníku. Informatika. angličtina. Německo.
      Blumensath, Achim (276 Německo, garant, domácí) -- Colcombet, Thomas (250 Francie) -- Parys, Pawel (616 Polsko)
      Klíčová slova anglicky: monadic second-order logic; boundedness; tiling problems
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:19.
      Podrobněji: https://is.muni.cz/publication/1367137/cs
Zobrazeno: 7. 11. 2024 22:00