Vámi zvolený výběr obsahuje 105 výsledků. Upravit výběr.
Filtrování publikací

    2024

    1. Antarstick: Extracting Snow Height From Time-Lapse Photography
      LANG, Matěj, Radoslav MRÁZ, Marek TRTÍK, Sergej STOPPEL, Jan BYŠKA a Barbora KOZLÍKOVÁ. Antarstick: Extracting Snow Height From Time-Lapse Photography. COMPUTER GRAPHICS FORUM. England: Wiley, 2024, roč. 43, č. 3, s. 1-11. ISSN 0167-7055. Dostupné z: https://dx.doi.org/10.1111/cgf.15088.
      URL
      RIV: Článek v odborném periodiku. angličtina. Spojené státy.
      Lang, Matěj (203 Česká republika, garant, domácí) -- Mráz, Radoslav (703 Slovensko, domácí) -- Trtík, Marek (203 Česká republika, domácí) -- Stoppel, Sergej (578 Norsko) -- Byška, Jan (203 Česká republika, domácí) -- Kozlíková, Barbora (203 Česká republika, domácí)
      Klíčová slova anglicky: Visualization toolkits; Geographic visualization
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: doc. RNDr. Barbora Kozlíková, Ph.D., učo 60850. Změněno: 22. 10. 2024 19:19.
      Podrobněji: https://is.muni.cz/publication/2401777/cs
    2. 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: 18. 10. 2024 17:04.
      Podrobněji: https://is.muni.cz/publication/2396652/cs
    3. 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: 18. 10. 2024 16:54.
      Podrobněji: https://is.muni.cz/publication/2396438/cs
    4. LPGD: A General Framework for Backpropagation through Embedded Optimization Layers
      PAULUS, Anselm, Georg MARTIUS a Vít MUSIL. LPGD: A General Framework for Backpropagation through Embedded Optimization Layers. Online. In Salakhutdinov R. and Kolter Z. and Heller K. and Weller A. and Oliver N. and Scarlett J. and Berkenkamp F. Proceedings of Machine Learning Research. 235. vyd. Neuveden: ML Research Press, 2024, s. 39989-40014. ISSN 2640-3498.
      Proceedings of Machine Learning Research
      RIV: Stať ve sborníku. angličtina.
      Paulus, Anselm (276 Německo) -- Martius, Georg (276 Německo) -- Musil, Vít (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Machine learning; combinatorial optimization
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Vít Musil, Ph.D., učo 246021. Změněno: 7. 11. 2024 09:30.
      Podrobněji: https://is.muni.cz/publication/2449779/cs
    5. Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes
      KLAŠKA, David, Antonín KUČERA, Vojtěch KŮR, Vít MUSIL a Vojtěch ŘEHÁK. Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes. In Wooldridge M., Dy J., Natarajan S. Proceedings of 38th Annual AAAI Conference on Artificial Intelligence (AAAI 2024). Washington, DC,. Neuveden: AAAI Press, 2024, s. 20143-20150. ISBN 978-1-57735-887-9. Dostupné z: https://dx.doi.org/10.1609/aaai.v38i18.29993.
      Paper URL
      RIV: Stať ve sborníku. angličtina.
      Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Kůr, Vojtěch (203 Česká republika, domácí) -- Musil, Vít (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: Markov decision processes; invariant distribution
      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: 26. 7. 2024 11:27.
      Podrobněji: https://is.muni.cz/publication/2396817/cs
    6. 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-203. ISBN 978-3-031-66148-8. Dostupné z: https://dx.doi.org/10.1007/978-3-031-66149-5_11.
      URL
      RIV: Stať ve sborníku. angličtina. Německo.
      Ayaziová, Paulína (703 Slovensko, domácí) -- Beyer, Dirk (276 Německo) -- Strejček, Jan (203 Česká republika, garant, domácí)
      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: 18. 10. 2024 16:52.
      Podrobněji: https://is.muni.cz/publication/2425639/cs
    7. 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: 18. 10. 2024 16:56.
      Podrobněji: https://is.muni.cz/publication/2396645/cs
    8. The Finite Satisfiability Problem for PCTL is Undecidable
      CHODIL, Miroslav a Antonín KUČERA. The Finite Satisfiability Problem for PCTL is Undecidable. Online. In Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science. New York, United States: IEEE Computer Society, 2024, s. 1-14. ISBN 979-8-4007-0660-8. Dostupné z: https://dx.doi.org/10.1145/3661814.3662145.
      URL
      RIV: Stať ve sborníku. angličtina. Spojené státy.
      Chodil, Miroslav (703 Slovensko, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Markov chains; probabilistic temporal logics
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 18. 11. 2024 12:46.
      Podrobněji: https://is.muni.cz/publication/2425902/cs
    9. The satisfiability problem for a quantitative fragment of PCTL
      CHODIL, Miroslav a Antonín KUČERA. The satisfiability problem for a quantitative fragment of PCTL. Journal of Computer and System Sciences. SAN DIEGO: Elsevier, 2024, roč. 139, č. 103478, s. 1-16. ISSN 0022-0000. Dostupné z: https://dx.doi.org/10.1016/j.jcss.2023.103478.
      Elsevier
      RIV: Článek v odborném periodiku. angličtina. Spojené státy.
      Chodil, Miroslav (703 Slovensko, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Satisfiability; Probabilistic temporal logics; PCTL
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Změněno: 18. 11. 2024 12:50.
      Podrobněji: https://is.muni.cz/publication/2308503/cs
    10. Tighter Construction of Tight Büchi Automata
      JANKOLA, Marek a Jan STREJČEK. Tighter Construction of Tight Büchi Automata. Online. In Naoki Kobayashi and James Worrell. Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I. Cham: Springer, 2024, s. 234-255. ISBN 978-3-031-57227-2. Dostupné z: https://dx.doi.org/10.1007/978-3-031-57228-9_12.
      URL
      RIV: Stať ve sborníku. angličtina. Německo.
      Jankola, Marek (703 Slovensko) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: tight automata; shortest counterexamples; LTL
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 18. 10. 2024 17:06.
      Podrobněji: https://is.muni.cz/publication/2396421/cs
    11. Who Let the Guards Out: Visual Support for Patrolling Games
      LANG, Matěj, Adam ŠTĚPÁNEK, Róbert ZVARA, Vojtěch ŘEHÁK a Barbora KOZLÍKOVÁ. Who Let the Guards Out: Visual Support for Patrolling Games. IEEE Transactions on Visualization and Computer Graphics. United States: IEEE Computer Society, 2024. ISSN 1077-2626. Dostupné z: https://dx.doi.org/10.1109/TVCG.2024.3456306.
      Repository of the visualization tool
      angličtina. Spojené státy.
      Klíčová slova anglicky: Patrolling Games; Strategy; Graph; Heatmap; Visual Analysis
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Ing. Matěj Lang, učo 242528. Změněno: 15. 11. 2024 10:22.
      Podrobněji: https://is.muni.cz/publication/2419857/cs
    12. 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: 18. 10. 2024 16:59.
      Podrobněji: https://is.muni.cz/publication/2396437/cs

    2023

    1. A multimodal smartwatch-based interaction concept for immersive environments
      LANG, Matěj, Clemens STROBEL, Felix WECKESSER, Danielle Kathryn LANGLOIS, Enkelejda KASNECI, Barbora KOZLÍKOVÁ a Michael KRONE. A multimodal smartwatch-based interaction concept for immersive environments. Computers & Graphics. Oxford: Elsevier, 2023, roč. 117, December, s. 85-95. ISSN 0097-8493. Dostupné z: https://dx.doi.org/10.1016/j.cag.2023.10.010.
      URL
      RIV/00216224:14330/23:00132189 Článek v odborném periodiku. angličtina. Velká Británie a Severní Irsko.
      Lang, Matěj (203 Česká republika, garant, domácí) -- Langlois, Danielle Kathryn (840 Spojené státy, domácí) -- Kozlíková, Barbora (203 Česká republika, domácí)
      Klíčová slova anglicky: Smartwatch;AR user interaction;Gesture interface;Input device;User experience;Cross-device interaction
      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/2336598/cs
    2. Asymptotic Complexity Estimates for Probabilistic Programs and their VASS Abstractions
      AJDARÓW, Michal a Antonín KUČERA. Asymptotic Complexity Estimates for Probabilistic Programs and their VASS Abstractions. Online. In Perez, Guillermo A. and Raskin, Jean-Francois. 34th International Conference on Concurrency Theory (CONCUR 2023). Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik, 2023, s. "12:1"-"12:16", 16 s. ISBN 978-3-95977-299-0. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.CONCUR.2023.12.
      Dagstuhl website
      RIV/00216224:14330/23:00131636 Stať ve sborníku. angličtina. Německo.
      Ajdarów, Michal (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: VASS; termination complexity
      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: 7. 4. 2024 23:20.
      Podrobněji: https://is.muni.cz/publication/2308407/cs
    3. Backpropagation through combinatorial algorithms: identity with projection works
      SUBHAM SEKHAR, Sahoo, Anselm PAULUS, Marin VLASTELICA, Vít MUSIL, Volodymyr KULESHOV a Georg MARTIUS. Backpropagation through combinatorial algorithms: identity with projection works. In 11th International Conference on Learning Representations, ICLR 2023. 2023.
      Openreview Poster
      RIV: Prezentace na konferencích. angličtina.
      Musil, Vít (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Machine learning; combinatorial optimization
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 7. 11. 2024 15:08.
      Podrobněji: https://is.muni.cz/publication/2449790/cs
    4. Mean Payoff Optimization for Systems of Periodic Service and Maintenance
      KLAŠKA, David, Antonín KUČERA, Vít MUSIL a Vojtěch ŘEHÁK. Mean Payoff Optimization for Systems of Periodic Service and Maintenance. Online. In Edith Elkind. Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,. Neuveden: International Joint Conferences on Artificial Intelligence, 2023, s. 5386-5393. ISBN 978-1-956792-03-4. Dostupné z: https://dx.doi.org/10.24963/ijcai.2023/598.
      Paper URL
      RIV/00216224:14330/23:00131517 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: Periodic Maintenance; 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: 8. 4. 2024 15:45.
      Podrobněji: https://is.muni.cz/publication/2304579/cs
    5. Monte Carlo Tree Search with Function Approximation for Risk-constrained Planning and Reinforcement Learning
      KUREČKA, Martin. Monte Carlo Tree Search with Function Approximation for Risk-constrained Planning and Reinforcement Learning. In The IJCAI-23 Joint Workshop on Artificial Intelligence Safety and Safe Reinforcement Learning. 2023.
      URL
      Změnil: Mgr. Martin Kurečka, učo 485413. Změněno: 30. 1. 2024 18:02.
      Podrobněji: https://is.muni.cz/publication/2367779/cs
    6. Optimal Sobolev embeddings for the Ornstein-Uhlenbeck operator
      CIANCHI, Andrea, Vít MUSIL a Luboš PICK. Optimal Sobolev embeddings for the Ornstein-Uhlenbeck operator. Journal of Differential Equations. San Diego, CA USA: ACADEMIC PRESS INC ELSEVIER SCIENCE, 2023, roč. 359, č. 1, s. 414-475. ISSN 0022-0396. Dostupné z: https://dx.doi.org/10.1016/j.jde.2023.02.035.
      URL
      RIV/00216224:14330/23:00133452 Článek v odborném periodiku. angličtina. Spojené státy.
      Cianchi, Andrea (380 Itálie, garant) -- Musil, Vít (203 Česká republika, domácí) -- Pick, Luboš (203 Česká republika)
      Klíčová slova anglicky: Ornstein-Uhlenbeck operator; Gauss space; embeddings; optimality
      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:45.
      Podrobněji: https://is.muni.cz/publication/2369847/cs
    7. Optimality problems in Orlicz spaces
      MUSIL, Vít, Luboš PICK a Jakub TAKÁČ. Optimality problems in Orlicz spaces. Advances in Mathematics. SAN DIEGO: ACADEMIC PRESS INC ELSEVIER SCIENCE, 2023, roč. 432, November 1, s. 1-58. ISSN 0001-8708. Dostupné z: https://dx.doi.org/10.1016/j.aim.2023.109273.
      URL
      RIV/00216224:14330/23:00133451 Článek v odborném periodiku. angličtina. Spojené státy.
      Musil, Vít (203 Česká republika, garant, domácí) -- Pick, Luboš (203 Česká republika)
      Klíčová slova anglicky: Orlicz space; Rearrangement-invariant space; Optimality; Sobolev embedding; Maximal operator; Laplace transform
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 8. 4. 2024 16:24.
      Podrobněji: https://is.muni.cz/publication/2369844/cs
    8. 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
    9. Shielding in Resource-Constrained Goal POMDPs
      AJDARÓW, Michal, Šimon BRLEJ a Petr NOVOTNÝ. Shielding in Resource-Constrained Goal POMDPs. Online. In Brian Williams, Yiling Chen, Jennifer Neville. Proceedings of the 37th AAAI Conference on Artificial Intelligence. Washington, DC, USA: AAAI Press, 2023, s. 14674-14682. ISBN 978-1-57735-880-0. Dostupné z: https://dx.doi.org/10.1609/aaai.v37i12.26715.
      URL
      RIV/00216224:14330/23:00131270 Stať ve sborníku. angličtina. Spojené státy.
      Ajdarów, Michal (203 Česká republika, domácí) -- Brlej, Šimon (703 Slovensko, domácí) -- Novotný, Petr (203 Česká republika, domácí)
      Klíčová slova anglicky: decision making; Markov decision processes; controller synthesis; resource constraints; shielding
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 7. 4. 2024 23:07.
      Podrobněji: https://is.muni.cz/publication/2298218/cs
    10. Symbiotic-Witch 2 (software)
      AYAZIOVÁ, Paulína a Jan STREJČEK. Symbiotic-Witch 2. 2023.
      Odkaz na stránku software
      angličtina. Česká republika.
      Klíčová slova anglicky: Witch;witness-validator;SV-COMP;verification witness
      Mezinárodní význam: ano
      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 7. 11. 2023 15:49.
      Podrobněji: https://is.muni.cz/publication/2336077/cs
    11. 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
    12. Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems
      KLAŠKA, David, Antonín KUČERA, Martin KUREČKA, Vít MUSIL, Petr NOVOTNÝ a Vojtěch ŘEHÁK. Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems. Online. In Edith Elkind. Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,. Neuveden: International Joint Conferences on Artificial Intelligence, 2023, s. 171-179. ISBN 978-1-956792-03-4. Dostupné z: https://dx.doi.org/10.24963/ijcai.2023/20.
      Paper URL
      RIV/00216224:14330/23:00131516 Stať ve sborníku. angličtina.
      Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Kurečka, Martin (203 Česká republika, 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: Multi-agent systems; 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: 26. 7. 2024 11:28.
      Podrobněji: https://is.muni.cz/publication/2304578/cs

    2022

    1. 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
    2. 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
    3. On the Existence of Extremals for Moser-Type Inequalities in Gauss Space
      CIANCHI, Andrea, Vít MUSIL a Luboš PICK. On the Existence of Extremals for Moser-Type Inequalities in Gauss Space. INTERNATIONAL MATHEMATICS RESEARCH NOTICES. ENGLAND: OXFORD UNIV PRESS, 2022, roč. 2022, č. 2, s. 1494-1537. ISSN 1073-7928. Dostupné z: https://dx.doi.org/10.1093/imrn/rnaa165.
      URL
      angličtina. Velká Británie a Severní Irsko.
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Vít Musil, Ph.D., učo 246021. Změněno: 5. 2. 2024 00:11.
      Podrobněji: https://is.muni.cz/publication/2369849/cs
    4. 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
    5. Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge
      CHODIL, Miroslav, Antonín KUČERA a Jan KŘETÍNSKÝ. Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge. In Jean-Francois Raskin, Krishnendu Chatterjee, Laurent Doyen, and Rupak Majumdar. Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. New York, NY, United States: Springer, 2022, s. 364-387. ISBN 978-3-031-22336-5. Dostupné z: https://dx.doi.org/10.1007/978-3-031-22337-2_18.
      The book URL.
      RIV/00216224:14330/22:00127926 Stať ve sborníku. angličtina. Spojené státy.
      Chodil, Miroslav (703 Slovensko, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Křetínský, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: probabilistic logics; satisfiablity
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 6. 4. 2023 06:35.
      Podrobněji: https://is.muni.cz/publication/2245876/cs

    2021

    1. CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming Constraints
      PAULUS, Anselm, Michal ROLÍNEK, Vít MUSIL, Brandon AMOS a Georg MARTIUS. CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming Constraints. Online. In Meila, M; Zhang, T. INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 139. 139. vyd. SAN DIEGO: JMLR-JOURNAL MACHINE LEARNING RESEARCH, 2021, s. 8443-8453. ISBN 978-1-7138-4506-5.
      URL
      RIV/00216224:14330/21:00122671 Stať ve sborníku. angličtina. Spojené státy.
      Musil, Vít (203 Česká republika, domácí) -- Martius, Georg (garant)
      Klíčová slova anglicky: machine learning; combinatorial optimization; integer linear programming; constraints
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Vít Musil, Ph.D., učo 246021. Změněno: 4. 2. 2024 23:57.
      Podrobněji: https://is.muni.cz/publication/1799741/cs
    2. Deciding Polynomial Termination Complexity for VASS Programs
      AJDARÓW, Michal a Antonín KUČERA. Deciding Polynomial Termination Complexity for VASS Programs. Online. In Haddad, Serge and Varacca, Daniele. 32nd International Conference on Concurrency Theory (CONCUR 2021). Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik, 2021, s. "30:1"-"30:15", 15 s. ISBN 978-3-95977-203-7. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.CONCUR.2021.30.
      Dagstuhl website
      RIV/00216224:14330/21:00119194 Stať ve sborníku. angličtina. Německo.
      Ajdarów, Michal (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: VASS; termination complexity
      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. 2022 09:59.
      Podrobněji: https://is.muni.cz/publication/1790538/cs
    3. Fast Computation of Strong Control Dependencies
      CHALUPA, Marek, David KLAŠKA, Jan STREJČEK a Lukáš TOMOVIČ. Fast Computation of Strong Control Dependencies. In Alexandra Silva, K. Rustan M. Leino. Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II. Cham (Švýcarsko): Springer, Cham, 2021, s. 887-910. ISBN 978-3-030-81687-2. Dostupné z: https://dx.doi.org/10.1007/978-3-030-81688-9_41.
      URL
      RIV/00216224:14330/21:00121991 Stať ve sborníku. angličtina. Švýcarsko.
      Chalupa, Marek (203 Česká republika, domácí) -- Klaška, David (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, domácí) -- Tomovič, Lukáš (703 Slovensko, domácí)
      Klíčová slova anglicky: control dependence;non-termination sensitive control dependence;decisive order dependence;control closure;ntscd;dod;graph theory
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 5. 2022 14:53.
      Podrobněji: https://is.muni.cz/publication/1783922/cs
    4. Maximal Non-compactness of Sobolev Embeddings
      LANG, Jan, Vít MUSIL, Miroslav OLŠÁK a Luboš PICK. Maximal Non-compactness of Sobolev Embeddings. Journal of Geometric Analysis. NEW YORK: Springer, 2021, roč. 31, č. 9, s. 9406-9431. ISSN 1050-6926. Dostupné z: https://dx.doi.org/10.1007/s12220-020-00522-y.
      URL
      angličtina. Spojené státy.
      Klíčová slova anglicky: Ball measure of non-compactness; Maximal non-compactness; Sobolev embedding; Weak Lebesgue spaces
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Vít Musil, Ph.D., učo 246021. Změněno: 5. 2. 2024 00:04.
      Podrobněji: https://is.muni.cz/publication/2369852/cs
    5. 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
    6. Sharp exponential inequalities for the Ornstein-Uhlenbeck operator
      CIANCHI, Andrea, Vít MUSIL a Luboš PICK. Sharp exponential inequalities for the Ornstein-Uhlenbeck operator. Journal of Functional Analysis. SAN DIEGO: Elsevier, 2021, roč. 281, č. 11, 68 s. ISSN 0022-1236. Dostupné z: https://dx.doi.org/10.1016/j.jfa.2021.109217.
      URL
      angličtina. Spojené státy.
      Klíčová slova anglicky: Ornstein-Uhlenbeck operator; Gauss space; Sharp exponential constants; Extremal functions
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Vít Musil, Ph.D., učo 246021. Změněno: 5. 2. 2024 00:10.
      Podrobněji: https://is.muni.cz/publication/2369850/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

    2019

    1. Deciding Fast Termination for Probabilistic VASS with Nondeterminism
      BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Antonín KUČERA, Petr NOVOTNÝ a Dominik VELAN. Deciding Fast Termination for Probabilistic VASS with Nondeterminism. In Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza. Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Proceedings. Cham: Springer, 2019, s. 462-478. ISBN 978-3-030-31783-6. Dostupné z: https://dx.doi.org/10.1007/978-3-030-31784-3_27.
      URL
      RIV/00216224:14330/19:00107764 Stať ve sborníku. angličtina. Švýcarsko.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Chatterjee, Krishnendu (356 Indie) -- Kučera, Antonín (203 Česká republika, domácí) -- Novotný, Petr (203 Česká republika, garant, domácí) -- Velan, Dominik (203 Česká republika, domácí)
      Klíčová slova anglicky: angelic and demonic nondeterminism; termination time; probabilistic VASS
      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: 17. 4. 2020 12:21.
      Podrobněji: https://is.muni.cz/publication/1576916/cs
    2. Of Cores: A Partial-Exploration Framework for Markov Decision Processes
      KŘETÍNSKÝ, Jan a Tobias MEGGENDORFER. Of Cores: A Partial-Exploration Framework for Markov Decision Processes. Online. In 30th International Conference on Concurrency Theory (CONCUR 2019). Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2019, s. 1-17. ISBN 978-3-95977-121-4. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.CONCUR.2019.5.
      RIV/00216224:14330/19:00108293 Stať ve sborníku. angličtina. Německo.
      Křetínský, Jan (203 Česká republika, garant, domácí) -- Meggendorfer, Tobias (276 Německo)
      Klíčová slova anglicky: Partial Exploration; Markov Decision Processes; Verification
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2020 23:16.
      Podrobněji: https://is.muni.cz/publication/1649046/cs
    3. PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games
      ASHOK, Pranav, Jan KŘETÍNSKÝ a Maximilian WEININGER. PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games. In Computer Aided Verification (CAV 2019). Cham: Springer, 2019, s. 497-519. ISBN 978-3-030-25539-8. Dostupné z: https://dx.doi.org/10.1007/978-3-030-25540-4_29.
      RIV/00216224:14330/19:00108294 Stať ve sborníku. angličtina. Švýcarsko.
      Ashok, Pranav (356 Indie) -- Křetínský, Jan (203 Česká republika, garant, domácí) -- Weininger, Maximilian (276 Německo)
      Klíčová slova anglicky: PAC; Statistical Model Checking; Markov Decision Processes; Stochastic Games
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2020 16:29.
      Podrobněji: https://is.muni.cz/publication/1649047/cs
    4. Strategy Representation by Decision Trees with Linear Classifiers
      ASHOK, Pranav, Tomáš BRÁZDIL, Krishnendu CHATTERJEE, Jan KŘETÍNSKÝ, Christoph LAMPERT a Viktor TOMAN. Strategy Representation by Decision Trees with Linear Classifiers. In Quantitative Evaluation of Systems (QEST 2019). Cham: Springer, 2019, s. 109-128. ISBN 978-3-030-30280-1. Dostupné z: https://dx.doi.org/10.1007/978-3-030-30281-8_7.
      RIV/00216224:14330/19:00108295 Stať ve sborníku. angličtina. Švýcarsko.
      Ashok, Pranav (356 Indie) -- Brázdil, Tomáš (203 Česká republika, domácí) -- Chatterjee, Krishnendu (356 Indie) -- Křetínský, Jan (203 Česká republika, garant, domácí) -- Toman, Viktor (703 Slovensko, domácí)
      Klíčová slova anglicky: Strategy Representation; Decision Trees; Linear Classifiers
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2020 23:17.
      Podrobněji: https://is.muni.cz/publication/1649049/cs

    2018

    1. A generic framework for checking semantic equivalences between pushdown automata and finite-state automata
      KUČERA, Antonín a Richard MAYR. A generic framework for checking semantic equivalences between pushdown automata and finite-state automata. Journal of Computer and System Sciences. Academic Press, 2018, roč. 91, č. 1, s. 82-103. ISSN 0022-0000. Dostupné z: https://dx.doi.org/10.1016/j.jcss.2017.09.004.
      URL
      RIV/00216224:14330/18:00100834 Článek v odborném periodiku. angličtina. Spojené státy.
      Kučera, Antonín (203 Česká republika, garant, domácí) -- Mayr, Richard (276 Německo)
      Klíčová slova anglicky: pushdown automata; equivalence-checking
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 31. 5. 2022 17:33.
      Podrobněji: https://is.muni.cz/publication/1409287/cs
    2. A large-scale comparative study of beta testers and regular users
      ŠŤAVOVÁ, Vlasta, Lenka DĚDKOVÁ, Martin UKROP a Václav MATYÁŠ. A large-scale comparative study of beta testers and regular users. Communications of the ACM. New York, NY, USA: ACM, 2018, roč. 61, č. 2, s. 64-71. ISSN 0001-0782. Dostupné z: https://dx.doi.org/10.1145/3173570.
      URL
      RIV/00216224:14330/18:00102080 Článek v odborném periodiku. Informatika. angličtina. Spojené státy.
      Šťavová, Vlasta (203 Česká republika, garant, domácí) -- Dědková, Lenka (203 Česká republika, domácí) -- Ukrop, Martin (703 Slovensko, domácí) -- Matyáš, Václav (203 Česká republika, domácí)
      Klíčová slova anglicky: beta testers; regular users; large-scale comparison; security software
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Martin Ukrop, Ph.D., učo 374297. Změněno: 15. 4. 2020 15:16.
      Podrobněji: https://is.muni.cz/publication/1392237/cs
    3. A Simpler Self-reduction Algorithm for Matroid Path-width
      HLINĚNÝ, Petr. A Simpler Self-reduction Algorithm for Matroid Path-width. SIAM Journal on Discrete Mathematics. Philadelphia: SIAM, 2018, roč. 32, č. 2, s. 1425-1440. ISSN 0895-4801. Dostupné z: https://dx.doi.org/10.1137/17M1120129.
      URL
      RIV/00216224:14330/18:00101457 Článek v odborném periodiku. angličtina. Spojené státy.
      Hliněný, Petr (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: matroid; path-width; trellis-width; fixed-parameter tractability; well-quasi-ordering
      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:52.
      Podrobněji: https://is.muni.cz/publication/1480301/cs
    4. 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
    5. Adaptive Secrecy Amplification with Radio Channel Key Extraction
      NĚMEC, Lukáš, Radim OŠŤÁDAL, Václav MATYÁŠ a Petr ŠVENDA. Adaptive Secrecy Amplification with Radio Channel Key Extraction. Online. In Lisa O’Conner. 2018 14th International Conference on Distributed Computing in Sensor Systems (DCOSS). New York, NY, USA: IEEE, 2018, s. 123-130. ISBN 978-1-5386-5470-5. Dostupné z: https://dx.doi.org/10.1109/DCOSS.2018.00028.
      URL
      Název anglicky: Adaptive secrecy amplification with radio channel key extraction
      RIV/00216224:14330/18:00101123 Stať ve sborníku. angličtina. Spojené státy.
      Němec, Lukáš (203 Česká republika, domácí) -- Ošťádal, Radim (203 Česká republika, domácí) -- Matyáš, Václav (203 Česká republika, domácí) -- Švenda, Petr (203 Česká republika, domácí)
      Klíčová slova anglicky: Protocols;Cryptography;Fading channels;Wireless sensor networks;Quantization (signal);Dynamic scheduling;adaptive; autonomous; cryptography; distributed; protocol; security; wireless radio communication
      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:17.
      Podrobněji: https://is.muni.cz/publication/1430816/cs
    6. 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
    7. Bisimulation Invariant Monadic-Second Order Logic in the Finite
      BLUMENSATH, Achim a Felix WOLF. Bisimulation Invariant Monadic-Second Order Logic in the Finite. Online. In 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic. Dagstuhl: Schloss Dagstuhl, 2018, s. 1-13. ISBN 978-3-95977-076-7. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.ICALP.2018.117.
      Název anglicky: Bisimulation Invariant Monadic-Second Order Logic in the Finite
      RIV/00216224:14330/18:00101061 Stať ve sborníku. angličtina. Česká republika.
      Blumensath, Achim (276 Německo, garant, domácí) -- Wolf, Felix (276 Německo)
      Klíčová slova anglicky: bisimulation; monadic second-order logic; composition method
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 30. 4. 2019 09:59.
      Podrobněji: https://is.muni.cz/publication/1423341/cs
    8. Black Ninjas in the Dark: Formal Analysis of Population Protocols
      BLONDIN, Michael, Javier ESPARZA, Stefan JAAX a Antonín KUČERA. Black Ninjas in the Dark: Formal Analysis of Population Protocols. In Anuj Dawar, Erich Gradel. 2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Oxford, England: ACM, 2018, s. 1-10. ISBN 978-1-4503-5583-4. Dostupné z: https://dx.doi.org/10.1145/3209108.3209110.
      ACM Digital Library
      RIV/00216224:14330/18:00101073 Stať ve sborníku. angličtina. Velká Británie a Severní Irsko.
      Esparza, Javier (724 Španělsko) -- Jaax, Stefan (276 Německo) -- Kučera, Antonín (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: population protocols; automatic 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: 30. 4. 2019 07:23.
      Podrobněji: https://is.muni.cz/publication/1423768/cs
    9. Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes
      KŘETÍNSKÝ, Jan a Tobias MEGGENDORFER. Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes. Online. In Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '18). New York, NY, USA: ACM, 2018, s. 609-618. ISBN 978-1-4503-5583-4. Dostupné z: https://dx.doi.org/10.1145/3209108.3209176.
      RIV/00216224:14330/18:00108288 Stať ve sborníku. angličtina. Spojené státy.
      Křetínský, Jan (203 Česká republika, garant, domácí) -- Meggendorfer, Tobias (276 Německo)
      Klíčová slova anglicky: conditional value-at-risk; Markov chains; Markov decision processes; reachability; mean-payoff
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 31. 5. 2022 12:24.
      Podrobněji: https://is.muni.cz/publication/1649039/cs
    10. Continuous-Time Markov Decisions Based on Partial Exploration
      ASHOK, Pranav, Yuliya BUTKOVA, Holger HERMANNS a Jan KŘETÍNSKÝ. Continuous-Time Markov Decisions Based on Partial Exploration. In Automated Technology for Verification and Analysis. ATVA 2018. Cham: Springer, 2018, s. 317-334. ISBN 978-3-030-01089-8. Dostupné z: https://dx.doi.org/10.1007/978-3-030-01090-4_19.
      RIV/00216224:14330/18:00108289 Stať ve sborníku. angličtina. Švýcarsko.
      Ashok, Pranav (356 Indie) -- Butkova, Yuliya (860 Uzbekistán) -- Hermanns, Holger (276 Německo) -- Křetínský, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Continuous-Time Markov Decision Processes; reachability; Partial Exploration
      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 16. 5. 2022 14:35.
      Podrobněji: https://is.muni.cz/publication/1649041/cs
    11. Deciding Parity of Graph Crossing Number
      HLINĚNÝ, Petr a Carsten THOMASSEN. Deciding Parity of Graph Crossing Number. SIAM Journal on Discrete Mathematics. Philadelphia: SIAM, 2018, roč. 32, č. 3, s. 1962-1965. ISSN 0895-4801. Dostupné z: https://dx.doi.org/10.1137/17M1137231.
      URL
      RIV/00216224:14330/18:00101456 Článek v odborném periodiku. angličtina. Spojené státy.
      Hliněný, Petr (203 Česká republika, garant, domácí) -- Thomassen, Carsten (208 Dánsko)
      Klíčová slova anglicky: graph; crossing number; NP-hardness
      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:54.
      Podrobněji: https://is.muni.cz/publication/1480299/cs
    12. Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS
      BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Antonín KUČERA, Petr NOVOTNÝ, Dominik VELAN a Florian ZULEGER. Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. In Anuj Dawar, Erich Gradel. 2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Oxford, England: ACM, 2018, s. 185-194. ISBN 978-1-4503-5583-4. Dostupné z: https://dx.doi.org/10.1145/3209108.3209191.
      ACM Digital Library
      RIV/00216224:14330/18:00100882 Stať ve sborníku. angličtina. Velká Británie a Severní Irsko.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Chatterjee, Krishnendu (356 Indie) -- Kučera, Antonín (203 Česká republika, domácí) -- Novotný, Petr (203 Česká republika) -- Velan, Dominik (203 Česká republika, garant, domácí) -- Zuleger, Florian (40 Rakousko)
      Klíčová slova anglicky: vector addition systems with states; termination
      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. 2019 04:27.
      Podrobněji: https://is.muni.cz/publication/1413152/cs
    13. Entropy crowdsourcing - protocols for link key updates in wireless sensor networks
      NĚMEC, Lukáš, Radim OŠŤÁDAL, Václav MATYÁŠ a Petr ŠVENDA. Entropy crowdsourcing - protocols for link key updates in wireless sensor networks. In Security Protocols XXVI: 26th International Workshop. Cham, Switzerland: Springer International Publishing, 2018, s. 84-92. ISBN 978-3-030-03250-0. Dostupné z: https://dx.doi.org/10.1007/978-3-030-03251-7_9.
      URL
      RIV/00216224:14330/18:00100827 Stať ve sborníku. angličtina. Německo.
      Němec, Lukáš (203 Česká republika, domácí) -- Ošťádal, Radim (203 Česká republika, domácí) -- Matyáš, Václav (203 Česká republika, garant, domácí) -- Švenda, Petr (203 Česká republika, domácí)
      Klíčová slova anglicky: entropy extraction; key extraction; link key update; secrecy amplification; wireless sensor networks
      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. 2019 09:44.
      Podrobněji: https://is.muni.cz/publication/1408306/cs
    14. Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets
      BENDÍK, Jaroslav a Ivana ČERNÁ. Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets. Online. In Gilles Barthe and Geoff Sutcliffe and Margus Veanes. LPAR-22, 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Awassa, Etiopie: EPiC Series in Computing, 2018, s. 131-142. ISSN 2398-7340. Dostupné z: https://dx.doi.org/10.29007/sxzb.
      URL
      Název anglicky: Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets
      RIV/00216224:14330/18:00104038 Stať ve sborníku. angličtina.
      Bendík, Jaroslav (203 Česká republika, garant, domácí) -- Černá, Ivana (203 Česká republika, domácí)
      Klíčová slova anglicky: minimal unsatisfiable subsets;mus enumeration;infeasibility analysis;unsatisfiability analysis
      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: 31. 5. 2022 14:21.
      Podrobněji: https://is.muni.cz/publication/1449236/cs
    15. Evolving boolean functions for fast and efficient randomness testing
      MRÁZEK, Vojtěch, Marek SÝS, Zdenek VASICEK, Lukáš SEKANINA a Václav MATYÁŠ. Evolving boolean functions for fast and efficient randomness testing. In Proceedings of the Genetic and Evolutionary Computation Conference 2018. USA: Association for Computing Machinery, 2018, s. 1302-1309. ISBN 978-1-4503-5618-3. Dostupné z: https://dx.doi.org/10.1145/3205455.3205518.
      URL
      RIV/00216224:14330/18:00101071 Stať ve sborníku. angličtina. Spojené státy.
      Mrázek, Vojtěch (203 Česká republika) -- Sýs, Marek (703 Slovensko, domácí) -- Vasicek, Zdenek (203 Česká republika) -- Sekanina, Lukáš (203 Česká republika) -- Matyáš, Václav (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Boolean function; evolutionary computing; randomness; statistical test
      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: 30. 4. 2019 07:22.
      Podrobněji: https://is.muni.cz/publication/1423716/cs
    16. Experimental large-scale review of attractors for detection of potentially unwanted applications
      ŠŤAVOVÁ, Vlasta, Lenka DĚDKOVÁ, Václav MATYÁŠ, Mike JUST, David ŠMAHEL a Martin UKROP. Experimental large-scale review of attractors for detection of potentially unwanted applications. Computers & Security. Oxford: Elsevier, 2018, roč. 76, July, s. 92-100. ISSN 0167-4048. Dostupné z: https://dx.doi.org/10.1016/j.cose.2018.02.017.
      URL URL
      RIV/00216224:14330/18:00102440 Článek v odborném periodiku. angličtina. Velká Británie a Severní Irsko.
      Šťavová, Vlasta (203 Česká republika, domácí) -- Dědková, Lenka (203 Česká republika, domácí) -- Matyáš, Václav (203 Česká republika, domácí) -- Just, Mike (124 Kanada) -- Šmahel, David (203 Česká republika, domácí) -- Ukrop, Martin (703 Slovensko, domácí)
      Klíčová slova anglicky: PUA; PUP; usable security; usability
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2019 17:17.
      Podrobněji: https://is.muni.cz/publication/1411904/cs
    17. Finding Regressions in Projects under Version Control Systems
      BENDÍK, Jaroslav, Nikola BENEŠ a Ivana ČERNÁ. Finding Regressions in Projects under Version Control Systems. In Leszek A. Maciaszek and Marten van Sinderen. 13th International Conference on Software Technologies. Porto: SciTePress, 2018, s. 152-163. ISBN 978-989-758-320-9. Dostupné z: https://dx.doi.org/10.5220/0006864401520163.
      URL
      RIV/00216224:14330/18:00103101 Stať ve sborníku. angličtina. Portugalsko.
      Bendík, Jaroslav (203 Česká republika, garant, domácí) -- Beneš, Nikola (203 Česká republika, domácí) -- Černá, Ivana (203 Česká republika, domácí)
      Klíčová slova anglicky: Version Control Systems;Regressions;Regression Points;Code Debugging;Bisection
      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. 2024 17:24.
      Podrobněji: https://is.muni.cz/publication/1421861/cs
    18. 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
    19. Investigating results and performance of search and construction algorithms for word-based LFSRs, \sigma-LFSRs
      BISHOI, Susil Kumar a Václav MATYÁŠ. Investigating results and performance of search and construction algorithms for word-based LFSRs, \sigma-LFSRs. Discrete Applied Mathematics. Elsevier B.V., 2018, roč. 243, July, s. 90-98. ISSN 0166-218X. Dostupné z: https://dx.doi.org/10.1016/j.dam.2018.01.010.
      URL
      RIV/00216224:14330/18:00100955 Článek v odborném periodiku. angličtina. Nizozemské království.
      Bishoi, Susil Kumar (356 Indie, domácí) -- Matyáš, Václav (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Primitive polynomial; LFSR; \sigma-LFSR; Xorshift random number generator
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Václav Matyáš, M.Sc., Ph.D., učo 344. Změněno: 2. 2. 2021 10:31.
      Podrobněji: https://is.muni.cz/publication/1418354/cs
    20. 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
    21. 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
    22. Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints
      KŘETÍNSKÝ, Jan, Guillermo PEREZ a Jean-Francois RASKIN. Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints. Online. In 29th International Conference on Concurrency Theory (CONCUR 2018). Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2018, s. 1-18. ISBN 978-3-95977-087-3. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.CONCUR.2018.8.
      RIV/00216224:14330/18:00108291 Stať ve sborníku. angličtina. Německo.
      Křetínský, Jan (203 Česká republika, garant, domácí) -- Perez, Guillermo (188 Kostarika) -- Raskin, Jean-Francois (56 Belgie)
      Klíčová slova anglicky: Learning; Mean-Payoff; Markov decision process; Omega-Regular Specification
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2020 23:49.
      Podrobněji: https://is.muni.cz/publication/1649044/cs
    23. Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes
      ASHOK, Pranav, Tomáš BRÁZDIL, Jan KŘETÍNSKÝ a Ondřej SLÁMEČKA. Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes. In Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018). Cham: Springer, 2018, s. 322-335. ISBN 978-3-030-03420-7. Dostupné z: https://dx.doi.org/10.1007/978-3-030-03421-4_21.
      RIV/00216224:14330/18:00108292 Stať ve sborníku. angličtina. Švýcarsko.
      Ashok, Pranav (356 Indie) -- Brázdil, Tomáš (203 Česká republika, domácí) -- Křetínský, Jan (203 Česká republika, garant, domácí) -- Slámečka, Ondřej (203 Česká republika, domácí)
      Klíčová slova anglicky: Monte Carlo Tree Search; Reachability; Markov Decision Processes
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2020 07:54.
      Podrobněji: https://is.muni.cz/publication/1649045/cs
    24. 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
    25. On the complexity of the quantified bit-vector arithmetic with binary encoding
      JONÁŠ, Martin a Jan STREJČEK. On the complexity of the quantified bit-vector arithmetic with binary encoding. Information Processing Letters. Elsevier, 2018, roč. 135, červenec 2018, s. 57-61. ISSN 0020-0190. Dostupné z: https://dx.doi.org/10.1016/j.ipl.2018.02.018.
      URL
      RIV/00216224:14330/18:00100916 Článek v odborném periodiku. angličtina. Nizozemské království.
      Jonáš, Martin (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: computational complexity; satisfiability modulo theories; bit-vector theory
      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:54.
      Podrobněji: https://is.muni.cz/publication/1415323/cs
    26. Parameterized Extension Complexity of Independent Set and Related Problems
      GAJARSKÝ, Jakub, Petr HLINĚNÝ a Hans Raj TIWARY. Parameterized Extension Complexity of Independent Set and Related Problems. Discrete Applied Mathematics. Elsevier Science, 2018, roč. 248, SI, s. 56-67. ISSN 0166-218X. Dostupné z: https://dx.doi.org/10.1016/j.dam.2017.04.042.
      URL
      RIV/00216224:14330/18:00100733 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
      Gajarský, Jakub (703 Slovensko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Tiwary, Hans Raj (356 Indie)
      Klíčová slova anglicky: parameterized complexity; extension complexity; independent set; FO model checking
      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:57.
      Podrobněji: https://is.muni.cz/publication/1392989/cs
    27. Practical Cryptographic Data Integrity Protection with Full Disk Encryption
      BROŽ, Milan, Mikuláš PATOČKA a Václav MATYÁŠ. Practical Cryptographic Data Integrity Protection with Full Disk Encryption. In Janczewski L., Kutyłowski M. 2018 IFIP International Conference on ICT Systems Security and Privacy Protection. Cham: Springer, 2018, s. 79-93. ISBN 978-3-319-99827-5. Dostupné z: https://dx.doi.org/10.1007/978-3-319-99828-2_6.
      URL
      RIV/00216224:14330/18:00103683 Stať ve sborníku. angličtina. Švýcarsko.
      Brož, Milan (203 Česká republika, garant, domácí) -- Patočka, Mikuláš (203 Česká republika) -- Matyáš, Václav (203 Česká republika, domácí)
      Klíčová slova anglicky: Full Disk Encryption; Linux; cryptographic integrity protection
      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: 31. 5. 2022 14:21.
      Podrobněji: https://is.muni.cz/publication/1436337/cs
    28. Recursive Online Enumeration of All Minimal Unsatisfiable Subsets
      BENDÍK, Jaroslav, Ivana ČERNÁ a Nikola BENEŠ. Recursive Online Enumeration of All Minimal Unsatisfiable Subsets. In Shuvendu Lahiri and Chao Wang. Automated Technology for Verification and Analysis - 16th International Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings}. Los Angeles: Springer, 2018, s. 143-159. ISBN 978-3-030-01089-8. Dostupné z: https://dx.doi.org/10.1007/978-3-030-01090-4_9.
      URL
      Název anglicky: Recursive Online Enumeration of All Minimal Unsatisfiable Subsets
      RIV/00216224:14330/18:00101107 Stať ve sborníku. angličtina.
      Bendík, Jaroslav (203 Česká republika, garant, domácí) -- Černá, Ivana (203 Česká republika, domácí) -- Beneš, Nikola (203 Česká republika, domácí)
      Klíčová slova anglicky: formal verification; minimal unstisfiable subsets
      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. 2019 07:25.
      Podrobněji: https://is.muni.cz/publication/1428840/cs
    29. Security Protocols XXVI: 26th International Workshop
      MATYÁŠ, Václav, Petr ŠVENDA, Frank STAJANO, Bruce CHRISTIANSON a Jonathan ANDERSON. Security Protocols XXVI: 26th International Workshop. Cham: Springer, 2018. ISBN 978-3-030-03250-0. Dostupné z: https://dx.doi.org/10.1007/978-3-030-03251-7.
      URL
      RIV/00216224:14330/18:00104630 Editorství tematického sborníku, editorství monotematického čísla odborného časopisu. angličtina. Švýcarsko.
      Matyáš, Václav (203 Česká republika, garant, domácí) -- Švenda, Petr (203 Česká republika, domácí) -- Stajano, Frank (380 Itálie) -- Christianson, Bruce (554 Nový Zéland) -- Anderson, Jonathan (124 Kanada)
      Klíčová slova anglicky: artificial intelligence; authentication; computer science; cryptography; data security; internet security; protocols; software engineering; wireless networks; wireless sensor networks; wireless telecommunication systems
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Václav Matyáš, M.Sc., Ph.D., učo 344. Změněno: 26. 11. 2018 17:52.
      Podrobněji: https://is.muni.cz/publication/1472440/cs
    30. 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
    31. Strategy Representation by Decision Trees in Reactive Synthesis
      BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Jan KŘETÍNSKÝ a Viktor TOMAN. Strategy Representation by Decision Trees in Reactive Synthesis. In 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018). Cham: Springer, 2018, s. 385-407. ISBN 978-3-319-89959-6. Dostupné z: https://dx.doi.org/10.1007/978-3-319-89960-2_21.
      RIV/00216224:14330/18:00118582 Stať ve sborníku. angličtina. Švýcarsko.
      Brázdil, Tomáš (203 Česká republika, garant, domácí) -- Chatterjee, Krishnendu (356 Indie) -- Křetínský, Jan (203 Česká republika) -- Toman, Viktor (703 Slovensko)
      Klíčová slova anglicky: INFINITE GAMES; AUTOMATA
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 5. 11. 2021 15:01.
      Podrobněji: https://is.muni.cz/publication/1768257/cs
    32. 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
    33. 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
    34. Symbolic Computation via Program Transformation
      LAUKO, Henrich, Petr ROČKAI a Jiří BARNAT. Symbolic Computation via Program Transformation. In Bernd Fischer, Tarmo Uustalu. Theoretical Aspects of Computing – ICTAC 2018. Cham (Switzerland): Springer, 2018, s. 313-332. ISBN 978-3-030-02507-6. Dostupné z: https://dx.doi.org/10.1007/978-3-030-02508-3_17.
      URL
      RIV/00216224:14330/18:00101301 Stať ve sborníku. angličtina. Švýcarsko.
      Lauko, Henrich (703 Slovensko, domácí) -- Ročkai, Petr (703 Slovensko, domácí) -- Barnat, Jiří (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Symbolic Computation; Abstraction; DIVINE; LLVM; Transformation; Verification; Model Checking; C; C++
      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: 20. 9. 2022 11:14.
      Podrobněji: https://is.muni.cz/publication/1459216/cs
    35. The omega-inequality problem for concatenation hierarchies of star-free languages
      ALMEIDA, Jorge, Ondřej KLÍMA a Michal KUNC. The omega-inequality problem for concatenation hierarchies of star-free languages. Forum Mathematicum. 2018, roč. 30, č. 3, s. 663-679. ISSN 0933-7741. Dostupné z: https://dx.doi.org/10.1515/forum-2016-0028.
      URL
      RIV/00216224:14310/18:00100967 Článek v odborném periodiku. angličtina. Německo.
      Almeida, Jorge (620 Portugalsko) -- Klíma, Ondřej (203 Česká republika, garant, domácí) -- Kunc, Michal (203 Česká republika, domácí)
      Klíčová slova anglicky: Pseudovariety; relatively free profinite semigroup; ordered monoid; concatenation hierarchy; Straubing–Thérien hierarchy
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. Mgr. Ondřej Klíma, Ph.D., učo 3868. Změněno: 1. 3. 2019 18:45.
      Podrobněji: https://is.muni.cz/publication/1419103/cs
    36. Towards a pseudoequational proof theory
      ALMEIDA, Jorge a Ondřej KLÍMA. Towards a pseudoequational proof theory. Portugaliae mathematica. Lisboa, 2018, roč. 75, č. 2, s. 79-119. ISSN 0032-5155. Dostupné z: https://dx.doi.org/10.4171/PM/2012.
      URL
      RIV/00216224:14310/18:00101744 Článek v odborném periodiku. angličtina. Portugalsko.
      Almeida, Jorge (620 Portugalsko) -- Klíma, Ondřej (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Pseudoidentity; syntactical proof; semigroup; profinite monoid; completeness; reducible pseudovariety; implicit signature
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 23. 4. 2024 14:15.
      Podrobněji: https://is.muni.cz/publication/1502260/cs
    37. Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm
      KELMENDI, Edon, Julia KRÄMER, Jan KŘETÍNSKÝ a Maximilian WEININGER. Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm. In Computer Aided Verification (CAV 2018). Cham: Springer, 2018, s. 623-642. ISBN 978-3-319-96144-6. Dostupné z: https://dx.doi.org/10.1007/978-3-319-96145-3_36.
      RIV/00216224:14330/18:00108290 Stať ve sborníku. angličtina. Švýcarsko.
      Kelmendi, Edon (8 Albánie) -- Krämer, Julia (276 Německo) -- Křetínský, Jan (203 Česká republika, garant, domácí) -- Weininger, Maximilian (276 Německo)
      Klíčová slova anglicky: Value Iteration; Simple Stochastic Games; Stopping Criterion; Learning
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2020 23:49.
      Podrobněji: https://is.muni.cz/publication/1649042/cs
    38. Why Johnny the Developer Can't Work with Public Key Certificates: An Experimental Study of OpenSSL Usability
      UKROP, Martin a Václav MATYÁŠ. Why Johnny the Developer Can't Work with Public Key Certificates: An Experimental Study of OpenSSL Usability. In Nigel P. Smart. Topics in Cryptology – CT-RSA 2018: The Cryptographers' Track at the RSA Conference 2018. Švýcarsko: Springer International Publishing, 2018, s. 45-64. ISBN 978-3-319-76952-3. Dostupné z: https://dx.doi.org/10.1007/978-3-319-76953-0_3.
      URL
      RIV/00216224:14330/18:00100813 Stať ve sborníku. angličtina. Spojené státy.
      Ukrop, Martin (703 Slovensko, garant, domácí) -- Matyáš, Václav (203 Česká republika, domácí)
      Klíčová slova anglicky: usable security;cryptographic library;API
      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. 2019 15:28.
      Podrobněji: https://is.muni.cz/publication/1406887/cs

    2017

    1. Algorithm 970: Optimizing the NIST Statistical Test Suite and the Berlekamp-Massey Algorithm
      SÝS, Marek, Zdeněk ŘÍHA a Václav MATYÁŠ. Algorithm 970: Optimizing the NIST Statistical Test Suite and the Berlekamp-Massey Algorithm. ACM Transactions on Mathematical Software. Association for Computing Machinery, 2017, roč. 43, č. 3, s. 27-37. ISSN 0098-3500. Dostupné z: https://dx.doi.org/10.1145/2988228.
      URL
      RIV/00216224:14330/17:00094584 Článek v odborném periodiku. Informatika. angličtina. Spojené státy.
      Sýs, Marek (703 Slovensko, domácí) -- Říha, Zdeněk (203 Česká republika, domácí) -- Matyáš, Václav (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Berlekamp-Massey algorithm; NIST STS; statistical randomness testing; design; algorithms; performance
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Václav Matyáš, M.Sc., Ph.D., učo 344. Změněno: 2. 2. 2021 10:32.
      Podrobněji: https://is.muni.cz/publication/1365192/cs
    2. Attack Detection Using Evolutionary Computation
      STEHLÍK, Martin, Václav MATYÁŠ a Andriy STETSKO. Attack Detection Using Evolutionary Computation. In Abraham, Ajith, Falcon, Rafael, Koeppen, Mario. Computational Intelligence in Wireless Sensor Networks. Germany: Springer International Publishing, 2017, s. 99-129. Studies in Computational Intelligence. ISBN 978-3-319-47713-8. Dostupné z: https://dx.doi.org/10.1007/978-3-319-47715-2_5.
      RIV/00216224:14330/17:00094468 Kapitola resp. kapitoly v odborné knize. Informatika. angličtina. Německo.
      Stehlík, Martin (203 Česká republika, domácí) -- Matyáš, Václav (203 Česká republika, garant, domácí) -- Stetsko, Andriy (203 Česká republika, domácí)
      Klíčová slova anglicky: wireless sensor network; attack detection; evolutionary computation
      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:17.
      Podrobněji: https://is.muni.cz/publication/1368341/cs
    3. Factors Influencing the Purchase of Security Software for Mobile Devices - Case Study
      ŠŤAVOVÁ, Vlasta, Václav MATYÁŠ, Mike JUST a Martin UKROP. Factors Influencing the Purchase of Security Software for Mobile Devices - Case Study. Infocommunications Journal. Scientific Association for Infocommunications, 2017, roč. 9, č. 1, s. 18-23. ISSN 2061-2079.
      URL
      RIV/00216224:14330/17:00096673 Článek v odborném periodiku. Informatika. angličtina. Maďarsko.
      Šťavová, Vlasta (203 Česká republika, domácí) -- Matyáš, Václav (203 Česká republika, domácí) -- Just, Mike (826 Velká Británie a Severní Irsko) -- Ukrop, Martin (703 Slovensko, domácí)
      Klíčová slova anglicky: security software; usable security; user decision; mobile device
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Martin Ukrop, Ph.D., učo 374297. Změněno: 15. 4. 2020 15:22.
      Podrobněji: https://is.muni.cz/publication/1380644/cs
    4. First order limits of sparse graphs: Plane trees and path-width
      GAJARSKÝ, Jakub, Petr HLINĚNÝ, Tomáš KAISER, Daniel KRÁĽ, Martin KUPEC, Jan OBDRŽÁLEK, Sebastian ORDYNIAK a Vojtěch TŮMA. First order limits of sparse graphs: Plane trees and path-width. Random Structures & Algorithms. Wiley, 2017, roč. 50, č. 4, s. 612-635. ISSN 1042-9832. Dostupné z: https://dx.doi.org/10.1002/rsa.20676.
      RIV/00216224:14330/17:00094633 Článek v odborném periodiku. Obecná matematika. angličtina. Spojené státy.
      Gajarský, Jakub (703 Slovensko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Kaiser, Tomáš (203 Česká republika) -- Kráľ, Daniel (203 Česká republika) -- Kupec, Martin (203 Česká republika) -- Obdržálek, Jan (203 Česká republika, domácí) -- Ordyniak, Sebastian (276 Německo, domácí) -- Tůma, Vojtěch (203 Česká republika)
      Klíčová slova anglicky: graph limits; graphs with bounded path-width; first order limits
      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:36.
      Podrobněji: https://is.muni.cz/publication/1372353/cs
    5. 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
    6. Measuring Popularity of Cryptographic Libraries in Internet-Wide Scans
      NEMEC, Matúš, Dušan KLINEC, Petr ŠVENDA, Peter SEKAN a Václav MATYÁŠ. Measuring Popularity of Cryptographic Libraries in Internet-Wide Scans. Online. In Proceedings of the 33rd Annual Computer Security Applications Conference. New York, NY, USA: ACM, 2017, s. 162-175. ISBN 978-1-4503-5345-8. Dostupné z: https://dx.doi.org/10.1145/3134600.3134612.
      Proceedings of the 33rd Annual Computer Security Applications Conference Measuring Popularity of Cryptographic Libraries in Internet-Wide Scans Supplementary materials
      Název anglicky: Measuring Popularity of Cryptographic Libraries in Internet-Wide Scans
      RIV/00216224:14330/17:00095055 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Nemec, Matúš (703 Slovensko, domácí) -- Klinec, Dušan (703 Slovensko, domácí) -- Švenda, Petr (203 Česká republika, domácí) -- Sekan, Peter (703 Slovensko, domácí) -- Matyáš, Václav (203 Česká republika, domácí)
      Klíčová slova anglicky: RSA algorithm; cryptographic library; prime generation
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2018 10:51.
      Podrobněji: https://is.muni.cz/publication/1392143/cs
    7. 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
    8. Optimizing and Caching SMT Queries in SymDIVINE (Competition Contribution)
      MRÁZEK, Jan, Martin JONÁŠ, Vladimír ŠTILL, Henrich LAUKO a Jiří BARNAT. Optimizing and Caching SMT Queries in SymDIVINE (Competition Contribution). In Axel Legay, Tiziana Margaria. Tools and Algorithms for the Construction and Analysis of Systems, 23rd International Conference, TACAS 2017, Part II. Berlin, Heidelberg: Springer, 2017, s. 390-393. ISBN 978-3-662-54579-9. Dostupné z: https://dx.doi.org/10.1007/978-3-662-54580-5_29.
      URL
      RIV/00216224:14330/17:00095131 Stať ve sborníku. Informatika. angličtina. Německo.
      Mrázek, Jan (203 Česká republika, domácí) -- Jonáš, Martin (203 Česká republika, domácí) -- Štill, Vladimír (203 Česká republika, domácí) -- Lauko, Henrich (703 Slovensko, domácí) -- Barnat, Jiří (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: program verification; model checking; formula optimizations; caching
      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/1394228/cs
    9. 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
    10. Policy learning in continuous-time Markov decision processes using Gaussian Processes
      BRÁZDIL, Tomáš, Ezio BARTOCCI, Dimitrios MILIOS, Guido SANGUINETTI a Luca BORTOLUSSI. Policy learning in continuous-time Markov decision processes using Gaussian Processes. Performance Evaluation. 2017, roč. 116, č. 1, s. 84-100. ISSN 0166-5316. Dostupné z: https://dx.doi.org/10.1016/j.peva.2017.08.007.
      URL
      Název anglicky: Policy learning in continuous-time Markov decision processes using Gaussian Processes
      RIV/00216224:14330/17:00107689 Článek v odborném periodiku. angličtina. Nizozemské království.
      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
      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:51.
      Podrobněji: https://is.muni.cz/publication/1564396/cs
    11. Reconsidering Attacker Models in Ad-Hoc Networks
      OŠŤÁDAL, Radim, Petr ŠVENDA a Václav MATYÁŠ. Reconsidering Attacker Models in Ad-Hoc Networks. In J Anderson, V Matyáš, B Christianson, F Stajano. Security Protocols XXIV - 24th International Workshop. LNCS 10368. Heidelberg: Springer International Publishing AG, 2017, s. 219-227. ISBN 978-3-319-62032-9. Dostupné z: https://dx.doi.org/10.1007/978-3-319-62033-6_25.
      URL
      RIV/00216224:14330/17:00094850 Stať ve sborníku. Informatika. angličtina. Německo.
      Ošťádal, Radim (203 Česká republika, domácí) -- Švenda, Petr (203 Česká republika, domácí) -- Matyáš, Václav (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: ad-hoc networks; attacker models; genetic programming; secrecy amplification; wireless sensor networks; protocol
      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 15:13.
      Podrobněji: https://is.muni.cz/publication/1385992/cs
    12. Security Protocols XXIV - 24th International Workshop
      ANDERSON, Jonathan, Václav MATYÁŠ, Bruce CHRISTIANSON a Frank STAJANO. Security Protocols XXIV - 24th International Workshop. Švýcarsko: Springer International Publishing, 2017, 233 s. ISBN 978-3-319-62032-9.
      URL
      RIV/00216224:14330/17:00097195 Editorství tematického sborníku, editorství monotematického čísla odborného časopisu. Informatika. angličtina. Švýcarsko.
      Anderson, Jonathan (124 Kanada) -- Matyáš, Václav (203 Česká republika, garant, domácí) -- Christianson, Bruce (554 Nový Zéland) -- Stajano, Frank (380 Itálie)
      Klíčová slova anglicky: securit protocols; evolution
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Václav Matyáš, M.Sc., Ph.D., učo 344. Změněno: 19. 7. 2017 19:04.
      Podrobněji: https://is.muni.cz/publication/1385644/cs
    13. Security Protocols XXV - 25th International Workshop, Cambridge, UK, March 20–22, 2017, Revised Selected Papers
      STAJANO, Frank, Jonathan ANDERSON, Bruce CHRISTIANSON, a Václav MATYÁŠ. Security Protocols XXV - 25th International Workshop, Cambridge, UK, March 20–22, 2017, Revised Selected Papers. Switzerland: Springer International Publishing AG, 2017. ISBN 978-3-319-71074-7.
      RIV/00216224:14330/17:00098550 Editorství tematického sborníku, editorství monotematického čísla odborného časopisu. Informatika. angličtina. Švýcarsko.
      Stajano, Frank (380 Itálie) -- Anderson, Jonathan (124 Kanada) -- Christianson,, Bruce (554 Nový Zéland) -- Matyáš, Václav (203 Česká republika, domácí)
      Klíčová slova anglicky: security and privacy; security protocols
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Václav Matyáš, M.Sc., Ph.D., učo 344. Změněno: 1. 12. 2017 11:20.
      Podrobněji: https://is.muni.cz/publication/1397257/cs
    14. Seminator: A Tool for Semi-Determinization of Omega-Automata
      BLAHOUDEK, František, Alexandre DURET-LUTZ, Mikuláš KLOKOČKA, Mojmír KŘETÍNSKÝ a Jan STREJČEK. Seminator: A Tool for Semi-Determinization of Omega-Automata. Online. In Thomas Eiter and David Sands. Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2017). Neuveden: EasyChair, 2017, s. 356-367. ISSN 2398-7340. Dostupné z: https://dx.doi.org/10.29007/k5nl.
      URL
      RIV/00216224:14330/17:00094743 Stať ve sborníku. Informatika. angličtina. Německo.
      Blahoudek, František (203 Česká republika, domácí) -- Duret-Lutz, Alexandre (250 Francie) -- Klokočka, Mikuláš (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: semi deterministic automata; ltl to automata translation; omega automata
      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: 9. 11. 2018 14:58.
      Podrobněji: https://is.muni.cz/publication/1380432/cs
    15. Support for authenticated encryption in Linux dm-crypt disk encryption (software)
      BROŽ, Milan, Mikuláš PATOČKA a Václav MATYÁŠ. Support for authenticated encryption in Linux dm-crypt disk encryption. 2017.
      https://arxiv.org/abs/1807.00309
      RIV/00216224:14330/17:00103799 Software. angličtina. Česká republika.
      Brož, Milan (203 Česká republika, garant, domácí) -- Patočka, Mikuláš (203 Česká republika) -- Matyáš, Václav (203 Česká republika, domácí)
      Klíčová slova anglicky: authenticated encryption; disk encryption; dm-crypt; Linux
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Václav Matyáš, M.Sc., Ph.D., učo 344. Změněno: 26. 9. 2018 09:52.
      Podrobněji: https://is.muni.cz/publication/1441599/cs
    16. 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
    17. 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
    18. 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. Nonlinear Analysis: Hybrid Systems. Elsevier, 2017, roč. 23, February 2017, s. 230-253. ISSN 1751-570X. Dostupné z: https://dx.doi.org/10.1016/j.nahs.2016.04.006.
      RIV/00216224:14330/17:00094586 Článek v odborném periodiku. Informatika. angličtina. Nizozemské království.
      Svoreňová, Mária (703 Slovensko, domácí) -- Křetínský, Jan (203 Česká republika, garant, domácí) -- Chmelík, Martin (203 Česká republika) -- Chatterjee, Krishnendu (356 Indie) -- Černá, Ivana (203 Česká republika, domácí) -- Belta, Calin (642 Rumunsko)
      Klíčová slova anglicky: probabilistic systems; verification; games; temporal logic
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2018 10:33.
      Podrobněji: https://is.muni.cz/publication/1365664/cs
    19. The generalized rank of trace languages
      KUNC, Michal a Jan MEITNER. The generalized rank of trace languages. In Émilie Charlier, Julien Leroy, Michel Rigo. Developments in Language Theory. 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings. Cham, Švýcarsko: Springer, 2017, s. 247-259. ISBN 978-3-319-62808-0. Dostupné z: https://dx.doi.org/10.1007/978-3-319-62809-7_18.
      URL
      RIV/00216224:14310/17:00095162 Stať ve sborníku. Obecná matematika. angličtina. Švýcarsko.
      Kunc, Michal (203 Česká republika, garant, domácí) -- Meitner, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: Trace language; Rank; Regular language; Rational series; Tropical semiring
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: Mgr. Marie Šípková, DiS., učo 437722. Změněno: 23. 4. 2020 13:54.
      Podrobněji: https://is.muni.cz/publication/1395129/cs
    20. The Return of Coppersmith's Attack: Practical Factorization of Widely Used RSA Moduli
      NEMEC, Matúš, Marek SÝS, Petr ŠVENDA, Dušan KLINEC a Václav MATYÁŠ. The Return of Coppersmith's Attack: Practical Factorization of Widely Used RSA Moduli. Online. In Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. New York, NY, USA: ACM, 2017, s. 1631-1648. ISBN 978-1-4503-4946-8. Dostupné z: https://dx.doi.org/10.1145/3133956.3133969.
      The Return of Coppersmith's Attack: Practical Factorization of Widely Used RSA Moduli Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security
      Název anglicky: The Return of Coppersmith's Attack: Practical Factorization of Widely Used RSA Moduli
      RIV/00216224:14330/17:00095054 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Nemec, Matúš (703 Slovensko, domácí) -- Sýs, Marek (703 Slovensko, domácí) -- Švenda, Petr (203 Česká republika, domácí) -- Klinec, Dušan (703 Slovensko, domácí) -- Matyáš, Václav (203 Česká republika, domácí)
      Klíčová slova anglicky: RSA; factorization; smartcard; Coppersmith's algorithm
      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:10.
      Podrobněji: https://is.muni.cz/publication/1392142/cs

    2016

    1. 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
    2. 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
    3. 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
    4. 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

    2015

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

    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

    2013

    1. 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
Zobrazeno: 2. 12. 2024 13:39