Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2024

    1. Fizzer: New Gray-Box Fuzzer
      JONÁŠ, Martin, Jan STREJČEK, Marek TRTÍK a Lukáš URBAN. Fizzer: New Gray-Box Fuzzer. Online. In Dirk Beyer and Ana Cavalcanti. Fundamental Approaches to Software Engineering - 27th International Conference, FASE 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. Cham (Švýcarsko): Springer, 2024, s. 309-313. ISBN 978-3-031-57258-6. Dostupné z: https://dx.doi.org/10.1007/978-3-031-57259-3_17.
      URL
      RIV: Stať ve sborníku. angličtina. Německo.
      Jonáš, Martin (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Trtík, Marek (203 Česká republika, domácí) -- Urban, Lukáš (703 Slovensko, domácí)
      Klíčová slova anglicky: fuzzing; test generation; atomic Boolean expression; Fizzer
      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: 24. 4. 2024 13:49.
      Podrobněji: https://is.muni.cz/publication/2396652/cs
    2. Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage
      JONÁŠ, Martin, Jan STREJČEK, Marek TRTÍK a Lukáš URBAN. Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage. Online. In Bernd Finkbeiner and Laura Kovács. Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 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 III. Cham (Švýcarsko): Springer, 2024, s. 90-109. ISBN 978-3-031-57255-5. Dostupné z: https://dx.doi.org/10.1007/978-3-031-57256-2_5.
      URL
      RIV: Stať ve sborníku. angličtina. Německo.
      Jonáš, Martin (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Trtík, Marek (203 Česká republika, domácí) -- Urban, Lukáš (703 Slovensko, domácí)
      Klíčová slova anglicky: fuzzing; test generation; atomic Boolean expression; Fizzer
      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: 24. 4. 2024 13:33.
      Podrobněji: https://is.muni.cz/publication/2396438/cs
    3. Software Verification Witnesses 2.0
      AYAZIOVÁ, Paulína, Dirk BEYER, Marian LINGSCH-ROSENFELD, Martin SPIESSL a Jan STREJČEK. Software Verification Witnesses 2.0. Online. In Thomas Neele and Anton Wijs. Model Checking Software - 30th International Symposium, SPIN 2024. Cham (Švýcarsko): Springer, 2024, s. 184-204.
      angličtina. Německo.
      Klíčová slova anglicky: verification witnesses; software verification; validation; exchange format; invariant; counterexample
      Druh sborníku: postkonferenč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: 26. 8. 2024 14:52.
      Podrobněji: https://is.muni.cz/publication/2425639/cs
    4. Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution
      JONÁŠ, Martin, Kristián KUMOR, Jakub NOVÁK, Jindřich SEDLÁČEK, Marek TRTÍK, Lukáš ZAORAL, Paulína AYAZIOVÁ a Jan STREJČEK. Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution. Online. In Bernd Finkbeiner and Laura Kovács. Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 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 III. Cham (Švýcarsko): Springer, 2024, s. 406-411. ISBN 978-3-031-57255-5. Dostupné z: https://dx.doi.org/10.1007/978-3-031-57256-2_29.
      URL
      RIV: Stať ve sborníku. angličtina. Německo.
      Jonáš, Martin (203 Česká republika, garant, domácí) -- Kumor, Kristián (703 Slovensko, domácí) -- Novák, Jakub (703 Slovensko, domácí) -- Sedláček, Jindřich (203 Česká republika, domácí) -- Trtík, Marek (203 Česká republika, domácí) -- Zaoral, Lukáš (203 Česká republika) -- Ayaziová, Paulína (703 Slovensko, domácí) -- Strejček, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: symbolic execution; software verification; Symbiotic
      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: 24. 4. 2024 13:32.
      Podrobněji: https://is.muni.cz/publication/2396645/cs
    5. 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: 23. 4. 2024 18:31.
      Podrobněji: https://is.muni.cz/publication/2396421/cs
    6. Witch 3: Validation of Violation Witnesses in the Witness Format 2.0
      AYAZIOVÁ, Paulína a Jan STREJČEK. Witch 3: Validation of Violation Witnesses in the Witness Format 2.0. Online. In Bernd Finkbeiner and Laura Kovács. Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 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 III. Cham (Švýcarsko): Springer, 2024, s. 341-346. ISBN 978-3-031-57255-5. Dostupné z: https://dx.doi.org/10.1007/978-3-031-57256-2_18.
      URL
      RIV: Stať ve sborníku. angličtina. Německo.
      Ayaziová, Paulína (703 Slovensko, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Witch;witness-validator;SV-COMP;verification witness
      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: 23. 4. 2024 18:51.
      Podrobněji: https://is.muni.cz/publication/2396437/cs

    2023

    1. Recognizing H-Graphs - Beyond Circular-Arc Graphs
      AGAOGLU CAGIRICI, Deniz, Onur CAGIRICI, Jan DERBISZ, Tim HARTMANN, Petr HLINĚNÝ, Jan KRATOCHVÍL, Tomasz KRAWCZYK a Peter ZEMAN. Recognizing H-Graphs - Beyond Circular-Arc Graphs. Online. In Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David. 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023). Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik, 2023, s. "8:1"-"8:14", 14 s. ISBN 978-3-95977-292-1. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.MFCS.2023.8.
      RIV/00216224:14330/23:00131122 Stať ve sborníku. angličtina. Německo.
      Agaoglu Cagirici, Deniz (792 Turecko, domácí) -- Cagirici, Onur (792 Turecko) -- Derbisz, Jan (616 Polsko) -- Hartmann, Tim (276 Německo) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Kratochvíl, Jan (203 Česká republika) -- Krawczyk, Tomasz (616 Polsko) -- Zeman, Peter (703 Slovensko)
      Klíčová slova anglicky: H-graphs; Intersection Graphs; Helly Property
      Druh sborníku: předkonferenční sborník
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 7. 4. 2024 23:06.
      Podrobněji: https://is.muni.cz/publication/2294854/cs
    2. 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
    3. Stack and Queue Numbers of Graphs Revisited
      HLINĚNÝ, Petr a Adam STRAKA. Stack and Queue Numbers of Graphs Revisited. Online. In European Conference on Combinatorics, Graph Theory and Applications EUROCOMB’23. Brno, Czech Republic: MUNI Press, 2023, s. 601-606. ISSN 2788-3116. Dostupné z: https://dx.doi.org/10.5817/CZ.MUNI.EUROCOMB23-083.
      RIV/00216224:14330/23:00131121 Stať ve sborníku. angličtina. Česká republika.
      Hliněný, Petr (203 Česká republika, garant, domácí) -- Straka, Adam (703 Slovensko, domácí)
      Klíčová slova anglicky: linear layout; stack number; queue number
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 22. 3. 2024 07:59.
      Podrobněji: https://is.muni.cz/publication/2294852/cs
    4. Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation
      AYAZIOVÁ, Paulína a Jan STREJČEK. Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation. Online. In Sriram Sankaranarayanan and Natasha Sharygina. Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II. Cham (Švýcarsko): Springer, Cham, 2023, s. 523-528. ISBN 978-3-031-30819-2. Dostupné z: https://dx.doi.org/10.1007/978-3-031-30820-8_30.
      URL
      RIV/00216224:14330/23:00131936 Stať ve sborníku. angličtina. Švýcarsko.
      Ayaziová, Paulína (703 Slovensko, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Witch;witness-validator;SV-COMP;verification witness
      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: 7. 4. 2024 23:35.
      Podrobněji: https://is.muni.cz/publication/2326763/cs
    5. Twin-width of Planar Graphs is at most 8, and at most 6 when Bipartite Planar
      HLINĚNÝ, Petr a Jan JEDELSKÝ. Twin-width of Planar Graphs is at most 8, and at most 6 when Bipartite Planar. Online. In Etessami, Kousha and Feige, Uriel and Puppis, Gabriele. 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023). Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik, 2023, s. "75:1"-"75:18", 18 s. ISBN 978-3-95977-278-5. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.ICALP.2023.75.
      RIV/00216224:14330/23:00131119 Stať ve sborníku. angličtina. Německo.
      Hliněný, Petr (203 Česká republika, garant, domácí) -- Jedelský, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: twin-width; planar graph
      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: 7. 4. 2024 23:06.
      Podrobněji: https://is.muni.cz/publication/2294838/cs

    2022

    1. Case Study on Verification-Witness Validators: Where We Are and Where We Go
      BEYER, Dirk a Jan STREJČEK. Case Study on Verification-Witness Validators: Where We Are and Where We Go. Online. In Gagandeep Singh, Caterina Urban. Static Analysis - 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings. Cham (Switzerland): Springer, 2022, s. 160-174. ISBN 978-3-031-22307-5. Dostupné z: https://dx.doi.org/10.1007/978-3-031-22308-2_8.
      URL
      RIV/00216224:14330/22:00127777 Stať ve sborníku. angličtina. Švýcarsko.
      Beyer, Dirk (276 Německo) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: software verification;program analysis;software validation;software bugs;verification witnesses;evaluation;benchmarking
      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. 3. 2023 12:08.
      Podrobněji: https://is.muni.cz/publication/2244108/cs
    2. General Optimization Framework for Recurrent Reachability Objectives
      KLAŠKA, David, Antonín KUČERA, Vít MUSIL a Vojtěch ŘEHÁK. General Optimization Framework for Recurrent Reachability Objectives. Online. In Luc De Raedt. Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022. Neuveden: ijcai.org, 2022, s. 4642-4648. ISBN 978-1-956792-00-3. Dostupné z: https://dx.doi.org/10.24963/ijcai.2022/644.
      Paper URL
      RIV/00216224:14330/22:00126564 Stať ve sborníku. angličtina.
      Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Musil, Vít (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: recurrent reachability objectives; strategy synthesis
      Druh sborníku: postkonferenč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. 3. 2023 11:54.
      Podrobněji: https://is.muni.cz/publication/2214541/cs
    3. Graph Product Structure for h-Framed Graphs
      BEKOS, Michael A., Giordano DA LOZZO, Petr HLINĚNÝ a Michael KAUFMANN. Graph Product Structure for h-Framed Graphs. Online. In Bae, Sang Won and Park, Heejin. 33rd International Symposium on Algorithms and Computation (ISAAC 2022). LIPIcs 248. Dagstuhl, Germany: Schloss Dagstuhl, 2022, s. "23:1"-"23:15", 15 s. ISBN 978-3-95977-258-7. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.ISAAC.2022.23.
      DOI open access
      RIV/00216224:14330/22:00129307 Stať ve sborníku. angličtina. Německo.
      Bekos, Michael A. (300 Řecko) -- Da Lozzo, Giordano (380 Itálie) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Kaufmann, Michael (276 Německo)
      Klíčová slova anglicky: Graph product structure theory; h-framed graphs; k-map graphs; queue number; twin-width
      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. 3. 2023 12:07.
      Podrobněji: https://is.muni.cz/publication/2244009/cs
    4. Isomorphism Testing for T-graphs in FPT
      AGAOGLU CAGIRICI, Deniz a Petr HLINĚNÝ. Isomorphism Testing for T-graphs in FPT. In Mutzel, P., Rahman, M.S., Slamin. WALCOM: Algorithms and Computation. LNCS 13174. Cham: Springer, Cham, 2022, s. 239-250. ISBN 978-3-030-96730-7. Dostupné z: https://dx.doi.org/10.1007/978-3-030-96731-4_20.
      Název anglicky: Isomorphism Testing for T-graphs in FPT
      RIV/00216224:14330/22:00125687 Stať ve sborníku. angličtina. Švýcarsko.
      Agaoglu Cagirici, Deniz (792 Turecko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: chordal graph · H-graph · leafage · graph isomorphism · parameterized complexity
      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. 3. 2023 10:38.
      Podrobněji: https://is.muni.cz/publication/1848138/cs
    5. Minimizing Expected Intrusion Detection Time in Adversarial Patrolling
      KLAŠKA, David, Antonín KUČERA, Vít MUSIL a Vojtěch ŘEHÁK. Minimizing Expected Intrusion Detection Time in Adversarial Patrolling. Online. In Piotr Faliszewski, Viviana Mascardi, Catherine Pelachaud, Matthew E. Taylor. 21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022. Neuveden: International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2022, s. 1660-1662. ISBN 978-1-4503-9213-6. Dostupné z: https://dx.doi.org/10.5555/3535850.3536068.
      Paper URL
      RIV/00216224:14330/22:00126563 Stať ve sborníku. angličtina. Spojené státy.
      Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Musil, Vít (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: Security Games; Adversarial Patrolling
      Druh sborníku: postkonferenč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. 3. 2023 11:53.
      Podrobněji: https://is.muni.cz/publication/2214539/cs
    6. On-the-fly Adaptation of Patrolling Strategies in Changing Environments
      BRÁZDIL, Tomáš, David KLAŠKA, Antonín KUČERA, Vít MUSIL, Petr NOVOTNÝ a Vojtěch ŘEHÁK. On-the-fly Adaptation of Patrolling Strategies in Changing Environments. Online. In James Cussens, Kun Zhang. Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, UAI 2022. Neuveden: Proceedings of Machine Learning Research, 2022, s. 244-254. ISBN 978-1-7138-6329-8.
      Paper URL
      RIV/00216224:14330/22:00127027 Stať ve sborníku. angličtina.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Musil, Vít (203 Česká republika, domácí) -- Novotný, Petr (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: patrolling games; strategy synthesis
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 28. 8. 2024 10:23.
      Podrobněji: https://is.muni.cz/publication/2227363/cs
    7. Parameterised Partially-Predrawn Crossing Number
      HAMM, Thekla a Petr HLINĚNÝ. Parameterised Partially-Predrawn Crossing Number. Online. In Goaoc, Xavier and Kerber, Michael. 38th International Symposium on Computational Geometry (SoCG 2022). LIPIcs Vol. 224. Dagstuhl, Germany: Schloss Dagstuhl, 2022, s. "46:1"-"46:15", 15 s. ISBN 978-3-95977-227-3. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.SoCG.2022.46.
      DOI open access
      RIV/00216224:14330/22:00129306 Stať ve sborníku. angličtina. Německo.
      Hamm, Thekla (276 Německo) -- Hliněný, Petr (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Crossing Number; Drawing Extension; Parameterised Complexity; Partial Planarity
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 6. 1. 2023 11:16.
      Podrobněji: https://is.muni.cz/publication/2243997/cs
    8. Twin-Width and Transductions of Proper k-Mixed-Thin Graphs
      BALABÁN, Jakub, Petr HLINĚNÝ a Jan JEDELSKÝ. Twin-Width and Transductions of Proper k-Mixed-Thin Graphs. In Michael A. Bekos and Michael Kaufmann. WG 2022: Graph-Theoretic Concepts in Computer Science. LNCS 13453. Cham: Springer Nature, 2022, s. 43-55. ISBN 978-3-031-15913-8. Dostupné z: https://dx.doi.org/10.1007/978-3-031-15914-5_4.
      URL URL
      RIV/00216224:14330/22:00127036 Stať ve sborníku. angličtina. Švýcarsko.
      Balabán, Jakub (203 Česká republika, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Jedelský, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: twin-width;proper interval graph;proper mixed-thin graph;transduction equivalence
      Druh sborníku: postkonferenč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. 3. 2023 12:02.
      Podrobněji: https://is.muni.cz/publication/2227560/cs

    2021

    1. A Short Proof of Euler–Poincaré Formula
      HLINĚNÝ, Petr. A Short Proof of Euler–Poincaré Formula. In Nešetřil J., Perarnau G., Rué J., Serra O. Extended Abstracts EuroComb 2021. Trends in Mathematics. Cham: Birkhäuser, 2021, s. 92-96. ISBN 978-3-030-83822-5. Dostupné z: https://dx.doi.org/10.1007/978-3-030-83823-2_15.
      URL
      RIV/00216224:14330/21:00119291 Stať ve sborníku. angličtina. Švýcarsko.
      Hliněný, Petr (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Euler–Poincaré formula; Polytopes; Discharging
      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. 2022 10:05.
      Podrobněji: https://is.muni.cz/publication/1799159/cs
    2. Computational Complexity of Covering Multigraphs with Semi-Edges: Small Cases
      BOK, Jan, Jiří FIALA, Petr HLINĚNÝ, Nikola JEDLIČKOVÁ a Jan KRATOCHVÍL. Computational Complexity of Covering Multigraphs with Semi-Edges: Small Cases. Online. In Bonchi, Filippo and Puglisi, Simon J. 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021). Dagstuhl: Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik, 2021, s. "21:1"-"21:15", 15 s. ISBN 978-3-95977-201-3. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.MFCS.2021.21.
      URL
      RIV/00216224:14330/21:00119288 Stať ve sborníku. angličtina. Německo.
      Bok, Jan (203 Česká republika) -- Fiala, Jiří (203 Česká republika) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Jedličková, Nikola (203 Česká republika) -- Kratochvíl, Jan (203 Česká republika)
      Klíčová slova anglicky: graph cover; covering projection; semiedges; multigraphs; complexity
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 19. 4. 2022 10:10.
      Podrobněji: https://is.muni.cz/publication/1799075/cs
    3. On 13-Crossing-Critical Graphs with Arbitrarily Large Degrees
      HLINĚNÝ, Petr a Michal KORBELA. On 13-Crossing-Critical Graphs with Arbitrarily Large Degrees. In Nešetřil J., Perarnau G., Rué J., Serra O. Extended Abstracts EuroComb 2021. Trends in Mathematics. Cham: Birkhäuser, 2021, s. 50-56. ISBN 978-3-030-83822-5. Dostupné z: https://dx.doi.org/10.1007/978-3-030-83823-2_9.
      URL
      RIV/00216224:14330/21:00119292 Stať ve sborníku. angličtina. Švýcarsko.
      Hliněný, Petr (203 Česká republika, garant, domácí) -- Korbela, Michal (703 Slovensko, domácí)
      Klíčová slova anglicky: Graph; Crossing number; Crossing-critical families
      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. 2022 10:05.
      Podrobněji: https://is.muni.cz/publication/1799163/cs
    4. Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games
      KLAŠKA, David, Antonín KUČERA, Vojtěch ŘEHÁK a Vít MUSIL. Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games. Online. In de Campos, Cassio and Maathuis, Marloes H. Proceedings of 37th Conference on Uncertainty in Artificial Intelligence (UAI 2021). Neuveden: AUAI Press, 2021, s. 471-481. ISSN 2640-3498.
      URL
      RIV/00216224:14330/21:00122557 Stať ve sborníku. angličtina.
      Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí) -- Musil, Vít (203 Česká republika, domácí)
      Klíčová slova anglicky: adversarial security games; strategy synthesis
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 14. 3. 2023 16:08.
      Podrobněji: https://is.muni.cz/publication/1797259/cs
    5. Twin-Width is Linear in the Poset Width
      BALABÁN, Jakub a Petr HLINĚNÝ. Twin-Width is Linear in the Poset Width. Online. In Golovach, Petr A. and Zehavi, Meirav. International Symposium on Parameterized and Exact Computation (IPEC). 214. vyd. Dagstuhl: Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik, 2021, s. "6:1"-"6:13", 13 s. ISBN 978-3-95977-216-7. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.IPEC.2021.6.
      URL
      RIV/00216224:14330/21:00119289 Stať ve sborníku. angličtina. Německo.
      Balabán, Jakub (203 Česká republika, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: twin-width; digraph; poset; FO model checking; contraction sequence
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 19. 4. 2022 10:03.
      Podrobněji: https://is.muni.cz/publication/1799080/cs

    2020

    1. Adversarial Patrolling with Drones
      KLAŠKA, David, Antonín KUČERA a Vojtěch ŘEHÁK. Adversarial Patrolling with Drones. Online. In Proceedings of the 2020 International Conference on Autonomous Agents & Multiagent Systems. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, 2020, s. 629-637. ISBN 978-1-4503-7518-4. Dostupné z: https://dx.doi.org/10.5555/3398761.3398837.
      RIV/00216224:14330/20:00114048 Stať ve sborníku. angličtina.
      Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Single and multi-agent planning and scheduling; patrolling
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 30. 4. 2021 07:54.
      Podrobněji: https://is.muni.cz/publication/1618996/cs
    2. Clique-Width of Point Configurations
      CAGIRICI, Onur, Petr HLINĚNÝ, Filip POKRÝVKA a Abhisekh SANKARAN. Clique-Width of Point Configurations. In Graph-Theoretic Concepts in Computer Science, WG 2020. Cham: Springer, Lecture Notes in Computer Science, 2020, s. 54-66. ISBN 978-3-030-60439-4. Dostupné z: https://dx.doi.org/10.1007/978-3-030-60440-0_5.
      open access preprint URL
      RIV/00216224:14330/20:00114292 Stať ve sborníku. angličtina. Německo.
      Cagirici, Onur (792 Turecko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Pokrývka, Filip (703 Slovensko, domácí) -- Sankaran, Abhisekh (356 Indie)
      Klíčová slova anglicky: point configuration; order type; fixed-parameter tractability; relational structure; clique-width
      Druh sborníku: postkonferenční sborník
      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:20.
      Podrobněji: https://is.muni.cz/publication/1676037/cs
    3. Isomorphism Problem for Sd-Graphs
      AGAOGLU, Deniz a Petr HLINĚNÝ. Isomorphism Problem for Sd-Graphs. Online. In Javier Esparza and Daniel Kral. 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik, 2020, s. "4:1"-"4:14", 14 s. ISBN 978-3-95977-159-7. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.MFCS.2020.4.
      RIV/00216224:14330/20:00114291 Stať ve sborníku. angličtina. Německo.
      Agaoglu, Deniz (792 Turecko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: intersection graph; isomorphism testing; interval graph; H-graph
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 14. 4. 2021 22:16.
      Podrobněji: https://is.muni.cz/publication/1676036/cs
    4. Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization
      BLAHOUDEK, František, Alexandre DURET-LUTZ a Jan STREJČEK. Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization. Online. In Shuvendu K. Lahiri and Chao Wang. Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II. Cham (Switzerland): Springer, 2020, s. 15-27. ISBN 978-3-030-53290-1. Dostupné z: https://dx.doi.org/10.1007/978-3-030-53291-8_2.
      URL
      RIV/00216224:14330/20:00114393 Stať ve sborníku. angličtina. Švýcarsko.
      Blahoudek, František (203 Česká republika) -- Duret-Lutz, Alexandre (250 Francie) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: semi-determinization; complementation; generalized Büchi automata; Seminator
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2021 08:10.
      Podrobněji: https://is.muni.cz/publication/1686896/cs
    5. Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions
      JONÁŠ, Martin a Jan STREJČEK. Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions. Online. In Luca Pulina and Martina Seidl. Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings. Cham (Switzerland): Springer, 2020, s. 378-393. ISBN 978-3-030-51824-0. Dostupné z: https://dx.doi.org/10.1007/978-3-030-51825-7_27.
      URL
      RIV/00216224:14330/20:00114392 Stať ve sborníku. angličtina. Švýcarsko.
      Jonáš, Martin (203 Česká republika) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: SMT solving; bit-vector logic; Boolector; Q3B
      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: 29. 4. 2021 12:29.
      Podrobněji: https://is.muni.cz/publication/1686869/cs
    6. Symbiotic 7: Integration of Predator and More (Competition Contribution)
      CHALUPA, Marek, Tomáš JAŠEK, Lukáš TOMOVIČ, Martin HRUŠKA, Veronika ŠOKOVÁ, Paulína AYAZIOVÁ, Jan STREJČEK a Tomáš VOJNAR. Symbiotic 7: Integration of Predator and More (Competition Contribution). In Armin Biere, David Parker. Tools and Algorithms for the Construction and Analysis of Systems. Německo: Springer, 2020, s. 413-417. ISBN 978-3-030-45236-0. Dostupné z: https://dx.doi.org/10.1007/978-3-030-45237-7_31.
      URL
      Název anglicky: Symbiotic 7: Integration of Predator and More (Competition Contribution)
      RIV/00216224:14330/20:00114113 Stať ve sborníku. angličtina. Německo.
      Chalupa, Marek (203 Česká republika, garant, domácí) -- Jašek, Tomáš (703 Slovensko, domácí) -- Tomovič, Lukáš (703 Slovensko, domácí) -- Ayaziová, Paulína (703 Slovensko, domácí) -- Strejček, Jan (203 Česká republika, domácí) -- Vojnar, Tomáš (203 Česká republika)
      Klíčová slova anglicky: Symbiotic;Predator;Program Slicing;Termination Analysis;Shape Analysis;Symbolic Execution
      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:25.
      Podrobněji: https://is.muni.cz/publication/1649136/cs

    2019

    1. Bounded degree conjecture holds precisely for c-crossing-critical graphs with c<=12
      BOKAL, Drago, Zdeněk DVOŘÁK, Petr HLINĚNÝ, Jesus LEANOS, Bojan MOHAR a Tilo WIEDERA. Bounded degree conjecture holds precisely for c-crossing-critical graphs with c<=12. Online. In 35th International Symposium on Computational Geometry, SoCG 2019. Dagstuhl: Leibniz International Proceedings in Informatics, LIPIcs, 2019, s. "14:1"-"14:15", 15 s. ISBN 978-3-95977-104-7. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.SoCG.2019.14.
      open access
      RIV/00216224:14330/19:00108275 Stať ve sborníku. angličtina. Spojené státy.
      Bokal, Drago (705 Slovinsko) -- Dvořák, Zdeněk (203 Česká republika) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Leanos, Jesus (484 Mexiko) -- Mohar, Bojan (705 Slovinsko) -- Wiedera, Tilo (276 Německo)
      Klíčová slova anglicky: Crossing number; Crossing-critical; Exhaustive generation; Path-width
      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: 14. 6. 2022 12:11.
      Podrobněji: https://is.muni.cz/publication/1646176/cs
    2. Evaluation of Program Slicing in Software Verification
      CHALUPA, Marek a Jan STREJČEK. Evaluation of Program Slicing in Software Verification. In Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa. Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings. Cham (Switzerland): Springer, 2019, s. 101-119. ISBN 978-3-030-34967-7. Dostupné z: https://dx.doi.org/10.1007/978-3-030-34968-4_6.
      URL
      RIV/00216224:14330/19:00107773 Stať ve sborníku. angličtina. Švýcarsko.
      Chalupa, Marek (203 Česká republika, garant, domácí) -- Strejček, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: program analysis; static program slicing; verification
      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: 8. 1. 2020 10:45.
      Podrobněji: https://is.muni.cz/publication/1577619/cs
    3. Exact Crossing Number Parameterized by Vertex Cover
      HLINĚNÝ, Petr a Abhisekh SANKARAN. Exact Crossing Number Parameterized by Vertex Cover. In GD 2019: Graph Drawing and Network Visualization. Cham: Springer, Lecture Notes in Computer Science, volume 11904, 2019, s. 307-319. ISBN 978-3-030-35801-3. Dostupné z: https://dx.doi.org/10.1007/978-3-030-35802-0_24.
      URL open access preprint
      RIV/00216224:14330/19:00108274 Stať ve sborníku. angličtina. Švýcarsko.
      Hliněný, Petr (203 Česká republika, garant, domácí) -- Sankaran, Abhisekh (356 Indie)
      Klíčová slova anglicky: Graph drawing; Crossing number; Parameterized complexity; Vertex cover
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 14. 4. 2021 21:46.
      Podrobněji: https://is.muni.cz/publication/1646079/cs
    4. Generic Emptiness Check for Fun and Profit
      BAIER, Christel, František BLAHOUDEK, Alexandre DURET-LUTZ, Joachim KLEIN, David MÜLLER a Jan STREJČEK. Generic Emptiness Check for Fun and Profit. 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. 445-461. ISBN 978-3-030-31783-6. Dostupné z: https://dx.doi.org/10.1007/978-3-030-31784-3_26.
      URL
      RIV/00216224:14330/19:00107786 Stať ve sborníku. angličtina. Švýcarsko.
      Baier, Christel (276 Německo) -- Blahoudek, František (203 Česká republika) -- Duret-Lutz, Alexandre (756 Švýcarsko) -- Klein, Joachim (276 Německo) -- Müller, David (276 Německo) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: TELA; Emerson-Lei automata; emptiness check; probabilistic model checking
      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 11:04.
      Podrobněji: https://is.muni.cz/publication/1579475/cs
    5. 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
    6. 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
    7. On conflict-free chromatic guarding of simple polygons
      CAGIRICI, Onur, Subir GHOSH, Petr HLINĚNÝ a Bodhayan ROY. On conflict-free chromatic guarding of simple polygons. Online. In 13th Annual International Conference on Combinatorial Optimization and Applications (COCOA'19). Cham: Springer, Lecture Notes in Computer Science, volume 11949, 2019, s. 601-612. ISBN 978-3-030-36411-3. Dostupné z: https://dx.doi.org/10.1007/978-3-030-36412-0_49.
      URL
      RIV/00216224:14330/19:00107778 Stať ve sborníku. angličtina. Německo.
      Cagirici, Onur (792 Turecko, domácí) -- Ghosh, Subir (356 Indie) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Roy, Bodhayan (356 Indie)
      Klíčová slova anglicky: polygon visibility graph; graph coloring; polygon guarding
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 14. 4. 2021 21:33.
      Podrobněji: https://is.muni.cz/publication/1578018/cs
    8. On the achievable average degrees in 2-crossing-critical graphs
      HLINĚNÝ, Petr a Michal KORBELA. On the achievable average degrees in 2-crossing-critical graphs. Acta Math. Univ. Comenianae. 2019, roč. 88, č. 3, s. 787-793. ISSN 0231-6986.
      URL
      RIV/00216224:14330/19:00112160 Článek v odborném periodiku. angličtina. Slovensko.
      Hliněný, Petr (203 Česká republika, garant, domácí) -- Korbela, Michal (703 Slovensko, domácí)
      Klíčová slova anglicky: graph; crossing number; crossing-critical
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 6. 5. 2020 17:14.
      Podrobněji: https://is.muni.cz/publication/1600841/cs
    9. Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors
      JONÁŠ, Martin a Jan STREJČEK. Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors. Online. In Isil Dillig, Serdar Tasiran. CAV 2019: Computer Aided Verification. Cham (Switzerland): Springer, 2019, s. 64-73. ISBN 978-3-030-25542-8. Dostupné z: https://dx.doi.org/10.1007/978-3-030-25543-5_4.
      URL
      RIV/00216224:14330/19:00107610 Stať ve sborníku. angličtina. Švýcarsko.
      Jonáš, Martin (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: satisfiability; satisfiability modulo theories; bit-vectors; quantifiers; tool
      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 07:44.
      Podrobněji: https://is.muni.cz/publication/1552339/cs
    10. Shrub-depth: Capturing Height of Dense Graphs
      GANIAN, Robert, Petr HLINĚNÝ, Jaroslav NEŠETŘIL, Jan OBDRŽÁLEK a Patrice OSSONA DE MENDEZ. Shrub-depth: Capturing Height of Dense Graphs. Logical Methods in Computer Science. BRAUNSCHWEIG: LOGICAL METHODS COMPUTER SCIENCE E V, 2019, roč. 15, č. 1, s. "7:1"-"7:25", 25 s. ISSN 1860-5974. Dostupné z: https://dx.doi.org/10.23638/LMCS-15(1:7)2019.
      URL
      RIV/00216224:14330/19:00108273 Článek v odborném periodiku. angličtina. Německo.
      Ganian, Robert (203 Česká republika) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Nešetřil, Jaroslav (203 Česká republika) -- Obdržálek, Jan (203 Česká republika, domácí) -- Ossona de Mendez, Patrice (250 Francie)
      Klíčová slova anglicky: tree-depth; clique-width; shrub-depth; MSO logic; transduction
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 16. 4. 2020 09:41.
      Podrobněji: https://is.muni.cz/publication/1646045/cs

    2018

    1. Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers
      JONÁŠ, Martin a Jan STREJČEK. Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers. In Bernd Fischer, Tarmo Uustalu. Theoretical Aspects of Computing – ICTAC 2018. Cham (Switzerland): Springer, 2018, s. 273-291. ISBN 978-3-030-02507-6. Dostupné z: https://dx.doi.org/10.1007/978-3-030-02508-3_15.
      URL
      RIV/00216224:14330/18:00101330 Stať ve sborníku. angličtina. Švýcarsko.
      Jonáš, Martin (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: satisfiability modulo theories; binary decision diagrams; abstractions; bit-vectors
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2019 15:23.
      Podrobněji: https://is.muni.cz/publication/1463058/cs
    2. Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games
      KLAŠKA, David, Antonín KUČERA, Tomáš LAMSER a Vojtěch ŘEHÁK. Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games. Online. In Proceedings of the 2018 International Conference on Autonomous Agents & Multiagent Systems. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, 2018, s. 659-666. ISBN 978-1-5108-6808-3. Dostupné z: https://dx.doi.org/10.5555/3237383.3237481.
      URL
      RIV/00216224:14330/18:00100830 Stať ve sborníku. angličtina.
      Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, domácí) -- Lamser, Tomáš (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: patrolling games; single and multi-agent planning and scheduling
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 24. 9. 2019 15:31.
      Podrobněji: https://is.muni.cz/publication/1408461/cs
    3. FO model checking of geometric graphs
      HLINĚNÝ, Petr, Filip POKRÝVKA a Bodhayan ROY. FO model checking of geometric graphs. Online. In 12th International Symposium on Parameterized and Exact Computation (IPEC 2017). LIPIcs 89. Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2018, s. "19:1"-"19:12", 12 s. ISBN 978-3-95977-051-4. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.IPEC.2017.19.
      RIV/00216224:14330/18:00100734 Stať ve sborníku. Informatika. angličtina. Německo.
      Hliněný, Petr (203 Česká republika, garant, domácí) -- Pokrývka, Filip (703 Slovensko, domácí) -- Roy, Bodhayan (356 Indie, domácí)
      Klíčová slova anglicky: first-order logic; model checking; fixed-parameter tractability; intersection graphs; visibility graphs
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 6. 2022 12:12.
      Podrobněji: https://is.muni.cz/publication/1392993/cs
    4. Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes?
      JONÁŠ, Martin a Jan STREJČEK. Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes?. Online. In Gilles Barthe, Geoff Sutcliffe, Margus Veanes. LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Neuveden: EasyChair, 2018, s. 488-497. ISSN 2398-7340. Dostupné z: https://dx.doi.org/10.29007/spnx.
      URL
      RIV/00216224:14330/18:00101333 Stať ve sborníku. angličtina. Velká Británie a Severní Irsko.
      Jonáš, Martin (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: satisfiability modulo theories; quantified bit-vectors; bit-width; experimental evaluation
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 31. 5. 2022 14:22.
      Podrobněji: https://is.muni.cz/publication/1464757/cs
    5. Joint Forces for Memory Safety Checking
      CHALUPA, Marek, Jan STREJČEK a Martina VITOVSKÁ. Joint Forces for Memory Safety Checking. In María-del-Mar Gallardo and Pedro Merino. Model Checking Software. SPIN 2018. Cham, Švýcarsko: Springer, 2018, s. 115-132. ISBN 978-3-319-94110-3. Dostupné z: https://dx.doi.org/10.1007/978-3-319-94111-0_7.
      RIV/00216224:14330/18:00101043 Stať ve sborníku. angličtina. Německo.
      Chalupa, Marek (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Vitovská, Martina (203 Česká republika, domácí)
      Klíčová slova anglicky: program analysis; program verification; memory safety
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2019 15:39.
      Podrobněji: https://is.muni.cz/publication/1423063/cs
    6. On Colourability of Polygon Visibility Graphs
      CAGIRICI, Onur, Petr HLINĚNÝ a Bodhayan ROY. On Colourability of Polygon Visibility Graphs. Online. In 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017). LIPIcs 93. Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2018, s. "21:1"-"21:14", 14 s. ISBN 978-3-95977-055-2. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.FSTTCS.2017.21.
      RIV/00216224:14330/18:00100735 Stať ve sborníku. Informatika. angličtina. Německo.
      Cagirici, Onur (792 Turecko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Roy, Bodhayan (356 Indie, domácí)
      Klíčová slova anglicky: polygon visibility graph; graph coloring; NP-completeness
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 6. 2022 12:06.
      Podrobněji: https://is.muni.cz/publication/1393010/cs
    7. Solving Patrolling Problems in the Internet Environment
      BRÁZDIL, Tomáš, Antonín KUČERA a Vojtěch ŘEHÁK. Solving Patrolling Problems in the Internet Environment. Online. In Jerome Lang. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden. Neuveden: International Joint Conferences on Artificial Intelligence, 2018, s. 121-127. ISBN 978-0-9992411-2-7. Dostupné z: https://dx.doi.org/10.24963/ijcai.2018/17.
      IJCAI.org
      RIV/00216224:14330/18:00101076 Stať ve sborníku. angličtina. Švédsko.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: patrolling games; strategy synthesis
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 16. 5. 2022 15:36.
      Podrobněji: https://is.muni.cz/publication/1423781/cs
    8. Structure and generation of crossing-critical graphs
      DVOŘÁK, Zdeněk, Petr HLINĚNÝ a Bojan MOHAR. Structure and generation of crossing-critical graphs. Online. In 34th International Symposium on Computational Geometry, SoCG 2018. Dagstuhl: Leibniz International Proceedings in Informatics, LIPIcs, 2018, s. "33:1"-"33:14", 14 s. ISBN 978-3-95977-066-8. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.SoCG.2018.33.
      RIV/00216224:14330/18:00101458 Stať ve sborníku. angličtina. Spojené státy.
      Dvořák, Zdeněk (203 Česká republika) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Mohar, Bojan (705 Slovinsko)
      Klíčová slova anglicky: Crossing number; Crossing-critical; Exhaustive generation; Path-width
      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: 14. 6. 2022 12:11.
      Podrobněji: https://is.muni.cz/publication/1480303/cs
    9. Symbiotic 5: Boosted Instrumentation (Competition Contribution)
      CHALUPA, Marek, Martina VITOVSKÁ a Jan STREJČEK. Symbiotic 5: Boosted Instrumentation (Competition Contribution). In Dirk Beyer and Marieke Huisman. Tools and Algorithms for the Construction and Analysis of Systems, 24th International Conference, Proceedings, Part II. Berlin: Springer, 2018, s. 442-446. ISBN 978-3-319-89963-3. Dostupné z: https://dx.doi.org/10.1007/978-3-319-89963-3_29.
      RIV/00216224:14330/18:00100910 Stať ve sborníku. angličtina. Německo.
      Chalupa, Marek (203 Česká republika, domácí) -- Vitovská, Martina (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Symbiotic; program analysis; program verification; SV-COMP 2018
      Druh sborníku: postkonferenč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: 28. 9. 2019 14:33.
      Podrobněji: https://is.muni.cz/publication/1415064/cs

    2017

    1. Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms
      BAIER, Christel, Clemens DUBSLAFF, Ľuboš KORENČIAK, Antonín KUČERA a Vojtěch ŘEHÁK. Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms. In Nathalie Bertrand, Luca Bortolussi. Quantitative Evaluation of Systems. Cham: Springer, 2017, s. 190-206. ISBN 978-3-319-66334-0. Dostupné z: https://dx.doi.org/10.1007/978-3-319-66335-7_12.
      RIV/00216224:14330/17:00095081 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
      Baier, Christel (276 Německo) -- Dubslaff, Clemens (276 Německo) -- Korenčiak, Ľuboš (703 Slovensko, garant, domácí) -- Kučera, Antonín (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: parameter synthesis; continuous-time Markov chains; non-Markovian distributions; Markov decision process; policy iteration; generalized semi-Markov process; Markov regenerative process
      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: 27. 4. 2018 09:56.
      Podrobněji: https://is.muni.cz/publication/1392972/cs
    2. On Simplification of Formulas with Unconstrained Variables and Quantifiers
      JONÁŠ, Martin a Jan STREJČEK. On Simplification of Formulas with Unconstrained Variables and Quantifiers. In Serge Gaspers, Toby Walsh. Theory and Applications of Satisfiability Testing – SAT 2017. Cham (Switzerland): Springer, 2017, s. 364-379. ISBN 978-3-319-66262-6. Dostupné z: https://dx.doi.org/10.1007/978-3-319-66263-3_23.
      URL
      RIV/00216224:14330/17:00095125 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
      Jonáš, Martin (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: SMT solving; formula simplifications; bit-vectors
      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: 14. 5. 2020 15:12.
      Podrobněji: https://is.muni.cz/publication/1394152/cs
    3. Parameterized Shifted Combinatorial Optimization
      GAJARSKÝ, Jakub, Petr HLINĚNÝ, Martin KOUTECKÝ a Shmuel ONN. Parameterized Shifted Combinatorial Optimization. In Y. Cao and J. Chen. International Computing and Combinatorics Conference COCOON 2017 (LNCS, volume 10392). Hong Kong: Springer International Publishing AG, 2017, s. 224-236. ISBN 978-3-319-62388-7. Dostupné z: https://dx.doi.org/10.1007/978-3-319-62389-4_19.
      RIV/00216224:14330/17:00095083 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
      Gajarský, Jakub (703 Slovensko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Koutecký, Martin (203 Česká republika) -- Onn, Shmuel (376 Izrael)
      Klíčová slova anglicky: Combinatorial optimization; Shifted problem; Treewidth; MSO logic; MSO partitioning
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 16. 5. 2022 15:47.
      Podrobněji: https://is.muni.cz/publication/1392992/cs
    4. Symbiotic 4: Beyond Reachability (Competition Contribution)
      CHALUPA, Marek, Martina VITOVSKÁ, Martin JONÁŠ, Jiří SLABÝ a Jan STREJČEK. Symbiotic 4: Beyond Reachability (Competition Contribution). In Axel Legay, Tiziana Margaria. Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference. Berlin: Springer Berlin Heidelberg, 2017, s. 385-389. ISBN 978-3-662-54580-5. Dostupné z: https://dx.doi.org/10.1007/978-3-662-54580-5_28.
      URL
      RIV/00216224:14330/17:00095057 Stať ve sborníku. Informatika. angličtina. Německo.
      Chalupa, Marek (203 Česká republika, domácí) -- Vitovská, Martina (203 Česká republika, domácí) -- Jonáš, Martin (203 Česká republika, domácí) -- Slabý, Jiří (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Symbiotic; program analysis; program verification; SV-COMP 2017
      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: 13. 5. 2020 19:22.
      Podrobněji: https://is.muni.cz/publication/1392166/cs
    5. Synthesis of Optimal Resilient Control Strategies
      BAIER, Christel, Clemens DUBSLAFF, Ľuboš KORENČIAK, Antonín KUČERA a Vojtěch ŘEHÁK. Synthesis of Optimal Resilient Control Strategies. In Deepak D'Souza, K. Narayan Kumar. Automated Technology for Verification and Analysis. Cham: Springer International Publishing, 2017, s. 417-434. ISBN 978-3-319-68166-5. Dostupné z: https://dx.doi.org/10.1007/978-3-319-68167-2_27.
      RIV/00216224:14330/17:00095082 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
      Baier, Christel (276 Německo) -- Dubslaff, Clemens (276 Německo) -- Korenčiak, Ľuboš (703 Slovensko, garant, domácí) -- Kučera, Antonín (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: controller synthesis; Markov decision processes; resilience
      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: 27. 4. 2018 11:00.
      Podrobněji: https://is.muni.cz/publication/1392977/cs

    2016

    1. A New Perspective on FO Model Checking of Dense Graph Classes
      GAJARSKÝ, Jakub, Petr HLINĚNÝ, Daniel LOKSHTANOV, Jan OBDRŽÁLEK a M S RAMANUJAN. A New Perspective on FO Model Checking of Dense Graph Classes. In Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science LICS2016. New York, NY, USA: ACM, 2016, s. 176-184. ISBN 978-1-4503-4391-6. Dostupné z: https://dx.doi.org/10.1145/2933575.2935314.
      URL
      RIV/00216224:14330/16:00088546 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Gajarský, Jakub (703 Slovensko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Lokshtanov, Daniel (578 Norsko) -- Obdržálek, Jan (203 Česká republika, domácí) -- Ramanujan, M S (356 Indie)
      Klíčová slova anglicky: FO Logic; Model-Checking; Logic Interpretations; Sparse Graph Classes; Parameterized Complexity
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 17. 4. 2018 09:51.
      Podrobněji: https://is.muni.cz/publication/1367542/cs
    2. Complementing Semi-deterministic Büchi Automata
      BLAHOUDEK, František, Matthias HEIZMANN, Sven SCHEWE, Jan STREJČEK a Ming-Hsien TSAI. Complementing Semi-deterministic Büchi Automata. In Marsha Chechik, Jean-François Raskin. Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016. Berlin: Springer Berlin Heidelberg, 2016, s. 770-787. ISBN 978-3-662-49673-2. Dostupné z: https://dx.doi.org/10.1007/978-3-662-49674-9_49.
      URL
      RIV/00216224:14330/16:00088081 Stať ve sborníku. Informatika. angličtina. Německo.
      Blahoudek, František (203 Česká republika, domácí) -- Heizmann, Matthias (276 Německo) -- Schewe, Sven (276 Německo) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Tsai, Ming-Hsien (158 Tchaj-wan)
      Klíčová slova anglicky: Buchi automata;complementation
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 23:01.
      Podrobněji: https://is.muni.cz/publication/1351787/cs
    3. Crossing Number is Hard for Kernelization
      DERŇÁR, Marek a Petr HLINĚNÝ. Crossing Number is Hard for Kernelization. Online. In 32nd International Symposium on Computational Geometry (SoCG 2016). Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2016, s. "42:1"-"42:10", 10 s. ISBN 978-3-95977-009-5. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.SoCG.2016.42.
      URL
      Název česky: Průsečíkové číslo je těžké kernelizovat
      RIV/00216224:14330/16:00088543 Stať ve sborníku. Informatika. angličtina. Německo.
      Derňár, Marek (703 Slovensko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: crossing number; kernelization; parameterized complexity
      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: 27. 4. 2017 07:07.
      Podrobněji: https://is.muni.cz/publication/1367505/cs
    4. Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration
      KORENČIAK, Ľuboš, Antonín KUČERA a Vojtěch ŘEHÁK. Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration. In 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems. London: IEEE Computer Society, 2016, s. 367-372. ISBN 978-1-5090-3431-4. Dostupné z: https://dx.doi.org/10.1109/MASCOTS.2016.34.
      URL
      Název anglicky: Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration
      RIV/00216224:14330/16:00088476 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Korenčiak, Ľuboš (703 Slovensko, domácí) -- Kučera, Antonín (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Clocks: Protocols; Markov processes; Delays; Standards; Computational modeling
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 12. 5. 2017 07:03.
      Podrobněji: https://is.muni.cz/publication/1365671/cs
    5. Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC
      KORENČIAK, Ľuboš, Vojtěch ŘEHÁK a Adrian FARMADIN. Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC. In Erika Ábrahám, Marieke Huisman. Integrated Formal Methods. Switzerland: Springer International Publishing, 2016, s. 130-138. ISBN 978-3-319-33692-3. Dostupné z: https://dx.doi.org/10.1007/978-3-319-33693-0_9.
      URL
      RIV/00216224:14330/16:00088084 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
      Korenčiak, Ľuboš (703 Slovensko, domácí) -- Řehák, Vojtěch (203 Česká republika, garant, domácí) -- Farmadin, Adrian (703 Slovensko, domácí)
      Klíčová slova anglicky: CTMC; DSPN; synthesis; timeout; expected reward; PRISM model checker
      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: 13. 5. 2020 19:23.
      Podrobněji: https://is.muni.cz/publication/1351805/cs
    6. Faster Statistical Model Checking for Unbounded Temporal Properties
      DACA, Przemyslaw, Thomas A. HENZINGER, Jan KŘETÍNSKÝ a Tatjana PETROV. Faster Statistical Model Checking for Unbounded Temporal Properties. In Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016. Berlin Heidelberg: Springer, 2016, s. 112-129. ISBN 978-3-662-49673-2. Dostupné z: https://dx.doi.org/10.1007/978-3-662-49674-9_7.
      RIV/00216224:14330/16:00088469 Stať ve sborníku. Informatika. angličtina. Německo.
      Daca, Przemyslaw (616 Polsko) -- Henzinger, Thomas A. (40 Rakousko) -- Křetínský, Jan (203 Česká republika, garant, domácí) -- Petrov, Tatjana (688 Srbsko)
      Klíčová slova anglicky: statistical model checking; verification; temporal logic
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 1. 6. 2022 12:34.
      Podrobněji: https://is.muni.cz/publication/1365646/cs
    7. Inserting Multiple Edges into a Planar Graph
      CHIMANI, Markus a Petr HLINĚNÝ. Inserting Multiple Edges into a Planar Graph. Online. In 32nd International Symposium on Computational Geometry (SoCG 2016). Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2016, s. "30:1"-"30:15", 15 s. ISBN 978-3-95977-009-5. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.SoCG.2016.30.
      URL
      Název česky: Vkládání více hran do rovinného grafu
      RIV/00216224:14330/16:00088509 Stať ve sborníku. Informatika. angličtina. Německo.
      Chimani, Markus (276 Německo) -- Hliněný, Petr (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: crossing number; crossing minimization; planar insertion
      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: 27. 4. 2017 07:05.
      Podrobněji: https://is.muni.cz/publication/1366561/cs
    8. Limit-Deterministic Büchi Automata for Linear Temporal Logic
      SICKERT, Salomon, Javier ESPARZA, Stefan JAAX a Jan KŘETÍNSKÝ. Limit-Deterministic Büchi Automata for Linear Temporal Logic. In Computer Aided Verification - 28th International Conference, CAV 2016. Switzerland: Springer, 2016, s. 312-332. ISBN 978-3-319-41539-0. Dostupné z: https://dx.doi.org/10.1007/978-3-319-41540-6_17.
      RIV/00216224:14330/16:00088472 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
      Sickert, Salomon (276 Německo) -- Esparza, Javier (724 Španělsko) -- Jaax, Stefan (276 Německo) -- Křetínský, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: verification; probabilistic model checking; temporal logic; automata; determinism
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 1. 6. 2022 12:45.
      Podrobněji: https://is.muni.cz/publication/1365651/cs
    9. Linear Distances between Markov Chains
      DACA, Przemyslaw, Thomas A. HENZINGER, Jan KŘETÍNSKÝ a Tatjana PETROV. Linear Distances between Markov Chains. Online. In 27th International Conference on Concurrency Theory, CONCUR 2016. Schloss Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016, s. 1-15. ISBN 978-3-95977-017-0. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.CONCUR.2016.20.
      RIV/00216224:14330/16:00088470 Stať ve sborníku. Informatika. angličtina. Německo.
      Daca, Przemyslaw (616 Polsko) -- Henzinger, Thomas A. (40 Rakousko) -- Křetínský, Jan (203 Česká republika, garant, domácí) -- Petrov, Tatjana (688 Srbsko)
      Klíčová slova anglicky: verification; temporal logic; statistical model checking
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2017 07:02.
      Podrobněji: https://is.muni.cz/publication/1365647/cs
    10. MoChiBA: Probabilistic {LTL} Model Checking Using Limit-Deterministic Büchi Automata
      SICKERT, Salomon a Jan KŘETÍNSKÝ. MoChiBA: Probabilistic {LTL} Model Checking Using Limit-Deterministic Büchi Automata. In Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016. Switzerland: Springer, 2016, s. 130-137. ISBN 978-3-319-46519-7. Dostupné z: https://dx.doi.org/10.1007/978-3-319-46520-3_9.
      RIV/00216224:14330/16:00088473 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
      Sickert, Salomon (276 Německo) -- Křetínský, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: probabilistic model checking; verification; automata; temporal logic
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 1. 6. 2022 12:40.
      Podrobněji: https://is.muni.cz/publication/1365656/cs
    11. Optimizing the Expected Mean Payoff in Energy Markov Decision Processes
      BRÁZDIL, Tomáš, Antonín KUČERA a Petr NOVOTNÝ. Optimizing the Expected Mean Payoff in Energy Markov Decision Processes. In Cyrille Artho, Axel Legay, Doron Peled. Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016. Heidelberg: Springer, 2016, s. 32-49. ISBN 978-3-319-46519-7. Dostupné z: https://dx.doi.org/10.1007/978-3-319-46520-3_3.
      RIV/00216224:14330/16:00088482 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Novotný, Petr (203 Česká republika)
      Klíčová slova anglicky: mean payoff; energy games
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 5. 2020 11:02.
      Podrobněji: https://is.muni.cz/publication/1366035/cs
    12. Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent
      BRÁZDIL, Tomáš, Ezio BARTOCCI, Dimitrios MILIOS, Guido SANGUINETTI a Luca BORTOLUSSI. Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent. In Proceedings of QEST 2016. Quebec City: Springer, 2016, s. 244-259. ISBN 978-3-319-43424-7. Dostupné z: https://dx.doi.org/10.1007/978-3-319-43425-4_17.
      Název anglicky: Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent
      RIV/00216224:14330/16:00088513 Stať ve sborníku. Informatika. angličtina. Kanada.
      Brázdil, Tomáš (203 Česká republika, garant, domácí) -- Bartocci, Ezio (380 Itálie) -- Milios, Dimitrios (300 Řecko) -- Sanguinetti, Guido (380 Itálie) -- Bortolussi, Luca (380 Itálie)
      Klíčová slova anglicky: continuous-time Markov decision processes; reachability; gradient descent
      Druh sborníku: postkonferenční sborník
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:26.
      Podrobněji: https://is.muni.cz/publication/1366655/cs
    13. Practical Exhaustive Generation of Small Multiway Cuts in Sparse Graphs
      HLINĚNÝ, Petr a Ondřej SLÁMEČKA. Practical Exhaustive Generation of Small Multiway Cuts in Sparse Graphs. In Jan Kofroň, Tomáš Vojnar. Mathematical and Engineering Methods in Computer Science, Lecture Notes in Computer Science 9548. Switzerland: Springer, 2016, s. 54-66. ISBN 978-3-319-29816-0. Dostupné z: https://dx.doi.org/10.1007/978-3-319-29817-7_6.
      RIV/00216224:14330/16:00087736 Stať ve sborníku. Informatika. angličtina. Německo.
      Hliněný, Petr (203 Česká republika, garant, domácí) -- Slámečka, Ondřej (203 Česká republika, domácí)
      Klíčová slova anglicky: multiway cut; matroid circuit; cocircuit
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2017 00:33.
      Podrobněji: https://is.muni.cz/publication/1316745/cs
    14. Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams
      JONÁŠ, Martin a Jan STREJČEK. Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams. In Nadia Creignou and Daniel Le Berre. Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference. Berlin, Heidelberg: Springer, 2016, s. 267-283. ISBN 978-3-319-40969-6. Dostupné z: https://dx.doi.org/10.1007/978-3-319-40970-2_17.
      RIV/00216224:14330/16:00088245 Stať ve sborníku. Informatika. angličtina. Německo.
      Jonáš, Martin (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: SMT solving; quantified bit-vector formulas; BDD
      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: 13. 5. 2020 19:22.
      Podrobněji: https://is.muni.cz/publication/1357165/cs
    15. Stability in Graphs and Games
      BRÁZDIL, Tomáš, Vojtěch FOREJT, Antonín KUČERA a Petr NOVOTNÝ. Stability in Graphs and Games. Online. In Josee Desharnais, Radha Jagadeesan. 27th International Conference on Concurrency Theory, CONCUR 2016. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016, s. 1-14. ISBN 978-3-95977-017-0. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.CONCUR.2016.10.
      RIV/00216224:14330/16:00088483 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Forejt, Vojtěch (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Novotný, Petr (203 Česká republika)
      Klíčová slova anglicky: turn-based games; mean payoff; stability
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2017 07:04.
      Podrobněji: https://is.muni.cz/publication/1366038/cs
    16. Stochastic Shortest Path with Energy Constraints in POMDPs: (Extended Abstract)
      BRÁZDIL, Tomáš, Petr NOVOTNÝ, Krishnendu CHATTERJEE, Martin CHMELÍK a Anchit GUPTA. Stochastic Shortest Path with Energy Constraints in POMDPs: (Extended Abstract). In Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems. Singapur: ACM, 2016, s. 1465-1466. ISBN 978-1-4503-4239-1.
      Název anglicky: Stochastic Shortest Path with Energy Constraints in POMDPs: (Extended Abstract)
      RIV/00216224:14330/16:00088501 Stať ve sborníku. Informatika. angličtina.
      Brázdil, Tomáš (203 Česká republika, garant, domácí) -- Novotný, Petr (203 Česká republika) -- Chatterjee, Krishnendu (356 Indie) -- Chmelík, Martin (203 Česká republika) -- Gupta, Anchit (356 Indie)
      Klíčová slova anglicky: POMDP; planning; energy constraints; decision trees
      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:34.
      Podrobněji: https://is.muni.cz/publication/1366476/cs
    17. Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances
      KŘETÍNSKÝ, Jan. Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances. In Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016. Switzerland: Springer, 2016, s. 27-45. ISBN 978-3-319-47165-5. Dostupné z: https://dx.doi.org/10.1007/978-3-319-47166-2_3.
      RIV/00216224:14330/16:00088474 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
      Křetínský, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: verification; statistical model checking; probabilistic systems
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2017 07:03.
      Podrobněji: https://is.muni.cz/publication/1365657/cs
    18. Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution)
      CHALUPA, Marek, Martin JONÁŠ, Jiří SLABÝ, Jan STREJČEK a Martina VITOVSKÁ. Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution). In Marsha Chechik and Jean-Francois Raskin. Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016. Berlin, Heidelberg: Springer, 2016, s. 946-949. ISBN 978-3-662-49673-2. Dostupné z: https://dx.doi.org/10.1007/978-3-662-49674-9_67.
      RIV/00216224:14330/16:00088244 Stať ve sborníku. Informatika. angličtina. Německo.
      Chalupa, Marek (203 Česká republika, domácí) -- Jonáš, Martin (203 Česká republika, domácí) -- Slabý, Jiří (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Vitovská, Martina (203 Česká republika, domácí)
      Klíčová slova anglicky: instrumentation; symbolic execution; program slicing
      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: 13. 5. 2020 19:22.
      Podrobněji: https://is.muni.cz/publication/1357163/cs
    19. Tighter Loop Bound Analysis
      ČADEK, Pavel, Jan STREJČEK a Marek TRTÍK. Tighter Loop Bound Analysis. In Cyrille Artho and Axel Legay and Doron Peled. Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016. Berlin, Heidelberg: Springer, 2016, s. 512-527. ISBN 978-3-319-46519-7. Dostupné z: https://dx.doi.org/10.1007/978-3-319-46520-3_32.
      RIV/00216224:14330/16:00088246 Stať ve sborníku. Informatika. angličtina. Německo.
      Čadek, Pavel (203 Česká republika) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Trtík, Marek (203 Česká republika)
      Klíčová slova anglicky: loop bounds; symbolic execution
      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: 13. 5. 2020 19:27.
      Podrobněji: https://is.muni.cz/publication/1357166/cs

    2015

    1. Complete Composition Operators for IOCO-Testing Theory
      BENEŠ, Nikola, Przemysław DACA, Thomas A. HENZINGER, Jan KŘETÍNSKÝ a Dejan NIČKOVIĆ. Complete Composition Operators for IOCO-Testing Theory. Online. In Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering. New York, NY, USA: ACM, 2015, s. 101-110. ISBN 978-1-4503-3471-6. Dostupné z: https://dx.doi.org/10.1145/2737166.2737175.
      URL
      RIV/00216224:14330/15:00080789 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Beneš, Nikola (203 Česká republika, garant, domácí) -- Daca, Przemysław (616 Polsko) -- Henzinger, Thomas A. (40 Rakousko) -- Křetínský, Jan (203 Česká republika, domácí) -- Ničković, Dejan (688 Srbsko)
      Klíčová slova anglicky: ioco; Model-based testing; Decomposition; Specification merging
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Nikola Beneš, Ph.D., učo 72525. Změněno: 8. 5. 2015 14:51.
      Podrobněji: https://is.muni.cz/publication/1299074/cs
    2. Compositionality for Quantitative Specifications
      FAHRENBERG, Uli, Jan KŘETÍNSKÝ, Axel LEGAY a Louis-Marie TRAONOUEZ. Compositionality for Quantitative Specifications. In The 11th International Symposium on Formal Aspects of Component Software - FACS 2014. Heidelberg Dordrecht London New York: Springer, 2015, s. 306-324. ISBN 978-3-319-15316-2. Dostupné z: https://dx.doi.org/10.1007/978-3-319-15317-9_19.
      RIV/00216224:14330/15:00080593 Stať ve sborníku. Informatika. angličtina. Německo.
      Fahrenberg, Uli (276 Německo) -- Křetínský, Jan (203 Česká republika, garant, domácí) -- Legay, Axel (56 Belgie) -- Traonouez, Louis-Marie (250 Francie)
      Klíčová slova anglicky: modal transition systems; compositional design; robust systems; logic
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2015 05:50.
      Podrobněji: https://is.muni.cz/publication/1194313/cs
    3. Controller Synthesis for MDPs and Frequency LTL\GU
      FOREJT, Vojtěch, Jan KRČÁL a Jan KŘETÍNSKÝ. Controller Synthesis for MDPs and Frequency LTL\GU. In LPAR 2015. Suva, Fiji: Springer, 2015, s. 162-177. ISBN 978-3-662-48898-0. Dostupné z: https://dx.doi.org/10.1007/978-3-662-48899-7_12.
      RIV/00216224:14330/15:00081286 Stať ve sborníku. Informatika. angličtina. Německo.
      Forejt, Vojtěch (203 Česká republika, domácí) -- Krčál, Jan (203 Česká republika) -- Křetínský, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: frequency LTL; quantitative logics; MDP controller synthesis; automata characterization
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2016 15:33.
      Podrobněji: https://is.muni.cz/publication/1319887/cs
    4. Counterexample Explanation by Learning Small Strategies in Markov Decision Processes
      BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Martin CHMELÍK, Andreas FELLNER a Jan KŘETÍNSKÝ. Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. In Daniel Kroening, Corina Pasareanu. Computer Aided Verification: 27th International Conference, CAV 2015. Cham: Springer, 2015, s. 158-177. ISBN 978-3-319-21689-8. Dostupné z: https://dx.doi.org/10.1007/978-3-319-21690-4_10.
      RIV/00216224:14330/15:00080918 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Chatterjee, Krishnendu (356 Indie) -- Chmelík, Martin (203 Česká republika) -- Fellner, Andreas (40 Rakousko) -- Křetínský, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: stochastic systems; verification; machine learning; decision tree
      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. 2016 14:21.
      Podrobněji: https://is.muni.cz/publication/1306807/cs
    5. FO Model Checking on Posets of Bounded Width
      GAJARSKÝ, Jakub, Petr HLINĚNÝ, Jan OBDRŽÁLEK, Sebastian ORDYNIAK, M.S. RAMANUJAN, Daniel LOKSHTANOV a Saket SAURABH. FO Model Checking on Posets of Bounded Width. Online. In Venkatesan Guruswami. 56th Annual Symposium on Foundations of Computer Science, FOCS 2015. Berkeley, CA, USA: IEEE Computer Society, 2015, s. 963-974. ISBN 978-1-4673-8191-8. Dostupné z: https://dx.doi.org/10.1109/FOCS.2015.63.
      sborník
      Název anglicky: FO Model Checking on Posets of Bounded Width
      RIV/00216224:14330/15:00081183 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Gajarský, Jakub (703 Slovensko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Obdržálek, Jan (203 Česká republika, domácí) -- Ordyniak, Sebastian (276 Německo, domácí) -- Ramanujan, M.S. (356 Indie) -- Lokshtanov, Daniel (578 Norsko) -- Saurabh, Saket (356 Indie)
      Klíčová slova anglicky: model checking; first-order logic; posets; width; metatheorem
      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: 27. 8. 2019 11:58.
      Podrobněji: https://is.muni.cz/publication/1316736/cs
    6. Long-Run Average Behaviour of Probabilistic Vector Addition Systems
      BRÁZDIL, Tomáš, Stefan KIEFER, Antonín KUČERA a Petr NOVOTNÝ. Long-Run Average Behaviour of Probabilistic Vector Addition Systems. In Neuveden. 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015. Neuveden: IEEE, 2015, s. 44-55. ISBN 978-1-4799-8875-4. Dostupné z: https://dx.doi.org/10.1109/LICS.2015.15.
      RIV/00216224:14330/15:00081425 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Kiefer, Stefan (276 Německo) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Novotný, Petr (203 Česká republika, domácí)
      Klíčová slova anglicky: Probabilistic Vector Addition Systems; Markov Chains
      Druh sborníku: postkonferenč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. 2016 15:35.
      Podrobněji: https://is.muni.cz/publication/1323104/cs
    7. MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives
      BRÁZDIL, Tomáš, Chatterjee KRISHNENDU, Vojtěch FOREJT a Antonín KUČERA. MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives. In Christel Baier, Cesare Tinelli. Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings. Heidelberg: Springer, 2015, s. 181-187. ISBN 978-3-662-46680-3. Dostupné z: https://dx.doi.org/10.1007/978-3-662-46681-0_12.
      RIV/00216224:14330/15:00081426 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Krishnendu, Chatterjee (40 Rakousko) -- Forejt, Vojtěch (203 Česká republika) -- Kučera, Antonín (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Markov decision processes; mean-payoff reward; multi-objective optimisation; formal verification
      Druh sborníku: postkonferenč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. 2016 15:34.
      Podrobněji: https://is.muni.cz/publication/1323105/cs
    8. On Degree Properties of Crossing-critical Families of Graphs
      BOKAL, Drago, Mojca BRAČIČ, Marek DERŇÁR a Petr HLINĚNÝ. On Degree Properties of Crossing-critical Families of Graphs. In Emilio Di Giacomo, Anna Lubiw. Graph Drawing and Network Visualization 2015, Lecture Notes in Computer Science 9411. LNCS 9411. Berlin: Springer Verlag, 2015, s. 75-86. ISBN 978-3-319-27260-3. Dostupné z: https://dx.doi.org/10.1007/978-3-319-27261-0_7.
      RIV/00216224:14330/15:00080985 Stať ve sborníku. Informatika. angličtina. Německo.
      Bokal, Drago (705 Slovinsko) -- Bračič, Mojca (705 Slovinsko) -- Derňár, Marek (703 Slovensko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Crossing number; Tile drawing; Degree-universality; Average degree; Crossing-critical graph
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 14. 2. 2017 08:59.
      Podrobněji: https://is.muni.cz/publication/1309625/cs
    9. On Frequency LTL in Probabilistic Systems
      FOREJT, Vojtěch a Jan KRČÁL. On Frequency LTL in Probabilistic Systems. Online. In CONCUR 2015. Madrid, Spain: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015, s. 184-197. ISBN 978-3-939897-91-0. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.CONCUR.2015.184.
      RIV/00216224:14330/15:00081289 Stať ve sborníku. Informatika. angličtina. Německo.
      Forejt, Vojtěch (203 Česká republika, domácí) -- Krčál, Jan (203 Česká republika)
      Klíčová slova anglicky: markov chains; markov decision processes; ltl; controller synthesis
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2016 15:33.
      Podrobněji: https://is.muni.cz/publication/1319891/cs
    10. On Hardness of the Joint Crossing Number
      HLINĚNÝ, Petr a Gelasio SALAZAR. On Hardness of the Joint Crossing Number. In Khaled Elbassioni, Kazuhisa Makino. International Symposium on Algorithms and Computation (ISAAC 2015), Lecture Notes in Computer Science 9472. LNCS 9472. Berlin: Springer Verlag, 2015, s. 603-613. ISBN 978-3-662-48970-3. Dostupné z: https://dx.doi.org/10.1007/978-3-662-48971-0_51.
      RIV/00216224:14330/15:00081412 Stať ve sborníku. Informatika. angličtina. Německo.
      Hliněný, Petr (203 Česká republika, garant, domácí) -- Salazar, Gelasio (484 Mexiko)
      Klíčová slova anglicky: joint crossing number; crossing minimization
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 14. 2. 2017 08:58.
      Podrobněji: https://is.muni.cz/publication/1323060/cs
    11. On Refinement of Büchi Automata for Explicit Model Checking
      BLAHOUDEK, František, Alexandre DURET-LUTZ, Vojtěch RUJBR a Jan STREJČEK. On Refinement of Büchi Automata for Explicit Model Checking. In Fischer, Bernd and Geldenhuys, Jaco. 2015 International SPIN Symposium on Model Checking of Software. Heidelberg, New York, Dordrecht, London: Springer International Publishing, 2015, s. 66-83. ISBN 978-3-319-23403-8. Dostupné z: https://dx.doi.org/10.1007/978-3-319-23404-5_6.
      Název česky: O zpřesňování Büchiho automatů pro explicitní metodu ověřování modelu.
      RIV/00216224:14330/15:00080986 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
      Blahoudek, František (203 Česká republika, domácí) -- Duret-Lutz, Alexandre (250 Francie) -- Rujbr, Vojtěch (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: linear temporal logic; Büchi automata; explicit model checking; specification refinement
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 20:47.
      Podrobněji: https://is.muni.cz/publication/1309631/cs
    12. Optimal Continuous Time Markov Decisions
      BUTKOVA, Yuliya, Hassan HATEFI, Holger HERMANNS a Jan KRČÁL. Optimal Continuous Time Markov Decisions. Online. In ATVA 2015. Shanghai, China: Springer, 2015, s. 166-182. ISBN 978-3-319-24952-0. Dostupné z: https://dx.doi.org/10.1007/978-3-319-24953-7_12.
      RIV/00216224:14330/15:00081290 Stať ve sborníku. Informatika. angličtina. Německo.
      Butkova, Yuliya (643 Rusko) -- Hatefi, Hassan (364 Írán) -- Hermanns, Holger (276 Německo) -- Krčál, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Continuous time Markov decision process; time bounded reachability; uniformisation; experimental evaluation
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2016 15:33.
      Podrobněji: https://is.muni.cz/publication/1319892/cs
    13. Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis
      BRÁZDIL, Tomáš, Ľuboš KORENČIAK, Jan KRČÁL, Petr NOVOTNÝ a Vojtěch ŘEHÁK. Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis. In Javier Campos, Boudewijn R. Haverkort. Quantitative Evaluation of Systems. BERLIN: SPRINGER-VERLAG BERLIN, 2015, s. 141-159. ISBN 978-3-319-22263-9. Dostupné z: https://dx.doi.org/10.1007/978-3-319-22264-6_10.
      RIV/00216224:14330/15:00081201 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Korenčiak, Ľuboš (703 Slovensko, garant, domácí) -- Krčál, Jan (203 Česká republika) -- Novotný, Petr (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: continuous-time Markov chains; synthesis; timeout
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 10. 12. 2018 13:41.
      Podrobněji: https://is.muni.cz/publication/1317666/cs
    14. Polynomial Time Decidability of Weighted Synchronization under Partial Observability
      KŘETÍNSKÝ, Jan, Kim Guldstrand LARSEN, Simon LAURSEN a Jiří SRBA. Polynomial Time Decidability of Weighted Synchronization under Partial Observability. Online. In 26th International Conference on Concurrency Theory (CONCUR 2015). Dagstuhl, Germany: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2015, s. 142-154. ISBN 978-3-939897-91-0. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.CONCUR.2015.142.
      RIV/00216224:14330/15:00081430 Stať ve sborníku. Informatika. angličtina. Německo.
      Křetínský, Jan (203 Česká republika, garant, domácí) -- Larsen, Kim Guldstrand (208 Dánsko) -- Laursen, Simon (208 Dánsko) -- Srba, Jiří (203 Česká republika, domácí)
      Klíčová slova anglicky: weighted automata; partial observability; synchronization; complexity
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 10. 2017 12:43.
      Podrobněji: https://is.muni.cz/publication/1323251/cs
    15. Scalable Analysis of Fault Trees with Dynamic Features
      KRČÁL, Jan a Pavel KRČÁL. Scalable Analysis of Fault Trees with Dynamic Features. In DSN 2015. Rio de Janeiro, Brazil: IEEE, 2015, s. 89-100. ISBN 978-1-4799-8629-3. Dostupné z: https://dx.doi.org/10.1109/DSN.2015.29.
      RIV/00216224:14330/15:00081287 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Krčál, Jan (203 Česká republika, garant, domácí) -- Krčál, Pavel (203 Česká republika)
      Klíčová slova anglicky: fault trees; dynamic fault trees; BDMP; nuclear safety; probabilistic safety analysis
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Jan Krčál, Ph.D., učo 139854. Změněno: 5. 12. 2015 15:41.
      Podrobněji: https://is.muni.cz/publication/1319888/cs
    16. Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games
      SVOREŇOVÁ, Mária, Jan KŘETÍNSKÝ, Martin CHMELÍK, Krishnendu CHATTERJEE, Ivana ČERNÁ a Calin BELTA. Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games. Online. In Proceedings of ACM international conference on Hybrid Systems: Computation and Control. Seattle, Washington, USA: Association for Computing Machinery (ACM), 2015, s. 259-268. ISBN 978-1-4503-3433-4. Dostupné z: https://dx.doi.org/10.1145/2728606.2728608.
      Název anglicky: Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games
      RIV/00216224:14330/15:00080610 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Svoreňová, Mária (703 Slovensko, domácí) -- Křetínský, Jan (203 Česká republika) -- Chmelík, Martin (203 Česká republika) -- Chatterjee, Krishnendu (40 Rakousko) -- Černá, Ivana (203 Česká republika, domácí) -- Belta, Calin (840 Spojené státy)
      Klíčová slova anglicky: control; linear temporal logic (LTL); linear stochastic system; games
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 13. 10. 2020 09:24.
      Podrobněji: https://is.muni.cz/publication/1206052/cs
    17. The Hanoi Omega-Automata Format
      BABIAK, Tomáš, František BLAHOUDEK, Alexandre DURET-LUTZ, Joachim KLEIN, Jan KŘETÍNSKÝ, David MÜLLER, David PARKER a Jan STREJČEK. The Hanoi Omega-Automata Format. In Daniel Kroening, Corina Pasareanu. Computer Aided Verification: 27th International Conference, CAV 2015. Cham: Springer, 2015, s. 479-486. ISBN 978-3-319-21689-8. Dostupné z: https://dx.doi.org/10.1007/978-3-319-21690-4_31.
      RIV/00216224:14330/15:00080919 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
      Babiak, Tomáš (703 Slovensko, domácí) -- Blahoudek, František (203 Česká republika, domácí) -- Duret-Lutz, Alexandre (250 Francie) -- Klein, Joachim (276 Německo) -- Křetínský, Jan (203 Česká republika, garant, domácí) -- Müller, David (276 Německo) -- Parker, David (826 Velká Británie a Severní Irsko) -- Strejček, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: automata; infinite words; verification
      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. 2016 14:24.
      Podrobněji: https://is.muni.cz/publication/1306808/cs
    18. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes
      CHATTERJEE, Krishnendu, Zuzana KOMÁRKOVÁ a Jan KŘETÍNSKÝ. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. In Thirtieth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Los Alamitos, California: IEEE, 2015, s. 244-256. ISBN 978-1-4799-8875-4. Dostupné z: https://dx.doi.org/10.1109/LICS.2015.32.
      RIV/00216224:14330/15:00080917 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Chatterjee, Krishnendu (356 Indie) -- Komárková, Zuzana (203 Česká republika, domácí) -- Křetínský, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Markov decision process; mean payoff; optimization; probability
      Druh sborníku: postkonferenč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. 10. 2017 12:46.
      Podrobněji: https://is.muni.cz/publication/1306804/cs

    2014

    1. Dealing with Zero Density Using Piecewise Phase-Type Approximation
      KORENČIAK, Ľuboš, Jan KRČÁL a Vojtěch ŘEHÁK. Dealing with Zero Density Using Piecewise Phase-Type Approximation. In András Horváth, Katinka Wolter. Computer Performance Engineering. Switzerland: Springer International Publishing, 2014, s. 119-134. ISBN 978-3-319-10884-1. Dostupné z: https://dx.doi.org/10.1007/978-3-319-10885-8_9.
      RIV/00216224:14330/14:00074094 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
      Korenčiak, Ľuboš (703 Slovensko, garant, domácí) -- Krčál, Jan (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: phase-type; CTMC; discrete-time transition
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Mgr. Ľuboš Korenčiak, Ph.D., učo 208317. Změněno: 14. 11. 2014 14:27.
      Podrobněji: https://is.muni.cz/publication/1206017/cs
    2. Faster Existential FO Model Checking on Posets
      GAJARSKÝ, Jakub, Petr HLINĚNÝ, Jan OBDRŽÁLEK a Sebastian ORDYNIAK. Faster Existential FO Model Checking on Posets. In Hee-Kap Ahn, Chan-Su Shin. ISAAC 2014, LNCS 8889. Berlin: Springer International Publishing, 2014, s. 441-451. ISBN 978-3-319-13074-3. Dostupné z: https://dx.doi.org/10.1007/978-3-319-13075-0_35.
      RIV/00216224:14330/14:00074016 Stať ve sborníku. Informatika. angličtina. Německo.
      Gajarský, Jakub (703 Slovensko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Obdržálek, Jan (203 Česká republika, domácí) -- Ordyniak, Sebastian (276 Německo, domácí)
      Klíčová slova anglicky: existential first-order logic; parameterized complexity; kernelization; poset embedding
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 30. 3. 2016 10:02.
      Podrobněji: https://is.muni.cz/publication/1204410/cs
    3. Is there a best Büchi automaton for explicit model checking?
      BLAHOUDEK, František, Alexandre DURET-LUTZ, Mojmír KŘETÍNSKÝ a Jan STREJČEK. Is there a best Büchi automaton for explicit model checking? In Neha Rungta and Oksana Tkachuk. 2014 International SPIN Symposium on Model Checking of Software. New York: ACM, 2014, s. 68-76. ISBN 978-1-4503-2452-6. Dostupné z: https://dx.doi.org/10.1145/2632362.2632377.
      Název česky: Existuje nejlepší Büchiho automat pro explicitní metodu ověřování modelu?
      RIV/00216224:14330/14:00073815 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Blahoudek, František (203 Česká republika, domácí) -- Duret-Lutz, Alexandre (250 Francie) -- Křetínský, Mojmír (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: linear temporal logic; Büchi automata; explicit model checking
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 11. 7. 2019 13:31.
      Podrobněji: https://is.muni.cz/publication/1196458/cs
    4. Minimizing Running Costs in Consumption Systems
      BRÁZDIL, Tomáš, David KLAŠKA, Antonín KUČERA a Petr NOVOTNÝ. Minimizing Running Costs in Consumption Systems. In Armin Biere, Roderick Bloem. Computer Aided Verification. Neuveden: Springer International Publishing, 2014, s. 457-472. ISBN 978-3-319-08866-2. Dostupné z: https://dx.doi.org/10.1007/978-3-319-08867-9_30.
      URL
      RIV/00216224:14330/14:00074098 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Novotný, Petr (203 Česká republika, domácí)
      Klíčová slova anglicky: controller synthesis; consumption systems; mean payoff
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Petr Novotný, Ph.D., učo 172743. Změněno: 16. 11. 2014 13:12.
      Podrobněji: https://is.muni.cz/publication/1206158/cs
    5. Solving adversarial patrolling games with bounded error: (extended abstract)
      ABAFFY, Michal, Tomáš BRÁZDIL, Vojtěch ŘEHÁK, Branislav BOŠANSKÝ, Antonín KUČERA a Jan KRČÁL. Solving adversarial patrolling games with bounded error: (extended abstract). In Alessio Lomuscio, Paul Scerri, Ana Bazzan, and Michael Huhns. Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'14). Richland, SC, USA: International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2014, s. 1617-1618. ISBN 978-1-4503-2738-1.
      RIV/00216224:14330/14:00073686 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Abaffy, Michal (703 Slovensko, domácí) -- Brázdil, Tomáš (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, garant, domácí) -- Bošanský, Branislav (203 Česká republika) -- Kučera, Antonín (203 Česká republika, domácí) -- Krčál, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: patrolling games; stochastic games; epsilon-optimal strategy
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 13. 6. 2014 16:04.
      Podrobněji: https://is.muni.cz/publication/1185661/cs
    6. Symbiotic 2: More Precise Slicing (Competition Contribution)
      SLABÝ, Jiří a Jan STREJČEK. Symbiotic 2: More Precise Slicing (Competition Contribution). In E. Ábrahám and K. Havelund. Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014. Berlin, Heidelberg: Springer, 2014, s. 415-417. ISBN 978-3-642-54861-1. Dostupné z: https://dx.doi.org/10.1007/978-3-642-54862-8_34.
      RIV/00216224:14330/14:00073504 Stať ve sborníku. Informatika. angličtina. Německo.
      Slabý, Jiří (203 Česká republika, garant, domácí) -- Strejček, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: instrumentation; symbolic execution; program slicing
      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: 27. 4. 2015 05:35.
      Podrobněji: https://is.muni.cz/publication/1166237/cs
    7. Symbolic Memory with Pointers
      TRTÍK, Marek a Jan STREJČEK. Symbolic Memory with Pointers. In Franck Cassez and Jean-Francois Raskin. Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014. Berlin Heidelberg: Springer, 2014, s. 380-395. ISBN 978-3-319-11935-9. Dostupné z: https://dx.doi.org/10.1007/978-3-319-11936-6_27.
      Název česky: Symbolická paměť s ukazateli
      RIV/00216224:14330/14:00074092 Stať ve sborníku. Informatika. angličtina. Německo.
      Trtík, Marek (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: symbolic execution; symbolic memory
      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: 13. 11. 2014 16:23.
      Podrobněji: https://is.muni.cz/publication/1205943/cs
    8. Verification of Markov Decision Processes using Learning Algorithms
      BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Martin CHMELÍK, Vojtěch FOREJT, Jan KŘETÍNSKÝ, Marta KWIATKOWSKA, David PARKER a Mateusz UJMA. Verification of Markov Decision Processes using Learning Algorithms. In Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014. Heidelberg Dordrecht London New York: Springer, 2014, s. 98-114. ISBN 978-3-319-11935-9. Dostupné z: https://dx.doi.org/10.1007/978-3-319-11936-6_8.
      RIV/00216224:14330/14:00075875 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Chatterjee, Krishnendu (356 Indie) -- Chmelík, Martin (203 Česká republika) -- Forejt, Vojtěch (203 Česká republika) -- Křetínský, Jan (203 Česká republika, garant, domácí) -- Kwiatkowska, Marta (616 Polsko) -- Parker, David (826 Velká Británie a Severní Irsko) -- Ujma, Mateusz (616 Polsko)
      Klíčová slova anglicky: stochastic systems; verification; machine learning; statistical model checking; reinforcement learning
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2015 05:45.
      Podrobněji: https://is.muni.cz/publication/1187947/cs
    9. Zero-reachability in probabilistic multi-counter automata
      BRÁZDIL, Tomáš, Stefan KIEFER, Antonín KUČERA, Petr NOVOTNÝ a Joost-Pieter KATOEN. Zero-reachability in probabilistic multi-counter automata. Online. In Thomas Henzinger and Dale Miller. Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). New York: ACM, 2014, s. nestránkováno, 10 s. ISBN 978-1-4503-2886-9. Dostupné z: https://dx.doi.org/10.1145/2603088.2603161.
      URL
      RIV/00216224:14330/14:00074099 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Kiefer, Stefan (276 Německo) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Novotný, Petr (203 Česká republika, domácí) -- Katoen, Joost-Pieter (528 Nizozemské království)
      Klíčová slova anglicky: markov chains; petri nets; reachability; multicounter automata
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Petr Novotný, Ph.D., učo 172743. Změněno: 16. 11. 2014 14:20.
      Podrobněji: https://is.muni.cz/publication/1206161/cs

    2013

    1. ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools
      SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍK. ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools. In Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni. Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013. Berlin, Heidelberg: Springer, 2013, s. 268-274. ISBN 978-3-642-35872-2. Dostupné z: https://dx.doi.org/10.1007/978-3-642-35873-9_17.
      RIV/00216224:14330/13:00065952 Stať ve sborníku. Informatika. angličtina. Německo.
      Slabý, Jiří (203 Česká republika, garant, domácí) -- Strejček, Jan (203 Česká republika, domácí) -- Trtík, Marek (203 Česká republika, domácí)
      Klíčová slova anglicky: Bug database; classified bug-reports
      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: 17. 4. 2014 11:19.
      Podrobněji: https://is.muni.cz/publication/1075388/cs
    2. Compact Symbolic Execution
      SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍK. Compact Symbolic Execution. In Hung Dang-Van and Mizuhito Ogawa. 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013. Berlin Heidelberg: Springer, 2013, s. 193-207. ISBN 978-3-319-02443-1. Dostupné z: https://dx.doi.org/10.1007/978-3-319-02444-8_15.
      Název česky: Kompaktní symbolická exekuce
      RIV/00216224:14330/13:00066165 Stať ve sborníku. Informatika. angličtina. Německo.
      Slabý, Jiří (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Trtík, Marek (203 Česká republika, domácí)
      Klíčová slova anglicky: symbolic execution; compact symbolic execution; testing
      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. 11. 2013 14:45.
      Podrobněji: https://is.muni.cz/publication/1110971/cs
    3. Comparison of LTL to Deterministic Rabin Automata Translators
      BLAHOUDEK, František, Mojmír KŘETÍNSKÝ a Jan STREJČEK. Comparison of LTL to Deterministic Rabin Automata Translators. In Kenneth L. McMillan, Aart Middeldorp, and Andrei Voronkov. Logic for Programming Artificial Intelligence and Reasoning, LPAR-19. Berlin Heidelberg: Springer, 2013, s. 164-172. ISBN 978-3-642-45220-8. Dostupné z: https://dx.doi.org/10.1007/978-3-642-45221-5_12.
      Název česky: Srovnání překladačů LTL na deterministické Rabinovy automaty
      RIV/00216224:14330/13:00066512 Stať ve sborníku. Informatika. angličtina. Německo.
      Blahoudek, František (203 Česká republika, domácí) -- Křetínský, Mojmír (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: linear temporal logic; deterministic omega-automata; LTL3DRA; Rabinizer; ltl2dstar
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 3. 6. 2014 11:26.
      Podrobněji: https://is.muni.cz/publication/1129430/cs
    4. Compositional Approach to Suspension and Other Improvements to LTL Translation
      BABIAK, Tomáš, Thomas BADIE, Alexandre DURET-LUTZ, Mojmír KŘETÍNSKÝ a Jan STREJČEK. Compositional Approach to Suspension and Other Improvements to LTL Translation. In Ezio Bartocci, C. R. Ramakrishnan. Model Checking Software - 20th International Symposium, SPIN 2013. LNCS 7976. Berlin Heidelberg: Springer, 2013, s. 81-98. ISBN 978-3-642-39175-0. Dostupné z: https://dx.doi.org/10.1007/978-3-642-39176-7_6.
      RIV/00216224:14330/13:00066141 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Babiak, Tomáš (703 Slovensko, domácí) -- Badie, Thomas (250 Francie) -- Duret-Lutz, Alexandre (250 Francie) -- Křetínský, Mojmír (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: linear time logic; model-checking; translation LTL to Buchi automata
      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: 15. 11. 2013 23:28.
      Podrobněji: https://is.muni.cz/publication/1110031/cs
    5. Compositional Verification and Optimization of Interactive Markov Chains
      HERMANNS, Holger, Jan KRČÁL a Jan KŘETÍNSKÝ. Compositional Verification and Optimization of Interactive Markov Chains. In CONCUR 2013 - Concurrency Theory - 24th International Conference. Heidelberg Dordrecht London New York: Springer, 2013, s. 364-379. ISBN 978-3-642-40183-1. Dostupné z: https://dx.doi.org/10.1007/978-3-642-40184-8_26.
      RIV/00216224:14330/13:00066202 Stať ve sborníku. Informatika. angličtina. Německo.
      Hermanns, Holger (276 Německo) -- Krčál, Jan (203 Česká republika, domácí) -- Křetínský, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: interactive Markov chains; continuous-time stochstic systems; composition; verification; specification
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2014 23:21.
      Podrobněji: https://is.muni.cz/publication/1112167/cs
    6. Controllable-choice Message Sequence Graphs
      CHMELÍK, Martin a Vojtěch ŘEHÁK. Controllable-choice Message Sequence Graphs. In Proceedings of Mathematical and Engineering Methods in Computer Science, 8th Doctoral Workshop (MEMICS 2012), Selected Papers. Berlin Heidelberg: Springer, 2013, s. 118-130. ISBN 978-3-642-36044-2. Dostupné z: https://dx.doi.org/10.1007/978-3-642-36046-6_12.
      URL
      RIV/00216224:14330/13:00065934 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Chmelík, Martin (203 Česká republika) -- Řehák, Vojtěch (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: message sequence charts; realizability; local choice
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 25. 4. 2014 13:50.
      Podrobněji: https://is.muni.cz/publication/1066786/cs
    7. Determinacy in Stochastic Games with Unbounded Payoff Functions
      BRÁZDIL, Tomáš, Antonín KUČERA a Petr NOVOTNÝ. Determinacy in Stochastic Games with Unbounded Payoff Functions. Online. In Mathematical and Engineering Methods in Computer Science (MEMICS 2012). Heidelberg: Springer, 2013, s. 94-105. ISBN 978-3-642-36044-2. Dostupné z: https://dx.doi.org/10.1007/978-3-642-36046-6_10.
      URL
      RIV/00216224:14330/13:00065957 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Novotný, Petr (203 Česká republika, domácí)
      Klíčová slova anglicky: game theory; graph games; determinacy
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Petr Novotný, Ph.D., učo 172743. Změněno: 8. 4. 2014 16:24.
      Podrobněji: https://is.muni.cz/publication/1076412/cs
    8. Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment
      BLAHOUDEK, František, Tomáš BABIAK, Mojmír KŘETÍNSKÝ a Jan STREJČEK. Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment. In Hung Dang-Van and Mizuhito Ogawa. 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013. Berlin Heidelberg: Springer, 2013, s. 24-38. ISBN 978-3-319-02443-1. Dostupné z: https://dx.doi.org/10.1007/978-3-319-02444-8_4.
      Název česky: Efektivní překlad LTL na deterministické Rabinovy automaty
      RIV/00216224:14330/13:00066175 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Blahoudek, František (203 Česká republika, domácí) -- Babiak, Tomáš (703 Slovensko, domácí) -- Křetínský, Mojmír (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: linear temporal logic; deterministic omega-automata
      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: 15. 11. 2013 23:58.
      Podrobněji: https://is.muni.cz/publication/1111172/cs
    9. Expanding the Expressive Power of Monadic Second-Order Logic on Restricted Graph Classes
      OBDRŽÁLEK, Jan a Robert GANIAN. Expanding the Expressive Power of Monadic Second-Order Logic on Restricted Graph Classes. In Thierry Lecroq, Laurent Mouchard. Combinatorial Algorithms 24th International Workshop, IWOCA 2013. Berlin Heidelberg: Springer, 2013, s. 164-177. ISBN 978-3-642-45277-2. Dostupné z: https://dx.doi.org/10.1007/978-3-642-45278-9_15.
      RIV/00216224:14330/13:00066545 Stať ve sborníku. Informatika. angličtina. Německo.
      Obdržálek, Jan (203 Česká republika, garant, domácí) -- Ganian, Robert (840 Spojené státy)
      Klíčová slova anglicky: MSO; model checking; vertex cover; meta-theorems; parameterized complexity
      Recenzováno: ano
      Změnil: doc. Mgr. Jan Obdržálek, PhD., učo 1552. Změněno: 30. 9. 2014 11:28.
      Podrobněji: https://is.muni.cz/publication/1130962/cs
    10. FO Model Checking of Interval Graphs
      GANIAN, Robert, Petr HLINĚNÝ, Daniel KRÁĽ, Jan OBDRŽÁLEK, Jarett SCHWARTZ a Jakub TESKA. FO Model Checking of Interval Graphs. In Fedor V. Fomin, Rusins Freivalds, Marta Z. Kwiatkowska, David Peleg. ICALP (2) 2013. Berlin Heidelberg: Springer, 2013, s. 250-262. ISBN 978-3-642-39211-5. Dostupné z: https://dx.doi.org/10.1007/978-3-642-39212-2_24.
      RIV/00216224:14330/13:00066379 Stať ve sborníku. Informatika. angličtina. Německo.
      Ganian, Robert (840 Spojené státy) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Kráľ, Daniel (203 Česká republika) -- Obdržálek, Jan (203 Česká republika, domácí) -- Schwartz, Jarett (840 Spojené státy) -- Teska, Jakub (203 Česká republika)
      Klíčová slova anglicky: interval graphs; first-order logic; parameterized complexity
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 14. 11. 2014 13:23.
      Podrobněji: https://is.muni.cz/publication/1123297/cs
    11. Kernelization Using Structural Parameters on Sparse Graph Classes
      GAJARSKÝ, Jakub, Petr HLINĚNÝ, Jan OBDRŽÁLEK, Sebastian ORDYNIAK, Felix REIDL, Peter ROSSMANITH, Fernando Sanchez VILLAAMIL a Somnath SIKDAR. Kernelization Using Structural Parameters on Sparse Graph Classes. In Hans L. Bodlaender a Giuseppe F. Italiano. ESA 2013. Berlin Heidelberg: Springer, 2013, s. 529-540. ISBN 978-3-642-40449-8. Dostupné z: https://dx.doi.org/10.1007/978-3-642-40450-4_45.
      RIV/00216224:14330/13:00066378 Stať ve sborníku. Informatika. angličtina. Německo.
      Gajarský, Jakub (703 Slovensko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Obdržálek, Jan (203 Česká republika, domácí) -- Ordyniak, Sebastian (276 Německo, domácí) -- Reidl, Felix (276 Německo) -- Rossmanith, Peter (276 Německo) -- Villaamil, Fernando Sanchez (724 Španělsko) -- Sikdar, Somnath (356 Indie)
      Klíčová slova anglicky: kernelization; parameterized complexity; sparse graphs
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 14. 11. 2014 13:21.
      Podrobněji: https://is.muni.cz/publication/1123296/cs
    12. On time-average limits in deterministic and stochastic Petri nets
      BRÁZDIL, Tomáš, Ľuboš KORENČIAK, Jan KRČÁL, Jan KŘETÍNSKÝ a Vojtěch ŘEHÁK. On time-average limits in deterministic and stochastic Petri nets. In ACM/SPEC International Conference on Performance Engineering, ICPE'13. New York: ACM, 2013, s. 421-422. ISBN 978-1-4503-1636-1. Dostupné z: https://dx.doi.org/10.1145/2479871.2479936.
      RIV/00216224:14330/13:00066145 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Korenčiak, Ľuboš (703 Slovensko, domácí) -- Krčál, Jan (203 Česká republika, domácí) -- Křetínský, Jan (203 Česká republika, garant, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: performance evaluation; stochastic Petri nets; stability
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2014 00:02.
      Podrobněji: https://is.muni.cz/publication/1110174/cs
    13. Planar Emulators Conjecture Is Nearly True for Cubic Graphs
      HLINĚNÝ, Petr a Martin DERKA. Planar Emulators Conjecture Is Nearly True for Cubic Graphs. In J. Nešetřil, M. Pellegrini. The Seventh European Conference on Combinatorics, Graph Theory and Applications - Eurocomb 2013. Pisa, Italy: Scuola Normale Superiore Pisa, 2013, s. 245-250. ISBN 978-88-7642-474-8.
      conference
      Název česky: Hypotéza rovinných emulátorů je skoro pravdivá na kubických grafech
      RIV/00216224:14330/13:00066368 Stať ve sborníku. Obecná matematika. angličtina. Itálie.
      Hliněný, Petr (203 Česká republika, garant, domácí) -- Derka, Martin (203 Česká republika, domácí)
      Klíčová slova anglicky: planar cover; planar emulator; projective planar; splitter theorem
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 21. 11. 2013 17:40.
      Podrobněji: https://is.muni.cz/publication/1123096/cs
    14. Solvency Markov Decision Processes with Interest
      BRÁZDIL, Tomáš, Taolue CHEN, Vojtěch FOREJT, Petr NOVOTNÝ a Aistis SIMAITIS. Solvency Markov Decision Processes with Interest. Online. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013). Dagstuhl, Germany: IBFI Schloss Dagstuhl, 2013, s. 487-499. ISBN 978-3-939897-64-4. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.FSTTCS.2013.487.
      URL
      Název anglicky: Solvency Markov Decision Processes with Interest
      RIV/00216224:14330/13:00066380 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika, garant, domácí) -- Chen, Taolue (156 Čína) -- Forejt, Vojtěch (203 Česká republika, domácí) -- Novotný, Petr (203 Česká republika, domácí) -- Simaitis, Aistis (440 Litva)
      Klíčová slova anglicky: stochastic systems; markov decision processes; reward functions
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 24. 4. 2014 18:37.
      Podrobněji: https://is.muni.cz/publication/1123332/cs
    15. Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution)
      SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍK. Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution). In Nir Piterman, Scott A. Smolka. Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013. Berlin, Heidelberg: Springer, 2013, s. 630-632. ISBN 978-3-642-36741-0. Dostupné z: https://dx.doi.org/10.1007/978-3-642-36742-7_50.
      RIV/00216224:14330/13:00065969 Stať ve sborníku. Informatika. angličtina. Německo.
      Slabý, Jiří (203 Česká republika, garant, domácí) -- Strejček, Jan (203 Česká republika, domácí) -- Trtík, Marek (203 Česká republika, domácí)
      Klíčová slova anglicky: instrumentation; symbolic execution; program slicing
      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: 27. 4. 2014 22:59.
      Podrobněji: https://is.muni.cz/publication/1078253/cs
    16. Trading Performance for Stability in Markov Decision Processes
      BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Vojtěch FOREJT a Antonín KUČERA. Trading Performance for Stability in Markov Decision Processes. In Proceedings of 28th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2013). London: IEEE Computer Society, 2013, s. 331-340. ISBN 978-1-4799-0413-6. Dostupné z: https://dx.doi.org/10.1109/LICS.2013.39.
      RIV/00216224:14330/13:00066541 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Chatterjee, Krishnendu (356 Indie) -- Forejt, Vojtěch (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Markov decision processes; optimization
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 24. 4. 2014 18:43.
      Podrobněji: https://is.muni.cz/publication/1130508/cs

    2012

    1. Efficient Controller Synthesis for Consumption Games with Multiple Resource Types
      BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Antonín KUČERA a Petr NOVOTNÝ. Efficient Controller Synthesis for Consumption Games with Multiple Resource Types. In Computer Aided Verification - 24th International Conference, CAV 2012. Berlin: Springer, 2012, s. 23-38. ISBN 978-3-642-31423-0. Dostupné z: https://dx.doi.org/10.1007/978-3-642-31424-7_8.
      RIV/00216224:14330/12:00057576 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Chatterjee, Krishnendu (356 Indie) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Novotný, Petr (203 Česká republika, domácí)
      Klíčová slova anglicky: graph games; resource dependent systems
      Druh sborníku: postkonferenč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. 4. 2013 13:15.
      Podrobněji: https://is.muni.cz/publication/991673/cs
    2. Faster Deciding MSO Properties of Trees of Fixed Height, and Some Consequences
      GAJARSKÝ, Jakub a Petr HLINĚNÝ. Faster Deciding MSO Properties of Trees of Fixed Height, and Some Consequences. Online. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012). 2012. vyd. Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, LIPICS, 2012, s. 112-123. ISBN 978-3-939897-47-7. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.FSTTCS.2012.112.
      URL
      RIV/00216224:14330/12:00057865 Stať ve sborníku. Informatika. angličtina. Indie.
      Gajarský, Jakub (703 Slovensko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: MSO graph property; tree-with; tree-depth; shrub-depth
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 31. 3. 2013 13:22.
      Podrobněji: https://is.muni.cz/publication/1075307/cs
    3. Lower Bounds on the Complexity of MSO_1 Model-Checking
      GANIAN, Robert, Petr HLINĚNÝ, Jan OBDRŽÁLEK, Alexander LANGER, Peter ROSSMANITH a Somnath SIKDAR. Lower Bounds on the Complexity of MSO_1 Model-Checking. Online. In 29th International Symposium on Theoretical Aspects of Computer Science STACS2012. 2012. vyd. Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, LIPICS, 2012, s. 326-337. ISBN 978-3-939897-35-4. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.STACS.2012.326.
      STACS2012
      Název česky: Dolní meze složitosti MSO1 model checking
      RIV/00216224:14330/12:00057595 Stať ve sborníku. Informatika. angličtina. Francie.
      Ganian, Robert (840 Spojené státy, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Obdržálek, Jan (203 Česká republika, domácí) -- Langer, Alexander (276 Německo) -- Rossmanith, Peter (276 Německo) -- Sikdar, Somnath (356 Indie)
      Klíčová slova anglicky: Monadic Second-Order Logic; Treewidth; Lower Bounds; Exponential Time Hypothesis; Parameterized Complexity
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 31. 3. 2013 13:29.
      Podrobněji: https://is.muni.cz/publication/992001/cs
    4. Minimizing Expected Termination Time in One-Counter Markov Decision Processes
      BRÁZDIL, Tomáš, Antonín KUČERA, Petr NOVOTNÝ a Dominik WOJTCZAK. Minimizing Expected Termination Time in One-Counter Markov Decision Processes. In Proceedings of 39th International Colloquium on Automata, Languages and Programming (ICALP 2012). Berlin: Springer, 2012, s. 141-152. ISBN 978-3-642-31584-8. Dostupné z: https://dx.doi.org/10.1007/978-3-642-31585-5_16.
      RIV/00216224:14330/12:00057577 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Novotný, Petr (203 Česká republika, domácí) -- Wojtczak, Dominik (616 Polsko)
      Klíčová slova anglicky: one-counter automata; markov decision processes
      Druh sborníku: postkonferenč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. 4. 2013 13:16.
      Podrobněji: https://is.muni.cz/publication/991688/cs
    5. Stabilization of Branching Queueing Networks
      BRÁZDIL, Tomáš a Stefan KIEFER. Stabilization of Branching Queueing Networks. In Proceedings of the 29th International Symposium on Theoretical Aspects of Computer Science. Paris, France: IBFI Schloss Dagstuhl, 2012, s. 507-518. ISBN 978-3-939897-35-4.
      DOI
      Název česky: Stabilizace sítí větvících se front
      RIV/00216224:14330/12:00057347 Stať ve sborníku. Informatika. angličtina. Francie.
      Brázdil, Tomáš (203 Česká republika, garant, domácí) -- Kiefer, Stefan (276 Německo)
      Klíčová slova anglicky: continuous time Markov decision processes; infinite state systems; performance analysis
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Tomáš Brázdil, Ph.D., učo 4074. Změněno: 11. 4. 2013 09:15.
      Podrobněji: https://is.muni.cz/publication/979318/cs
    6. Verification of Open Interactive Markov Chains
      BRÁZDIL, Tomáš, Holger HERMANNS, Jan KRČÁL, Jan KŘETÍNSKÝ a Vojtěch ŘEHÁK. Verification of Open Interactive Markov Chains. In Deepak D'Souza and Telikepalli Kavitha and Jaikumar Radhakrishnan. IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2012, s. 474-485. ISBN 978-3-939897-47-7. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.FSTTCS.2012.474.
      URL
      RIV/00216224:14330/12:00057580 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika, garant, domácí) -- Hermanns, Holger (276 Německo) -- Krčál, Jan (203 Česká republika, domácí) -- Křetínský, Jan (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: IMC;compositional verification;synthesis;time bounded reachability;discretization
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 9. 4. 2013 17:57.
      Podrobněji: https://is.muni.cz/publication/991746/cs
    7. When Trees Grow Low: Shrubs and Fast MSO1
      GANIAN, Robert, Petr HLINĚNÝ, Jan OBDRŽÁLEK, Jaroslav NEŠETŘIL, Patrice OSSONA DE MENDEZ a Reshma RAMADURAI. When Trees Grow Low: Shrubs and Fast MSO1. In Math Foundations of Computer Science MFCS 2012. 7464. vyd. Německo: Lecture Notes in Computer Science, Springer-Verlag, 2012, s. 419-430. ISBN 978-3-642-32588-5. Dostupné z: https://dx.doi.org/10.1007/978-3-642-32589-2_38.
      Název česky: Když stromy nízké: Keře a rychlá MSO1
      RIV/00216224:14330/12:00057596 Stať ve sborníku. Informatika. angličtina. Slovensko.
      Ganian, Robert (840 Spojené státy, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Obdržálek, Jan (203 Česká republika, domácí) -- Nešetřil, Jaroslav (203 Česká republika) -- Ossona de Mendez, Patrice (250 Francie) -- Ramadurai, Reshma (356 Indie, domácí)
      Klíčová slova anglicky: tree-depth; shrub-depth; MSO model checking
      Druh sborníku: postkonferenč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. 4. 2013 13:19.
      Podrobněji: https://is.muni.cz/publication/992004/cs
Zobrazeno: 19. 9. 2024 01:01