Your selection contains 105 outcomes. Edit selection.
Filter publications

    2024

    1. Antarstick: Extracting Snow Height From Time-Lapse Photography
      LANG, Matěj, Radoslav MRÁZ, Marek TRTÍK, Sergej STOPPEL, Jan BYŠKA and Barbora KOZLÍKOVÁ. Antarstick: Extracting Snow Height From Time-Lapse Photography. COMPUTER GRAPHICS FORUM. England: Wiley, 2024, vol. 43, No 3, p. 1-11. ISSN 0167-7055. Available from: https://dx.doi.org/10.1111/cgf.15088.
      URL
      RIV: Article in a journal. English. United States of America.
      Lang, Matěj (203 Czech Republic, guarantor, belonging to the institution) -- Mráz, Radoslav (703 Slovakia, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution) -- Stoppel, Sergej (578 Norway) -- Byška, Jan (203 Czech Republic, belonging to the institution) -- Kozlíková, Barbora (203 Czech Republic, belonging to the institution)
      Keywords in English: Visualization toolkits; Geographic visualization
      International impact: yes
      Reviewed: yes
      Changed by: doc. RNDr. Barbora Kozlíková, Ph.D., učo 60850. Changed: 22/10/2024 19:19.
      More: https://is.muni.cz/publication/2401777/en
    2. Fizzer: New Gray-Box Fuzzer
      JONÁŠ, Martin, Jan STREJČEK, Marek TRTÍK and 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, p. 309-313. ISBN 978-3-031-57258-6. Available from: https://dx.doi.org/10.1007/978-3-031-57259-3_17.
      URL
      RIV: Proceedings paper. English. Germany.
      Jonáš, Martin (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution) -- Urban, Lukáš (703 Slovakia, belonging to the institution)
      Keywords in English: fuzzing; test generation; atomic Boolean expression; Fizzer
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 18/10/2024 17:04.
      More: https://is.muni.cz/publication/2396652/en
    3. Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage
      JONÁŠ, Martin, Jan STREJČEK, Marek TRTÍK and 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, p. 90-109. ISBN 978-3-031-57255-5. Available from: https://dx.doi.org/10.1007/978-3-031-57256-2_5.
      URL
      RIV: Proceedings paper. English. Germany.
      Jonáš, Martin (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution) -- Urban, Lukáš (703 Slovakia, belonging to the institution)
      Keywords in English: fuzzing; test generation; atomic Boolean expression; Fizzer
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 18/10/2024 16:54.
      More: https://is.muni.cz/publication/2396438/en
    4. LPGD: A General Framework for Backpropagation through Embedded Optimization Layers
      PAULUS, Anselm, Georg MARTIUS and 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. 235th ed. Neuveden: ML Research Press, 2024, p. 39989-40014. ISSN 2640-3498.
      Proceedings of Machine Learning Research
      RIV: Proceedings paper. English.
      Paulus, Anselm (276 Germany) -- Martius, Georg (276 Germany) -- Musil, Vít (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Machine learning; combinatorial optimization
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Vít Musil, Ph.D., učo 246021. Changed: 7/11/2024 09:30.
      More: https://is.muni.cz/publication/2449779/en
    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 and 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, p. 20143-20150. ISBN 978-1-57735-887-9. Available from: https://dx.doi.org/10.1609/aaai.v38i18.29993.
      Paper URL
      RIV: Proceedings paper. English.
      Klaška, David (203 Czech Republic, belonging to the institution) -- Kučera, Antonín (203 Czech Republic, guarantor, belonging to the institution) -- Kůr, Vojtěch (203 Czech Republic, belonging to the institution) -- Musil, Vít (203 Czech Republic, belonging to the institution) -- Řehák, Vojtěch (203 Czech Republic, belonging to the institution)
      Keywords in English: Markov decision processes; invariant distribution
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 26/7/2024 11:27.
      More: https://is.muni.cz/publication/2396817/en
    6. Software Verification Witnesses 2.0
      AYAZIOVÁ, Paulína, Dirk BEYER, Marian LINGSCH-ROSENFELD, Martin SPIESSL and 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, p. 184-203. ISBN 978-3-031-66148-8. Available from: https://dx.doi.org/10.1007/978-3-031-66149-5_11.
      URL
      RIV: Proceedings paper. English. Germany.
      Ayaziová, Paulína (703 Slovakia, belonging to the institution) -- Beyer, Dirk (276 Germany) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: verification witnesses; software verification; validation; exchange format; invariant; counterexample
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 18/10/2024 16:52.
      More: https://is.muni.cz/publication/2425639/en
    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Á and 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, p. 406-411. ISBN 978-3-031-57255-5. Available from: https://dx.doi.org/10.1007/978-3-031-57256-2_29.
      URL
      RIV: Proceedings paper. English. Germany.
      Jonáš, Martin (203 Czech Republic, guarantor, belonging to the institution) -- Kumor, Kristián (703 Slovakia, belonging to the institution) -- Novák, Jakub (703 Slovakia, belonging to the institution) -- Sedláček, Jindřich (203 Czech Republic, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution) -- Zaoral, Lukáš (203 Czech Republic) -- Ayaziová, Paulína (703 Slovakia, belonging to the institution) -- Strejček, Jan (203 Czech Republic, belonging to the institution)
      Keywords in English: symbolic execution; software verification; Symbiotic
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 18/10/2024 16:56.
      More: https://is.muni.cz/publication/2396645/en
    8. The Finite Satisfiability Problem for PCTL is Undecidable
      CHODIL, Miroslav and 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, p. 1-14. ISBN 979-8-4007-0660-8. Available from: https://dx.doi.org/10.1145/3661814.3662145.
      URL
      RIV: Proceedings paper. English. United States of America.
      Chodil, Miroslav (703 Slovakia, belonging to the institution) -- Kučera, Antonín (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Markov chains; probabilistic temporal logics
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 18/11/2024 12:46.
      More: https://is.muni.cz/publication/2425902/en
    9. The satisfiability problem for a quantitative fragment of PCTL
      CHODIL, Miroslav and Antonín KUČERA. The satisfiability problem for a quantitative fragment of PCTL. Journal of Computer and System Sciences. SAN DIEGO: Elsevier, 2024, vol. 139, No 103478, p. 1-16. ISSN 0022-0000. Available from: https://dx.doi.org/10.1016/j.jcss.2023.103478.
      Elsevier
      RIV: Article in a journal. English. United States of America.
      Chodil, Miroslav (703 Slovakia, belonging to the institution) -- Kučera, Antonín (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Satisfiability; Probabilistic temporal logics; PCTL
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Antonín Kučera, Ph.D., učo 2508. Changed: 18/11/2024 12:50.
      More: https://is.muni.cz/publication/2308503/en
    10. Tighter Construction of Tight Büchi Automata
      JANKOLA, Marek and 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, p. 234-255. ISBN 978-3-031-57227-2. Available from: https://dx.doi.org/10.1007/978-3-031-57228-9_12.
      URL
      RIV: Proceedings paper. English. Germany.
      Jankola, Marek (703 Slovakia) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: tight automata; shortest counterexamples; LTL
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 18/10/2024 17:06.
      More: https://is.muni.cz/publication/2396421/en
    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 and 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. Available from: https://dx.doi.org/10.1109/TVCG.2024.3456306.
      Repository of the visualization tool
      English. United States of America.
      Keywords in English: Patrolling Games; Strategy; Graph; Heatmap; Visual Analysis
      International impact: yes
      Reviewed: yes
      Changed by: Ing. Matěj Lang, učo 242528. Changed: 15/11/2024 10:22.
      More: https://is.muni.cz/publication/2419857/en
    12. Witch 3: Validation of Violation Witnesses in the Witness Format 2.0
      AYAZIOVÁ, Paulína and 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, p. 341-346. ISBN 978-3-031-57255-5. Available from: https://dx.doi.org/10.1007/978-3-031-57256-2_18.
      URL
      RIV: Proceedings paper. English. Germany.
      Ayaziová, Paulína (703 Slovakia, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Witch;witness-validator;SV-COMP;verification witness
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 18/10/2024 16:59.
      More: https://is.muni.cz/publication/2396437/en

    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Á and Michael KRONE. A multimodal smartwatch-based interaction concept for immersive environments. Computers & Graphics. Oxford: Elsevier, 2023, vol. 117, December, p. 85-95. ISSN 0097-8493. Available from: https://dx.doi.org/10.1016/j.cag.2023.10.010.
      URL
      RIV/00216224:14330/23:00132189 Article in a journal. English. United Kingdom of Great Britain and Northern Ireland.
      Lang, Matěj (203 Czech Republic, guarantor, belonging to the institution) -- Langlois, Danielle Kathryn (840 United States of America, belonging to the institution) -- Kozlíková, Barbora (203 Czech Republic, belonging to the institution)
      Keywords in English: Smartwatch;AR user interaction;Gesture interface;Input device;User experience;Cross-device interaction
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 7/4/2024 23:35.
      More: https://is.muni.cz/publication/2336598/en
    2. Asymptotic Complexity Estimates for Probabilistic Programs and their VASS Abstractions
      AJDARÓW, Michal and 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, p. "12:1"-"12:16", 16 pp. ISBN 978-3-95977-299-0. Available from: https://dx.doi.org/10.4230/LIPIcs.CONCUR.2023.12.
      Dagstuhl website
      RIV/00216224:14330/23:00131636 Proceedings paper. English. Germany.
      Ajdarów, Michal (203 Czech Republic, belonging to the institution) -- Kučera, Antonín (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: VASS; termination complexity
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 7/4/2024 23:20.
      More: https://is.muni.cz/publication/2308407/en
    3. Backpropagation through combinatorial algorithms: identity with projection works
      SUBHAM SEKHAR, Sahoo, Anselm PAULUS, Marin VLASTELICA, Vít MUSIL, Volodymyr KULESHOV and Georg MARTIUS. Backpropagation through combinatorial algorithms: identity with projection works. In 11th International Conference on Learning Representations, ICLR 2023. 2023.
      Openreview Poster
      RIV: Presentations at conferences. English.
      Musil, Vít (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Machine learning; combinatorial optimization
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 7/11/2024 15:08.
      More: https://is.muni.cz/publication/2449790/en
    4. Mean Payoff Optimization for Systems of Periodic Service and Maintenance
      KLAŠKA, David, Antonín KUČERA, Vít MUSIL and 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, p. 5386-5393. ISBN 978-1-956792-03-4. Available from: https://dx.doi.org/10.24963/ijcai.2023/598.
      Paper URL
      RIV/00216224:14330/23:00131517 Proceedings paper. English.
      Klaška, David (203 Czech Republic, belonging to the institution) -- Kučera, Antonín (203 Czech Republic, guarantor, belonging to the institution) -- Musil, Vít (203 Czech Republic, belonging to the institution) -- Řehák, Vojtěch (203 Czech Republic, belonging to the institution)
      Keywords in English: Periodic Maintenance; strategy synthesis
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 8/4/2024 15:45.
      More: https://is.muni.cz/publication/2304579/en
    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
      Changed by: Mgr. Martin Kurečka, učo 485413. Changed: 30/1/2024 18:02.
      More: https://is.muni.cz/publication/2367779/en
    6. Optimal Sobolev embeddings for the Ornstein-Uhlenbeck operator
      CIANCHI, Andrea, Vít MUSIL and Luboš PICK. Optimal Sobolev embeddings for the Ornstein-Uhlenbeck operator. Journal of Differential Equations. San Diego, CA USA: ACADEMIC PRESS INC ELSEVIER SCIENCE, 2023, vol. 359, No 1, p. 414-475. ISSN 0022-0396. Available from: https://dx.doi.org/10.1016/j.jde.2023.02.035.
      URL
      RIV/00216224:14330/23:00133452 Article in a journal. English. United States of America.
      Cianchi, Andrea (380 Italy, guarantor) -- Musil, Vít (203 Czech Republic, belonging to the institution) -- Pick, Luboš (203 Czech Republic)
      Keywords in English: Ornstein-Uhlenbeck operator; Gauss space; embeddings; optimality
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 7/4/2024 23:45.
      More: https://is.muni.cz/publication/2369847/en
    7. Optimality problems in Orlicz spaces
      MUSIL, Vít, Luboš PICK and Jakub TAKÁČ. Optimality problems in Orlicz spaces. Advances in Mathematics. SAN DIEGO: ACADEMIC PRESS INC ELSEVIER SCIENCE, 2023, vol. 432, November 1, p. 1-58. ISSN 0001-8708. Available from: https://dx.doi.org/10.1016/j.aim.2023.109273.
      URL
      RIV/00216224:14330/23:00133451 Article in a journal. English. United States of America.
      Musil, Vít (203 Czech Republic, guarantor, belonging to the institution) -- Pick, Luboš (203 Czech Republic)
      Keywords in English: Orlicz space; Rearrangement-invariant space; Optimality; Sobolev embedding; Maximal operator; Laplace transform
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 8/4/2024 16:24.
      More: https://is.muni.cz/publication/2369844/en
    8. Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving
      SCHWARZOVÁ, Tereza, Jan STREJČEK and 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, p. 1-20. ISBN 978-3-95977-286-0. Available from: https://dx.doi.org/10.4230/LIPIcs.SAT.2023.23.
      URL
      RIV/00216224:14330/23:00131935 Proceedings paper. English. Germany.
      Schwarzová, Tereza (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Major, Juraj (703 Slovakia, belonging to the institution)
      Keywords in English: Emerson-Lei automata; TELA; automata reduction; QBF; telatko
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 19/3/2024 13:57.
      More: https://is.muni.cz/publication/2326760/en
    9. Shielding in Resource-Constrained Goal POMDPs
      AJDARÓW, Michal, Šimon BRLEJ and 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, p. 14674-14682. ISBN 978-1-57735-880-0. Available from: https://dx.doi.org/10.1609/aaai.v37i12.26715.
      URL
      RIV/00216224:14330/23:00131270 Proceedings paper. English. United States of America.
      Ajdarów, Michal (203 Czech Republic, belonging to the institution) -- Brlej, Šimon (703 Slovakia, belonging to the institution) -- Novotný, Petr (203 Czech Republic, belonging to the institution)
      Keywords in English: decision making; Markov decision processes; controller synthesis; resource constraints; shielding
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 7/4/2024 23:07.
      More: https://is.muni.cz/publication/2298218/en
    10. Symbiotic-Witch 2 (software)
      AYAZIOVÁ, Paulína and Jan STREJČEK. Symbiotic-Witch 2. 2023.
      Odkaz na stránku software
      English. Czech Republic.
      Keywords in English: Witch;witness-validator;SV-COMP;verification witness
      International impact: yes
      Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 7/11/2023 15:49.
      More: https://is.muni.cz/publication/2336077/en
    11. Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation
      AYAZIOVÁ, Paulína and 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, p. 523-528. ISBN 978-3-031-30819-2. Available from: https://dx.doi.org/10.1007/978-3-031-30820-8_30.
      URL
      RIV/00216224:14330/23:00131936 Proceedings paper. English. Switzerland.
      Ayaziová, Paulína (703 Slovakia, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Witch;witness-validator;SV-COMP;verification witness
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 7/4/2024 23:35.
      More: https://is.muni.cz/publication/2326763/en
    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Ý and 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, p. 171-179. ISBN 978-1-956792-03-4. Available from: https://dx.doi.org/10.24963/ijcai.2023/20.
      Paper URL
      RIV/00216224:14330/23:00131516 Proceedings paper. English.
      Klaška, David (203 Czech Republic, belonging to the institution) -- Kučera, Antonín (203 Czech Republic, guarantor, belonging to the institution) -- Kurečka, Martin (203 Czech Republic, belonging to the institution) -- Musil, Vít (203 Czech Republic, belonging to the institution) -- Novotný, Petr (203 Czech Republic, belonging to the institution) -- Řehák, Vojtěch (203 Czech Republic, belonging to the institution)
      Keywords in English: Multi-agent systems; strategy synthesis
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 26/7/2024 11:28.
      More: https://is.muni.cz/publication/2304578/en

    2022

    1. General Optimization Framework for Recurrent Reachability Objectives
      KLAŠKA, David, Antonín KUČERA, Vít MUSIL and 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, p. 4642-4648. ISBN 978-1-956792-00-3. Available from: https://dx.doi.org/10.24963/ijcai.2022/644.
      Paper URL
      RIV/00216224:14330/22:00126564 Proceedings paper. English.
      Klaška, David (203 Czech Republic, belonging to the institution) -- Kučera, Antonín (203 Czech Republic, guarantor, belonging to the institution) -- Musil, Vít (203 Czech Republic, belonging to the institution) -- Řehák, Vojtěch (203 Czech Republic, belonging to the institution)
      Keywords in English: recurrent reachability objectives; strategy synthesis
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/3/2023 11:54.
      More: https://is.muni.cz/publication/2214541/en
    2. Minimizing Expected Intrusion Detection Time in Adversarial Patrolling
      KLAŠKA, David, Antonín KUČERA, Vít MUSIL and 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, p. 1660-1662. ISBN 978-1-4503-9213-6. Available from: https://dx.doi.org/10.5555/3535850.3536068.
      Paper URL
      RIV/00216224:14330/22:00126563 Proceedings paper. English. United States of America.
      Klaška, David (203 Czech Republic, belonging to the institution) -- Kučera, Antonín (203 Czech Republic, guarantor, belonging to the institution) -- Musil, Vít (203 Czech Republic, belonging to the institution) -- Řehák, Vojtěch (203 Czech Republic, belonging to the institution)
      Keywords in English: Security Games; Adversarial Patrolling
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/3/2023 11:53.
      More: https://is.muni.cz/publication/2214539/en
    3. On the Existence of Extremals for Moser-Type Inequalities in Gauss Space
      CIANCHI, Andrea, Vít MUSIL and Luboš PICK. On the Existence of Extremals for Moser-Type Inequalities in Gauss Space. INTERNATIONAL MATHEMATICS RESEARCH NOTICES. ENGLAND: OXFORD UNIV PRESS, 2022, vol. 2022, No 2, p. 1494-1537. ISSN 1073-7928. Available from: https://dx.doi.org/10.1093/imrn/rnaa165.
      URL
      English. United Kingdom of Great Britain and Northern Ireland.
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Vít Musil, Ph.D., učo 246021. Changed: 5/2/2024 00:11.
      More: https://is.muni.cz/publication/2369849/en
    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Ý and 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, p. 244-254. ISBN 978-1-7138-6329-8.
      Paper URL
      RIV/00216224:14330/22:00127027 Proceedings paper. English.
      Brázdil, Tomáš (203 Czech Republic, belonging to the institution) -- Klaška, David (203 Czech Republic, belonging to the institution) -- Kučera, Antonín (203 Czech Republic, guarantor, belonging to the institution) -- Musil, Vít (203 Czech Republic, belonging to the institution) -- Novotný, Petr (203 Czech Republic, belonging to the institution) -- Řehák, Vojtěch (203 Czech Republic, belonging to the institution)
      Keywords in English: patrolling games; strategy synthesis
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: Mgr. Michal Petr, učo 65024. Changed: 28/8/2024 10:23.
      More: https://is.muni.cz/publication/2227363/en
    5. Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge
      CHODIL, Miroslav, Antonín KUČERA and 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, p. 364-387. ISBN 978-3-031-22336-5. Available from: https://dx.doi.org/10.1007/978-3-031-22337-2_18.
      The book URL.
      RIV/00216224:14330/22:00127926 Proceedings paper. English. United States of America.
      Chodil, Miroslav (703 Slovakia, belonging to the institution) -- Kučera, Antonín (203 Czech Republic, guarantor, belonging to the institution) -- Křetínský, Jan (203 Czech Republic, belonging to the institution)
      Keywords in English: probabilistic logics; satisfiablity
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 6/4/2023 06:35.
      More: https://is.muni.cz/publication/2245876/en

    2021

    1. CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming Constraints
      PAULUS, Anselm, Michal ROLÍNEK, Vít MUSIL, Brandon AMOS and 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. 139th ed. SAN DIEGO: JMLR-JOURNAL MACHINE LEARNING RESEARCH, 2021, p. 8443-8453. ISBN 978-1-7138-4506-5.
      URL
      RIV/00216224:14330/21:00122671 Proceedings paper. English. United States of America.
      Musil, Vít (203 Czech Republic, belonging to the institution) -- Martius, Georg (guarantor)
      Keywords in English: machine learning; combinatorial optimization; integer linear programming; constraints
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Vít Musil, Ph.D., učo 246021. Changed: 4/2/2024 23:57.
      More: https://is.muni.cz/publication/1799741/en
    2. Deciding Polynomial Termination Complexity for VASS Programs
      AJDARÓW, Michal and 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, p. "30:1"-"30:15", 15 pp. ISBN 978-3-95977-203-7. Available from: https://dx.doi.org/10.4230/LIPIcs.CONCUR.2021.30.
      Dagstuhl website
      RIV/00216224:14330/21:00119194 Proceedings paper. English. Germany.
      Ajdarów, Michal (203 Czech Republic, belonging to the institution) -- Kučera, Antonín (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: VASS; termination complexity
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2022 09:59.
      More: https://is.muni.cz/publication/1790538/en
    3. Fast Computation of Strong Control Dependencies
      CHALUPA, Marek, David KLAŠKA, Jan STREJČEK and 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, p. 887-910. ISBN 978-3-030-81687-2. Available from: https://dx.doi.org/10.1007/978-3-030-81688-9_41.
      URL
      RIV/00216224:14330/21:00121991 Proceedings paper. English. Switzerland.
      Chalupa, Marek (203 Czech Republic, belonging to the institution) -- Klaška, David (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, belonging to the institution) -- Tomovič, Lukáš (703 Slovakia, belonging to the institution)
      Keywords in English: control dependence;non-termination sensitive control dependence;decisive order dependence;control closure;ntscd;dod;graph theory
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 23/5/2022 14:53.
      More: https://is.muni.cz/publication/1783922/en
    4. Maximal Non-compactness of Sobolev Embeddings
      LANG, Jan, Vít MUSIL, Miroslav OLŠÁK and Luboš PICK. Maximal Non-compactness of Sobolev Embeddings. Journal of Geometric Analysis. NEW YORK: Springer, 2021, vol. 31, No 9, p. 9406-9431. ISSN 1050-6926. Available from: https://dx.doi.org/10.1007/s12220-020-00522-y.
      URL
      English. United States of America.
      Keywords in English: Ball measure of non-compactness; Maximal non-compactness; Sobolev embedding; Weak Lebesgue spaces
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Vít Musil, Ph.D., učo 246021. Changed: 5/2/2024 00:04.
      More: https://is.muni.cz/publication/2369852/en
    5. Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games
      KLAŠKA, David, Antonín KUČERA, Vojtěch ŘEHÁK and 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, p. 471-481. ISSN 2640-3498.
      URL
      RIV/00216224:14330/21:00122557 Proceedings paper. English.
      Klaška, David (203 Czech Republic, belonging to the institution) -- Kučera, Antonín (203 Czech Republic, guarantor, belonging to the institution) -- Řehák, Vojtěch (203 Czech Republic, belonging to the institution) -- Musil, Vít (203 Czech Republic, belonging to the institution)
      Keywords in English: adversarial security games; strategy synthesis
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Changed: 14/3/2023 16:08.
      More: https://is.muni.cz/publication/1797259/en
    6. Sharp exponential inequalities for the Ornstein-Uhlenbeck operator
      CIANCHI, Andrea, Vít MUSIL and Luboš PICK. Sharp exponential inequalities for the Ornstein-Uhlenbeck operator. Journal of Functional Analysis. SAN DIEGO: Elsevier, 2021, vol. 281, No 11, 68 pp. ISSN 0022-1236. Available from: https://dx.doi.org/10.1016/j.jfa.2021.109217.
      URL
      English. United States of America.
      Keywords in English: Ornstein-Uhlenbeck operator; Gauss space; Sharp exponential constants; Extremal functions
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Vít Musil, Ph.D., učo 246021. Changed: 5/2/2024 00:10.
      More: https://is.muni.cz/publication/2369850/en

    2020

    1. Adversarial Patrolling with Drones
      KLAŠKA, David, Antonín KUČERA and 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, p. 629-637. ISBN 978-1-4503-7518-4. Available from: https://dx.doi.org/10.5555/3398761.3398837.
      RIV/00216224:14330/20:00114048 Proceedings paper. English.
      Klaška, David (203 Czech Republic, belonging to the institution) -- Kučera, Antonín (203 Czech Republic, belonging to the institution) -- Řehák, Vojtěch (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Single and multi-agent planning and scheduling; patrolling
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 30/4/2021 07:54.
      More: https://is.muni.cz/publication/1618996/en

    2019

    1. Deciding Fast Termination for Probabilistic VASS with Nondeterminism
      BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Antonín KUČERA, Petr NOVOTNÝ and 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, p. 462-478. ISBN 978-3-030-31783-6. Available from: https://dx.doi.org/10.1007/978-3-030-31784-3_27.
      URL
      RIV/00216224:14330/19:00107764 Proceedings paper. English. Switzerland.
      Brázdil, Tomáš (203 Czech Republic, belonging to the institution) -- Chatterjee, Krishnendu (356 India) -- Kučera, Antonín (203 Czech Republic, belonging to the institution) -- Novotný, Petr (203 Czech Republic, guarantor, belonging to the institution) -- Velan, Dominik (203 Czech Republic, belonging to the institution)
      Keywords in English: angelic and demonic nondeterminism; termination time; probabilistic VASS
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: doc. RNDr. Petr Novotný, Ph.D., učo 172743. Changed: 17/4/2020 12:21.
      More: https://is.muni.cz/publication/1576916/en
    2. Of Cores: A Partial-Exploration Framework for Markov Decision Processes
      KŘETÍNSKÝ, Jan and 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, p. 1-17. ISBN 978-3-95977-121-4. Available from: https://dx.doi.org/10.4230/LIPIcs.CONCUR.2019.5.
      RIV/00216224:14330/19:00108293 Proceedings paper. English. Germany.
      Křetínský, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Meggendorfer, Tobias (276 Germany)
      Keywords in English: Partial Exploration; Markov Decision Processes; Verification
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2020 23:16.
      More: https://is.muni.cz/publication/1649046/en
    3. PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games
      ASHOK, Pranav, Jan KŘETÍNSKÝ and Maximilian WEININGER. PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games. In Computer Aided Verification (CAV 2019). Cham: Springer, 2019, p. 497-519. ISBN 978-3-030-25539-8. Available from: https://dx.doi.org/10.1007/978-3-030-25540-4_29.
      RIV/00216224:14330/19:00108294 Proceedings paper. English. Switzerland.
      Ashok, Pranav (356 India) -- Křetínský, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Weininger, Maximilian (276 Germany)
      Keywords in English: PAC; Statistical Model Checking; Markov Decision Processes; Stochastic Games
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2020 16:29.
      More: https://is.muni.cz/publication/1649047/en
    4. Strategy Representation by Decision Trees with Linear Classifiers
      ASHOK, Pranav, Tomáš BRÁZDIL, Krishnendu CHATTERJEE, Jan KŘETÍNSKÝ, Christoph LAMPERT and Viktor TOMAN. Strategy Representation by Decision Trees with Linear Classifiers. In Quantitative Evaluation of Systems (QEST 2019). Cham: Springer, 2019, p. 109-128. ISBN 978-3-030-30280-1. Available from: https://dx.doi.org/10.1007/978-3-030-30281-8_7.
      RIV/00216224:14330/19:00108295 Proceedings paper. English. Switzerland.
      Ashok, Pranav (356 India) -- Brázdil, Tomáš (203 Czech Republic, belonging to the institution) -- Chatterjee, Krishnendu (356 India) -- Křetínský, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Toman, Viktor (703 Slovakia, belonging to the institution)
      Keywords in English: Strategy Representation; Decision Trees; Linear Classifiers
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2020 23:17.
      More: https://is.muni.cz/publication/1649049/en

    2018

    1. A generic framework for checking semantic equivalences between pushdown automata and finite-state automata
      KUČERA, Antonín and 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, vol. 91, No 1, p. 82-103. ISSN 0022-0000. Available from: https://dx.doi.org/10.1016/j.jcss.2017.09.004.
      URL
      RIV/00216224:14330/18:00100834 Article in a journal. English. United States of America.
      Kučera, Antonín (203 Czech Republic, guarantor, belonging to the institution) -- Mayr, Richard (276 Germany)
      Keywords in English: pushdown automata; equivalence-checking
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 31/5/2022 17:33.
      More: https://is.muni.cz/publication/1409287/en
    2. A large-scale comparative study of beta testers and regular users
      ŠŤAVOVÁ, Vlasta, Lenka DĚDKOVÁ, Martin UKROP and Václav MATYÁŠ. A large-scale comparative study of beta testers and regular users. Communications of the ACM. New York, NY, USA: ACM, 2018, vol. 61, No 2, p. 64-71. ISSN 0001-0782. Available from: https://dx.doi.org/10.1145/3173570.
      URL
      RIV/00216224:14330/18:00102080 Article in a journal. Informatics. English. United States of America.
      Šťavová, Vlasta (203 Czech Republic, guarantor, belonging to the institution) -- Dědková, Lenka (203 Czech Republic, belonging to the institution) -- Ukrop, Martin (703 Slovakia, belonging to the institution) -- Matyáš, Václav (203 Czech Republic, belonging to the institution)
      Keywords in English: beta testers; regular users; large-scale comparison; security software
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Martin Ukrop, Ph.D., učo 374297. Changed: 15/4/2020 15:16.
      More: https://is.muni.cz/publication/1392237/en
    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, vol. 32, No 2, p. 1425-1440. ISSN 0895-4801. Available from: https://dx.doi.org/10.1137/17M1120129.
      URL
      RIV/00216224:14330/18:00101457 Article in a journal. English. United States of America.
      Hliněný, Petr (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: matroid; path-width; trellis-width; fixed-parameter tractability; well-quasi-ordering
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Changed: 16/4/2020 09:52.
      More: https://is.muni.cz/publication/1480301/en
    4. Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers
      JONÁŠ, Martin and 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, p. 273-291. ISBN 978-3-030-02507-6. Available from: https://dx.doi.org/10.1007/978-3-030-02508-3_15.
      URL
      RIV/00216224:14330/18:00101330 Proceedings paper. English. Switzerland.
      Jonáš, Martin (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: satisfiability modulo theories; binary decision diagrams; abstractions; bit-vectors
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 29/4/2019 15:23.
      More: https://is.muni.cz/publication/1463058/en
    5. Adaptive Secrecy Amplification with Radio Channel Key Extraction (Adaptive secrecy amplification with radio channel key extraction)
      NĚMEC, Lukáš, Radim OŠŤÁDAL, Václav MATYÁŠ and Petr ŠVENDA. Adaptive Secrecy Amplification with Radio Channel Key Extraction (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, p. 123-130. ISBN 978-1-5386-5470-5. Available from: https://dx.doi.org/10.1109/DCOSS.2018.00028.
      URL
      Name (in English): Adaptive secrecy amplification with radio channel key extraction
      RIV/00216224:14330/18:00101123 Proceedings paper. English. United States of America.
      Němec, Lukáš (203 Czech Republic, belonging to the institution) -- Ošťádal, Radim (203 Czech Republic, belonging to the institution) -- Matyáš, Václav (203 Czech Republic, belonging to the institution) -- Švenda, Petr (203 Czech Republic, belonging to the institution)
      Keywords in English: Protocols;Cryptography;Fading channels;Wireless sensor networks;Quantization (signal);Dynamic scheduling;adaptive; autonomous; cryptography; distributed; protocol; security; wireless radio communication
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 13/5/2020 19:17.
      More: https://is.muni.cz/publication/1430816/en
    6. Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games
      KLAŠKA, David, Antonín KUČERA, Tomáš LAMSER and 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, p. 659-666. ISBN 978-1-5108-6808-3. Available from: https://dx.doi.org/10.5555/3237383.3237481.
      URL
      RIV/00216224:14330/18:00100830 Proceedings paper. English.
      Klaška, David (203 Czech Republic, belonging to the institution) -- Kučera, Antonín (203 Czech Republic, belonging to the institution) -- Lamser, Tomáš (203 Czech Republic, belonging to the institution) -- Řehák, Vojtěch (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: patrolling games; single and multi-agent planning and scheduling
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Changed: 24/9/2019 15:31.
      More: https://is.muni.cz/publication/1408461/en
    7. Bisimulation Invariant Monadic-Second Order Logic in the Finite
      BLUMENSATH, Achim and 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, p. 1-13. ISBN 978-3-95977-076-7. Available from: https://dx.doi.org/10.4230/LIPIcs.ICALP.2018.117.
      Name (in English): Bisimulation Invariant Monadic-Second Order Logic in the Finite
      RIV/00216224:14330/18:00101061 Proceedings paper. English. Czech Republic.
      Blumensath, Achim (276 Germany, guarantor, belonging to the institution) -- Wolf, Felix (276 Germany)
      Keywords in English: bisimulation; monadic second-order logic; composition method
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 30/4/2019 09:59.
      More: https://is.muni.cz/publication/1423341/en
    8. Black Ninjas in the Dark: Formal Analysis of Population Protocols
      BLONDIN, Michael, Javier ESPARZA, Stefan JAAX and 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, p. 1-10. ISBN 978-1-4503-5583-4. Available from: https://dx.doi.org/10.1145/3209108.3209110.
      ACM Digital Library
      RIV/00216224:14330/18:00101073 Proceedings paper. English. United Kingdom of Great Britain and Northern Ireland.
      Esparza, Javier (724 Spain) -- Jaax, Stefan (276 Germany) -- Kučera, Antonín (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: population protocols; automatic verification
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 30/4/2019 07:23.
      More: https://is.muni.cz/publication/1423768/en
    9. Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes
      KŘETÍNSKÝ, Jan and 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, p. 609-618. ISBN 978-1-4503-5583-4. Available from: https://dx.doi.org/10.1145/3209108.3209176.
      RIV/00216224:14330/18:00108288 Proceedings paper. English. United States of America.
      Křetínský, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Meggendorfer, Tobias (276 Germany)
      Keywords in English: conditional value-at-risk; Markov chains; Markov decision processes; reachability; mean-payoff
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 31/5/2022 12:24.
      More: https://is.muni.cz/publication/1649039/en
    10. Continuous-Time Markov Decisions Based on Partial Exploration
      ASHOK, Pranav, Yuliya BUTKOVA, Holger HERMANNS and Jan KŘETÍNSKÝ. Continuous-Time Markov Decisions Based on Partial Exploration. In Automated Technology for Verification and Analysis. ATVA 2018. Cham: Springer, 2018, p. 317-334. ISBN 978-3-030-01089-8. Available from: https://dx.doi.org/10.1007/978-3-030-01090-4_19.
      RIV/00216224:14330/18:00108289 Proceedings paper. English. Switzerland.
      Ashok, Pranav (356 India) -- Butkova, Yuliya (860 Uzbekistan) -- Hermanns, Holger (276 Germany) -- Křetínský, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Continuous-Time Markov Decision Processes; reachability; Partial Exploration
      Changed by: Mgr. Michal Petr, učo 65024. Changed: 16/5/2022 14:35.
      More: https://is.muni.cz/publication/1649041/en
    11. Deciding Parity of Graph Crossing Number
      HLINĚNÝ, Petr and Carsten THOMASSEN. Deciding Parity of Graph Crossing Number. SIAM Journal on Discrete Mathematics. Philadelphia: SIAM, 2018, vol. 32, No 3, p. 1962-1965. ISSN 0895-4801. Available from: https://dx.doi.org/10.1137/17M1137231.
      URL
      RIV/00216224:14330/18:00101456 Article in a journal. English. United States of America.
      Hliněný, Petr (203 Czech Republic, guarantor, belonging to the institution) -- Thomassen, Carsten (208 Denmark)
      Keywords in English: graph; crossing number; NP-hardness
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Changed: 16/4/2020 09:54.
      More: https://is.muni.cz/publication/1480299/en
    12. Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS
      BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Antonín KUČERA, Petr NOVOTNÝ, Dominik VELAN and 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, p. 185-194. ISBN 978-1-4503-5583-4. Available from: https://dx.doi.org/10.1145/3209108.3209191.
      ACM Digital Library
      RIV/00216224:14330/18:00100882 Proceedings paper. English. United Kingdom of Great Britain and Northern Ireland.
      Brázdil, Tomáš (203 Czech Republic, belonging to the institution) -- Chatterjee, Krishnendu (356 India) -- Kučera, Antonín (203 Czech Republic, belonging to the institution) -- Novotný, Petr (203 Czech Republic) -- Velan, Dominik (203 Czech Republic, guarantor, belonging to the institution) -- Zuleger, Florian (40 Austria)
      Keywords in English: vector addition systems with states; termination
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 30/4/2019 04:27.
      More: https://is.muni.cz/publication/1413152/en
    13. Entropy crowdsourcing - protocols for link key updates in wireless sensor networks
      NĚMEC, Lukáš, Radim OŠŤÁDAL, Václav MATYÁŠ and 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, p. 84-92. ISBN 978-3-030-03250-0. Available from: https://dx.doi.org/10.1007/978-3-030-03251-7_9.
      URL
      RIV/00216224:14330/18:00100827 Proceedings paper. English. Germany.
      Němec, Lukáš (203 Czech Republic, belonging to the institution) -- Ošťádal, Radim (203 Czech Republic, belonging to the institution) -- Matyáš, Václav (203 Czech Republic, guarantor, belonging to the institution) -- Švenda, Petr (203 Czech Republic, belonging to the institution)
      Keywords in English: entropy extraction; key extraction; link key update; secrecy amplification; wireless sensor networks
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 30/4/2019 09:44.
      More: https://is.muni.cz/publication/1408306/en
    14. Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets
      BENDÍK, Jaroslav and 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, p. 131-142. ISSN 2398-7340. Available from: https://dx.doi.org/10.29007/sxzb.
      URL
      Name (in English): Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets
      RIV/00216224:14330/18:00104038 Proceedings paper. English.
      Bendík, Jaroslav (203 Czech Republic, guarantor, belonging to the institution) -- Černá, Ivana (203 Czech Republic, belonging to the institution)
      Keywords in English: minimal unsatisfiable subsets;mus enumeration;infeasibility analysis;unsatisfiability analysis
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 31/5/2022 14:21.
      More: https://is.muni.cz/publication/1449236/en
    15. Evolving boolean functions for fast and efficient randomness testing
      MRÁZEK, Vojtěch, Marek SÝS, Zdenek VASICEK, Lukáš SEKANINA and 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, p. 1302-1309. ISBN 978-1-4503-5618-3. Available from: https://dx.doi.org/10.1145/3205455.3205518.
      URL
      RIV/00216224:14330/18:00101071 Proceedings paper. English. United States of America.
      Mrázek, Vojtěch (203 Czech Republic) -- Sýs, Marek (703 Slovakia, belonging to the institution) -- Vasicek, Zdenek (203 Czech Republic) -- Sekanina, Lukáš (203 Czech Republic) -- Matyáš, Václav (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Boolean function; evolutionary computing; randomness; statistical test
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 30/4/2019 07:22.
      More: https://is.muni.cz/publication/1423716/en
    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 and Martin UKROP. Experimental large-scale review of attractors for detection of potentially unwanted applications. Computers & Security. Oxford: Elsevier, 2018, vol. 76, July, p. 92-100. ISSN 0167-4048. Available from: https://dx.doi.org/10.1016/j.cose.2018.02.017.
      URL URL
      RIV/00216224:14330/18:00102440 Article in a journal. English. United Kingdom of Great Britain and Northern Ireland.
      Šťavová, Vlasta (203 Czech Republic, belonging to the institution) -- Dědková, Lenka (203 Czech Republic, belonging to the institution) -- Matyáš, Václav (203 Czech Republic, belonging to the institution) -- Just, Mike (124 Canada) -- Šmahel, David (203 Czech Republic, belonging to the institution) -- Ukrop, Martin (703 Slovakia, belonging to the institution)
      Keywords in English: PUA; PUP; usable security; usability
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 29/4/2019 17:17.
      More: https://is.muni.cz/publication/1411904/en
    17. Finding Regressions in Projects under Version Control Systems
      BENDÍK, Jaroslav, Nikola BENEŠ and 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, p. 152-163. ISBN 978-989-758-320-9. Available from: https://dx.doi.org/10.5220/0006864401520163.
      URL
      RIV/00216224:14330/18:00103101 Proceedings paper. English. Portugal.
      Bendík, Jaroslav (203 Czech Republic, guarantor, belonging to the institution) -- Beneš, Nikola (203 Czech Republic, belonging to the institution) -- Černá, Ivana (203 Czech Republic, belonging to the institution)
      Keywords in English: Version Control Systems;Regressions;Regression Points;Code Debugging;Bisection
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 14/5/2024 17:24.
      More: https://is.muni.cz/publication/1421861/en
    18. FO model checking of geometric graphs
      HLINĚNÝ, Petr, Filip POKRÝVKA and 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, p. "19:1"-"19:12", 12 pp. ISBN 978-3-95977-051-4. Available from: https://dx.doi.org/10.4230/LIPIcs.IPEC.2017.19.
      RIV/00216224:14330/18:00100734 Proceedings paper. Informatics. English. Germany.
      Hliněný, Petr (203 Czech Republic, guarantor, belonging to the institution) -- Pokrývka, Filip (703 Slovakia, belonging to the institution) -- Roy, Bodhayan (356 India, belonging to the institution)
      Keywords in English: first-order logic; model checking; fixed-parameter tractability; intersection graphs; visibility graphs
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 14/6/2022 12:12.
      More: https://is.muni.cz/publication/1392993/en
    19. Investigating results and performance of search and construction algorithms for word-based LFSRs, \sigma-LFSRs
      BISHOI, Susil Kumar and 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, vol. 243, July, p. 90-98. ISSN 0166-218X. Available from: https://dx.doi.org/10.1016/j.dam.2018.01.010.
      URL
      RIV/00216224:14330/18:00100955 Article in a journal. English. Netherlands.
      Bishoi, Susil Kumar (356 India, belonging to the institution) -- Matyáš, Václav (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Primitive polynomial; LFSR; \sigma-LFSR; Xorshift random number generator
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Václav Matyáš, M.Sc., Ph.D., učo 344. Changed: 2/2/2021 10:31.
      More: https://is.muni.cz/publication/1418354/en
    20. Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes?
      JONÁŠ, Martin and 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, p. 488-497. ISSN 2398-7340. Available from: https://dx.doi.org/10.29007/spnx.
      URL
      RIV/00216224:14330/18:00101333 Proceedings paper. English. United Kingdom of Great Britain and Northern Ireland.
      Jonáš, Martin (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: satisfiability modulo theories; quantified bit-vectors; bit-width; experimental evaluation
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 31/5/2022 14:22.
      More: https://is.muni.cz/publication/1464757/en
    21. Joint Forces for Memory Safety Checking
      CHALUPA, Marek, Jan STREJČEK and 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, p. 115-132. ISBN 978-3-319-94110-3. Available from: https://dx.doi.org/10.1007/978-3-319-94111-0_7.
      RIV/00216224:14330/18:00101043 Proceedings paper. English. Germany.
      Chalupa, Marek (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Vitovská, Martina (203 Czech Republic, belonging to the institution)
      Keywords in English: program analysis; program verification; memory safety
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 29/4/2019 15:39.
      More: https://is.muni.cz/publication/1423063/en
    22. Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints
      KŘETÍNSKÝ, Jan, Guillermo PEREZ and 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, p. 1-18. ISBN 978-3-95977-087-3. Available from: https://dx.doi.org/10.4230/LIPIcs.CONCUR.2018.8.
      RIV/00216224:14330/18:00108291 Proceedings paper. English. Germany.
      Křetínský, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Perez, Guillermo (188 Costa Rica) -- Raskin, Jean-Francois (56 Belgium)
      Keywords in English: Learning; Mean-Payoff; Markov decision process; Omega-Regular Specification
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2020 23:49.
      More: https://is.muni.cz/publication/1649044/en
    23. Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes
      ASHOK, Pranav, Tomáš BRÁZDIL, Jan KŘETÍNSKÝ and 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, p. 322-335. ISBN 978-3-030-03420-7. Available from: https://dx.doi.org/10.1007/978-3-030-03421-4_21.
      RIV/00216224:14330/18:00108292 Proceedings paper. English. Switzerland.
      Ashok, Pranav (356 India) -- Brázdil, Tomáš (203 Czech Republic, belonging to the institution) -- Křetínský, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Slámečka, Ondřej (203 Czech Republic, belonging to the institution)
      Keywords in English: Monte Carlo Tree Search; Reachability; Markov Decision Processes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2020 07:54.
      More: https://is.muni.cz/publication/1649045/en
    24. On Colourability of Polygon Visibility Graphs
      CAGIRICI, Onur, Petr HLINĚNÝ and 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, p. "21:1"-"21:14", 14 pp. ISBN 978-3-95977-055-2. Available from: https://dx.doi.org/10.4230/LIPIcs.FSTTCS.2017.21.
      RIV/00216224:14330/18:00100735 Proceedings paper. Informatics. English. Germany.
      Cagirici, Onur (792 Turkey, belonging to the institution) -- Hliněný, Petr (203 Czech Republic, guarantor, belonging to the institution) -- Roy, Bodhayan (356 India, belonging to the institution)
      Keywords in English: polygon visibility graph; graph coloring; NP-completeness
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 14/6/2022 12:06.
      More: https://is.muni.cz/publication/1393010/en
    25. On the complexity of the quantified bit-vector arithmetic with binary encoding
      JONÁŠ, Martin and Jan STREJČEK. On the complexity of the quantified bit-vector arithmetic with binary encoding. Information Processing Letters. Elsevier, 2018, vol. 135, červenec 2018, p. 57-61. ISSN 0020-0190. Available from: https://dx.doi.org/10.1016/j.ipl.2018.02.018.
      URL
      RIV/00216224:14330/18:00100916 Article in a journal. English. Netherlands.
      Jonáš, Martin (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: computational complexity; satisfiability modulo theories; bit-vector theory
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 29/4/2019 15:54.
      More: https://is.muni.cz/publication/1415323/en
    26. Parameterized Extension Complexity of Independent Set and Related Problems
      GAJARSKÝ, Jakub, Petr HLINĚNÝ and Hans Raj TIWARY. Parameterized Extension Complexity of Independent Set and Related Problems. Discrete Applied Mathematics. Elsevier Science, 2018, vol. 248, SI, p. 56-67. ISSN 0166-218X. Available from: https://dx.doi.org/10.1016/j.dam.2017.04.042.
      URL
      RIV/00216224:14330/18:00100733 Article in a journal. Informatics. English. Netherlands.
      Gajarský, Jakub (703 Slovakia, belonging to the institution) -- Hliněný, Petr (203 Czech Republic, guarantor, belonging to the institution) -- Tiwary, Hans Raj (356 India)
      Keywords in English: parameterized complexity; extension complexity; independent set; FO model checking
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Changed: 16/4/2020 09:57.
      More: https://is.muni.cz/publication/1392989/en
    27. Practical Cryptographic Data Integrity Protection with Full Disk Encryption
      BROŽ, Milan, Mikuláš PATOČKA and 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, p. 79-93. ISBN 978-3-319-99827-5. Available from: https://dx.doi.org/10.1007/978-3-319-99828-2_6.
      URL
      RIV/00216224:14330/18:00103683 Proceedings paper. English. Switzerland.
      Brož, Milan (203 Czech Republic, guarantor, belonging to the institution) -- Patočka, Mikuláš (203 Czech Republic) -- Matyáš, Václav (203 Czech Republic, belonging to the institution)
      Keywords in English: Full Disk Encryption; Linux; cryptographic integrity protection
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 31/5/2022 14:21.
      More: https://is.muni.cz/publication/1436337/en
    28. Recursive Online Enumeration of All Minimal Unsatisfiable Subsets
      BENDÍK, Jaroslav, Ivana ČERNÁ and 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, p. 143-159. ISBN 978-3-030-01089-8. Available from: https://dx.doi.org/10.1007/978-3-030-01090-4_9.
      URL
      Name (in English): Recursive Online Enumeration of All Minimal Unsatisfiable Subsets
      RIV/00216224:14330/18:00101107 Proceedings paper. English.
      Bendík, Jaroslav (203 Czech Republic, guarantor, belonging to the institution) -- Černá, Ivana (203 Czech Republic, belonging to the institution) -- Beneš, Nikola (203 Czech Republic, belonging to the institution)
      Keywords in English: formal verification; minimal unstisfiable subsets
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 30/4/2019 07:25.
      More: https://is.muni.cz/publication/1428840/en
    29. Security Protocols XXVI: 26th International Workshop
      MATYÁŠ, Václav, Petr ŠVENDA, Frank STAJANO, Bruce CHRISTIANSON and Jonathan ANDERSON. Security Protocols XXVI: 26th International Workshop. Cham: Springer, 2018. ISBN 978-3-030-03250-0. Available from: https://dx.doi.org/10.1007/978-3-030-03251-7.
      URL
      RIV/00216224:14330/18:00104630 Editing of thematic compilation, editing of monothematic issue of professional journal. English. Switzerland.
      Matyáš, Václav (203 Czech Republic, guarantor, belonging to the institution) -- Švenda, Petr (203 Czech Republic, belonging to the institution) -- Stajano, Frank (380 Italy) -- Christianson, Bruce (554 New Zealand) -- Anderson, Jonathan (124 Canada)
      Keywords in English: artificial intelligence; authentication; computer science; cryptography; data security; internet security; protocols; software engineering; wireless networks; wireless sensor networks; wireless telecommunication systems
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Václav Matyáš, M.Sc., Ph.D., učo 344. Changed: 26/11/2018 17:52.
      More: https://is.muni.cz/publication/1472440/en
    30. Solving Patrolling Problems in the Internet Environment
      BRÁZDIL, Tomáš, Antonín KUČERA and 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, p. 121-127. ISBN 978-0-9992411-2-7. Available from: https://dx.doi.org/10.24963/ijcai.2018/17.
      IJCAI.org
      RIV/00216224:14330/18:00101076 Proceedings paper. English. Sweden.
      Brázdil, Tomáš (203 Czech Republic, belonging to the institution) -- Kučera, Antonín (203 Czech Republic, guarantor, belonging to the institution) -- Řehák, Vojtěch (203 Czech Republic, belonging to the institution)
      Keywords in English: patrolling games; strategy synthesis
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: Mgr. Michal Petr, učo 65024. Changed: 16/5/2022 15:36.
      More: https://is.muni.cz/publication/1423781/en
    31. Strategy Representation by Decision Trees in Reactive Synthesis
      BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Jan KŘETÍNSKÝ and 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, p. 385-407. ISBN 978-3-319-89959-6. Available from: https://dx.doi.org/10.1007/978-3-319-89960-2_21.
      RIV/00216224:14330/18:00118582 Proceedings paper. English. Switzerland.
      Brázdil, Tomáš (203 Czech Republic, guarantor, belonging to the institution) -- Chatterjee, Krishnendu (356 India) -- Křetínský, Jan (203 Czech Republic) -- Toman, Viktor (703 Slovakia)
      Keywords in English: INFINITE GAMES; AUTOMATA
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 5/11/2021 15:01.
      More: https://is.muni.cz/publication/1768257/en
    32. Structure and generation of crossing-critical graphs
      DVOŘÁK, Zdeněk, Petr HLINĚNÝ and 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, p. "33:1"-"33:14", 14 pp. ISBN 978-3-95977-066-8. Available from: https://dx.doi.org/10.4230/LIPIcs.SoCG.2018.33.
      RIV/00216224:14330/18:00101458 Proceedings paper. English. United States of America.
      Dvořák, Zdeněk (203 Czech Republic) -- Hliněný, Petr (203 Czech Republic, guarantor, belonging to the institution) -- Mohar, Bojan (705 Slovenia)
      Keywords in English: Crossing number; Crossing-critical; Exhaustive generation; Path-width
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 14/6/2022 12:11.
      More: https://is.muni.cz/publication/1480303/en
    33. Symbiotic 5: Boosted Instrumentation (Competition Contribution)
      CHALUPA, Marek, Martina VITOVSKÁ and 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, p. 442-446. ISBN 978-3-319-89963-3. Available from: https://dx.doi.org/10.1007/978-3-319-89963-3_29.
      RIV/00216224:14330/18:00100910 Proceedings paper. English. Germany.
      Chalupa, Marek (203 Czech Republic, belonging to the institution) -- Vitovská, Martina (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Symbiotic; program analysis; program verification; SV-COMP 2018
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 28/9/2019 14:33.
      More: https://is.muni.cz/publication/1415064/en
    34. Symbolic Computation via Program Transformation
      LAUKO, Henrich, Petr ROČKAI and Jiří BARNAT. Symbolic Computation via Program Transformation. In Bernd Fischer, Tarmo Uustalu. Theoretical Aspects of Computing – ICTAC 2018. Cham (Switzerland): Springer, 2018, p. 313-332. ISBN 978-3-030-02507-6. Available from: https://dx.doi.org/10.1007/978-3-030-02508-3_17.
      URL
      RIV/00216224:14330/18:00101301 Proceedings paper. English. Switzerland.
      Lauko, Henrich (703 Slovakia, belonging to the institution) -- Ročkai, Petr (703 Slovakia, belonging to the institution) -- Barnat, Jiří (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Symbolic Computation; Abstraction; DIVINE; LLVM; Transformation; Verification; Model Checking; C; C++
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 20/9/2022 11:14.
      More: https://is.muni.cz/publication/1459216/en
    35. The omega-inequality problem for concatenation hierarchies of star-free languages
      ALMEIDA, Jorge, Ondřej KLÍMA and Michal KUNC. The omega-inequality problem for concatenation hierarchies of star-free languages. Forum Mathematicum. 2018, vol. 30, No 3, p. 663-679. ISSN 0933-7741. Available from: https://dx.doi.org/10.1515/forum-2016-0028.
      URL
      RIV/00216224:14310/18:00100967 Article in a journal. English. Germany.
      Almeida, Jorge (620 Portugal) -- Klíma, Ondřej (203 Czech Republic, guarantor, belonging to the institution) -- Kunc, Michal (203 Czech Republic, belonging to the institution)
      Keywords in English: Pseudovariety; relatively free profinite semigroup; ordered monoid; concatenation hierarchy; Straubing–Thérien hierarchy
      International impact: yes
      Reviewed: yes
      Changed by: doc. Mgr. Ondřej Klíma, Ph.D., učo 3868. Changed: 1/3/2019 18:45.
      More: https://is.muni.cz/publication/1419103/en
    36. Towards a pseudoequational proof theory
      ALMEIDA, Jorge and Ondřej KLÍMA. Towards a pseudoequational proof theory. Portugaliae mathematica. Lisboa, 2018, vol. 75, No 2, p. 79-119. ISSN 0032-5155. Available from: https://dx.doi.org/10.4171/PM/2012.
      URL
      RIV/00216224:14310/18:00101744 Article in a journal. English. Portugal.
      Almeida, Jorge (620 Portugal) -- Klíma, Ondřej (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Pseudoidentity; syntactical proof; semigroup; profinite monoid; completeness; reducible pseudovariety; implicit signature
      International impact: yes
      Reviewed: yes
      Changed by: Mgr. Michal Petr, učo 65024. Changed: 23/4/2024 14:15.
      More: https://is.muni.cz/publication/1502260/en
    37. Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm
      KELMENDI, Edon, Julia KRÄMER, Jan KŘETÍNSKÝ and Maximilian WEININGER. Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm. In Computer Aided Verification (CAV 2018). Cham: Springer, 2018, p. 623-642. ISBN 978-3-319-96144-6. Available from: https://dx.doi.org/10.1007/978-3-319-96145-3_36.
      RIV/00216224:14330/18:00108290 Proceedings paper. English. Switzerland.
      Kelmendi, Edon (8 Albania) -- Krämer, Julia (276 Germany) -- Křetínský, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Weininger, Maximilian (276 Germany)
      Keywords in English: Value Iteration; Simple Stochastic Games; Stopping Criterion; Learning
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2020 23:49.
      More: https://is.muni.cz/publication/1649042/en
    38. Why Johnny the Developer Can't Work with Public Key Certificates: An Experimental Study of OpenSSL Usability
      UKROP, Martin and 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, p. 45-64. ISBN 978-3-319-76952-3. Available from: https://dx.doi.org/10.1007/978-3-319-76953-0_3.
      URL
      RIV/00216224:14330/18:00100813 Proceedings paper. English. United States of America.
      Ukrop, Martin (703 Slovakia, guarantor, belonging to the institution) -- Matyáš, Václav (203 Czech Republic, belonging to the institution)
      Keywords in English: usable security;cryptographic library;API
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 30/4/2019 15:28.
      More: https://is.muni.cz/publication/1406887/en

    2017

    1. Algorithm 970: Optimizing the NIST Statistical Test Suite and the Berlekamp-Massey Algorithm
      SÝS, Marek, Zdeněk ŘÍHA and 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, vol. 43, No 3, p. 27-37. ISSN 0098-3500. Available from: https://dx.doi.org/10.1145/2988228.
      URL
      RIV/00216224:14330/17:00094584 Article in a journal. Informatics. English. United States of America.
      Sýs, Marek (703 Slovakia, belonging to the institution) -- Říha, Zdeněk (203 Czech Republic, belonging to the institution) -- Matyáš, Václav (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Berlekamp-Massey algorithm; NIST STS; statistical randomness testing; design; algorithms; performance
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Václav Matyáš, M.Sc., Ph.D., učo 344. Changed: 2/2/2021 10:32.
      More: https://is.muni.cz/publication/1365192/en
    2. Attack Detection Using Evolutionary Computation
      STEHLÍK, Martin, Václav MATYÁŠ and 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, p. 99-129. Studies in Computational Intelligence. ISBN 978-3-319-47713-8. Available from: https://dx.doi.org/10.1007/978-3-319-47715-2_5.
      RIV/00216224:14330/17:00094468 Chapter(s) of a specialized book. Informatics. English. Germany.
      Stehlík, Martin (203 Czech Republic, belonging to the institution) -- Matyáš, Václav (203 Czech Republic, guarantor, belonging to the institution) -- Stetsko, Andriy (203 Czech Republic, belonging to the institution)
      Keywords in English: wireless sensor network; attack detection; evolutionary computation
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 13/5/2020 23:17.
      More: https://is.muni.cz/publication/1368341/en
    3. Factors Influencing the Purchase of Security Software for Mobile Devices - Case Study
      ŠŤAVOVÁ, Vlasta, Václav MATYÁŠ, Mike JUST and Martin UKROP. Factors Influencing the Purchase of Security Software for Mobile Devices - Case Study. Infocommunications Journal. Scientific Association for Infocommunications, 2017, vol. 9, No 1, p. 18-23. ISSN 2061-2079.
      URL
      RIV/00216224:14330/17:00096673 Article in a journal. Informatics. English. Hungary.
      Šťavová, Vlasta (203 Czech Republic, belonging to the institution) -- Matyáš, Václav (203 Czech Republic, belonging to the institution) -- Just, Mike (826 United Kingdom of Great Britain and Northern Ireland) -- Ukrop, Martin (703 Slovakia, belonging to the institution)
      Keywords in English: security software; usable security; user decision; mobile device
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Martin Ukrop, Ph.D., učo 374297. Changed: 15/4/2020 15:22.
      More: https://is.muni.cz/publication/1380644/en
    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 and Vojtěch TŮMA. First order limits of sparse graphs: Plane trees and path-width. Random Structures & Algorithms. Wiley, 2017, vol. 50, No 4, p. 612-635. ISSN 1042-9832. Available from: https://dx.doi.org/10.1002/rsa.20676.
      RIV/00216224:14330/17:00094633 Article in a journal. General mathematics. English. United States of America.
      Gajarský, Jakub (703 Slovakia, belonging to the institution) -- Hliněný, Petr (203 Czech Republic, guarantor, belonging to the institution) -- Kaiser, Tomáš (203 Czech Republic) -- Kráľ, Daniel (203 Czech Republic) -- Kupec, Martin (203 Czech Republic) -- Obdržálek, Jan (203 Czech Republic, belonging to the institution) -- Ordyniak, Sebastian (276 Germany, belonging to the institution) -- Tůma, Vojtěch (203 Czech Republic)
      Keywords in English: graph limits; graphs with bounded path-width; first order limits
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Changed: 17/4/2018 09:36.
      More: https://is.muni.cz/publication/1372353/en
    5. Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms
      BAIER, Christel, Clemens DUBSLAFF, Ľuboš KORENČIAK, Antonín KUČERA and 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, p. 190-206. ISBN 978-3-319-66334-0. Available from: https://dx.doi.org/10.1007/978-3-319-66335-7_12.
      RIV/00216224:14330/17:00095081 Proceedings paper. Informatics. English. Switzerland.
      Baier, Christel (276 Germany) -- Dubslaff, Clemens (276 Germany) -- Korenčiak, Ľuboš (703 Slovakia, guarantor, belonging to the institution) -- Kučera, Antonín (203 Czech Republic, belonging to the institution) -- Řehák, Vojtěch (203 Czech Republic, belonging to the institution)
      Keywords in English: parameter synthesis; continuous-time Markov chains; non-Markovian distributions; Markov decision process; policy iteration; generalized semi-Markov process; Markov regenerative process
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2018 09:56.
      More: https://is.muni.cz/publication/1392972/en
    6. Measuring Popularity of Cryptographic Libraries in Internet-Wide Scans
      NEMEC, Matúš, Dušan KLINEC, Petr ŠVENDA, Peter SEKAN and 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, p. 162-175. ISBN 978-1-4503-5345-8. Available from: 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
      Name (in English): Measuring Popularity of Cryptographic Libraries in Internet-Wide Scans
      RIV/00216224:14330/17:00095055 Proceedings paper. Informatics. English. United States of America.
      Nemec, Matúš (703 Slovakia, belonging to the institution) -- Klinec, Dušan (703 Slovakia, belonging to the institution) -- Švenda, Petr (203 Czech Republic, belonging to the institution) -- Sekan, Peter (703 Slovakia, belonging to the institution) -- Matyáš, Václav (203 Czech Republic, belonging to the institution)
      Keywords in English: RSA algorithm; cryptographic library; prime generation
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2018 10:51.
      More: https://is.muni.cz/publication/1392143/en
    7. On Simplification of Formulas with Unconstrained Variables and Quantifiers
      JONÁŠ, Martin and 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, p. 364-379. ISBN 978-3-319-66262-6. Available from: https://dx.doi.org/10.1007/978-3-319-66263-3_23.
      URL
      RIV/00216224:14330/17:00095125 Proceedings paper. Informatics. English. Switzerland.
      Jonáš, Martin (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: SMT solving; formula simplifications; bit-vectors
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 14/5/2020 15:12.
      More: https://is.muni.cz/publication/1394152/en
    8. Optimizing and Caching SMT Queries in SymDIVINE (Competition Contribution)
      MRÁZEK, Jan, Martin JONÁŠ, Vladimír ŠTILL, Henrich LAUKO and 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, p. 390-393. ISBN 978-3-662-54579-9. Available from: https://dx.doi.org/10.1007/978-3-662-54580-5_29.
      URL
      RIV/00216224:14330/17:00095131 Proceedings paper. Informatics. English. Germany.
      Mrázek, Jan (203 Czech Republic, belonging to the institution) -- Jonáš, Martin (203 Czech Republic, belonging to the institution) -- Štill, Vladimír (203 Czech Republic, belonging to the institution) -- Lauko, Henrich (703 Slovakia, belonging to the institution) -- Barnat, Jiří (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: program verification; model checking; formula optimizations; caching
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 13/5/2020 19:23.
      More: https://is.muni.cz/publication/1394228/en
    9. Parameterized Shifted Combinatorial Optimization
      GAJARSKÝ, Jakub, Petr HLINĚNÝ, Martin KOUTECKÝ and 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, p. 224-236. ISBN 978-3-319-62388-7. Available from: https://dx.doi.org/10.1007/978-3-319-62389-4_19.
      RIV/00216224:14330/17:00095083 Proceedings paper. Informatics. English. Switzerland.
      Gajarský, Jakub (703 Slovakia, belonging to the institution) -- Hliněný, Petr (203 Czech Republic, guarantor, belonging to the institution) -- Koutecký, Martin (203 Czech Republic) -- Onn, Shmuel (376 Israel)
      Keywords in English: Combinatorial optimization; Shifted problem; Treewidth; MSO logic; MSO partitioning
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: Mgr. Michal Petr, učo 65024. Changed: 16/5/2022 15:47.
      More: https://is.muni.cz/publication/1392992/en
    10. Policy learning in continuous-time Markov decision processes using Gaussian Processes
      BRÁZDIL, Tomáš, Ezio BARTOCCI, Dimitrios MILIOS, Guido SANGUINETTI and Luca BORTOLUSSI. Policy learning in continuous-time Markov decision processes using Gaussian Processes. Performance Evaluation. 2017, vol. 116, No 1, p. 84-100. ISSN 0166-5316. Available from: https://dx.doi.org/10.1016/j.peva.2017.08.007.
      URL
      Name (in English): Policy learning in continuous-time Markov decision processes using Gaussian Processes
      RIV/00216224:14330/17:00107689 Article in a journal. English. Netherlands.
      Brázdil, Tomáš (203 Czech Republic, guarantor, belonging to the institution) -- Bartocci, Ezio (380 Italy) -- Milios, Dimitrios (300 Greece) -- Sanguinetti, Guido (380 Italy) -- Bortolussi, Luca (380 Italy)
      Keywords in English: continuous-time Markov decision processes; reachability; gradient descent
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2020 07:51.
      More: https://is.muni.cz/publication/1564396/en
    11. Reconsidering Attacker Models in Ad-Hoc Networks
      OŠŤÁDAL, Radim, Petr ŠVENDA and 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, p. 219-227. ISBN 978-3-319-62032-9. Available from: https://dx.doi.org/10.1007/978-3-319-62033-6_25.
      URL
      RIV/00216224:14330/17:00094850 Proceedings paper. Informatics. English. Germany.
      Ošťádal, Radim (203 Czech Republic, belonging to the institution) -- Švenda, Petr (203 Czech Republic, belonging to the institution) -- Matyáš, Václav (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: ad-hoc networks; attacker models; genetic programming; secrecy amplification; wireless sensor networks; protocol
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 14/5/2020 15:13.
      More: https://is.muni.cz/publication/1385992/en
    12. Security Protocols XXIV - 24th International Workshop
      ANDERSON, Jonathan, Václav MATYÁŠ, Bruce CHRISTIANSON and Frank STAJANO. Security Protocols XXIV - 24th International Workshop. Švýcarsko: Springer International Publishing, 2017, 233 pp. ISBN 978-3-319-62032-9.
      URL
      RIV/00216224:14330/17:00097195 Editing of thematic compilation, editing of monothematic issue of professional journal. Informatics. English. Switzerland.
      Anderson, Jonathan (124 Canada) -- Matyáš, Václav (203 Czech Republic, guarantor, belonging to the institution) -- Christianson, Bruce (554 New Zealand) -- Stajano, Frank (380 Italy)
      Keywords in English: securit protocols; evolution
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Václav Matyáš, M.Sc., Ph.D., učo 344. Changed: 19/7/2017 19:04.
      More: https://is.muni.cz/publication/1385644/en
    13. Security Protocols XXV - 25th International Workshop, Cambridge, UK, March 20–22, 2017, Revised Selected Papers
      STAJANO, Frank, Jonathan ANDERSON, Bruce CHRISTIANSON, and 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 Editing of thematic compilation, editing of monothematic issue of professional journal. Informatics. English. Switzerland.
      Stajano, Frank (380 Italy) -- Anderson, Jonathan (124 Canada) -- Christianson,, Bruce (554 New Zealand) -- Matyáš, Václav (203 Czech Republic, belonging to the institution)
      Keywords in English: security and privacy; security protocols
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Václav Matyáš, M.Sc., Ph.D., učo 344. Changed: 1/12/2017 11:20.
      More: https://is.muni.cz/publication/1397257/en
    14. Seminator: A Tool for Semi-Determinization of Omega-Automata
      BLAHOUDEK, František, Alexandre DURET-LUTZ, Mikuláš KLOKOČKA, Mojmír KŘETÍNSKÝ and 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, p. 356-367. ISSN 2398-7340. Available from: https://dx.doi.org/10.29007/k5nl.
      URL
      RIV/00216224:14330/17:00094743 Proceedings paper. Informatics. English. Germany.
      Blahoudek, František (203 Czech Republic, belonging to the institution) -- Duret-Lutz, Alexandre (250 France) -- Klokočka, Mikuláš (203 Czech Republic, belonging to the institution) -- Křetínský, Mojmír (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: semi deterministic automata; ltl to automata translation; omega automata
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 9/11/2018 14:58.
      More: https://is.muni.cz/publication/1380432/en
    15. Support for authenticated encryption in Linux dm-crypt disk encryption (software)
      BROŽ, Milan, Mikuláš PATOČKA and 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. English. Czech Republic.
      Brož, Milan (203 Czech Republic, guarantor, belonging to the institution) -- Patočka, Mikuláš (203 Czech Republic) -- Matyáš, Václav (203 Czech Republic, belonging to the institution)
      Keywords in English: authenticated encryption; disk encryption; dm-crypt; Linux
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Václav Matyáš, M.Sc., Ph.D., učo 344. Changed: 26/9/2018 09:52.
      More: https://is.muni.cz/publication/1441599/en
    16. Symbiotic 4: Beyond Reachability (Competition Contribution)
      CHALUPA, Marek, Martina VITOVSKÁ, Martin JONÁŠ, Jiří SLABÝ and 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, p. 385-389. ISBN 978-3-662-54580-5. Available from: https://dx.doi.org/10.1007/978-3-662-54580-5_28.
      URL
      RIV/00216224:14330/17:00095057 Proceedings paper. Informatics. English. Germany.
      Chalupa, Marek (203 Czech Republic, belonging to the institution) -- Vitovská, Martina (203 Czech Republic, belonging to the institution) -- Jonáš, Martin (203 Czech Republic, belonging to the institution) -- Slabý, Jiří (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Symbiotic; program analysis; program verification; SV-COMP 2017
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 13/5/2020 19:22.
      More: https://is.muni.cz/publication/1392166/en
    17. Synthesis of Optimal Resilient Control Strategies
      BAIER, Christel, Clemens DUBSLAFF, Ľuboš KORENČIAK, Antonín KUČERA and 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, p. 417-434. ISBN 978-3-319-68166-5. Available from: https://dx.doi.org/10.1007/978-3-319-68167-2_27.
      RIV/00216224:14330/17:00095082 Proceedings paper. Informatics. English. Switzerland.
      Baier, Christel (276 Germany) -- Dubslaff, Clemens (276 Germany) -- Korenčiak, Ľuboš (703 Slovakia, guarantor, belonging to the institution) -- Kučera, Antonín (203 Czech Republic, belonging to the institution) -- Řehák, Vojtěch (203 Czech Republic, belonging to the institution)
      Keywords in English: controller synthesis; Markov decision processes; resilience
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2018 11:00.
      More: https://is.muni.cz/publication/1392977/en
    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Á and Calin BELTA. Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Nonlinear Analysis: Hybrid Systems. Elsevier, 2017, vol. 23, February 2017, p. 230-253. ISSN 1751-570X. Available from: https://dx.doi.org/10.1016/j.nahs.2016.04.006.
      RIV/00216224:14330/17:00094586 Article in a journal. Informatics. English. Netherlands.
      Svoreňová, Mária (703 Slovakia, belonging to the institution) -- Křetínský, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Chmelík, Martin (203 Czech Republic) -- Chatterjee, Krishnendu (356 India) -- Černá, Ivana (203 Czech Republic, belonging to the institution) -- Belta, Calin (642 Romania)
      Keywords in English: probabilistic systems; verification; games; temporal logic
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2018 10:33.
      More: https://is.muni.cz/publication/1365664/en
    19. The generalized rank of trace languages
      KUNC, Michal and 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, p. 247-259. ISBN 978-3-319-62808-0. Available from: https://dx.doi.org/10.1007/978-3-319-62809-7_18.
      URL
      RIV/00216224:14310/17:00095162 Proceedings paper. General mathematics. English. Switzerland.
      Kunc, Michal (203 Czech Republic, guarantor, belonging to the institution) -- Meitner, Jan (203 Czech Republic, belonging to the institution)
      Keywords in English: Trace language; Rank; Regular language; Rational series; Tropical semiring
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: Mgr. Marie Šípková, DiS., učo 437722. Changed: 23/4/2020 13:54.
      More: https://is.muni.cz/publication/1395129/en
    20. The Return of Coppersmith's Attack: Practical Factorization of Widely Used RSA Moduli
      NEMEC, Matúš, Marek SÝS, Petr ŠVENDA, Dušan KLINEC and 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, p. 1631-1648. ISBN 978-1-4503-4946-8. Available from: 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
      Name (in English): The Return of Coppersmith's Attack: Practical Factorization of Widely Used RSA Moduli
      RIV/00216224:14330/17:00095054 Proceedings paper. Informatics. English. United States of America.
      Nemec, Matúš (703 Slovakia, belonging to the institution) -- Sýs, Marek (703 Slovakia, belonging to the institution) -- Švenda, Petr (203 Czech Republic, belonging to the institution) -- Klinec, Dušan (703 Slovakia, belonging to the institution) -- Matyáš, Václav (203 Czech Republic, belonging to the institution)
      Keywords in English: RSA; factorization; smartcard; Coppersmith's algorithm
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 14/5/2020 15:10.
      More: https://is.muni.cz/publication/1392142/en

    2016

    1. Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration
      KORENČIAK, Ľuboš, Antonín KUČERA and 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, p. 367-372. ISBN 978-1-5090-3431-4. Available from: https://dx.doi.org/10.1109/MASCOTS.2016.34.
      URL
      Name (in English): Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration
      RIV/00216224:14330/16:00088476 Proceedings paper. Informatics. English. United States of America.
      Korenčiak, Ľuboš (703 Slovakia, belonging to the institution) -- Kučera, Antonín (203 Czech Republic, belonging to the institution) -- Řehák, Vojtěch (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Clocks: Protocols; Markov processes; Delays; Standards; Computational modeling
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 12/5/2017 07:03.
      More: https://is.muni.cz/publication/1365671/en
    2. Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC
      KORENČIAK, Ľuboš, Vojtěch ŘEHÁK and 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, p. 130-138. ISBN 978-3-319-33692-3. Available from: https://dx.doi.org/10.1007/978-3-319-33693-0_9.
      URL
      RIV/00216224:14330/16:00088084 Proceedings paper. Informatics. English. Switzerland.
      Korenčiak, Ľuboš (703 Slovakia, belonging to the institution) -- Řehák, Vojtěch (203 Czech Republic, guarantor, belonging to the institution) -- Farmadin, Adrian (703 Slovakia, belonging to the institution)
      Keywords in English: CTMC; DSPN; synthesis; timeout; expected reward; PRISM model checker
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 13/5/2020 19:23.
      More: https://is.muni.cz/publication/1351805/en
    3. Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams
      JONÁŠ, Martin and 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, p. 267-283. ISBN 978-3-319-40969-6. Available from: https://dx.doi.org/10.1007/978-3-319-40970-2_17.
      RIV/00216224:14330/16:00088245 Proceedings paper. Informatics. English. Germany.
      Jonáš, Martin (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: SMT solving; quantified bit-vector formulas; BDD
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 13/5/2020 19:22.
      More: https://is.muni.cz/publication/1357165/en
    4. Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution)
      CHALUPA, Marek, Martin JONÁŠ, Jiří SLABÝ, Jan STREJČEK and 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, p. 946-949. ISBN 978-3-662-49673-2. Available from: https://dx.doi.org/10.1007/978-3-662-49674-9_67.
      RIV/00216224:14330/16:00088244 Proceedings paper. Informatics. English. Germany.
      Chalupa, Marek (203 Czech Republic, belonging to the institution) -- Jonáš, Martin (203 Czech Republic, belonging to the institution) -- Slabý, Jiří (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Vitovská, Martina (203 Czech Republic, belonging to the institution)
      Keywords in English: instrumentation; symbolic execution; program slicing
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 13/5/2020 19:22.
      More: https://is.muni.cz/publication/1357163/en

    2015

    1. Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis
      BRÁZDIL, Tomáš, Ľuboš KORENČIAK, Jan KRČÁL, Petr NOVOTNÝ and 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, p. 141-159. ISBN 978-3-319-22263-9. Available from: https://dx.doi.org/10.1007/978-3-319-22264-6_10.
      RIV/00216224:14330/15:00081201 Proceedings paper. Informatics. English. Germany.
      Brázdil, Tomáš (203 Czech Republic, belonging to the institution) -- Korenčiak, Ľuboš (703 Slovakia, guarantor, belonging to the institution) -- Krčál, Jan (203 Czech Republic) -- Novotný, Petr (203 Czech Republic, belonging to the institution) -- Řehák, Vojtěch (203 Czech Republic, belonging to the institution)
      Keywords in English: continuous-time Markov chains; synthesis; timeout
      International impact: yes
      Reviewed: yes
      Changed by: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Changed: 10/12/2018 13:41.
      More: https://is.muni.cz/publication/1317666/en

    2014

    1. Dealing with Zero Density Using Piecewise Phase-Type Approximation
      KORENČIAK, Ľuboš, Jan KRČÁL and 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, p. 119-134. ISBN 978-3-319-10884-1. Available from: https://dx.doi.org/10.1007/978-3-319-10885-8_9.
      RIV/00216224:14330/14:00074094 Proceedings paper. Informatics. English. Switzerland.
      Korenčiak, Ľuboš (703 Slovakia, guarantor, belonging to the institution) -- Krčál, Jan (203 Czech Republic) -- Řehák, Vojtěch (203 Czech Republic, belonging to the institution)
      Keywords in English: phase-type; CTMC; discrete-time transition
      International impact: yes
      Reviewed: yes
      Changed by: Mgr. Ľuboš Korenčiak, Ph.D., učo 208317. Changed: 14/11/2014 14:27.
      More: https://is.muni.cz/publication/1206017/en

    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Ý and 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, p. 421-422. ISBN 978-1-4503-1636-1. Available from: https://dx.doi.org/10.1145/2479871.2479936.
      RIV/00216224:14330/13:00066145 Proceedings paper. Informatics. English. United States of America.
      Brázdil, Tomáš (203 Czech Republic, belonging to the institution) -- Korenčiak, Ľuboš (703 Slovakia, belonging to the institution) -- Krčál, Jan (203 Czech Republic, belonging to the institution) -- Křetínský, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Řehák, Vojtěch (203 Czech Republic, belonging to the institution)
      Keywords in English: performance evaluation; stochastic Petri nets; stability
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2014 00:02.
      More: https://is.muni.cz/publication/1110174/en
Displayed: 25/11/2024 14:15