Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2022

    1. Code Quality Defects Across Introductory Programming Topics
      EFFENBERGER, Tomáš a Radek PELÁNEK. Code Quality Defects Across Introductory Programming Topics. In Larry Merkle, Maureen Doyle. Proceedings of the 53rd ACM Technical Symposium on Computer Science Education V. 1. New York, NY, USA: Association for Computing Machinery. s. 941-947. ISBN 978-1-4503-9070-5. doi:10.1145/3478431.3499415. 2022.
      ACM Digital library
      RIV/00216224:14330/22:00127006 Stať ve sborníku. angličtina. Spojené státy.
      Effenberger, Tomáš (203 Česká republika, garant, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
      Klíčová slova anglicky: introductory programming; python; code quality; feedback
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 3. 2023 12:00.
      Podrobněji: https://is.muni.cz/publication/2227159/cs
    2. Evaluating Code Improvements in Software Quality Course Projects
      CHREN, Stanislav, Martin MACÁK, Bruno ROSSI a Barbora BÜHNOVÁ. Evaluating Code Improvements in Software Quality Course Projects. In Proceedings of The 25th International Conference on Evaluation and Assessment in Software Engineering. New York, NY, USA: Association for Computing Machinery (ACM). s. 160-169. ISBN 978-1-4503-9613-4. doi:10.1145/3530019.3530036. 2022.
      RIV/00216224:14330/22:00125535 Stať ve sborníku. angličtina.
      Chren, Stanislav (703 Slovensko, garant, domácí) -- Macák, Martin (703 Slovensko, domácí) -- Rossi, Bruno (380 Itálie, domácí) -- Bühnová, Barbora (203 Česká republika, domácí)
      Klíčová slova anglicky: Software Engineering; Software Engineering Education; Software Quality; Static Code Analysis; Qualitative Analysis
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Martin Macák, učo 410452. Změněno: 12. 3. 2023 21:21.
      Podrobněji: https://is.muni.cz/publication/1841477/cs
    3. Evaluating Two Approaches to Assessing Student Progress in Cybersecurity Exercises
      ŠVÁBENSKÝ, Valdemar, Richard WEISS, Jack COOK, Jan VYKOPAL, Pavel ČELEDA, Jens MACHE, Radoslav CHUDOVSKÝ a Ankur CHATTOPADHYAY. Evaluating Two Approaches to Assessing Student Progress in Cybersecurity Exercises. In Proceedings of the 53rd ACM Technical Symposium on Computer Science Education (SIGCSE '22). New York, NY, USA: ACM. s. 787-793. ISBN 978-1-4503-9070-5. doi:10.1145/3478431.3499414. 2022.
      YouTube video Preprint on ArXiv.org
      RIV/00216224:14610/22:00125013 Stať ve sborníku. angličtina. Spojené státy.
      Švábenský, Valdemar (703 Slovensko, garant, domácí) -- Vykopal, Jan (203 Česká republika, domácí) -- Čeleda, Pavel (203 Česká republika, domácí) -- Chudovský, Radoslav (703 Slovensko, domácí)
      Klíčová slova anglicky: cybersecurity education; command-line history; educational data mining; learning analytics; assessment; modeling
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: Mgr. Alena Mokrá, učo 362754. Změněno: 30. 3. 2023 13:22.
      Podrobněji: https://is.muni.cz/publication/1797699/cs
    4. Experience with Abrupt Transition to Remote Teaching of Embedded Systems
      KONIARIK, Jan, Daniel DLHOPOLČEK a Martin UKROP. Experience with Abrupt Transition to Remote Teaching of Embedded Systems. In Proceedings of the 2022 ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE ’22). Dublin, Ireland: ACM. s. 386-392. ISBN 978-1-4503-9201-3. doi:10.1145/3502718.3524821. 2022.
      ACM Digital library
      RIV/00216224:14330/22:00126231 Stať ve sborníku. angličtina. Spojené státy.
      Koniarik, Jan (203 Česká republika, domácí) -- Dlhopolček, Daniel (703 Slovensko, domácí) -- Ukrop, Martin (703 Slovensko, garant, domácí)
      Klíčová slova anglicky: emote teaching; embedded systems; remote hardware access
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 3. 2023 11:40.
      Podrobněji: https://is.muni.cz/publication/1874378/cs
    5. General Optimization Framework for Recurrent Reachability Objectives
      KLAŠKA, David, Antonín KUČERA, Vít MUSIL a Vojtěch ŘEHÁK. General Optimization Framework for Recurrent Reachability Objectives. In Luc De Raedt. Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022. Neuveden: ijcai.org. s. 4642-4648. ISBN 978-1-956792-00-3. doi:10.24963/ijcai.2022/644. 2022.
      Paper URL
      RIV/00216224:14330/22:00126564 Stať ve sborníku. angličtina.
      Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Musil, Vít (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: recurrent reachability objectives; strategy synthesis
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 3. 2023 11:54.
      Podrobněji: https://is.muni.cz/publication/2214541/cs
    6. Graph Product Structure for h-Framed Graphs
      BEKOS, Michael A., Giordano DA LOZZO, Petr HLINĚNÝ a Michael KAUFMANN. Graph Product Structure for h-Framed Graphs. In Bae, Sang Won and Park, Heejin. 33rd International Symposium on Algorithms and Computation (ISAAC 2022). LIPIcs 248. Dagstuhl, Germany: Schloss Dagstuhl. s. "23:1"-"23:15", 15 s. ISBN 978-3-95977-258-7. doi:10.4230/LIPIcs.ISAAC.2022.23. 2022.
      DOI open access
      RIV/00216224:14330/22:00129307 Stať ve sborníku. angličtina. Německo.
      Bekos, Michael A. (300 Řecko) -- Da Lozzo, Giordano (380 Itálie) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Kaufmann, Michael (276 Německo)
      Klíčová slova anglicky: Graph product structure theory; h-framed graphs; k-map graphs; queue number; twin-width
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 3. 2023 12:07.
      Podrobněji: https://is.muni.cz/publication/2244009/cs
    7. Characterization of Matrices with Bounded Graver Bases and Depth Parameters and Applications to Integer Programming
      BRIAŃSKI, Marcin, Martin KOUTECKÝ, Daniel KRÁĽ, Kristýna PEKÁRKOVÁ a Felix SCHRÖDER. Characterization of Matrices with Bounded Graver Bases and Depth Parameters and Applications to Integer Programming. In Proceedings of the 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022). Dagstuhl, Germany: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. s. "29:1"-"29:20", 20 s. ISBN 978-3-95977-235-8. doi:10.4230/LIPIcs.ICALP.2022.29. 2022.
      RIV/00216224:14330/22:00126328 Stať ve sborníku. angličtina. Německo.
      Briański, Marcin (616 Polsko) -- Koutecký, Martin (203 Česká republika) -- Kráľ, Daniel (203 Česká republika, garant, domácí) -- Pekárková, Kristýna (203 Česká republika, domácí) -- Schröder, Felix (276 Německo)
      Klíčová slova anglicky: integer programming; width parameters; matroids; Graver basis; tree-depth; fixed parameter tractability
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Daniel Kráľ, Ph.D., DSc., učo 44742. Změněno: 13. 1. 2023 09:41.
      Podrobněji: https://is.muni.cz/publication/1876400/cs
    8. Implicit Neural Representations for Generative Modeling of Living Cell Shapes
      WIESNER, David, Julian SUK, Sven DUMMER, David SVOBODA a Jelmer WOLTERINK. Implicit Neural Representations for Generative Modeling of Living Cell Shapes. In Linwei Wang, Qi Dou, P. Thomas Fletcher, Stefanie Speidel, Shuo Li. International Conference on Medical Image Computing and Computer Assisted Intervention. Switzerland: Springer Nature Switzerland. s. 58-67. ISBN 978-3-031-16439-2. doi:10.1007/978-3-031-16440-8_6. 2022.
      URL
      Název česky: Implicitní neurální reprezentace pro generativní modelování tvaru živých buněk
      RIV/00216224:14330/22:00125774 Stať ve sborníku. angličtina. Švýcarsko.
      Wiesner, David (203 Česká republika, domácí) -- Suk, Julian (528 Nizozemské království) -- Dummer, Sven (528 Nizozemské království) -- Svoboda, David (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: cell shape modeling; neural networks; implicit neural representations; signed distance function; generative model; interpolation
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 3. 2023 10:42.
      Podrobněji: https://is.muni.cz/publication/1851540/cs
    9. Marcus or Mira - Investigating the Perception of Virtual Agent Gender in Virtual Reality Role Play-Training
      REGAL, Georg, Jakob Carl UHL, Anna GERHARDUS, Stefan SUETTE, Elisabeth FRANKUS, Julia SCHMID, Simone KRIGLSTEIN a Manfred TSCHELIGI. Marcus or Mira - Investigating the Perception of Virtual Agent Gender in Virtual Reality Role Play-Training. In 28th ACM Symposium on Virtual Reality Software and Technology (VRST '22). USA: ACM. s. 1-11. ISBN 978-1-4503-9889-3. doi:10.1145/3562939.3565629. 2022.
      URL
      RIV/00216224:14330/22:00127298 Stať ve sborníku. angličtina. Spojené státy.
      Kriglstein, Simone (40 Rakousko, domácí)
      Klíčová slova anglicky: Training; Virtual Reality; Gender; Virtual Agents
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 6. 4. 2023 08:50.
      Podrobněji: https://is.muni.cz/publication/2235518/cs
    10. On-the-fly Adaptation of Patrolling Strategies in Changing Environments
      BRÁZDIL, Tomáš, David KLAŠKA, Antonín KUČERA, Vít MUSIL, Petr NOVOTNÝ a Vojtěch ŘEHÁK. On-the-fly Adaptation of Patrolling Strategies in Changing Environments. In James Cussens, Kun Zhang. Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, UAI 2022. Neuveden: Proceedings of Machine Learning Research. s. 244-254. ISBN 978-1-7138-6329-8. 2022.
      Paper URL
      RIV/00216224:14330/22:00127027 Stať ve sborníku. angličtina.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Musil, Vít (203 Česká republika, domácí) -- Novotný, Petr (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: patrolling games; strategy synthesis
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 5. 4. 2023 03:29.
      Podrobněji: https://is.muni.cz/publication/2227363/cs
    11. Parameterised Partially-Predrawn Crossing Number
      HAMM, Thekla a Petr HLINĚNÝ. Parameterised Partially-Predrawn Crossing Number. In Goaoc, Xavier and Kerber, Michael. 38th International Symposium on Computational Geometry (SoCG 2022). LIPIcs Vol. 224. Dagstuhl, Germany: Schloss Dagstuhl. s. "46:1"-"46:15", 15 s. ISBN 978-3-95977-227-3. doi:10.4230/LIPIcs.SoCG.2022.46. 2022.
      DOI open access
      RIV/00216224:14330/22:00129306 Stať ve sborníku. angličtina. Německo.
      Hamm, Thekla (276 Německo) -- Hliněný, Petr (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Crossing Number; Drawing Extension; Parameterised Complexity; Partial Planarity
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 6. 1. 2023 11:16.
      Podrobněji: https://is.muni.cz/publication/2243997/cs
    12. Preventing Cheating in Hands-on Lab Assignments
      VYKOPAL, Jan, Valdemar ŠVÁBENSKÝ, Pavel ŠEDA a Pavel ČELEDA. Preventing Cheating in Hands-on Lab Assignments. In Proceedings of the 53rd ACM Technical Symposium on Computer Science Education (SIGCSE '22). New York, NY, USA: ACM. s. 78-84. ISBN 978-1-4503-9070-5. doi:10.1145/3478431.3499420. 2022.
      Preprint on ArXiv.org
      RIV/00216224:14610/22:00125129 Stať ve sborníku. angličtina. Spojené státy.
      Vykopal, Jan (203 Česká republika, garant, domácí) -- Švábenský, Valdemar (703 Slovensko, domácí) -- Šeda, Pavel (203 Česká republika, domácí) -- Čeleda, Pavel (203 Česká republika, domácí)
      Klíčová slova anglicky: summative assessment; automatic problem generation; networking; operating systems; cybersecurity; exercise; homework; case study
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Valdemar Švábenský, Ph.D., učo 395868. Změněno: 26. 1. 2023 16:14.
      Podrobněji: https://is.muni.cz/publication/1816366/cs
    13. Process Mining Analysis of Puzzle-Based Cybersecurity Training
      MACÁK, Martin, Radek OŠLEJŠEK a Barbora BÜHNOVÁ. Process Mining Analysis of Puzzle-Based Cybersecurity Training. In Proceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 1 (ITiCSE '22). New York, NY, USA: Association for Computing Machinery. s. 449-455. ISBN 978-1-4503-9201-3. doi:10.1145/3502718.3524819. 2022.
      Permalink to the publisher Accepted manuscript (arxiv.org)
      Název anglicky: Process Mining Analysis of Puzzle-Based Cybersecurity Training
      RIV/00216224:14330/22:00125555 Stať ve sborníku. angličtina. Velká Británie a Severní Irsko.
      Macák, Martin (703 Slovensko, garant, domácí) -- Ošlejšek, Radek (203 Česká republika, domácí) -- Bühnová, Barbora (203 Česká republika, domácí)
      Klíčová slova anglicky: cybersecurity training; CTF game; process mining; data analysis
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Radek Ošlejšek, Ph.D., učo 3636. Změněno: 19. 12. 2023 17:08.
      Podrobněji: https://is.muni.cz/publication/1842421/cs
    14. “They’re not that hard to mitigate”: What Cryptographic Library Developers Think About Timing Attacks
      JANČÁR, Ján, Marcel FOURNÉ, Daniel DE ALMEIDA BRAGA, Mohamed SABT, Peter SCHWABE, Gilles BARTHE, Pierre-Alain FOUQUE a Yasemin ACAR. “They’re not that hard to mitigate”: What Cryptographic Library Developers Think About Timing Attacks. In 43rd IEEE Symposium on Security and Privacy. San Francisco: IEEE. s. 632-649. ISBN 978-1-6654-1316-9. doi:10.1109/SP46214.2022.9833713. 2022.
      Website
      Název anglicky: “They’re not that hard to mitigate”: What Cryptographic Library Developers Think About Timing Attacks
      RIV/00216224:14330/22:00125058 Stať ve sborníku. angličtina. Spojené státy.
      Jančár, Ján (703 Slovensko, garant, domácí)
      Klíčová slova anglicky: constant-time; timing attacks; crypto library; survey; developer survey; expert survey; usable security; human factors; cryptography
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 3. 2023 12:57.
      Podrobněji: https://is.muni.cz/publication/1804658/cs
    15. Twin-Width and Transductions of Proper k-Mixed-Thin Graphs
      BALABÁN, Jakub, Petr HLINĚNÝ a Jan JEDELSKÝ. Twin-Width and Transductions of Proper k-Mixed-Thin Graphs. In Michael A. Bekos and Michael Kaufmann. WG 2022: Graph-Theoretic Concepts in Computer Science. LNCS 13453. Cham: Springer Nature. s. 43-55. ISBN 978-3-031-15913-8. doi:10.1007/978-3-031-15914-5_4. 2022.
      URL URL
      RIV/00216224:14330/22:00127036 Stať ve sborníku. angličtina. Švýcarsko.
      Balabán, Jakub (203 Česká republika, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Jedelský, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: twin-width;proper interval graph;proper mixed-thin graph;transduction equivalence
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 3. 2023 12:02.
      Podrobněji: https://is.muni.cz/publication/2227560/cs
    16. Weighted Model Counting with Twin-Width
      GANIAN, Robert, Filip POKRÝVKA, André SCHIDLER, Kirill SIMONOV a Stefan SZEIDER. Weighted Model Counting with Twin-Width. In Meel, Kuldeep S. and Strichman, Ofer. 25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik. s. "15:1"-"15:17", 17 s. ISBN 978-3-95977-242-6. doi:10.4230/LIPIcs.SAT.2022.15. 2022.
      RIV/00216224:14330/22:00126576 Stať ve sborníku. angličtina. Německo.
      Ganian, Robert (203 Česká republika) -- Pokrývka, Filip (703 Slovensko, domácí)
      Klíčová slova anglicky: Weighted model counting;twin-width;parameterized complexity;SAT
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 3. 2023 11:54.
      Podrobněji: https://is.muni.cz/publication/2215105/cs

    2021

    1. A formula for disaster: a unified approach to elliptic curve special-point-based attacks
      SEDLÁČEK, Vladimír, Jesús-Javier CHI-DOMINGUEZ, Ján JANČÁR a Billy Bob BRUMLEY. A formula for disaster: a unified approach to elliptic curve special-point-based attacks. In Tibouchi M., Wang H. Advances in Cryptology – ASIACRYPT 2021. Cham: Springer. s. 130-159. ISBN 978-3-030-92061-6. doi:10.1007/978-3-030-92062-3_5. 2021.
      Publisher website Website
      RIV/00216224:14330/21:00119154 Stať ve sborníku. angličtina. Švýcarsko.
      Sedláček, Vladimír (203 Česká republika, garant, domácí) -- Jančár, Ján (703 Slovensko, domácí)
      Klíčová slova anglicky: elliptic curve cryptography; ECDH; side-channel analysis; RPA; ZVP; EPA; exceptional points
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 16. 8. 2023 13:22.
      Podrobněji: https://is.muni.cz/publication/1787738/cs
    2. Better Model, Worse Predictions: The Dangers in Student Model Comparisons
      ČECHÁK, Jaroslav a Radek PELÁNEK. Better Model, Worse Predictions: The Dangers in Student Model Comparisons. In Roll, Ido and McNamara, Danielle and Sosnovsky, Sergey and Luckin, Rose and Dimitrova, Vania. International Conference on Artificial Intelligence in Education. Cham: Springer. s. 500-511. ISBN 978-3-030-78291-7. doi:10.1007/978-3-030-78292-4_40. 2021.
      RIV/00216224:14330/21:00121881 Stať ve sborníku. angličtina. Švýcarsko.
      Čechák, Jaroslav (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
      Klíčová slova anglicky: Additive factor model; Student modeling; Simulation; Model comparison
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 16. 8. 2023 13:19.
      Podrobněji: https://is.muni.cz/publication/1780791/cs
    3. CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming Constraints
      PAULUS, Anselm, Michal ROLÍNEK, Vít MUSIL, Brandon AMOS a Georg MARTIUS. CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming Constraints. In Meila, M; Zhang, T. INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 139. 139. vyd. SAN DIEGO: JMLR-JOURNAL MACHINE LEARNING RESEARCH. s. 8443-8453. ISBN 978-1-7138-4506-5. 2021.
      URL
      RIV/00216224:14330/21:00122671 Stať ve sborníku. angličtina. Spojené státy.
      Musil, Vít (203 Česká republika, domácí) -- Martius, Georg (garant)
      Klíčová slova anglicky: machine learning; combinatorial optimization; integer linear programming; constraints
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Vít Musil, Ph.D., učo 246021. Změněno: 4. 2. 2024 23:57.
      Podrobněji: https://is.muni.cz/publication/1799741/cs
    4. Computational Complexity of Covering Multigraphs with Semi-Edges: Small Cases
      BOK, Jan, Jiří FIALA, Petr HLINĚNÝ, Nikola JEDLIČKOVÁ a Jan KRATOCHVÍL. Computational Complexity of Covering Multigraphs with Semi-Edges: Small Cases. In Bonchi, Filippo and Puglisi, Simon J. 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021). Dagstuhl: Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik. s. "21:1"-"21:15", 15 s. ISBN 978-3-95977-201-3. doi:10.4230/LIPIcs.MFCS.2021.21. 2021.
      URL
      RIV/00216224:14330/21:00119288 Stať ve sborníku. angličtina. Německo.
      Bok, Jan (203 Česká republika) -- Fiala, Jiří (203 Česká republika) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Jedličková, Nikola (203 Česká republika) -- Kratochvíl, Jan (203 Česká republika)
      Klíčová slova anglicky: graph cover; covering projection; semiedges; multigraphs; complexity
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 19. 4. 2022 10:10.
      Podrobněji: https://is.muni.cz/publication/1799075/cs
    5. Computing Bottom SCCs Symbolically Using Transition Guided Reduction
      BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA a David ŠAFRÁNEK. Computing Bottom SCCs Symbolically Using Transition Guided Reduction. In Alexandra Silva, K. Rustan, M. Leino. Computer Aided Verification - 33rd International Conference, CAV 2021. Neuveden: Springer Nature. s. 505-528. ISBN 978-3-030-81684-1. doi:10.1007/978-3-030-81685-8_24. 2021.
      URL
      Název anglicky: Computing Bottom SCCs Symbolically Using Transition Guided Reduction
      RIV/00216224:14330/21:00121980 Stať ve sborníku. angličtina. Švýcarsko.
      Beneš, Nikola (203 Česká republika, domácí) -- Brim, Luboš (203 Česká republika, domácí) -- Pastva, Samuel (703 Slovensko, domácí) -- Šafránek, David (203 Česká republika, domácí)
      Klíčová slova anglicky: Bottom SCC; Symbolic algorithm; Boolean network
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 11. 10. 2021 07:52.
      Podrobněji: https://is.muni.cz/publication/1783802/cs
    6. Counting Maximal Satisfiable Subsets
      BENDÍK, Jaroslav a Kuldeep S. MEEL. Counting Maximal Satisfiable Subsets. In 35th AAAI Conference on Artificial Intelligence (AAAI-21). Palo Alto: AAAI. s. 3651-3660. ISBN 978-1-57735-866-4. 2021.
      URL
      RIV/00216224:14330/21:00120855 Stať ve sborníku. angličtina. Spojené státy.
      Bendík, Jaroslav (203 Česká republika, garant, domácí) -- Meel, Kuldeep S. (356 Indie)
      Klíčová slova anglicky: Constraint Satisfaction; Satisfiability; Diagnosis and Abductive Reasoning
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 25. 4. 2022 16:48.
      Podrobněji: https://is.muni.cz/publication/1706817/cs
    7. Counting Minimal Unsatisfiable Subsets
      BENDÍK, Jaroslav a Kuldeep S. MEEL. Counting Minimal Unsatisfiable Subsets. In Alexandra Silva, K. Rustan M. Leino. Computer Aided Verification - 33rd International Conference. Cham: Springer. s. 313-336. ISBN 978-3-030-81687-2. doi:10.1007/978-3-030-81688-9_15. 2021.
      Název anglicky: Counting Minimal Unsatisfiable Subsets
      RIV/00216224:14330/21:00122309 Stať ve sborníku. angličtina. Švýcarsko.
      Bendík, Jaroslav (203 Česká republika, garant, domácí) -- Meel, Kuldeep S. (356 Indie)
      Klíčová slova anglicky: satisfiability
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 26. 4. 2022 10:06.
      Podrobněji: https://is.muni.cz/publication/1790958/cs
    8. Deciding Polynomial Termination Complexity for VASS Programs
      AJDARÓW, Michal a Antonín KUČERA. Deciding Polynomial Termination Complexity for VASS Programs. In Haddad, Serge and Varacca, Daniele. 32nd International Conference on Concurrency Theory (CONCUR 2021). Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik. s. "30:1"-"30:15", 15 s. ISBN 978-3-95977-203-7. doi:10.4230/LIPIcs.CONCUR.2021.30. 2021.
      Dagstuhl website
      RIV/00216224:14330/21:00119194 Stať ve sborníku. angličtina. Německo.
      Ajdarów, Michal (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: VASS; termination complexity
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2022 09:59.
      Podrobněji: https://is.muni.cz/publication/1790538/cs
    9. DQBDD: An Efficient BDD-Based DQBF Solver
      SÍČ, Juraj a Jan STREJČEK. DQBDD: An Efficient BDD-Based DQBF Solver. In Chu-Min Li and Felip Manyà. Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings. Cham (Switzerland): Springer. s. 535-544. ISBN 978-3-030-80222-6. doi:10.1007/978-3-030-80223-3_36. 2021.
      URL
      RIV/00216224:14330/21:00122203 Stať ve sborníku. angličtina. Švýcarsko.
      Síč, Juraj (703 Slovensko) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: dependency quantified Boolean formulas; DQBF; binary decision diagrams; BDD; DQBDD
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 5. 2022 14:57.
      Podrobněji: https://is.muni.cz/publication/1789078/cs
    10. Fast Computation of Strong Control Dependencies
      CHALUPA, Marek, David KLAŠKA, Jan STREJČEK a Lukáš TOMOVIČ. Fast Computation of Strong Control Dependencies. In Alexandra Silva, K. Rustan M. Leino. Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II. Cham (Švýcarsko): Springer, Cham. s. 887-910. ISBN 978-3-030-81687-2. doi:10.1007/978-3-030-81688-9_41. 2021.
      URL
      RIV/00216224:14330/21:00121991 Stať ve sborníku. angličtina. Švýcarsko.
      Chalupa, Marek (203 Česká republika, domácí) -- Klaška, David (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, domácí) -- Tomovič, Lukáš (703 Slovensko, domácí)
      Klíčová slova anglicky: control dependence;non-termination sensitive control dependence;decisive order dependence;control closure;ntscd;dod;graph theory
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 5. 2022 14:53.
      Podrobněji: https://is.muni.cz/publication/1783922/cs
    11. ω-Forest Algebras and Temporal Logics
      BLUMENSATH, Achim a Jakub LÉDL. ω-Forest Algebras and Temporal Logics. In Filippo Bonchi, Simon J. Puglisi. 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia. Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. s. 1-21. ISBN 978-3-95977-201-3. doi:10.4230/LIPIcs.MFCS.2021.19. 2021.
      URL
      Název anglicky: ω-Forest Algebras and Temporal Logics
      RIV/00216224:14330/21:00119652 Stať ve sborníku. angličtina. Německo.
      Blumensath, Achim (276 Německo, garant, domácí) -- Lédl, Jakub (203 Česká republika, domácí)
      Klíčová slova anglicky: forest algebras; wreath products; temporal logics
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2022 07:56.
      Podrobněji: https://is.muni.cz/publication/1834758/cs
    12. Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption
      BLAHOUDEK, František, Murat CUBUKTEPE, Petr NOVOTNÝ, Melkior ORNIK, Pranay THANGEDA a Ufuk TOPCU. Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption. In 24th International Symposium on Formal Methods, FM 2021. Cham, Switzerland: Springer. s. 640-656. ISBN 978-3-030-90869-0. doi:10.1007/978-3-030-90870-6_34. 2021.
      RIV/00216224:14330/21:00119269 Stať ve sborníku. angličtina.
      Blahoudek, František (203 Česká republika) -- Cubuktepe, Murat (792 Turecko) -- Novotný, Petr (203 Česká republika, garant, domácí) -- Ornik, Melkior (191 Chorvatsko) -- Thangeda, Pranay (356 Indie) -- Topcu, Ufuk (792 Turecko)
      Klíčová slova anglicky: resource constraints; planning under uncertainty; Markov decision processes
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2022 10:03.
      Podrobněji: https://is.muni.cz/publication/1797367/cs
    13. Challenges Faced by Teaching Assistants in Computer Science Education Across Europe
      RIESE, Emma, Madeleine LORÅS, Martin UKROP a Tomáš EFFENBERGER. Challenges Faced by Teaching Assistants in Computer Science Education Across Europe. In Proceedings of the 2021 ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE ’21). Paderborn, Germany: ACM. s. 547-553. ISBN 978-1-4503-8214-4. doi:10.1145/3430665.3456304. 2021.
      ACM Digital library Supplementary materials
      RIV/00216224:14330/21:00121376 Stať ve sborníku. angličtina. Spojené státy.
      Riese, Emma (752 Švédsko) -- Lorås, Madeleine (578 Norsko) -- Ukrop, Martin (703 Slovensko, garant, domácí) -- Effenberger, Tomáš (203 Česká republika, domácí)
      Klíčová slova anglicky: Teaching assistants; TAs; challenges
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Tomáš Effenberger, Ph.D., učo 410350. Změněno: 16. 11. 2022 10:47.
      Podrobněji: https://is.muni.cz/publication/1758397/cs
    14. Interpretable Clustering of Students’ Solutions in Introductory Programming
      EFFENBERGER, Tomáš a Radek PELÁNEK. Interpretable Clustering of Students’ Solutions in Introductory Programming. In Roll I., McNamara D., Sosnovsky S., Luckin R., Dimitrova V. Artificial Intelligence in Education. AIED 2021. Lecture Notes in Computer Science, vol 12748. Cham: Springer. s. 101-112. ISBN 978-3-030-78291-7. doi:10.1007/978-3-030-78292-4_9. 2021.
      URL
      RIV/00216224:14330/21:00121982 Stať ve sborníku. angličtina. Švýcarsko.
      Effenberger, Tomáš (203 Česká republika, garant, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
      Klíčová slova anglicky: interpretable clustering; pattern mining; introductory programming; problem solving
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 16. 8. 2023 13:20.
      Podrobněji: https://is.muni.cz/publication/1783837/cs
    15. Intrinsic-Extrinsic Convolution and Pooling for Learning on 3D Protein Structures
      HERMOSILLA CASAJÚS, Pedro, Marco SCHÄFER, Matěj LANG, Gloria FACKELMANN, Pere-Pau VÁZQUEZ ALCOCER, Barbora KOZLÍKOVÁ, Michael KRONE, Tobias RITSCHEL a Timo ROPINSKI. Intrinsic-Extrinsic Convolution and Pooling for Learning on 3D Protein Structures. In International Conference on Learning Representations (ICLR). 2021.
      URL
      Název anglicky: Intrinsic-Extrinsic Convolution and Pooling for Learning on 3D Protein Structures
      RIV/00216224:14330/21:00118838 Prezentace na konferencích. angličtina. Spojené státy.
      Hermosilla Casajús, Pedro (724 Španělsko) -- Schäfer, Marco (276 Německo) -- Lang, Matěj (203 Česká republika, domácí) -- Fackelmann, Gloria (276 Německo) -- Vázquez Alcocer, Pere-Pau (724 Španělsko) -- Kozlíková, Barbora (203 Česká republika, domácí) -- Krone, Michael (276 Německo) -- Ritschel, Tobias (276 Německo)
      Klíčová slova anglicky: classification; bioinformatics
      Druh účasti: aktivní účast
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 25. 4. 2022 23:09.
      Podrobněji: https://is.muni.cz/publication/1731463/cs
    16. On Lexicographic Proof Rules for Probabilistic Termination
      CHATTERJEE, Krishnendu, Ehsan Kafshdar GOHARSHADY, Petr NOVOTNÝ, Jiří ZÁREVÚCKY a Djordje ŽIKELIĆ. On Lexicographic Proof Rules for Probabilistic Termination. In 24th International Symposium on Formal Methods, FM 2021. Cham, Switzerland: Springer. s. 619-639. ISBN 978-3-030-90869-0. doi:10.1007/978-3-030-90870-6_33. 2021.
      RIV/00216224:14330/21:00119268 Stať ve sborníku. angličtina.
      Chatterjee, Krishnendu (356 Indie) -- Goharshady, Ehsan Kafshdar (364 Írán) -- Novotný, Petr (203 Česká republika, garant, domácí) -- Zárevúcky, Jiří (203 Česká republika, domácí) -- Žikelić, Djordje (688 Srbsko)
      Klíčová slova anglicky: program analysis; probabilistic programs; almost-sure termination; martingales
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2022 10:00.
      Podrobněji: https://is.muni.cz/publication/1797365/cs
    17. Proving non-termination by program reversal
      CHATTERJEE, Krishnendu, Ehsan Kafshdar GOHARSHADY, Petr NOVOTNÝ a Djordje ŽIKELIĆ. Proving non-termination by program reversal. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). New York, NY, USA: ACM. s. 1033-1048. ISBN 978-1-4503-8391-2. doi:10.1145/3453483.3454093. 2021.
      RIV/00216224:14330/21:00119267 Stať ve sborníku. angličtina. Spojené státy.
      Chatterjee, Krishnendu (356 Indie) -- Goharshady, Ehsan Kafshdar (364 Írán) -- Novotný, Petr (203 Česká republika, garant, domácí) -- Žikelić, Djordje (688 Srbsko)
      Klíčová slova anglicky: program analysis; nontermination proving
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2022 08:14.
      Podrobněji: https://is.muni.cz/publication/1797364/cs
    18. Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way?
      MRÁZEK, Jan, Martin JONÁŠ a Jiří BARNAT. Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way? In 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). Prague: IEEE. s. 6935-6940. ISBN 978-1-6654-1714-3. doi:10.1109/IROS51168.2021.9636534. 2021.
      RIV/00216224:14330/21:00122594 Stať ve sborníku. angličtina. Spojené státy.
      Mrázek, Jan (203 Česká republika, domácí) -- Jonáš, Martin (203 Česká republika, domácí) -- Barnat, Jiří (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: robots reconfiguration
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 26. 4. 2022 10:11.
      Podrobněji: https://is.muni.cz/publication/1798283/cs
    19. Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games
      KLAŠKA, David, Antonín KUČERA, Vojtěch ŘEHÁK a Vít MUSIL. Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games. In de Campos, Cassio and Maathuis, Marloes H. Proceedings of 37th Conference on Uncertainty in Artificial Intelligence (UAI 2021). Neuveden: AUAI Press. s. 471-481. ISSN 2640-3498. 2021.
      URL
      RIV/00216224:14330/21:00122557 Stať ve sborníku. angličtina.
      Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí) -- Musil, Vít (203 Česká republika, domácí)
      Klíčová slova anglicky: adversarial security games; strategy synthesis
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 14. 3. 2023 16:08.
      Podrobněji: https://is.muni.cz/publication/1797259/cs
    20. Symbolic Coloured SCC Decomposition
      BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA a David ŠAFRÁNEK. Symbolic Coloured SCC Decomposition. In Jan Friso Groote, Kim Larsen. Tools and Algorithms for the Construction and Analysis of Systems, 27th International Conference, TACAS 2021. Neuveden: Springer Nature. s. 64-83. ISBN 978-3-030-72012-4. doi:10.1007/978-3-030-72013-1_4. 2021.
      URL
      Název anglicky: Symbolic Coloured SCC Decomposition
      RIV/00216224:14330/21:00121404 Stať ve sborníku. angličtina. Švýcarsko.
      Beneš, Nikola (203 Česká republika, domácí) -- Brim, Luboš (203 Česká republika, domácí) -- Pastva, Samuel (703 Slovensko, domácí) -- Šafránek, David (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: strongly connected components; symbolic algorithm; edge-coloured digraphs; systems biology
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 5. 2022 14:43.
      Podrobněji: https://is.muni.cz/publication/1759896/cs
    21. Timed Automata Relaxation for Reachability
      BENDÍK, Jaroslav, Ahmet SENCAN, Ebru Aydin GOL a Ivana ČERNÁ. Timed Automata Relaxation for Reachability. In Friso Groote and Kim Guldstrand Larsen. 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'21). Part I vol. 12651. Heidelberg: Springer. s. 291-310. ISBN 978-3-030-72015-5. doi:10.1007/978-3-030-72016-2_16. 2021.
      URL
      RIV/00216224:14330/21:00120892 Stať ve sborníku. angličtina.
      Bendík, Jaroslav (203 Česká republika, garant, domácí) -- Gol, Ebru Aydin (203 Česká republika) -- Černá, Ivana (203 Česká republika, domácí)
      Klíčová slova anglicky: Timed Automata - Reachability - Relaxation of Constraints
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 5. 2022 14:20.
      Podrobněji: https://is.muni.cz/publication/1716036/cs
    22. Validity and Reliability of Student Models for Problem-Solving Activities
      EFFENBERGER, Tomáš a Radek PELÁNEK. Validity and Reliability of Student Models for Problem-Solving Activities. In Proceedings of the 11th International Conference on Learning Analytics and Knowledge. New York, NY, USA: Association for Computing Machinery. s. 1-11. ISBN 978-1-4503-8935-8. doi:10.1145/3448139.3448140. 2021.
      URL
      RIV/00216224:14330/21:00121402 Stať ve sborníku. angličtina. Spojené státy.
      Effenberger, Tomáš (203 Česká republika, garant, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
      Klíčová slova anglicky: student modeling; skills; difficulties; validity; reliability; performance measures; problem solving; introductory programming
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 16. 8. 2023 13:16.
      Podrobněji: https://is.muni.cz/publication/1759856/cs
    23. What Players Want: Information Needs of Players on Post-Game Visualizations
      WALLNER, Günter, Marnix van WIJLAND, Regina BERNHAUPT a Simone KRIGLSTEIN. What Players Want: Information Needs of Players on Post-Game Visualizations. In CHI Conference on Human Factors in Computing Systems (CHI '21). New York: Association for Computing Machinery. s. 1-13. ISBN 978-1-4503-8096-6. doi:10.1145/3411764.3445174. 2021.
      RIV/00216224:14330/21:00121619 Stať ve sborníku. angličtina. Spojené státy.
      Kriglstein, Simone (40 Rakousko, domácí)
      Klíčová slova anglicky: games; gameplay visualization; information needs; players
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 26. 4. 2022 09:59.
      Podrobněji: https://is.muni.cz/publication/1769980/cs

    2020

    1. Adversarial Patrolling with Drones
      KLAŠKA, David, Antonín KUČERA a Vojtěch ŘEHÁK. Adversarial Patrolling with Drones. In Proceedings of the 2020 International Conference on Autonomous Agents & Multiagent Systems. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems. s. 629-637. ISBN 978-1-4503-7518-4. doi:10.5555/3398761.3398837. 2020.
      RIV/00216224:14330/20:00114048 Stať ve sborníku. angličtina.
      Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Single and multi-agent planning and scheduling; patrolling
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 30. 4. 2021 07:54.
      Podrobněji: https://is.muni.cz/publication/1618996/cs
    2. AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks
      BENEŠ, Nikola, Luboš BRIM, Jakub KADLECAJ, Samuel PASTVA a David ŠAFRÁNEK. AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks. In Shuvendu K. Lahiri and Chao Wang. Computer Aided Verification. CAV 2020. LNCS 12224. Cham: Springer, Cham. s. 569-581. ISBN 978-3-030-53287-1. doi:10.1007/978-3-030-53288-8_28. 2020.
      URL
      Název anglicky: AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks
      RIV/00216224:14330/20:00114294 Stať ve sborníku. angličtina. Česká republika.
      Beneš, Nikola (203 Česká republika, domácí) -- Brim, Luboš (203 Česká republika, domácí) -- Kadlecaj, Jakub (703 Slovensko) -- Pastva, Samuel (703 Slovensko, garant, domácí) -- Šafránek, David (203 Česká republika, domácí)
      Klíčová slova anglicky: Boolean networks; Attractors; Bifurcation analysis
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 19. 1. 2021 14:59.
      Podrobněji: https://is.muni.cz/publication/1676301/cs
    3. Approximate Counting of Minimal Unsatisfiable Subsets
      BENDÍK, Jaroslav a Kuldeep S. MEEL. Approximate Counting of Minimal Unsatisfiable Subsets. In Shuvendu K. Lahiri and Chao Wang. Computer Aided Verification - 32nd International Conference, CAV 2020. Neuveden: Springer, Cham. s. 439-462. ISBN 978-3-030-53287-1. doi:10.1007/978-3-030-53288-8_21. 2020.
      RIV/00216224:14330/20:00115568 Stať ve sborníku. angličtina.
      Bendík, Jaroslav (203 Česká republika, garant, domácí) -- Meel, Kuldeep S. (356 Indie)
      Klíčová slova anglicky: minimal unsatisfiable subsets;MUS counting;diagnosis;metrics;knowledge base
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 16. 5. 2022 14:21.
      Podrobněji: https://is.muni.cz/publication/1649416/cs
    4. Benefits and Pitfalls of Using Capture The Flag Games in University Courses
      VYKOPAL, Jan, Valdemar ŠVÁBENSKÝ a Ee-Chien CHANG. Benefits and Pitfalls of Using Capture The Flag Games in University Courses. In Proceedings of the 51st ACM Technical Symposium on Computer Science Education (SIGCSE '20). New York, NY, USA: ACM. s. 752-758. ISBN 978-1-4503-6793-6. doi:10.1145/3328778.3366893. 2020.
      Published version in the conference proceedings Preprint on ArXiv.org
      RIV/00216224:14610/20:00115112 Stať ve sborníku. angličtina. Spojené státy.
      Vykopal, Jan (203 Česká republika, garant, domácí) -- Švábenský, Valdemar (703 Slovensko, domácí)
      Klíčová slova anglicky: cybersecurity; capture the flag; summative assessment; homework assignment; plagiarism; learning analytics; educational data mining
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: Mgr. Alena Mokrá, učo 362754. Změněno: 30. 3. 2023 15:53.
      Podrobněji: https://is.muni.cz/publication/1570036/cs
    5. Biased RSA private keys: Origin attribution of GCD-factorable keys
      JANOVSKÝ, Adam, Matúš NEMEC, Petr ŠVENDA, Peter SEKAN a Václav MATYÁŠ. Biased RSA private keys: Origin attribution of GCD-factorable keys. In Liqun Chen and Ninghui Li and Kaitai Liang and Steve Schneider. Computer Security – ESORICS 2020. Cham, Switzerland: Springer. s. 505-524. ISBN 978-3-030-59012-3. doi:10.1007/978-3-030-59013-0_25. 2020.
      URL
      Název česky: neuniformní privátní RSA klíče: Určování původu klíčů faktorizovatelných algoritmem GCD
      Název anglicky: Biased RSA private keys: Origin attribution of GCD-factorable keys
      RIV/00216224:14330/20:00115914 Stať ve sborníku. angličtina. Švýcarsko.
      Janovský, Adam (203 Česká republika, garant, domácí) -- Nemec, Matúš (703 Slovensko) -- Švenda, Petr (203 Česká republika, domácí) -- Sekan, Peter (703 Slovensko) -- Matyáš, Václav (203 Česká republika, domácí)
      Klíčová slova anglicky: Cryptographic library; RSA factorization; Measurement; RSA key classification; Statistical model
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Václav Matyáš, M.Sc., Ph.D., učo 344. Změněno: 5. 1. 2023 14:25.
      Podrobněji: https://is.muni.cz/publication/1669278/cs
    6. Clique-Width of Point Configurations
      CAGIRICI, Onur, Petr HLINĚNÝ, Filip POKRÝVKA a Abhisekh SANKARAN. Clique-Width of Point Configurations. In Graph-Theoretic Concepts in Computer Science, WG 2020. Cham: Springer, Lecture Notes in Computer Science. s. 54-66. ISBN 978-3-030-60439-4. doi:10.1007/978-3-030-60440-0_5. 2020.
      open access preprint URL
      RIV/00216224:14330/20:00114292 Stať ve sborníku. angličtina. Německo.
      Cagirici, Onur (792 Turecko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Pokrývka, Filip (703 Slovensko, domácí) -- Sankaran, Abhisekh (356 Indie)
      Klíčová slova anglicky: point configuration; order type; fixed-parameter tractability; relational structure; clique-width
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2021 12:20.
      Podrobněji: https://is.muni.cz/publication/1676037/cs
    7. DG: Analysis and Slicing of LLVM Bitcode
      CHALUPA, Marek. DG: Analysis and Slicing of LLVM Bitcode. In Dang Van Hung and Oleg Sokolsky. The 18ᵗʰ International Symposium on Automated Technology for Verification and Analysis. Hanoi, Vietnam: Springer. s. 557-563. ISBN 978-3-030-59151-9. doi:10.1007/978-3-030-59152-6_33. 2020.
      Název anglicky: DG: Analysis and Slicing of LLVM Bitcode
      RIV/00216224:14330/20:00114295 Stať ve sborníku. angličtina.
      Chalupa, Marek (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: call graph construction; data dependence analysis; program slicing
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 16. 5. 2022 14:23.
      Podrobněji: https://is.muni.cz/publication/1676373/cs
    8. Efficient Analysis of VASS Termination Complexity
      KUČERA, Antonín, Jérôme LEROUX a Dominik VELAN. Efficient Analysis of VASS Termination Complexity. In Holger Hermanns, Lijun Zhang, Naoki Kobayashi, Dale Miller. LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science. New York, USA: ACM. s. 676-688. ISBN 978-1-4503-7104-9. doi:10.1145/3373718.3394751. 2020.
      RIV/00216224:14330/20:00114250 Stať ve sborníku. angličtina.
      Kučera, Antonín (203 Česká republika, garant, domácí) -- Leroux, Jérôme (250 Francie) -- Velan, Dominik (203 Česká republika, domácí)
      Klíčová slova anglicky: Vector addition systems; Termination
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2021 07:59.
      Podrobněji: https://is.muni.cz/publication/1672264/cs
    9. Fooling primality tests on smartcards
      SEDLÁČEK, Vladimír, Ján JANČÁR a Petr ŠVENDA. Fooling primality tests on smartcards. In Liqun Chen, Ninghui Li, Kaitai Liang and Steve Schneider. 25th European Symposium on Research in Computer Security (ESORICS) 2020. Švýcarsko: Springer. s. 209-229. ISBN 978-3-030-59012-3. doi:10.1007/978-3-030-59013-0_11. 2020.
      Website
      RIV/00216224:14330/20:00114216 Stať ve sborníku. angličtina.
      Sedláček, Vladimír (203 Česká republika, garant, domácí) -- Jančár, Ján (703 Slovensko, domácí) -- Švenda, Petr (203 Česká republika, domácí)
      Klíčová slova anglicky: ECC; primality; pseudoprimes; smartcards
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2021 12:26.
      Podrobněji: https://is.muni.cz/publication/1668739/cs
    10. Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling
      BLONDIN, Michael, Javier ESPARZA, Martin HELFRICH, Antonín KUČERA a Philipp MEYER. Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling. In Shuvendu K. Lahiri, Chao Wang. Computer Aided Verification, CAV 2020. Cham, Německo: Springer International Publishing. s. 372-397. ISBN 978-3-030-53290-1. doi:10.1007/978-3-030-53291-8_20. 2020.
      URL
      RIV/00216224:14330/20:00114297 Stať ve sborníku. angličtina. Německo.
      Blondin, Michael (124 Kanada) -- Esparza, Javier (724 Španělsko) -- Helfrich, Martin (276 Německo) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Meyer, Philipp (276 Německo)
      Klíčová slova anglicky: Replicated systems; population protocols
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2021 12:28.
      Podrobněji: https://is.muni.cz/publication/1676581/cs
    11. Impact of Methodological Choices on the Evaluation of Student Models
      EFFENBERGER, Tomáš a Radek PELÁNEK. Impact of Methodological Choices on the Evaluation of Student Models. In Bittencourt I., Cukurova M., Muldner K., Luckin R., Millán E. Artificial Intelligence in Education. AIED 2020. Lecture Notes in Computer Science, vol 12163. Cham: Springer. s. 153-164. ISBN 978-3-030-52236-0. doi:10.1007/978-3-030-52237-7_13. 2020.
      URL
      RIV/00216224:14330/20:00116669 Stať ve sborníku. angličtina. Švýcarsko.
      Effenberger, Tomáš (203 Česká republika, garant, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
      Klíčová slova anglicky: adaptive learning; student modeling; intelligent tutoring systems; introductory programming
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 16. 8. 2023 13:14.
      Podrobněji: https://is.muni.cz/publication/1685465/cs
    12. Improved bounds for centered colorings
      DĘBSKI, Michał Karol, Stefan FELSNER, Piotr MICEK a Felix SCHRÖDER. Improved bounds for centered colorings. In Shuchi Chawla. Proceedings of the 2020 ACM-SIAM Symposium on Discrete Algorithms. Not specified: SIAM. s. 2212-2226. ISBN 978-1-61197-599-4. doi:10.1137/1.9781611975994.136. 2020.
      URL
      Název anglicky: Improved bounds for centered colorings
      RIV/00216224:14330/20:00115527 Stať ve sborníku. angličtina. Spojené státy.
      Dębski, Michał Karol (616 Polsko, domácí) -- Felsner, Stefan (276 Německo) -- Micek, Piotr (616 Polsko)
      Klíčová slova anglicky: centered coloring; bounded expansion; planar graph; entropy compression
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 6. 2022 13:54.
      Podrobněji: https://is.muni.cz/publication/1645722/cs
    13. Isomorphism Problem for Sd-Graphs
      AGAOGLU, Deniz a Petr HLINĚNÝ. Isomorphism Problem for Sd-Graphs. In Javier Esparza and Daniel Kral. 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik. s. "4:1"-"4:14", 14 s. ISBN 978-3-95977-159-7. doi:10.4230/LIPIcs.MFCS.2020.4. 2020.
      RIV/00216224:14330/20:00114291 Stať ve sborníku. angličtina. Německo.
      Agaoglu, Deniz (792 Turecko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: intersection graph; isomorphism testing; interval graph; H-graph
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 14. 4. 2021 22:16.
      Podrobněji: https://is.muni.cz/publication/1676036/cs
    14. KYPO4INDUSTRY: A Testbed for Teaching Cybersecurity of Industrial Control Systems
      ČELEDA, Pavel, Jan VYKOPAL, Valdemar ŠVÁBENSKÝ a Karel SLAVÍČEK. KYPO4INDUSTRY: A Testbed for Teaching Cybersecurity of Industrial Control Systems. In Proceedings of the 51st ACM Technical Symposium on Computer Science Education (SIGCSE '20). New York, NY, USA: ACM. s. 1026-1032. ISBN 978-1-4503-6793-6. doi:10.1145/3328778.3366908. 2020.
      Preprint on ArXiv.org Published version in the conference proceedings
      RIV/00216224:14610/20:00115109 Stať ve sborníku. angličtina. Spojené státy.
      Čeleda, Pavel (203 Česká republika, garant, domácí) -- Vykopal, Jan (203 Česká republika, domácí) -- Švábenský, Valdemar (703 Slovensko, domácí) -- Slavíček, Karel (203 Česká republika, domácí)
      Klíčová slova anglicky: training facility; modular testbed; cyber-physical systems; industrial control systems; ICS; SCADA; cybersecurity education; syllabus
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: Mgr. Alena Mokrá, učo 362754. Změněno: 30. 3. 2023 16:02.
      Podrobněji: https://is.muni.cz/publication/1567484/cs
    15. Matrices of optimal tree-depth and a row-invariant parameterized algorithm for integer programming
      CHAN, Timothy Fong Nam, Jacob COOPER, Martin KOUTECKÝ, Daniel KRÁĽ a Kristýna PEKÁRKOVÁ. Matrices of optimal tree-depth and a row-invariant parameterized algorithm for integer programming. In Proceedings of the 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020), p. "26:1"-"26:19", 19 pp. 2020. Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. s. "26:1"-"26:19", 19 s. ISBN 978-3-95977-138-2. doi:10.4230/LIPIcs.ICALP.2020.26. 2020.
      RIV/00216224:14330/20:00116613 Stať ve sborníku. angličtina. Německo.
      Chan, Timothy Fong Nam (826 Velká Británie a Severní Irsko) -- Cooper, Jacob (826 Velká Británie a Severní Irsko, domácí) -- Koutecký, Martin (203 Česká republika) -- Kráľ, Daniel (203 Česká republika, garant, domácí) -- Pekárková, Kristýna (203 Česká republika, domácí)
      Klíčová slova anglicky: matroid algorithms; width parameters; integer programming; fixed parameter tractability; branch-width; branch-depth
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 26. 4. 2021 07:20.
      Podrobněji: https://is.muni.cz/publication/1684015/cs
    16. Minerva: The curse of ECDSA nonces
      JANČÁR, Ján, Vladimír SEDLÁČEK, Petr ŠVENDA a Marek SÝS. Minerva: The curse of ECDSA nonces. In Amir Moradi, Mehdi Tibouchi. IACR Transactions on Cryptographic Hardware and Embedded Systems. Německo: Ruhr-University of Bochum. s. 281-308. ISSN 2569-2925. doi:10.13154/tches.v2020.i4.281-308. 2020.
      Website
      RIV/00216224:14330/20:00114222 Stať ve sborníku. angličtina. Německo.
      Jančár, Ján (703 Slovensko, garant, domácí) -- Sedláček, Vladimír (203 Česká republika, domácí) -- Švenda, Petr (203 Česká republika, domácí) -- Sýs, Marek (703 Slovensko, domácí)
      Klíčová slova anglicky: ECDSA; Hidden Number Problem; side-channel attack; lattice attack; smartcard
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 31. 5. 2022 14:26.
      Podrobněji: https://is.muni.cz/publication/1669335/cs
    17. Motion Words: A Text-like Representation of 3D Skeleton Sequences
      SEDMIDUBSKÝ, Jan, Petra BUDÍKOVÁ, Vlastislav DOHNAL a Pavel ZEZULA. Motion Words: A Text-like Representation of 3D Skeleton Sequences. In 42nd European Conference on Information Retrieval (ECIR). Cham: Springer. s. 527-541. ISBN 978-3-030-45438-8. doi:10.1007/978-3-030-45439-5_35. 2020.
      RIV/00216224:14330/20:00114026 Stať ve sborníku. angličtina.
      Sedmidubský, Jan (203 Česká republika, garant, domácí) -- Budíková, Petra (203 Česká republika, domácí) -- Dohnal, Vlastislav (203 Česká republika, domácí) -- Zezula, Pavel (203 Česká republika, domácí)
      Klíčová slova anglicky: 3D skeleton sequence;motion word;motion vocabulary;quantization;border problem;text-based processing
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2021 12:21.
      Podrobněji: https://is.muni.cz/publication/1603299/cs
    18. Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications
      CHATTERJEE, Krishnendu, Martin CHMELÍK, Deep KARKHANIS, Petr NOVOTNÝ a Amélie ROYER. Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications. In Proceedings of the International Conference on Automated Planning and Scheduling. Palo Alto: AAAI Press. s. 48-56. ISBN 978-1-57735-824-4. 2020.
      URL
      RIV/00216224:14330/20:00114616 Stať ve sborníku. angličtina. Spojené státy.
      Chatterjee, Krishnendu (356 Indie) -- Chmelík, Martin (203 Česká republika) -- Karkhanis, Deep (356 Indie) -- Novotný, Petr (203 Česká republika, garant, domácí) -- Royer, Amélie (250 Francie)
      Klíčová slova anglicky: decision making; Markov decision processes; contextual recommendations
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2021 08:12.
      Podrobněji: https://is.muni.cz/publication/1718276/cs
    19. MUST: Minimal Unsatisfiable Subsets Enumeration Tool
      BENDÍK, Jaroslav a Ivana ČERNÁ. MUST: Minimal Unsatisfiable Subsets Enumeration Tool. In Armin Biere and David Parker. Tools and Algorithms for the Construction and Analysis of Systems. Neuveden: Springer International Publishing. s. 135-152. ISBN 978-3-030-45189-9. doi:10.1007/978-3-030-45190-5_8. 2020.
      Název anglicky: MUST: Minimal Unsatisfiable Subsets Enumeration Tool
      RIV/00216224:14330/20:00115396 Stať ve sborníku. angličtina.
      Bendík, Jaroslav (203 Česká republika, garant, domácí) -- Černá, Ivana (203 Česká republika, domácí)
      Klíčová slova anglicky: Minimal unsatisfiable subsets;Unsatisfiability analysis;Infeasibility analysis;MUS;Diagnosis
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 10. 5. 2021 05:40.
      Podrobněji: https://is.muni.cz/publication/1633241/cs
    20. Qualitative Controller Synthesis for Consumption Markov Decision Processes
      BLAHOUDEK, František, Tomáš BRÁZDIL, Petr NOVOTNÝ, Melkior ORNIK, Pranay THANGEDA a Ufuk TOPCU. Qualitative Controller Synthesis for Consumption Markov Decision Processes. In Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}. Cham: Springer. s. 421-447. ISBN 978-3-030-53290-1. doi:10.1007/978-3-030-53291-8_22. 2020.
      RIV/00216224:14330/20:00114617 Stať ve sborníku. angličtina. Švýcarsko.
      Blahoudek, František (203 Česká republika) -- Brázdil, Tomáš (203 Česká republika, domácí) -- Novotný, Petr (203 Česká republika, garant, domácí) -- Ornik, Melkior (191 Chorvatsko) -- Thangeda, Pranay (356 Indie) -- Topcu, Ufuk (792 Turecko)
      Klíčová slova anglicky: decision making; Markov decision processes; controller synthesis; resource constraints
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2021 08:12.
      Podrobněji: https://is.muni.cz/publication/1718417/cs
    21. Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes
      BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Petr NOVOTNÝ a Jiří VAHALA. Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes. In The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020. Palo Alto, California, USA: AAAI Press. s. 9794-9801. ISBN 978-1-57735-823-7. doi:10.1609/aaai.v34i06.6531. 2020.
      URL
      RIV/00216224:14330/20:00114279 Stať ve sborníku. angličtina. Spojené státy.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Chatterjee, Krishnendu (356 Indie) -- Novotný, Petr (203 Česká republika, garant, domácí) -- Vahala, Jiří (203 Česká republika, domácí)
      Klíčová slova anglicky: reinforcement learning; Markov decision processes; Monte Carlo tree search; risk aversion
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 6. 4. 2023 14:29.
      Podrobněji: https://is.muni.cz/publication/1674916/cs
    22. Replication-Guided Enumeration of Minimal Unsatisfiable Subsets
      BENDÍK, Jaroslav a Ivana ČERNÁ. Replication-Guided Enumeration of Minimal Unsatisfiable Subsets. In Helmut Simonis. 26th International Conference on Principles and Practice of Constraint Programming. Neuveden: Springer, Cham. s. 37-54. ISBN 978-3-030-58474-0. doi:10.1007/978-3-030-58475-7_3. 2020.
      Název anglicky: Replication-Guided Enumeration of Minimal Unsatisfiable Subsets
      RIV/00216224:14330/20:00116179 Stať ve sborníku. angličtina.
      Bendík, Jaroslav (203 Česká republika) -- Černá, Ivana (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Minimal Unsatisfiable Subsets;MUSes;Over-constrained systems
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 10. 5. 2021 05:51.
      Podrobněji: https://is.muni.cz/publication/1673818/cs
    23. Rotation Based MSS/MCS Enumeration
      BENDÍK, Jaroslav a Ivana ČERNÁ. Rotation Based MSS/MCS Enumeration. In Elvira Albert and Laura Kovacs. LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Neuveden: EPiC Series in Computing. s. 120-137. ISSN 2398-7340. doi:10.29007/8btb. 2020.
      URL
      RIV/00216224:14330/20:00115569 Stať ve sborníku. angličtina.
      Bendík, Jaroslav (203 Česká republika, garant, domácí) -- Černá, Ivana (203 Česká republika, domácí)
      Klíčová slova anglicky: Maximal Satisfiable Subsets;Minimal Correction Subsets;Infeasibility Analysis;Diagnosis;MSS;MCS
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 10. 5. 2021 05:46.
      Podrobněji: https://is.muni.cz/publication/1649417/cs
    24. Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization
      BLAHOUDEK, František, Alexandre DURET-LUTZ a Jan STREJČEK. Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization. In Shuvendu K. Lahiri and Chao Wang. Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II. Cham (Switzerland): Springer. s. 15-27. ISBN 978-3-030-53290-1. doi:10.1007/978-3-030-53291-8_2. 2020.
      URL
      RIV/00216224:14330/20:00114393 Stať ve sborníku. angličtina. Švýcarsko.
      Blahoudek, František (203 Česká republika) -- Duret-Lutz, Alexandre (250 Francie) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: semi-determinization; complementation; generalized Büchi automata; Seminator
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2021 08:10.
      Podrobněji: https://is.muni.cz/publication/1686896/cs
    25. Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions
      JONÁŠ, Martin a Jan STREJČEK. Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions. In Luca Pulina and Martina Seidl. Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings. Cham (Switzerland): Springer. s. 378-393. ISBN 978-3-030-51824-0. doi:10.1007/978-3-030-51825-7_27. 2020.
      URL
      RIV/00216224:14330/20:00114392 Stať ve sborníku. angličtina. Švýcarsko.
      Jonáš, Martin (203 Česká republika) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: SMT solving; bit-vector logic; Boolector; Q3B
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2021 12:29.
      Podrobněji: https://is.muni.cz/publication/1686869/cs
    26. What Are Cybersecurity Education Papers About? A Systematic Literature Review of SIGCSE and ITiCSE Conferences
      ŠVÁBENSKÝ, Valdemar, Jan VYKOPAL a Pavel ČELEDA. What Are Cybersecurity Education Papers About? A Systematic Literature Review of SIGCSE and ITiCSE Conferences. In Proceedings of the 51st ACM Technical Symposium on Computer Science Education (SIGCSE '20). New York, NY, USA: ACM. s. 2-8. ISBN 978-1-4503-6793-6. doi:10.1145/3328778.3366816. 2020.
      Published version in the conference proceedings Video presentation on YouTube Preprint on ArXiv.org
      RIV/00216224:14610/20:00115110 Stať ve sborníku. angličtina. Spojené státy.
      Švábenský, Valdemar (703 Slovensko, garant, domácí) -- Vykopal, Jan (203 Česká republika, domácí) -- Čeleda, Pavel (203 Česká republika, domácí)
      Klíčová slova anglicky: cybersecurity education; systematic literature review; systematic mapping study; survey; SIGCSE community; ITiCSE community
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: Mgr. Alena Mokrá, učo 362754. Změněno: 26. 4. 2021 16:29.
      Podrobněji: https://is.muni.cz/publication/1567598/cs
    27. Would You Do It?: Enacting Moral Dilemmas in Virtual Reality for Understanding Ethical Decision-Making
      NIFORATOS, Evangelos, Adam PALMA, Roman GLUSZNY, Athanasios VOURVOPOULOS a Fotios LIAROKAPIS. Would You Do It?: Enacting Moral Dilemmas in Virtual Reality for Understanding Ethical Decision-Making. In Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems. New York, NY, USA: ACM. s. 1-12. ISBN 978-1-4503-6708-0. doi:10.1145/3313831.3376788. 2020.
      RIV/00216224:14330/20:00118590 Stať ve sborníku. angličtina. Spojené státy.
      Liarokapis, Fotios (300 Řecko, domácí)
      Klíčová slova anglicky: decision-making; moral dilemmas; ethics; ethical AI; VR
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 5. 11. 2021 15:05.
      Podrobněji: https://is.muni.cz/publication/1768359/cs

    2019

    1. A Join-Based Hybrid Parameter for Constraint Satisfaction
      GANIAN, Robert, Sebastian ORDYNIAK a Stefan SZEIDER. A Join-Based Hybrid Parameter for Constraint Satisfaction. In Thomas Schiex and Simon de Givry. Principles and Practice of Constraint Programming - 25th International Conference. USA: Springer. s. 195-212. ISBN 978-3-030-30047-0. doi:10.1007/978-3-030-30048-7_12. 2019.
      URL
      Název anglicky: A Join-Based Hybrid Parameter for Constraint Satisfaction
      RIV/00216224:14330/19:00113721 Stať ve sborníku. angličtina. Spojené státy.
      Ganian, Robert (203 Česká republika, garant, domácí) -- Ordyniak, Sebastian (276 Německo) -- Szeider, Stefan (40 Rakousko)
      Klíčová slova anglicky: Parameterized Complexity
      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 16. 5. 2022 14:29.
      Podrobněji: https://is.muni.cz/publication/1648256/cs
    2. Abstract Dependency Graphs and Their Application to Model Checking
      ENEVOLDSEN, Soeren, Kim G. LARSEN a Jiří SRBA. Abstract Dependency Graphs and Their Application to Model Checking. In Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19). The Netherlands: Springer. s. 316-333. ISBN 978-3-030-17461-3. doi:10.1007/978-3-030-17462-0_18. 2019.
      Název anglicky: Abstract Dependency Graphs and Their Application to Model Checking
      RIV/00216224:14330/19:00113640 Stať ve sborníku. angličtina. Nizozemské království.
      Enevoldsen, Soeren (208 Dánsko) -- Larsen, Kim G. (208 Dánsko) -- Srba, Jiří (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: dependency graph; on-the-fly algorithms; verification; model checking
      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 16. 5. 2022 14:27.
      Podrobněji: https://is.muni.cz/publication/1646339/cs
    3. Adaptive Large Neighborhood Search for Scheduling of Mobile Robots
      DANG, Vinh Quang, Hana RUDOVÁ a Cong Thanh NGUYEN. Adaptive Large Neighborhood Search for Scheduling of Mobile Robots. In The Genetic and Evolutionary Computation Conference (GECCO). New York, NY, USA: ACM. s. 224-232. ISBN 978-1-4503-6111-8. doi:10.1145/3321707.3321764. 2019.
      DOI
      RIV/00216224:14330/19:00109329 Stať ve sborníku. angličtina. Spojené státy.
      Dang, Vinh Quang (704 Vietnam, domácí) -- Rudová, Hana (203 Česká republika, garant, domácí) -- Nguyen, Cong Thanh (704 Vietnam)
      Klíčová slova anglicky: Scheduling; Mobile robots; Adaptive Large Neighborhood Search; Flexible Manufacturing Systems
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 18. 11. 2021 13:30.
      Podrobněji: https://is.muni.cz/publication/1509617/cs
    4. Bounded degree conjecture holds precisely for c-crossing-critical graphs with c<=12
      BOKAL, Drago, Zdeněk DVOŘÁK, Petr HLINĚNÝ, Jesus LEANOS, Bojan MOHAR a Tilo WIEDERA. Bounded degree conjecture holds precisely for c-crossing-critical graphs with c<=12. In 35th International Symposium on Computational Geometry, SoCG 2019. Dagstuhl: Leibniz International Proceedings in Informatics, LIPIcs. s. "14:1"-"14:15", 15 s. ISBN 978-3-95977-104-7. doi:10.4230/LIPIcs.SoCG.2019.14. 2019.
      open access
      RIV/00216224:14330/19:00108275 Stať ve sborníku. angličtina. Spojené státy.
      Bokal, Drago (705 Slovinsko) -- Dvořák, Zdeněk (203 Česká republika) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Leanos, Jesus (484 Mexiko) -- Mohar, Bojan (705 Slovinsko) -- Wiedera, Tilo (276 Německo)
      Klíčová slova anglicky: Crossing number; Crossing-critical; Exhaustive generation; Path-width
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 6. 2022 12:11.
      Podrobněji: https://is.muni.cz/publication/1646176/cs
    5. Deciding Fast Termination for Probabilistic VASS with Nondeterminism
      BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Antonín KUČERA, Petr NOVOTNÝ a Dominik VELAN. Deciding Fast Termination for Probabilistic VASS with Nondeterminism. In Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza. Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Proceedings. Cham: Springer. s. 462-478. ISBN 978-3-030-31783-6. doi:10.1007/978-3-030-31784-3_27. 2019.
      URL
      RIV/00216224:14330/19:00107764 Stať ve sborníku. angličtina. Švýcarsko.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Chatterjee, Krishnendu (356 Indie) -- Kučera, Antonín (203 Česká republika, domácí) -- Novotný, Petr (203 Česká republika, garant, domácí) -- Velan, Dominik (203 Česká republika, domácí)
      Klíčová slova anglicky: angelic and demonic nondeterminism; termination time; probabilistic VASS
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Petr Novotný, Ph.D., učo 172743. Změněno: 17. 4. 2020 12:21.
      Podrobněji: https://is.muni.cz/publication/1576916/cs
    6. Digital Bifurcation Analysis of TCP Dynamics
      BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA a David ŠAFRÁNEK. Digital Bifurcation Analysis of TCP Dynamics. In Tomáš Vojnar and Lijun Zhang. Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019. LNCS, volume 11428. Cham: Springer International Publishing. s. 339-356. ISBN 978-3-030-17464-4. doi:10.1007/978-3-030-17465-1_19. 2019.
      URL
      Název anglicky: Digital Bifurcation Analysis of TCP Dynamics
      RIV/00216224:14330/19:00107359 Stať ve sborníku. angličtina. Německo.
      Beneš, Nikola (203 Česká republika, domácí) -- Brim, Luboš (203 Česká republika, domácí) -- Pastva, Samuel (703 Slovensko, garant, domácí) -- Šafránek, David (203 Česká republika, domácí)
      Klíčová slova anglicky: bifurcation analysis; TCP; terminal strongly connected components; robustness
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. David Šafránek, Ph.D., učo 3159. Změněno: 15. 4. 2021 12:19.
      Podrobněji: https://is.muni.cz/publication/1521156/cs
    7. Exact Crossing Number Parameterized by Vertex Cover
      HLINĚNÝ, Petr a Abhisekh SANKARAN. Exact Crossing Number Parameterized by Vertex Cover. In GD 2019: Graph Drawing and Network Visualization. Cham: Springer, Lecture Notes in Computer Science, volume 11904. s. 307-319. ISBN 978-3-030-35801-3. doi:10.1007/978-3-030-35802-0_24. 2019.
      URL open access preprint
      RIV/00216224:14330/19:00108274 Stať ve sborníku. angličtina. Švýcarsko.
      Hliněný, Petr (203 Česká republika, garant, domácí) -- Sankaran, Abhisekh (356 Indie)
      Klíčová slova anglicky: Graph drawing; Crossing number; Parameterized complexity; Vertex cover
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 14. 4. 2021 21:46.
      Podrobněji: https://is.muni.cz/publication/1646079/cs
    8. Examining And Enhancing The Illusory Touch Perception In Virtual Reality Using Non-Invasive Brain Stimulation
      ŠKOLA, Filip a Fotis LIAROKAPIS. Examining And Enhancing The Illusory Touch Perception In Virtual Reality Using Non-Invasive Brain Stimulation. In Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, Paper No. 247. Glasgow, Scotland Uk: ACM Press. s. 1-12. ISBN 978-1-4503-5970-2. doi:10.1145/3290605.3300477. 2019.
      Název anglicky: Examining And Enhancing The Illusory Touch Perception In Virtual Reality Using Non-Invasive Brain Stimulation
      RIV/00216224:14330/19:00109882 Stať ve sborníku. angličtina. Spojené státy.
      Škola, Filip (203 Česká republika, domácí) -- Liarokapis, Fotis (300 Řecko, domácí)
      Klíčová slova anglicky: electroencephalography; embodiment; illusory touch; transcranial direct current stimulation; virtual reality
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 3. 5. 2020 12:37.
      Podrobněji: https://is.muni.cz/publication/1538697/cs
    9. Generic Emptiness Check for Fun and Profit
      BAIER, Christel, František BLAHOUDEK, Alexandre DURET-LUTZ, Joachim KLEIN, David MÜLLER a Jan STREJČEK. Generic Emptiness Check for Fun and Profit. In Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza. Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings. Cham (Switzerland): Springer. s. 445-461. ISBN 978-3-030-31783-6. doi:10.1007/978-3-030-31784-3_26. 2019.
      URL
      RIV/00216224:14330/19:00107786 Stať ve sborníku. angličtina. Švýcarsko.
      Baier, Christel (276 Německo) -- Blahoudek, František (203 Česká republika) -- Duret-Lutz, Alexandre (756 Švýcarsko) -- Klein, Joachim (276 Německo) -- Müller, David (276 Německo) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: TELA; Emerson-Lei automata; emptiness check; probabilistic model checking
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2020 11:04.
      Podrobněji: https://is.muni.cz/publication/1579475/cs
    10. Group Activity Selection with Few Agent Types
      GANIAN, Robert, Sebastian ORDYNIAK a C. S. RAHUL. Group Activity Selection with Few Agent Types. In Michael A. Bender and Ola Svensson and Grzegorz Herman. 27th Annual European Symposium on Algorithms (ESA 2019). Nemecko: Dagstuhl. s. 1-16. ISBN 978-3-95977-124-5. doi:10.4230/LIPIcs.ESA.2019.48. 2019.
      URL
      Název anglicky: Group Activity Selection with Few Agent Types
      RIV/00216224:14330/19:00113722 Stať ve sborníku. angličtina. Německo.
      Ganian, Robert (203 Česká republika, garant, domácí) -- Ordyniak, Sebastian (276 Německo) -- Rahul, C. S. (356 Indie)
      Klíčová slova anglicky: Parameterized Complexity
      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 16. 5. 2022 15:13.
      Podrobněji: https://is.muni.cz/publication/1648258/cs
    11. Industrial Involvement In Information System Education: Lessons Learned from a Software Quality Course
      CHREN, Stanislav, Bruno ROSSI, Barbora BÜHNOVÁ, Mouzhi GE a Tomáš PITNER. Industrial Involvement In Information System Education: Lessons Learned from a Software Quality Course. In Proceedings of 28th International Conference on Information Systems Development. Toulon, France: AIS. s. 1-12. ISBN 978-2-9571876-0-7. 2019.
      URL
      RIV/00216224:14330/19:00110171 Stať ve sborníku. angličtina. Spojené státy.
      Chren, Stanislav (703 Slovensko, domácí) -- Rossi, Bruno (380 Itálie, domácí) -- Bühnová, Barbora (203 Česká republika, domácí) -- Ge, Mouzhi (156 Čína, garant, domácí) -- Pitner, Tomáš (203 Česká republika, domácí)
      Klíčová slova anglicky: Industrial involvement; Software quality course; Information system education; Teaching information systems
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 6. 5. 2020 15:22.
      Podrobněji: https://is.muni.cz/publication/1545781/cs
    12. Integer Programming and Incidence Treedepth
      EIBEN, Eduard, Robert GANIAN, Dusan KNOP, Sebastian ORDYNIAK, Michal PILIPCZUK a Marcin WROCHNA. Integer Programming and Incidence Treedepth. In Andrea Lodi and Viswanath Nagarajan. Integer Programming and Combinatorial Optimization - 20th International Conference, IPCO 2019. USA: Springer. s. 194-204. ISBN 978-3-030-17952-6. doi:10.1007/978-3-030-17953-3_15. 2019.
      URL
      Název anglicky: Integer Programming and Incidence Treedepth
      RIV/00216224:14330/19:00113725 Stať ve sborníku. angličtina. Spojené státy.
      Eiben, Eduard (703 Slovensko) -- Ganian, Robert (203 Česká republika, garant, domácí) -- Knop, Dusan (203 Česká republika) -- Ordyniak, Sebastian (276 Německo) -- Pilipczuk, Michal (616 Polsko) -- Wrochna, Marcin (616 Polsko)
      Klíčová slova anglicky: Parameterized Complexity
      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 14. 5. 2020 10:54.
      Podrobněji: https://is.muni.cz/publication/1648276/cs
    13. Item Ordering Biases in Educational Data
      ČECHÁK, Jaroslav a Radek PELÁNEK. Item Ordering Biases in Educational Data. In Seiji Isotani, Eva Millán, Amy Ogan, Peter Hastings, Bruce McLaren, Rose Luckin. International Conference on Artificial Intelligence in Education. Cham: Springer. s. 48-58. ISBN 978-3-030-23203-0. doi:10.1007/978-3-030-23204-7_5. 2019.
      RIV/00216224:14330/19:00110476 Stať ve sborníku. angličtina. Švýcarsko.
      Čechák, Jaroslav (203 Česká republika, garant, domácí) -- Pelánek, Radek (203 Česká republika, domácí)
      Klíčová slova anglicky: intelligent tutoring system; data collection; explore-exploit tradeoff; simulation
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 3. 5. 2020 12:41.
      Podrobněji: https://is.muni.cz/publication/1550036/cs
    14. ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata
      MAJOR, Juraj, František BLAHOUDEK, Jan STREJČEK, Miriama JÁNOŠOVÁ a Tatiana ZBONČÁKOVÁ. ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata. In Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza. Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings. Cham (Switzerland): Springer. s. 357-365. ISBN 978-3-030-31783-6. doi:10.1007/978-3-030-31784-3_21. 2019.
      URL
      RIV/00216224:14330/19:00107770 Stať ve sborníku. angličtina. Švýcarsko.
      Major, Juraj (703 Slovensko, domácí) -- Blahoudek, František (203 Česká republika) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Jánošová, Miriama (703 Slovensko, domácí) -- Zbončáková, Tatiana (703 Slovensko, domácí)
      Klíčová slova anglicky: ltl3tela; LTL; linear temporal logic; automata; automata over infinite words; LTL to automata
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2020 00:04.
      Podrobněji: https://is.muni.cz/publication/1577339/cs
    15. Measuring what Matters: A Hybrid Approach to Dynamic Programming with Treewidth
      EIBEN, Eduard, Robert GANIAN, Thekla HAMM a O-joung KWON. Measuring what Matters: A Hybrid Approach to Dynamic Programming with Treewidth. In Peter Rossmanith and Pinar Heggernes and Joost-Pieter Katoen. 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019). Nemecko: Dagstuhl. s. 1-15. ISBN 978-3-95977-117-7. doi:10.4230/LIPIcs.MFCS.2019.42. 2019.
      URL
      Název anglicky: Measuring what Matters: A Hybrid Approach to Dynamic Programming with Treewidth
      RIV/00216224:14330/19:00113726 Stať ve sborníku. angličtina. Spojené státy.
      Eiben, Eduard (703 Slovensko) -- Ganian, Robert (203 Česká republika, garant, domácí) -- Hamm, Thekla (276 Německo) -- Kwon, O-joung (410 Korejská republika)
      Klíčová slova anglicky: Parameterized Complexity
      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 14. 5. 2020 10:54.
      Podrobněji: https://is.muni.cz/publication/1648296/cs
    16. Mistakes in UML Diagrams: Analysis of Student Projects in a Software Engineering Course
      CHREN, Stanislav, Barbora BÜHNOVÁ, Martin MACÁK, Lukáš DAUBNER a Bruno ROSSI. Mistakes in UML Diagrams: Analysis of Student Projects in a Software Engineering Course. In Sarah Beecham, Daniela Damian. Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training. Piscataway, NJ, USA: IEEE Press. s. 100-109. ISBN 978-1-7281-1000-4. doi:10.1109/ICSE-SEET.2019.00019. 2019.
      URL URL
      RIV/00216224:14330/19:00109059 Stať ve sborníku. angličtina. Spojené státy.
      Chren, Stanislav (703 Slovensko, domácí) -- Bühnová, Barbora (203 Česká republika, domácí) -- Macák, Martin (703 Slovensko, domácí) -- Daubner, Lukáš (203 Česká republika, domácí) -- Rossi, Bruno (380 Itálie, domácí)
      Klíčová slova anglicky: Software Engineering; Unified Modelling Language; Common Mistakes; Software Engineering Course
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Stanislav Chren, Ph.D., učo 255471. Změněno: 20. 3. 2020 01:24.
      Podrobněji: https://is.muni.cz/publication/1490378/cs
    17. Of Cores: A Partial-Exploration Framework for Markov Decision Processes
      KŘETÍNSKÝ, Jan a Tobias MEGGENDORFER. Of Cores: A Partial-Exploration Framework for Markov Decision Processes. In 30th International Conference on Concurrency Theory (CONCUR 2019). Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. s. 1-17. ISBN 978-3-95977-121-4. doi:10.4230/LIPIcs.CONCUR.2019.5. 2019.
      RIV/00216224:14330/19:00108293 Stať ve sborníku. angličtina. Německo.
      Křetínský, Jan (203 Česká republika, garant, domácí) -- Meggendorfer, Tobias (276 Německo)
      Klíčová slova anglicky: Partial Exploration; Markov Decision Processes; Verification
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2020 23:16.
      Podrobněji: https://is.muni.cz/publication/1649046/cs
    18. On Strict (Outer-)Confluent Graphs
      FORSTER, Henry, Robert GANIAN, Fabian KLUTE a Martin NOLLENBURG. On Strict (Outer-)Confluent Graphs. In Daniel Archambault, Csaba D. Toth. Graph Drawing and Network Visualization - 27th International Symposium, GD 2019. USA: Springer. s. 147-161. ISBN 978-3-030-35801-3. doi:10.1007/978-3-030-35802-0_12. 2019.
      URL
      Název anglicky: On Strict (Outer-)Confluent Graphs
      RIV/00216224:14330/19:00113723 Stať ve sborníku. angličtina. Spojené státy.
      Forster, Henry (840 Spojené státy) -- Ganian, Robert (203 Česká republika, garant, domácí) -- Klute, Fabian (276 Německo) -- Nollenburg, Martin (276 Německo)
      Klíčová slova anglicky: Parameterized Complexity
      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 16. 5. 2022 14:30.
      Podrobněji: https://is.muni.cz/publication/1648260/cs
    19. On the Complexity of Value Iteration
      BALAJI, Nikhil, Stefan KIEFER, Petr NOVOTNÝ, Guillermo A. PÉREZ a Mahsa SHIRMOHAMMADI. On the Complexity of Value Iteration. In Christel Baier, Ioannis Chatzigiannakis, Paola Flocchini, Stefano Leonardi. Proceedings of the 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. s. "102:1"-"102:15", 15 s. ISBN 978-3-95977-109-2. doi:10.4230/LIPIcs.ICALP.2019.102. 2019.
      RIV/00216224:14330/19:00107669 Stať ve sborníku. angličtina. Německo.
      Balaji, Nikhil (356 Indie) -- Kiefer, Stefan (276 Německo) -- Novotný, Petr (203 Česká republika, garant, domácí) -- Pérez, Guillermo A. (340 Honduras) -- Shirmohammadi, Mahsa (364 Írán)
      Klíčová slova anglicky: Markov decision processes; probabilistic verification; value iteration
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Petr Novotný, Ph.D., učo 172743. Změněno: 17. 4. 2020 12:16.
      Podrobněji: https://is.muni.cz/publication/1561197/cs
    20. PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games
      ASHOK, Pranav, Jan KŘETÍNSKÝ a Maximilian WEININGER. PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games. In Computer Aided Verification (CAV 2019). Cham: Springer. s. 497-519. ISBN 978-3-030-25539-8. doi:10.1007/978-3-030-25540-4_29. 2019.
      RIV/00216224:14330/19:00108294 Stať ve sborníku. angličtina. Švýcarsko.
      Ashok, Pranav (356 Indie) -- Křetínský, Jan (203 Česká republika, garant, domácí) -- Weininger, Maximilian (276 Německo)
      Klíčová slova anglicky: PAC; Statistical Model Checking; Markov Decision Processes; Stochastic Games
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2020 16:29.
      Podrobněji: https://is.muni.cz/publication/1649047/cs
    21. Parameterized Algorithms for Book Embedding Problems
      BHORE, Sujoy, Robert GANIAN, Fabrizio MONTECCHIANI a Martin NOLLENBURG. Parameterized Algorithms for Book Embedding Problems. In Daniel Archambault, Csaba D. Toth. Graph Drawing and Network Visualization - 27th International Symposium, GD 2019. USA: Springer. s. 365-378. ISBN 978-3-030-35801-3. doi:10.1007/978-3-030-35802-0_28. 2019.
      URL
      Název anglicky: Parameterized Algorithms for Book Embedding Problems
      RIV/00216224:14330/19:00113724 Stať ve sborníku. angličtina. Spojené státy.
      Bhore, Sujoy (356 Indie) -- Ganian, Robert (203 Česká republika, garant, domácí) -- Montecchiani, Fabrizio (380 Itálie) -- Nollenburg, Martin (276 Německo)
      Klíčová slova anglicky: Parameterized Complexity
      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 16. 5. 2022 14:31.
      Podrobněji: https://is.muni.cz/publication/1648261/cs
    22. Partial Order Reduction for Reachability Games
      BOENNELAND, Frederik M., Peter G. JENSEN, Kim G. LARSEN, Marco MUNIZ a Jiří SRBA. Partial Order Reduction for Reachability Games. In Proceedings of the 30th International Conference on Concurrency Theory (CONCUR'19). Gernmany: Dagstuhl Publishing. s. 1-15. ISBN 978-3-95977-121-4. doi:10.4230/LIPIcs.CONCUR.2019.23. 2019.
      Název anglicky: Partial Order Reduction for Reachability Games
      RIV/00216224:14330/19:00113643 Stať ve sborníku. angličtina. Německo.
      Boenneland, Frederik M. (208 Dánsko) -- Jensen, Peter G. (208 Dánsko) -- Larsen, Kim G. (208 Dánsko) -- Muniz, Marco (604 Peru) -- Srba, Jiří (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: partial order reduction; Petri nets; reachability games
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 3. 5. 2020 13:35.
      Podrobněji: https://is.muni.cz/publication/1646345/cs
    23. Postcards from the Post-HTTP World: Amplification of HTTPS Vulnerabilities in the Web Ecosystem
      CALZAVARA, Stefano, Riccardo FOCARDI, Matúš NEMEC, Alvise RABITTI a Marco SQUARCINA. Postcards from the Post-HTTP World: Amplification of HTTPS Vulnerabilities in the Web Ecosystem. In Proceedings of the 40th IEEE Symposium on Security and Privacy. San Fransisco, CA, US: IEEE. s. 281-298. ISBN 978-1-5386-6660-9. doi:10.1109/SP.2019.00053. 2019.
      URL
      Název anglicky: Postcards from the Post-HTTP World: Amplification of HTTPS Vulnerabilities in the Web Ecosystem
      RIV/00216224:14330/19:00107250 Stať ve sborníku. angličtina. Spojené státy.
      Calzavara, Stefano (380 Itálie) -- Focardi, Riccardo (380 Itálie) -- Nemec, Matúš (703 Slovensko, domácí) -- Rabitti, Alvise (380 Itálie) -- Squarcina, Marco (380 Itálie)
      Klíčová slova anglicky: TLS; HTTPS; security vulnerability; Internet scan; Web security
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2020 07:53.
      Podrobněji: https://is.muni.cz/publication/1492311/cs
    24. Quality of Service Forecasting with LSTM Neural Network
      JIRSÍK, Tomáš, Štěpán TRČKA a Pavel ČELEDA. Quality of Service Forecasting with LSTM Neural Network. In 2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM). Washington DC, USA: IEEE. s. 251-260. ISBN 978-1-72810-618-2. 2019.
      URL URL
      RIV/00216224:14610/19:00108335 Stať ve sborníku. angličtina. Spojené státy.
      Jirsík, Tomáš (203 Česká republika, garant, domácí) -- Trčka, Štěpán (203 Česká republika, domácí) -- Čeleda, Pavel (203 Česká republika, domácí)
      Klíčová slova anglicky: quality of service; forecast; long short-term memory; neural network
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: Mgr. Alena Mokrá, učo 362754. Změněno: 24. 4. 2020 15:44.
      Podrobněji: https://is.muni.cz/publication/1486425/cs
    25. Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors
      JONÁŠ, Martin a Jan STREJČEK. Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors. In Isil Dillig, Serdar Tasiran. CAV 2019: Computer Aided Verification. Cham (Switzerland): Springer. s. 64-73. ISBN 978-3-030-25542-8. doi:10.1007/978-3-030-25543-5_4. 2019.
      URL
      RIV/00216224:14330/19:00107610 Stať ve sborníku. angličtina. Švýcarsko.
      Jonáš, Martin (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: satisfiability; satisfiability modulo theories; bit-vectors; quantifiers; tool
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2020 07:44.
      Podrobněji: https://is.muni.cz/publication/1552339/cs
    26. Real-time Pattern Detection in IP Flow Data using Apache Spark
      ČERMÁK, Milan, Martin LAŠTOVIČKA a Tomáš JIRSÍK. Real-time Pattern Detection in IP Flow Data using Apache Spark. In 2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM). Washington DC, USA: IEEE. s. 521-526. ISBN 978-1-7281-0618-2. 2019.
      URL URL
      RIV/00216224:14610/19:00108993 Stať ve sborníku. angličtina. Spojené státy.
      Čermák, Milan (203 Česká republika, garant, domácí) -- Laštovička, Martin (203 Česká republika, domácí) -- Jirsík, Tomáš (203 Česká republika, domácí)
      Klíčová slova anglicky: Anomaly Detection;IP Flow;Apache Spark;Stream Processing
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 25. 4. 2022 14:31.
      Podrobněji: https://is.muni.cz/publication/1484741/cs
    27. Reflective Diary for Professional Development of Novice Teachers
      UKROP, Martin, Valdemar ŠVÁBENSKÝ a Jan NEHYBA. Reflective Diary for Professional Development of Novice Teachers. In Proceedings of the 50th ACM Technical Symposium on Computer Science Education (SIGCSE’19). Minneapolis, Minnesota, USA: ACM. s. 1088-1094. ISBN 978-1-4503-5890-3. doi:10.1145/3287324.3287448. 2019.
      URL
      RIV/00216224:14330/19:00108978 Stať ve sborníku. angličtina. Spojené státy.
      Ukrop, Martin (703 Slovensko, garant, domácí) -- Švábenský, Valdemar (703 Slovensko, domácí) -- Nehyba, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: reflective practice; learning journal; teacher training; teaching assistants; teaching skills
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: Dana Nesnídalová, učo 831. Změněno: 3. 2. 2021 11:44.
      Podrobněji: https://is.muni.cz/publication/1483456/cs
    28. RoFICoM - First Open-Hardware Connector for Metamorphic Robots
      MRÁZEK, Jan a Jiří BARNAT. RoFICoM - First Open-Hardware Connector for Metamorphic Robots. In 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). Neuveden: IEEE. s. 2720-2725. ISBN 978-1-72814-004-9. doi:10.1109/IROS40897.2019.8968167. 2019.
      URL
      RIV/00216224:14330/19:00110967 Stať ve sborníku. angličtina.
      Mrázek, Jan (203 Česká republika, garant, domácí) -- Barnat, Jiří (203 Česká republika, domácí)
      Klíčová slova anglicky: RoFI; metamorphic robots; connector
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 3. 5. 2020 13:26.
      Podrobněji: https://is.muni.cz/publication/1569778/cs
    29. SAT-Encodings for Treecut Width and Treedepth
      GANIAN, Robert, Neha LODHA, Sebastian ORDYNIAK a Stefan SZEIDER. SAT-Encodings for Treecut Width and Treedepth. In Stephen G. Kobourov and Henning Meyerhenke. ALENEX 2019. USA: SIAM. s. 117-129. ISBN 978-1-61197-549-9. doi:10.1137/1.9781611975499.10. 2019.
      URL
      Název anglicky: SAT-Encodings for Treecut Width and Treedepth
      RIV/00216224:14330/19:00113720 Stať ve sborníku. angličtina. Spojené státy.
      Ganian, Robert (203 Česká republika, garant, domácí) -- Lodha, Neha (356 Indie) -- Ordyniak, Sebastian (276 Německo) -- Szeider, Stefan (40 Rakousko)
      Klíčová slova anglicky: Parameterized Complexity
      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 14. 5. 2020 10:43.
      Podrobněji: https://is.muni.cz/publication/1648252/cs
    30. Scheduling of Mobile Robots Using Constraint Programming
      MURÍN, Stanislav a Hana RUDOVÁ. Scheduling of Mobile Robots Using Constraint Programming. In Thomas Schiex, Simon de Givry. Principles and Practice of Constraint Programming. Switzerland: Springer International Publishing. s. 456-471. ISBN 978-3-030-30047-0. doi:10.1007/978-3-030-30048-7_27. 2019.
      URL
      RIV/00216224:14330/19:00110233 Stať ve sborníku. angličtina. Spojené státy.
      Murín, Stanislav (703 Slovensko, domácí) -- Rudová, Hana (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Scheduling; Constraint programming; Mobile robot;Flexible manufacturing system; Transportation; IBM ILOG CPLEX Optimization Studio
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 6. 5. 2020 17:16.
      Podrobněji: https://is.muni.cz/publication/1546818/cs
    31. Simulating the Impact of Cooperation and Management Strategies on Stress and Economic Performance
      DAŇA, Josef, Ivan KOPEČEK, Radek OŠLEJŠEK a Jaromír PLHÁK. Simulating the Impact of Cooperation and Management Strategies on Stress and Economic Performance. In Tung Bui. Proceedings of the 52nd Hawaii International Conference on System Sciences. USA: University of Hawaii at Manoa. s. 6569-6578. ISBN 978-0-9981331-2-6. doi:10.24251/HICSS.2019.787. 2019.
      URL
      RIV/00216224:14330/19:00108867 Stať ve sborníku. angličtina. Spojené státy.
      Daňa, Josef (203 Česká republika, garant, domácí) -- Kopeček, Ivan (203 Česká republika, domácí) -- Ošlejšek, Radek (203 Česká republika, domácí) -- Plhák, Jaromír (203 Česká republika, domácí)
      Klíčová slova anglicky: agent-based modeling; cooperation; organizational performance; Prisoner’s dilemma; stress
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Radek Ošlejšek, Ph.D., učo 3636. Změněno: 14. 11. 2021 15:31.
      Podrobněji: https://is.muni.cz/publication/1434716/cs
    32. Solving Integer Quadratic Programming via Explicit and Structural Restrictions
      EIBEN, Eduard, Robert GANIAN, Dusan KNOP a Sebastian ORDYNIAK. Solving Integer Quadratic Programming via Explicit and Structural Restrictions. In Peter Stone. Proceedings of the AAAI Conference on Artificial Intelligence. USA: AAAI Press. s. 1477-1484. ISBN 978-1-57735-809-1. doi:10.1609/aaai.v33i01.33011477. 2019.
      URL
      Název anglicky: Solving Integer Quadratic Programming via Explicit and Structural Restrictions
      RIV/00216224:14330/19:00113718 Stať ve sborníku. angličtina. Spojené státy.
      Eiben, Eduard (703 Slovensko) -- Ganian, Robert (203 Česká republika, garant, domácí) -- Knop, Dusan (203 Česká republika) -- Ordyniak, Sebastian (276 Německo)
      Klíčová slova anglicky: Parameterized Complexity
      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 14. 5. 2020 10:42.
      Podrobněji: https://is.muni.cz/publication/1648250/cs
    33. STRAIT: A Tool for Automated Software Reliability Growth Analysis
      CHREN, Stanislav, Radoslav MIČKO, Barbora BÜHNOVÁ a Bruno ROSSI. STRAIT: A Tool for Automated Software Reliability Growth Analysis. In Margaret-Anne Storey. Proceedings of the 16th International Conference on Mining Software Repositories. Piscataway, NJ, USA: ACM. s. 105-110. ISBN 978-1-7281-3412-3. doi:10.1109/MSR.2019.00025. 2019.
      URL URL
      RIV/00216224:14330/19:00109377 Stať ve sborníku. angličtina. Spojené státy.
      Chren, Stanislav (703 Slovensko, domácí) -- Mičko, Radoslav (703 Slovensko, domácí) -- Bühnová, Barbora (203 Česká republika, domácí) -- Rossi, Bruno (380 Itálie, domácí)
      Klíčová slova anglicky: Software Reliability Growth Model; Reliability Analysis; Issue Repository; Issue Report Filtering; Automated Tool
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 25. 4. 2022 04:44.
      Podrobněji: https://is.muni.cz/publication/1514176/cs
    34. The Parameterized Complexity of Cascading Portfolio Scheduling
      EIBEN, Eduard, Robert GANIAN, Iyad KANJ a Stefan SZEIDER. The Parameterized Complexity of Cascading Portfolio Scheduling. In Hanna M. Wallach and Hugo Larochelle and Alina Beygelzimer and Florence d'Alche-Buc and Emily B. Fox and Roman Garnett. Advances in Neural Information Processing Systems 32 (NIPS 2019). USA: Neural Information Processing Systems Foundation, Inc. s. 7666-7676. ISBN 978-1-7281-1044-8. 2019.
      URL
      Název anglicky: The Parameterized Complexity of Cascading Portfolio Scheduling
      RIV/00216224:14330/19:00113727 Stať ve sborníku. angličtina. Spojené státy.
      Eiben, Eduard (703 Slovensko) -- Ganian, Robert (203 Česká republika, garant, domácí) -- Kanj, Iyad (840 Spojené státy) -- Szeider, Stefan (40 Rakousko)
      Klíčová slova anglicky: Parameterized Complexity
      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 16. 5. 2022 15:14.
      Podrobněji: https://is.muni.cz/publication/1648298/cs
    35. The Power of Cut-Based Parameters for Computing Edge Disjoint Paths
      GANIAN, Robert a Sebastian ORDYNIAK. The Power of Cut-Based Parameters for Computing Edge Disjoint Paths. In Ignasi Sau and Dimitrios M. Thilikos. WG 2019: Graph-Theoretic Concepts in Computer Science. USA: Springer. s. 190-204. ISBN 978-3-030-30785-1. doi:10.1007/978-3-030-30786-8_15. 2019.
      URL
      Název anglicky: The Power of Cut-Based Parameters for Computing Edge Disjoint Paths
      RIV/00216224:14330/19:00113728 Stať ve sborníku. angličtina. Spojené státy.
      Ganian, Robert (203 Česká republika, garant, domácí) -- Ordyniak, Sebastian (276 Německo)
      Klíčová slova anglicky: Parameterized Complexity
      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 16. 5. 2022 14:32.
      Podrobněji: https://is.muni.cz/publication/1648299/cs
    36. Unbounded Orchestrations of Transducers for Manufacturing
      ALECHINA, Natasha, Tomáš BRÁZDIL, Giuseppe DE GIACOMO, Paolo FELLI, Brian LOGAN a Moshe VARDI. Unbounded Orchestrations of Transducers for Manufacturing. In Proceedings of the AAAI Conference on Artificial Intelligence. Palo Alto: AAAI. s. 2646-2653. ISBN 978-1-57735-809-1. doi:10.1609/aaai.v33i01.33012646. 2019.
      RIV/00216224:14330/19:00113879 Stať ve sborníku. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika, domácí)
      Klíčová slova anglicky: manufacturing processes modeling; orchestration
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 5. 11. 2021 14:52.
      Podrobněji: https://is.muni.cz/publication/1654881/cs
    37. Will You Trust This TLS Certificate? Perceptions of People Working in IT
      UKROP, Martin, Lydia KRAUS, Václav MATYÁŠ a Heider Ahmad Mutleq WAHSHEH. Will You Trust This TLS Certificate? Perceptions of People Working in IT. In Proceedings of the 35rd Annual Computer Security Applications Conference. New York, NY, USA: Association for Computing Machinery. s. 718-731. ISBN 978-1-4503-7628-0. doi:10.1145/3359789.3359800. 2019.
      URL Will You Trust This TLS Certificate? Perceptions of People Working in IT
      RIV/00216224:14330/19:00111065 Stať ve sborníku. angličtina. Spojené státy.
      Ukrop, Martin (703 Slovensko, garant, domácí) -- Kraus, Lydia (276 Německo, domácí) -- Matyáš, Václav (203 Česká republika, domácí) -- Wahsheh, Heider Ahmad Mutleq (400 Jordánsko)
      Klíčová slova anglicky: warning design;documentation;TLS certificate;usable security
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Martin Ukrop, Ph.D., učo 374297. Změněno: 15. 4. 2021 09:24.
      Podrobněji: https://is.muni.cz/publication/1573416/cs

    2018

    1. A Structural Approach to Activity Selection
      EIBEN, Eduard, Robert GANIAN a Sebastian ORDYNIAK. A Structural Approach to Activity Selection. In Jerome Lang. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI). USA: ijcai.org. s. 203-209. ISBN 978-0-9992411-2-7. doi:10.24963/ijcai.2018/28. 2018.
      Název anglicky: A Structural Approach to Activity Selection
      RIV/00216224:14330/18:00106815 Stať ve sborníku. angličtina. Spojené státy.
      Eiben, Eduard (703 Slovensko) -- Ganian, Robert (203 Česká republika, garant, domácí) -- Ordyniak, Sebastian (276 Německo)
      Klíčová slova anglicky: treewidth; computational social choice; group activity selection problem; parameterized complexity
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 18. 5. 2022 10:35.
      Podrobněji: https://is.muni.cz/publication/1523779/cs
    2. Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games
      KLAŠKA, David, Antonín KUČERA, Tomáš LAMSER a Vojtěch ŘEHÁK. Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games. In Proceedings of the 2018 International Conference on Autonomous Agents & Multiagent Systems. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems. s. 659-666. ISBN 978-1-5108-6808-3. doi:10.5555/3237383.3237481. 2018.
      URL
      RIV/00216224:14330/18:00100830 Stať ve sborníku. angličtina.
      Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, domácí) -- Lamser, Tomáš (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: patrolling games; single and multi-agent planning and scheduling
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Změněno: 24. 9. 2019 15:31.
      Podrobněji: https://is.muni.cz/publication/1408461/cs
    3. Bisimulation Invariant Monadic-Second Order Logic in the Finite
      BLUMENSATH, Achim a Felix WOLF. Bisimulation Invariant Monadic-Second Order Logic in the Finite. In 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic. Dagstuhl: Schloss Dagstuhl. s. 1-13. ISBN 978-3-95977-076-7. doi:10.4230/LIPIcs.ICALP.2018.117. 2018.
      Název anglicky: Bisimulation Invariant Monadic-Second Order Logic in the Finite
      RIV/00216224:14330/18:00101061 Stať ve sborníku. angličtina. Česká republika.
      Blumensath, Achim (276 Německo, garant, domácí) -- Wolf, Felix (276 Německo)
      Klíčová slova anglicky: bisimulation; monadic second-order logic; composition method
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 30. 4. 2019 09:59.
      Podrobněji: https://is.muni.cz/publication/1423341/cs
    4. Conceptual Issues in Mastery Criteria: Differentiating Uncertainty and Degrees of Knowledge
      PELÁNEK, Radek. Conceptual Issues in Mastery Criteria: Differentiating Uncertainty and Degrees of Knowledge. In Carolyn Penstein Rosé, Roberto Martínez Maldonado, Heinz Ulrich Hoppe, Rose Luckin, Manolis Mavrikis, Kaska Porayska-Pomsta, Bruce M. McLaren, Benedict du Boulay. Artificial Intelligence in Education. New York: Springer. s. 450-461. ISBN 978-3-319-93842-4. doi:10.1007/978-3-319-93843-1_33. 2018.
      RIV/00216224:14330/18:00104015 Stať ve sborníku. angličtina. Spojené státy.
      Pelánek, Radek (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: mastery learning; student modeling
      Druh sborníku: předkonferenční sborník
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 30. 4. 2019 07:33.
      Podrobněji: https://is.muni.cz/publication/1448696/cs
    5. Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes
      KŘETÍNSKÝ, Jan a Tobias MEGGENDORFER. Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes. In Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '18). New York, NY, USA: ACM. s. 609-618. ISBN 978-1-4503-5583-4. doi:10.1145/3209108.3209176. 2018.
      RIV/00216224:14330/18:00108288 Stať ve sborníku. angličtina. Spojené státy.
      Křetínský, Jan (203 Česká republika, garant, domácí) -- Meggendorfer, Tobias (276 Německo)
      Klíčová slova anglicky: conditional value-at-risk; Markov chains; Markov decision processes; reachability; mean-payoff
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 31. 5. 2022 12:24.
      Podrobněji: https://is.muni.cz/publication/1649039/cs
    6. Continuous-Time Markov Decisions Based on Partial Exploration
      ASHOK, Pranav, Yuliya BUTKOVA, Holger HERMANNS a Jan KŘETÍNSKÝ. Continuous-Time Markov Decisions Based on Partial Exploration. In Automated Technology for Verification and Analysis. ATVA 2018. Cham: Springer. s. 317-334. ISBN 978-3-030-01089-8. doi:10.1007/978-3-030-01090-4_19. 2018.
      RIV/00216224:14330/18:00108289 Stať ve sborníku. angličtina. Švýcarsko.
      Ashok, Pranav (356 Indie) -- Butkova, Yuliya (860 Uzbekistán) -- Hermanns, Holger (276 Německo) -- Křetínský, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Continuous-Time Markov Decision Processes; reachability; Partial Exploration
      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 16. 5. 2022 14:35.
      Podrobněji: https://is.muni.cz/publication/1649041/cs
    7. Data-centric Dynamic Partial Order Reduction
      CHALUPA, Marek, Krishnendu CHATTERJEE, Andreas PAVLOGIANNIS, Nishant SINHA a Kapil VAIDYA. Data-centric Dynamic Partial Order Reduction. In Proceedings of Symposium on Principles of Programming Languages 2018. New York: ACM. s. 1-30. ISSN 2475-1421. doi:10.1145/3158119. 2018.
      RIV/00216224:14330/18:00100728 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Chalupa, Marek (203 Česká republika, domácí) -- Chatterjee, Krishnendu (356 Indie) -- Pavlogiannis, Andreas (300 Řecko) -- Sinha, Nishant (356 Indie) -- Vaidya, Kapil (356 Indie)
      Klíčová slova anglicky: Concurrency; Partial-order Reduction; Stateless model-checking
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 20. 9. 2022 11:14.
      Podrobněji: https://is.muni.cz/publication/1392167/cs
    8. Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS
      BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Antonín KUČERA, Petr NOVOTNÝ, Dominik VELAN a Florian ZULEGER. Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. In Anuj Dawar, Erich Gradel. 2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Oxford, England: ACM. s. 185-194. ISBN 978-1-4503-5583-4. doi:10.1145/3209108.3209191. 2018.
      ACM Digital Library
      RIV/00216224:14330/18:00100882 Stať ve sborníku. angličtina. Velká Británie a Severní Irsko.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Chatterjee, Krishnendu (356 Indie) -- Kučera, Antonín (203 Česká republika, domácí) -- Novotný, Petr (203 Česká republika) -- Velan, Dominik (203 Česká republika, garant, domácí) -- Zuleger, Florian (40 Rakousko)
      Klíčová slova anglicky: vector addition systems with states; termination
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 30. 4. 2019 04:27.
      Podrobněji: https://is.muni.cz/publication/1413152/cs
    9. Enhancing Cybersecurity Skills by Creating Serious Games
      ŠVÁBENSKÝ, Valdemar, Jan VYKOPAL, Milan ČERMÁK a Martin LAŠTOVIČKA. Enhancing Cybersecurity Skills by Creating Serious Games. In Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE'18). Larnaca, Cyprus: ACM. s. 194-199. ISBN 978-1-4503-5707-4. doi:10.1145/3197091.3197123. 2018.
      Výsledek v sborníku konference
      RIV/00216224:14610/18:00106886 Stať ve sborníku. angličtina. Spojené státy.
      Švábenský, Valdemar (703 Slovensko, garant, domácí) -- Vykopal, Jan (203 Česká republika, domácí) -- Čermák, Milan (203 Česká republika, domácí) -- Laštovička, Martin (203 Česká republika)
      Klíčová slova anglicky: cybersecurity; game-based learning; project-based learning
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Valdemar Švábenský, Ph.D., učo 395868. Změněno: 24. 1. 2019 16:19.
      Podrobněji: https://is.muni.cz/publication/1413088/cs
    10. Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets
      BENDÍK, Jaroslav a Ivana ČERNÁ. Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets. 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. s. 131-142. ISSN 2398-7340. doi:10.29007/sxzb. 2018.
      URL
      Název anglicky: Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets
      RIV/00216224:14330/18:00104038 Stať ve sborníku. angličtina.
      Bendík, Jaroslav (203 Česká republika, garant, domácí) -- Černá, Ivana (203 Česká republika, domácí)
      Klíčová slova anglicky: minimal unsatisfiable subsets;mus enumeration;infeasibility analysis;unsatisfiability analysis
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 31. 5. 2022 14:21.
      Podrobněji: https://is.muni.cz/publication/1449236/cs
    11. Evolving boolean functions for fast and efficient randomness testing
      MRÁZEK, Vojtěch, Marek SÝS, Zdenek VASICEK, Lukáš SEKANINA a Václav MATYÁŠ. Evolving boolean functions for fast and efficient randomness testing. In Proceedings of the Genetic and Evolutionary Computation Conference 2018. USA: Association for Computing Machinery. s. 1302-1309. ISBN 978-1-4503-5618-3. doi:10.1145/3205455.3205518. 2018.
      URL
      RIV/00216224:14330/18:00101071 Stať ve sborníku. angličtina. Spojené státy.
      Mrázek, Vojtěch (203 Česká republika) -- Sýs, Marek (703 Slovensko, domácí) -- Vasicek, Zdenek (203 Česká republika) -- Sekanina, Lukáš (203 Česká republika) -- Matyáš, Václav (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Boolean function; evolutionary computing; randomness; statistical test
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 30. 4. 2019 07:22.
      Podrobněji: https://is.muni.cz/publication/1423716/cs
    12. How to Exploit Weaknesses in Biomedical Challenge Design and Organization
      REINKE, Annika, Matthias EISENMANN, Sinan ONOGUR, Marko STANKOVIC, Patrick SCHOLZ, Peter M FULL, Hrvoje BOGUNOVIC, Bennett A LANDMAN, Oskar MAIER, Bjoern MENZE, Gregory C SHARP, Korsuk SIRINUKUNWATTANA, Stefanie SPEIDEL, Fons VAN DER SOMMEN, Guoyan ZHENG, Henning MÜLLER, Michal KOZUBEK, Tal ARBEL, Andrew P BRADLEY, Pierre JANNIN, Annette KOPP-SCHNEIDER a Lena MAIER-HEIN. How to Exploit Weaknesses in Biomedical Challenge Design and Organization. In Alejandro F. Frangi, Julia A. Schnabel, Christos Davatzikos, Carlos Alberola-López, Gabor Fichtinger. Medical Image Computing and Computer Assisted Intervention – MICCAI 2018. LNCS 11073. Cham (Switzerland): Springer. s. 388-395. ISBN 978-3-030-00936-6. doi:10.1007/978-3-030-00937-3_45. 2018.
      URL
      RIV/00216224:14330/18:00104381 Stať ve sborníku. angličtina. Švýcarsko.
      Kozubek, Michal (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: biomedical image analysis; benchmarking
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 23. 4. 2020 20:51.
      Podrobněji: https://is.muni.cz/publication/1464318/cs
    13. Challenges Arising from Prerequisite Testing in Cybersecurity Games
      ŠVÁBENSKÝ, Valdemar a Jan VYKOPAL. Challenges Arising from Prerequisite Testing in Cybersecurity Games. In Proceedings of the 49th ACM Technical Symposium on Computer Science Education (SIGCSE’18). Baltimore, Maryland, USA: ACM. s. 56-61. ISBN 978-1-4503-5103-4. doi:10.1145/3159450.3159454. 2018.
      Výsledek v sborníku konference
      RIV/00216224:14330/18:00106882 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Švábenský, Valdemar (703 Slovensko, garant, domácí) -- Vykopal, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: active learning; cybersecurity games; diagnostic assessment; prerequisite testing; self-assessment; linear regression modeling
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: Mgr. Alena Mokrá, učo 362754. Změněno: 23. 4. 2020 12:03.
      Podrobněji: https://is.muni.cz/publication/1391680/cs
    14. Implementation Notes for the Soft Cosine Measure
      NOVOTNÝ, Vít. Implementation Notes for the Soft Cosine Measure. In Proceedings of the 27th ACM International Conference on Information and Knowledge Management (CIKM '18). Torino, Italy: Association for Computing Machinery. s. 1639-1642. ISBN 978-1-4503-6014-2. doi:10.1145/3269206.3269317. 2018.
      Postprint DOI
      RIV/00216224:14330/18:00101853 Stať ve sborníku. angličtina. Itálie.
      Novotný, Vít (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Vector Space Model; computational complexity; similarity measure
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 25. 4. 2022 04:56.
      Podrobněji: https://is.muni.cz/publication/1430596/cs
    15. Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes?
      JONÁŠ, Martin a Jan STREJČEK. Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes? In Gilles Barthe, Geoff Sutcliffe, Margus Veanes. LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Neuveden: EasyChair. s. 488-497. ISSN 2398-7340. doi:10.29007/spnx. 2018.
      URL
      RIV/00216224:14330/18:00101333 Stať ve sborníku. angličtina. Velká Británie a Severní Irsko.
      Jonáš, Martin (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: satisfiability modulo theories; quantified bit-vectors; bit-width; experimental evaluation
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 31. 5. 2022 14:22.
      Podrobněji: https://is.muni.cz/publication/1464757/cs
    16. Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints
      KŘETÍNSKÝ, Jan, Guillermo PEREZ a Jean-Francois RASKIN. Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints. In 29th International Conference on Concurrency Theory (CONCUR 2018). Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. s. 1-18. ISBN 978-3-95977-087-3. doi:10.4230/LIPIcs.CONCUR.2018.8. 2018.
      RIV/00216224:14330/18:00108291 Stať ve sborníku. angličtina. Německo.
      Křetínský, Jan (203 Česká republika, garant, domácí) -- Perez, Guillermo (188 Kostarika) -- Raskin, Jean-Francois (56 Belgie)
      Klíčová slova anglicky: Learning; Mean-Payoff; Markov decision process; Omega-Regular Specification
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2020 23:49.
      Podrobněji: https://is.muni.cz/publication/1649044/cs
    17. On Structural Parameterizations of the Bounded-Degree Vertex Deletion Problem
      GANIAN, Robert, Fabian KLUTE a Sebastian ORDYNIAK. On Structural Parameterizations of the Bounded-Degree Vertex Deletion Problem. In Rolf Niedermeier, Brigitte Vallee. STACS 2018. Nemecko: Dagstuhl. s. 1-14. ISBN 978-3-95977-062-0. doi:10.4230/LIPIcs.STACS.2018.33. 2018.
      RIV/00216224:14330/18:00106812 Stať ve sborníku. angličtina. Německo.
      Ganian, Robert (203 Česká republika, garant, domácí) -- Klute, Fabian (276 Německo) -- Ordyniak, Sebastian (276 Německo)
      Klíčová slova anglicky: bounded-degree vertex deletion; feedback vertex set; parameterized algorithms; treecut width
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 24. 4. 2020 15:55.
      Podrobněji: https://is.muni.cz/publication/1523738/cs
    18. Parameterized Algorithms for the Matrix Completion Problem
      GANIAN, Robert, Iyad KANJ, Sebastian ORDYNIAK a Stefan SZEIDER. Parameterized Algorithms for the Matrix Completion Problem. In Jennifer G. Dy, Andreas Krause. Proceedings of the 35th International Conference on Machine Learning (ICML). USA: PMLR. s. 1642-1651. ISBN 978-1-5108-6796-3. 2018.
      URL
      Název anglicky: Parameterized Algorithms for the Matrix Completion Problem
      RIV/00216224:14330/18:00106817 Stať ve sborníku. angličtina. Spojené státy.
      Ganian, Robert (203 Česká republika, garant, domácí) -- Kanj, Iyad (840 Spojené státy) -- Ordyniak, Sebastian (276 Německo) -- Szeider, Stefan (40 Rakousko)
      Klíčová slova anglicky: Matrix Completion; Parameterized Complexity
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 18. 5. 2022 10:35.
      Podrobněji: https://is.muni.cz/publication/1523818/cs
    19. Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks
      SCHMID, Stefan a Jiří SRBA. Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks. In IEEE International Conference on Computer Communications (INFOCOM'18). USA: IEEE. s. 1799-1807. ISBN 978-1-5386-4128-6. doi:10.1109/INFOCOM.2018.8486261. 2018.
      URL
      RIV/00216224:14330/18:00105976 Stať ve sborníku. angličtina. Spojené státy.
      Schmid, Stefan (756 Švýcarsko) -- Srba, Jiří (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: network verification; MPLS networks; pushdown automata
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 1. 6. 2022 12:39.
      Podrobněji: https://is.muni.cz/publication/1492173/cs
    20. P-Rex: Fast Verification of MPLS Networks with Multiple Link Failures
      JENSEN, Jesper S., Troels B. KROEGH, Jonas S. MADSEN, Stefan SCHMID, Jiří SRBA a Marc T. THORGERSEN. P-Rex: Fast Verification of MPLS Networks with Multiple Link Failures. In Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies (CoNEXT'18). USA: ACM. s. 217-227. ISBN 978-1-4503-6080-7. doi:10.1145/3281411.3281432. 2018.
      URL
      RIV/00216224:14330/18:00106628 Stať ve sborníku. angličtina. Spojené státy.
      Jensen, Jesper S. (208 Dánsko) -- Kroegh, Troels B. (208 Dánsko) -- Madsen, Jonas S. (208 Dánsko) -- Schmid, Stefan (756 Švýcarsko) -- Srba, Jiří (203 Česká republika, garant, domácí) -- Thorgersen, Marc T. (208 Dánsko)
      Klíčová slova anglicky: MPLS networks; formal verification; pushdown automata
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 3. 5. 2019 14:59.
      Podrobněji: https://is.muni.cz/publication/1506128/cs
    21. Recursive Online Enumeration of All Minimal Unsatisfiable Subsets
      BENDÍK, Jaroslav, Ivana ČERNÁ a Nikola BENEŠ. Recursive Online Enumeration of All Minimal Unsatisfiable Subsets. In Shuvendu Lahiri and Chao Wang. Automated Technology for Verification and Analysis - 16th International Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings}. Los Angeles: Springer. s. 143-159. ISBN 978-3-030-01089-8. doi:10.1007/978-3-030-01090-4_9. 2018.
      URL
      Název anglicky: Recursive Online Enumeration of All Minimal Unsatisfiable Subsets
      RIV/00216224:14330/18:00101107 Stať ve sborníku. angličtina.
      Bendík, Jaroslav (203 Česká republika, garant, domácí) -- Černá, Ivana (203 Česká republika, domácí) -- Beneš, Nikola (203 Česká republika, domácí)
      Klíčová slova anglicky: formal verification; minimal unstisfiable subsets
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 30. 4. 2019 07:25.
      Podrobněji: https://is.muni.cz/publication/1428840/cs
    22. Secure Certification of Mixed Quantum States with Application to Two-Party Randomness Generation
      DUPONT DUPUIS, Frédéric, Serge FEHR, Philippe LAMONTAGNE a Louis SALVAIL. Secure Certification of Mixed Quantum States with Application to Two-Party Randomness Generation. In 16th International Theory of Cryptography Conference (TCC 2018). Cham: Springer. s. 282-314. ISBN 978-3-030-03809-0. doi:10.1007/978-3-030-03810-6_11. 2018.
      RIV/00216224:14330/18:00118583 Stať ve sborníku. angličtina. Švýcarsko.
      Dupont Dupuis, Frédéric (124 Kanada, garant, domácí)
      Klíčová slova anglicky: STRONG CONVERSE; COIN
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 5. 11. 2021 15:01.
      Podrobněji: https://is.muni.cz/publication/1768258/cs
    23. Small Resolution Proofs for QBF using Dependency Treewidth
      EIBEN, Eduard, Robert GANIAN a Sebastian ORDYNIAK. Small Resolution Proofs for QBF using Dependency Treewidth. In Rolf Niedermeier, Brigitte Vallee. STACS 2018. Nemecko: Dagstuhl. s. 1-15. ISBN 978-3-95977-062-0. doi:10.4230/LIPIcs.STACS.2018.28. 2018.
      Název anglicky: Small Resolution Proofs for QBF using Dependency Treewidth
      RIV/00216224:14330/18:00106813 Stať ve sborníku. angličtina. Německo.
      Eiben, Eduard (703 Slovensko) -- Ganian, Robert (203 Česká republika, garant, domácí) -- Ordyniak, Sebastian (276 Německo)
      Klíčová slova anglicky: QBF; treewidth; fixed parameter tractability; dependency schemes
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 27. 4. 2020 23:07.
      Podrobněji: https://is.muni.cz/publication/1523756/cs
    24. Solving Patrolling Problems in the Internet Environment
      BRÁZDIL, Tomáš, Antonín KUČERA a Vojtěch ŘEHÁK. Solving Patrolling Problems in the Internet Environment. 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. s. 121-127. ISBN 978-0-9992411-2-7. doi:10.24963/ijcai.2018/17. 2018.
      IJCAI.org
      RIV/00216224:14330/18:00101076 Stať ve sborníku. angličtina. Švédsko.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: patrolling games; strategy synthesis
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 16. 5. 2022 15:36.
      Podrobněji: https://is.muni.cz/publication/1423781/cs
    25. Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems
      BOENNELAND, Frederik M., Peter G. JENSEN, Kim G. LARSEN, Marco MUNIZ a Jiří SRBA. Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems. In Proceedings of the 30th International Conference on Computer Aided Verification (CAV'18). Netherlands: Springer. s. 527-546. ISBN 978-3-319-96144-6. doi:10.1007/978-3-319-96145-3_28. 2018.
      URL
      RIV/00216224:14330/18:00106625 Stať ve sborníku. angličtina. Nizozemské království.
      Boenneland, Frederik M. (208 Dánsko) -- Jensen, Peter G. (208 Dánsko) -- Larsen, Kim G. (208 Dánsko) -- Muniz, Marco (604 Peru) -- Srba, Jiří (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: partial order reduction; timed-arc Petri nets; stubborn sets
      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 16. 5. 2022 14:34.
      Podrobněji: https://is.muni.cz/publication/1506124/cs
    26. Strategy Representation by Decision Trees in Reactive Synthesis
      BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Jan KŘETÍNSKÝ a Viktor TOMAN. Strategy Representation by Decision Trees in Reactive Synthesis. In 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018). Cham: Springer. s. 385-407. ISBN 978-3-319-89959-6. doi:10.1007/978-3-319-89960-2_21. 2018.
      RIV/00216224:14330/18:00118582 Stať ve sborníku. angličtina. Švýcarsko.
      Brázdil, Tomáš (203 Česká republika, garant, domácí) -- Chatterjee, Krishnendu (356 Indie) -- Křetínský, Jan (203 Česká republika) -- Toman, Viktor (703 Slovensko)
      Klíčová slova anglicky: INFINITE GAMES; AUTOMATA
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 5. 11. 2021 15:01.
      Podrobněji: https://is.muni.cz/publication/1768257/cs
    27. Structure and generation of crossing-critical graphs
      DVOŘÁK, Zdeněk, Petr HLINĚNÝ a Bojan MOHAR. Structure and generation of crossing-critical graphs. In 34th International Symposium on Computational Geometry, SoCG 2018. Dagstuhl: Leibniz International Proceedings in Informatics, LIPIcs. s. "33:1"-"33:14", 14 s. ISBN 978-3-95977-066-8. doi:10.4230/LIPIcs.SoCG.2018.33. 2018.
      RIV/00216224:14330/18:00101458 Stať ve sborníku. angličtina. Spojené státy.
      Dvořák, Zdeněk (203 Česká republika) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Mohar, Bojan (705 Slovinsko)
      Klíčová slova anglicky: Crossing number; Crossing-critical; Exhaustive generation; Path-width
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 6. 2022 12:11.
      Podrobněji: https://is.muni.cz/publication/1480303/cs
    28. The Broken Shield: Measuring Revocation Effectiveness in the Windows Code-Signing PKI
      KIM, Doowon, Bum Jun KWON, Kristián KOZÁK, Christopher GATES a Tudor DUMITRAȘ. The Broken Shield: Measuring Revocation Effectiveness in the Windows Code-Signing PKI. In 27th USENIX Security Symposium (USENIX Security 18). Baltimore, MD: USENIX Association. s. 851-868. ISBN 978-1-931971-46-1. 2018.
      URL
      RIV/00216224:14330/18:00103415 Stať ve sborníku. angličtina. Spojené státy.
      Kozák, Kristián (203 Česká republika, domácí)
      Klíčová slova anglicky: code signing; revocation
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 24. 4. 2020 16:11.
      Podrobněji: https://is.muni.cz/publication/1427677/cs
    29. Timely Feedback in Unstructured Cybersecurity Exercises
      VYKOPAL, Jan, Radek OŠLEJŠEK, Karolína BURSKÁ a Kristína ZÁKOPČANOVÁ. Timely Feedback in Unstructured Cybersecurity Exercises. In Proceedings of Special Interest Group on Computer Science Education, Baltimore, Maryland, USA, February 21–24, 2018(SIGCSE’18). New York, NY, USA: ACM. s. 173-178. ISBN 978-1-4503-5103-4. doi:10.1145/3159450.3159561. 2018.
      URL
      RIV/00216224:14610/18:00102073 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Vykopal, Jan (203 Česká republika, garant, domácí) -- Ošlejšek, Radek (203 Česká republika, domácí) -- Burská, Karolína (203 Česká republika, domácí) -- Zákopčanová, Kristína (203 Česká republika, domácí)
      Klíčová slova anglicky: timely feedback; personalized feedback; cybersecurity; exercise; active learning; professional learners
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Radek Ošlejšek, Ph.D., učo 3636. Změněno: 3. 10. 2022 16:26.
      Podrobněji: https://is.muni.cz/publication/1391679/cs
    30. Unary Integer Linear Programming with Structural Restrictions
      EIBEN, Eduard, Robert GANIAN, Dusan KNOP a Sebastian ORDYNIAK. Unary Integer Linear Programming with Structural Restrictions. In Jerome Lang. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. USA: ijcai.org. s. 1284-1290. ISBN 978-0-9992411-2-7. doi:10.24963/ijcai.2018/179. 2018.
      Název anglicky: Unary Integer Linear Programming with Structural Restrictions
      RIV/00216224:14330/18:00106814 Stať ve sborníku. angličtina. Spojené státy.
      Eiben, Eduard (703 Slovensko) -- Ganian, Robert (203 Česká republika, garant, domácí) -- Knop, Dusan (203 Česká republika) -- Ordyniak, Sebastian (276 Německo)
      Klíčová slova anglicky: Integer Linear Programming; Classical Complexity
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 18. 5. 2022 10:34.
      Podrobněji: https://is.muni.cz/publication/1523777/cs
    31. Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm
      KELMENDI, Edon, Julia KRÄMER, Jan KŘETÍNSKÝ a Maximilian WEININGER. Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm. In Computer Aided Verification (CAV 2018). Cham: Springer. s. 623-642. ISBN 978-3-319-96144-6. doi:10.1007/978-3-319-96145-3_36. 2018.
      RIV/00216224:14330/18:00108290 Stať ve sborníku. angličtina. Švýcarsko.
      Kelmendi, Edon (8 Albánie) -- Krämer, Julia (276 Německo) -- Křetínský, Jan (203 Česká republika, garant, domácí) -- Weininger, Maximilian (276 Německo)
      Klíčová slova anglicky: Value Iteration; Simple Stochastic Games; Stopping Criterion; Learning
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2020 23:49.
      Podrobněji: https://is.muni.cz/publication/1649042/cs

    2017

    1. A Touch of Evil: High-Assurance Cryptographic Hardware from Untrusted Components
      MAVROUDIS, Vasilios, Andrea CERULLI, Petr ŠVENDA, Daniel CVRČEK, Dušan KLINEC a George DANEZIS. A Touch of Evil: High-Assurance Cryptographic Hardware from Untrusted Components. In ACM. CCS '17: Proceedings of the 24th ACM SIGSAC Conference on Computer and Communications Security. Dallas, TX, USA: ACM. s. 1583-1600. ISBN 978-1-4503-4946-8. doi:10.1145/3133956.3133961. 2017.
      RIV/00216224:14330/17:00095059 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Mavroudis, Vasilios (300 Řecko) -- Cerulli, Andrea (826 Velká Británie a Severní Irsko) -- Švenda, Petr (203 Česká republika, garant, domácí) -- Cvrček, Daniel (203 Česká republika) -- Klinec, Dušan (703 Slovensko, domácí) -- Danezis, George (300 Řecko)
      Klíčová slova anglicky: cryptographic hardware; hardware trojans; backdoor-tolerance; secure architecture
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 30. 9. 2019 11:03.
      Podrobněji: https://is.muni.cz/publication/1392236/cs
    2. Backdoor Treewidth for SAT
      GANIAN, Robert, M.S. RAMANUJAN a Stefan SZEIDER. Backdoor Treewidth for SAT. In Serge Gaspers and Toby Walsh. Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings. 10491. vyd. Nemecko: Springer. s. 20-37. ISBN 978-3-319-66262-6. doi:10.1007/978-3-319-66263-3_2. 2017.
      URL
      RIV/00216224:14330/17:00100551 Stať ve sborníku. angličtina. Německo.
      Ganian, Robert (203 Česká republika, garant, domácí) -- Ramanujan, M.S. (356 Indie) -- Szeider, Stefan (40 Rakousko)
      Klíčová slova anglicky: Treewidth; Parameterized Complexity; SAT; Backdoors
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 28. 4. 2020 11:43.
      Podrobněji: https://is.muni.cz/publication/1414044/cs
    3. Exchanging Security Events: Which And How Many Alerts Can We Aggregate?
      HUSÁK, Martin, Milan ČERMÁK, Martin LAŠTOVIČKA a Jan VYKOPAL. Exchanging Security Events: Which And How Many Alerts Can We Aggregate? In Prosper Chemouil, Edmundo Monteiro, Marinos Charalambides, Edmundo Madeira, Paulo Simões, Stefano Secci, Luciano Paschoal Gaspary, Carlos Raniery P. dos Santos. 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM). Lisbon: IEEE. s. 604-607. ISBN 978-3-901882-89-0. doi:10.23919/INM.2017.7987340. 2017.
      URL
      RIV/00216224:14610/17:00094466 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Husák, Martin (203 Česká republika, garant, domácí) -- Čermák, Milan (203 Česká republika, domácí) -- Laštovička, Martin (203 Česká republika, domácí) -- Vykopal, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: aggregation;security alert;information sharing
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Martin Husák, Ph.D., učo 256631. Změněno: 5. 4. 2018 18:31.
      Podrobněji: https://is.muni.cz/publication/1361514/cs
    4. Going Beyond Primal Treewidth for {(M)ILP}
      GANIAN, Robert, M.S. RAMANUJAN a Sebastian ORDYNIAK. Going Beyond Primal Treewidth for {(M)ILP}. In Satinder P. Singh; Shaul Markovitch. Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA. USA: AAAI. s. 815-821. ISBN 978-1-57735-781-0. 2017.
      URL
      RIV/00216224:14330/17:00100547 Stať ve sborníku. angličtina. Spojené státy.
      Ganian, Robert (203 Česká republika, garant, domácí) -- Ramanujan, M.S. (356 Indie) -- Ordyniak, Sebastian (40 Rakousko)
      Klíčová slova anglicky: primal treewidth; ILP
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 1. 6. 2022 12:43.
      Podrobněji: https://is.muni.cz/publication/1414038/cs
    5. Image-driven Stochastic Identification of Boundary Conditions for Predictive Simulation
      PETERLÍK, Igor, Nazim HAOUCHINE, Lukáš RUČKA a Stéphane COTIN. Image-driven Stochastic Identification of Boundary Conditions for Predictive Simulation. In Descoteaux M., Maier-Hein L., Franz A., Jannin P., Collins D., Duchesne S. Medical Image Computing and Computer-Assisted Intervention − MICCAI 2017: 20th International Conference, Quebec City, QC, Canada, September 11-13, 2017, Proceedings, Part II. Cham: Springer. s. 548-556. ISBN 978-3-319-66184-1. doi:10.1007/978-3-319-66185-8_62. 2017.
      URL
      RIV/00216224:14330/17:00097947 Stať ve sborníku. angličtina.
      Peterlík, Igor (703 Slovensko, garant) -- Haouchine, Nazim (12 Alžírsko) -- Ručka, Lukáš (203 Česká republika, domácí) -- Cotin, Stéphane (250 Francie)
      Klíčová slova anglicky: Boundary conditions Stochasric data assimilation Finite element method Surgical augmented reality Hepatic surgery
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 17. 5. 2018 16:44.
      Podrobněji: https://is.muni.cz/publication/1392838/cs
    6. Measuring Popularity of Cryptographic Libraries in Internet-Wide Scans
      NEMEC, Matúš, Dušan KLINEC, Petr ŠVENDA, Peter SEKAN a Václav MATYÁŠ. Measuring Popularity of Cryptographic Libraries in Internet-Wide Scans. In Proceedings of the 33rd Annual Computer Security Applications Conference. New York, NY, USA: ACM. s. 162-175. ISBN 978-1-4503-5345-8. doi:10.1145/3134600.3134612. 2017.
      Proceedings of the 33rd Annual Computer Security Applications Conference Measuring Popularity of Cryptographic Libraries in Internet-Wide Scans Supplementary materials
      Název anglicky: Measuring Popularity of Cryptographic Libraries in Internet-Wide Scans
      RIV/00216224:14330/17:00095055 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Nemec, Matúš (703 Slovensko, domácí) -- Klinec, Dušan (703 Slovensko, domácí) -- Švenda, Petr (203 Česká republika, domácí) -- Sekan, Peter (703 Slovensko, domácí) -- Matyáš, Václav (203 Česká republika, domácí)
      Klíčová slova anglicky: RSA algorithm; cryptographic library; prime generation
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2018 10:51.
      Podrobněji: https://is.muni.cz/publication/1392143/cs
    7. Model Checking of C and C++ with DIVINE 4
      BARANOVÁ, Zuzana, Jiří BARNAT, Katarína KEJSTOVÁ, Tadeáš KUČERA, Henrich LAUKO, Jan MRÁZEK, Petr ROČKAI a Vladimír ŠTILL. Model Checking of C and C++ with DIVINE 4. In Deepak D'Souza, K. Narayan Kumar. Automated Technology for Verification and Analysis. Cham: Springer International Publishing. s. 201-207. ISBN 978-3-319-68166-5. doi:10.1007/978-3-319-68167-2_14. 2017.
      URL
      RIV/00216224:14330/17:00095126 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
      Baranová, Zuzana (703 Slovensko, domácí) -- Barnat, Jiří (203 Česká republika, garant, domácí) -- Kejstová, Katarína (703 Slovensko, domácí) -- Kučera, Tadeáš (203 Česká republika, domácí) -- Lauko, Henrich (703 Slovensko, domácí) -- Mrázek, Jan (203 Česká republika, domácí) -- Ročkai, Petr (703 Slovensko, domácí) -- Štill, Vladimír (203 Česká republika, domácí)
      Klíčová slova anglicky: Model Checking; Verification; C; C++; DIVINE
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Změněno: 1. 10. 2018 16:24.
      Podrobněji: https://is.muni.cz/publication/1394153/cs
    8. Network Defence Strategy Evaluation: Simulation vs. Live Network
      MEDKOVÁ, Jana, Martin HUSÁK a Martin DRAŠAR. Network Defence Strategy Evaluation: Simulation vs. Live Network. In Prosper Chemouil, Edmundo Monteiro, Marinos Charalambides, Edmundo Madeira, Paulo Simões, Stefano Secci, Luciano Paschoal Gaspary, Carlos Raniery P. dos Santos. 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM). Lisbon: IEEE. s. 81-88. ISBN 978-3-901882-89-0. doi:10.23919/INM.2017.7987267. 2017.
      URL
      RIV/00216224:14610/17:00094471 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Medková, Jana (203 Česká republika, garant, domácí) -- Husák, Martin (203 Česká republika, domácí) -- Drašar, Martin (203 Česká republika, domácí)
      Klíčová slova anglicky: game theory;cyber security;simulation;honeypot
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Martin Husák, Ph.D., učo 256631. Změněno: 5. 4. 2018 18:32.
      Podrobněji: https://is.muni.cz/publication/1379728/cs
    9. New Width Parameters for Model Counting
      GANIAN, Robert a Stefan SZEIDER. New Width Parameters for Model Counting. In Serge Gaspers and Toby Walsh. Theory and Applications of Satisfiability Testing - {SAT} 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings. Nemecko: Springer. s. 38-52. ISBN 978-3-319-66262-6. doi:10.1007/978-3-319-66263-3_3. 2017.
      URL
      RIV/00216224:14330/17:00100552 Stať ve sborníku. angličtina. Německo.
      Ganian, Robert (203 Česká republika, garant, domácí) -- Szeider, Stefan (40 Rakousko)
      Klíčová slova anglicky: Treewidth; Model Counting; SAT; Parameterized Complexity
      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 28. 4. 2020 12:17.
      Podrobněji: https://is.muni.cz/publication/1414045/cs
    10. On Simplification of Formulas with Unconstrained Variables and Quantifiers
      JONÁŠ, Martin a Jan STREJČEK. On Simplification of Formulas with Unconstrained Variables and Quantifiers. In Serge Gaspers, Toby Walsh. Theory and Applications of Satisfiability Testing – SAT 2017. Cham (Switzerland): Springer. s. 364-379. ISBN 978-3-319-66262-6. doi:10.1007/978-3-319-66263-3_23. 2017.
      URL
      RIV/00216224:14330/17:00095125 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
      Jonáš, Martin (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: SMT solving; formula simplifications; bit-vectors
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 5. 2020 15:12.
      Podrobněji: https://is.muni.cz/publication/1394152/cs
    11. On Structural Parameterizations of the Edge Disjoint Paths Problem
      GANIAN, Robert, Sebastian ORDYNIAK a M.S. RAMANUJAN. On Structural Parameterizations of the Edge Disjoint Paths Problem. In Yoshio Okamoto; Takeshi Tokuyama. 28th International Symposium on Algorithms and Computation, ISAAC 2017, December 9-12, 2017, Phuket, Thailand. 92. vyd. Nemecko: LIPIcs. s. 1-13. ISBN 978-3-95977-054-5. doi:10.4230/LIPIcs.ISAAC.2017.36. 2017.
      URL
      RIV/00216224:14330/17:00100549 Stať ve sborníku. angličtina. Německo.
      Ganian, Robert (203 Česká republika, garant, domácí) -- Ordyniak, Sebastian (40 Rakousko) -- Ramanujan, M.S. (356 Indie)
      Klíčová slova anglicky: Edge Disjont Paths; Parameterized Complexity; Treewidth
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 17. 5. 2018 17:24.
      Podrobněji: https://is.muni.cz/publication/1414041/cs
    12. Parameterized Shifted Combinatorial Optimization
      GAJARSKÝ, Jakub, Petr HLINĚNÝ, Martin KOUTECKÝ a Shmuel ONN. Parameterized Shifted Combinatorial Optimization. In Y. Cao and J. Chen. International Computing and Combinatorics Conference COCOON 2017 (LNCS, volume 10392). Hong Kong: Springer International Publishing AG. s. 224-236. ISBN 978-3-319-62388-7. doi:10.1007/978-3-319-62389-4_19. 2017.
      RIV/00216224:14330/17:00095083 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
      Gajarský, Jakub (703 Slovensko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Koutecký, Martin (203 Česká republika) -- Onn, Shmuel (376 Izrael)
      Klíčová slova anglicky: Combinatorial optimization; Shifted problem; Treewidth; MSO logic; MSO partitioning
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 16. 5. 2022 15:47.
      Podrobněji: https://is.muni.cz/publication/1392992/cs
    13. Parametric multi-step scheme for GPU-accelerated graph decomposition into strongly connected components
      ALDEGHERI, Stefano, Jiří BARNAT, Nicola BOMBIERI, Federico BUSATO a Milan ČEŠKA. Parametric multi-step scheme for GPU-accelerated graph decomposition into strongly connected components. In 22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016. Cham: Springer Verlag. s. 519-531. ISBN 978-3-319-58942-8. doi:10.1007/978-3-319-58943-5_42. 2017.
      RIV/00216224:14330/17:00100646 Stať ve sborníku. angličtina. Švýcarsko.
      Aldegheri, Stefano (380 Itálie) -- Barnat, Jiří (203 Česká republika, garant, domácí) -- Bombieri, Nicola (380 Itálie) -- Busato, Federico (380 Itálie) -- Češka, Milan (203 Česká republika)
      Klíčová slova anglicky: Directed graphs; Distributed computer systems; Problem solving
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 7. 1. 2019 14:28.
      Podrobněji: https://is.muni.cz/publication/1417426/cs
    14. Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-Affine Dynamical Systems
      BENEŠ, Nikola, Luboš BRIM, Martin DEMKO, Samuel PASTVA a David ŠAFRÁNEK. Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-Affine Dynamical Systems. In Rupak Majumdar and Viktor Kunčak. Computer Aided Verification. CAV 2017. LNCS 10426. Cham: Springer International Publishing. s. 591-598. ISBN 978-3-319-63386-2. doi:10.1007/978-3-319-63387-9_29. 2017.
      URL
      Název anglicky: Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-Affine Dynamical Systems
      RIV/00216224:14330/17:00094898 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Beneš, Nikola (203 Česká republika, domácí) -- Brim, Luboš (203 Česká republika, garant, domácí) -- Demko, Martin (703 Slovensko, domácí) -- Pastva, Samuel (703 Slovensko, domácí) -- Šafránek, David (203 Česká republika, domácí)
      Klíčová slova anglicky: model checking; satisfiability modulo theories; Computational Tree Logic; dynamical systems; distributed algorithms
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:18.
      Podrobněji: https://is.muni.cz/publication/1387857/cs
    15. Quality Evaluation of PaaS Cloud Application Design Using Generated Prototypes
      GEŠVINDR, David, Barbora BÜHNOVÁ a Ondřej GASIOR. Quality Evaluation of PaaS Cloud Application Design Using Generated Prototypes. In 2017 IEEE International Conference on Software Architecture (ICSA). Neuveden: IEEE. s. 31-40. ISBN 978-1-5090-5729-0. doi:10.1109/ICSA.2017.43. 2017.
      Název anglicky: Quality Evaluation of PaaS Cloud Application Design Using Generated Prototypes
      RIV/00216224:14330/17:00097438 Stať ve sborníku. Informatika. angličtina.
      Gešvindr, David (203 Česká republika, domácí) -- Bühnová, Barbora (203 Česká republika, domácí) -- Gasior, Ondřej (203 Česká republika, domácí)
      Klíčová slova anglicky: cloud computing; software architecture; prototype generation
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 18. 5. 2018 12:10.
      Podrobněji: https://is.muni.cz/publication/1388380/cs
    16. Seminator: A Tool for Semi-Determinization of Omega-Automata
      BLAHOUDEK, František, Alexandre DURET-LUTZ, Mikuláš KLOKOČKA, Mojmír KŘETÍNSKÝ a Jan STREJČEK. Seminator: A Tool for Semi-Determinization of Omega-Automata. In Thomas Eiter and David Sands. Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2017). Neuveden: EasyChair. s. 356-367. ISSN 2398-7340. doi:10.29007/k5nl. 2017.
      URL
      RIV/00216224:14330/17:00094743 Stať ve sborníku. Informatika. angličtina. Německo.
      Blahoudek, František (203 Česká republika, domácí) -- Duret-Lutz, Alexandre (250 Francie) -- Klokočka, Mikuláš (203 Česká republika, domácí) -- Křetínský, Mojmír (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: semi deterministic automata; ltl to automata translation; omega automata
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 9. 11. 2018 14:58.
      Podrobněji: https://is.muni.cz/publication/1380432/cs
    17. Solving Integer Linear Programs with a Small Number of Global Variables and Constraints
      DVORAK, Pavel, Eduard EIBEN, Robert GANIAN, Dusan KNOP a Sebastian ORDYNIAK. Solving Integer Linear Programs with a Small Number of Global Variables and Constraints. In Carles Sierra. Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August 19-25, 2017. USA: ijcai.org. s. 607-613. ISBN 978-0-9992411-0-3. doi:10.24963/ijcai.2017/85. 2017.
      URL
      RIV/00216224:14330/17:00100548 Stať ve sborníku. angličtina. Spojené státy.
      Dvorak, Pavel (203 Česká republika) -- Eiben, Eduard (703 Slovensko) -- Ganian, Robert (203 Česká republika, garant, domácí) -- Knop, Dusan (203 Česká republika) -- Ordyniak, Sebastian (40 Rakousko)
      Klíčová slova anglicky: Integer Linear Programming; Backdoors; Parameterized Algorithms
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Mgr. Michal Petr, učo 65024. Změněno: 16. 5. 2022 15:49.
      Podrobněji: https://is.muni.cz/publication/1414040/cs
    18. Synthesis of Optimal Resilient Control Strategies
      BAIER, Christel, Clemens DUBSLAFF, Ľuboš KORENČIAK, Antonín KUČERA a Vojtěch ŘEHÁK. Synthesis of Optimal Resilient Control Strategies. In Deepak D'Souza, K. Narayan Kumar. Automated Technology for Verification and Analysis. Cham: Springer International Publishing. s. 417-434. ISBN 978-3-319-68166-5. doi:10.1007/978-3-319-68167-2_27. 2017.
      RIV/00216224:14330/17:00095082 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
      Baier, Christel (276 Německo) -- Dubslaff, Clemens (276 Německo) -- Korenčiak, Ľuboš (703 Slovensko, garant, domácí) -- Kučera, Antonín (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, domácí)
      Klíčová slova anglicky: controller synthesis; Markov decision processes; resilience
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2018 11:00.
      Podrobněji: https://is.muni.cz/publication/1392977/cs
    19. The Return of Coppersmith's Attack: Practical Factorization of Widely Used RSA Moduli
      NEMEC, Matúš, Marek SÝS, Petr ŠVENDA, Dušan KLINEC a Václav MATYÁŠ. The Return of Coppersmith's Attack: Practical Factorization of Widely Used RSA Moduli. In Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. New York, NY, USA: ACM. s. 1631-1648. ISBN 978-1-4503-4946-8. doi:10.1145/3133956.3133969. 2017.
      The Return of Coppersmith's Attack: Practical Factorization of Widely Used RSA Moduli Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security
      Název anglicky: The Return of Coppersmith's Attack: Practical Factorization of Widely Used RSA Moduli
      RIV/00216224:14330/17:00095054 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Nemec, Matúš (703 Slovensko, domácí) -- Sýs, Marek (703 Slovensko, domácí) -- Švenda, Petr (203 Česká republika, domácí) -- Klinec, Dušan (703 Slovensko, domácí) -- Matyáš, Václav (203 Česká republika, domácí)
      Klíčová slova anglicky: RSA; factorization; smartcard; Coppersmith's algorithm
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 5. 2020 15:10.
      Podrobněji: https://is.muni.cz/publication/1392142/cs
    20. Towards a Polynomial Kernel for Directed Feedback Vertex Set
      EIBEN, Eduard, Sebastian ORDYNIAK, M.S. RAMANUJAN, Benjamin BERGOUGNOUX a Robert GANIAN. Towards a Polynomial Kernel for Directed Feedback Vertex Set. In Kim G. Larsen and Hans L. Bodlaender and Jean-Francois Raskin. 42nd International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2017, August 21-25, 2017 - Aalborg, Denmark. 83. vyd. Nemecko: LIPIcs. s. 1-15. ISBN 978-3-95977-046-0. doi:10.4230/LIPIcs.MFCS.2017.36. 2017.
      URL
      RIV/00216224:14330/17:00100550 Stať ve sborníku. angličtina. Německo.
      Eiben, Eduard (703 Slovensko) -- Ordyniak, Sebastian (276 Německo) -- Ramanujan, M.S. (356 Indie) -- Bergougnoux, Benjamin (250 Francie) -- Ganian, Robert (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: parameterized algorithms; kernelization; (directed) feedback vertex set
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 7. 1. 2019 14:00.
      Podrobněji: https://is.muni.cz/publication/1414043/cs

    2016

    1. A Model Checking Approach to Discrete Bifurcation Analysis
      BENEŠ, Nikola, Luboš BRIM, Martin DEMKO, Samuel PASTVA a David ŠAFRÁNEK. A Model Checking Approach to Discrete Bifurcation Analysis. In John S. Fitzgerald et al. Formal Methods. FM 2016. LNCS 9995. Neuveden: Springer International Publishing. s. 85-101. ISBN 978-3-319-48988-9. doi:10.1007/978-3-319-48989-6_6. 2016.
      Název anglicky: A Model Checking Approach to Discrete Bifurcation Analysis
      RIV/00216224:14330/16:00088309 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Beneš, Nikola (203 Česká republika, domácí) -- Brim, Luboš (203 Česká republika, domácí) -- Demko, Martin (703 Slovensko, domácí) -- Pastva, Samuel (703 Slovensko, domácí) -- Šafránek, David (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: model checking; satisfiability modulo theories; Computational Tree Logic; dynamical systems; distributed algorithms; bifurcation analysis
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:12.
      Podrobněji: https://is.muni.cz/publication/1359653/cs
    2. A New Perspective on FO Model Checking of Dense Graph Classes
      GAJARSKÝ, Jakub, Petr HLINĚNÝ, Daniel LOKSHTANOV, Jan OBDRŽÁLEK a M S RAMANUJAN. A New Perspective on FO Model Checking of Dense Graph Classes. In Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science LICS2016. New York, NY, USA: ACM. s. 176-184. ISBN 978-1-4503-4391-6. doi:10.1145/2933575.2935314. 2016.
      URL
      RIV/00216224:14330/16:00088546 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Gajarský, Jakub (703 Slovensko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Lokshtanov, Daniel (578 Norsko) -- Obdržálek, Jan (203 Česká republika, domácí) -- Ramanujan, M S (356 Indie)
      Klíčová slova anglicky: FO Logic; Model-Checking; Logic Interpretations; Sparse Graph Classes; Parameterized Complexity
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 17. 4. 2018 09:51.
      Podrobněji: https://is.muni.cz/publication/1367542/cs
    3. A Single-Exponential Fixed-Parameter Algorithm for Distance-Hereditary Vertex Deletion
      GANIAN, Robert, Eduard EIBEN a O-joung KWON. A Single-Exponential Fixed-Parameter Algorithm for Distance-Hereditary Vertex Deletion. In Piotr Faliszewski and Anca Muscholl and Rolf Niedermeier. 41st International Symposium on Mathematical Foundations of Computer Science, {MFCS} 2016, August 22-26, 2016 - Krak{\'{o}}w, Poland. Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. s. "34:1"-"34:14", 14 s. ISBN 978-3-95977-016-3. doi:10.4230/LIPIcs.MFCS.2016.34. 2016.
      RIV/00216224:14330/16:00093948 Stať ve sborníku. Informatika. angličtina. Německo.
      Ganian, Robert (203 Česká republika, garant, domácí) -- Eiben, Eduard (703 Slovensko) -- Kwon, O-joung (410 Korejská republika)
      Klíčová slova anglicky: algorithms; vertex deletion problems
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 8. 2019 12:08.
      Podrobněji: https://is.muni.cz/publication/1376048/cs
    4. Adaptive versus non-adaptive strategies in the quantum setting with applications
      DUPONT DUPUIS, Frédéric, Serge FEHR, Philippe LAMONTAGNE a Louis SALVAIL. Adaptive versus non-adaptive strategies in the quantum setting with applications. In Robshaw, Matthew and Katz, Jonathan. Proceedings of CRYPTO 2016. Santa Barbara, CA: Springer Berlin Heidelberg. s. 33-59. ISBN 978-3-662-53014-6. doi:10.1007/978-3-662-53015-3_2. 2016.
      RIV/00216224:14330/16:00088206 Stať ve sborníku. Teorie informace. angličtina. Spojené státy.
      Dupont Dupuis, Frédéric (124 Kanada, garant, domácí) -- Fehr, Serge (756 Švýcarsko) -- Lamontagne, Philippe (124 Kanada) -- Salvail, Louis (124 Kanada)
      Klíčová slova anglicky: quantum cryptography
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:27.
      Podrobněji: https://is.muni.cz/publication/1355997/cs
    5. Architectural Tactics for the Design of Efficient PaaS Cloud Applications
      GEŠVINDR, David a Barbora BÜHNOVÁ. Architectural Tactics for the Design of Efficient PaaS Cloud Applications. In 2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA). Neuveden: IEEE. s. 158-167. ISBN 978-1-5090-2131-4. doi:10.1109/WICSA.2016.42. 2016.
      Název anglicky: Architectural Tactics for the Design of Efficient PaaS Cloud Applications
      RIV/00216224:14330/16:00090585 Stať ve sborníku. Informatika. angličtina.
      Gešvindr, David (203 Česká republika, domácí) -- Bühnová, Barbora (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: cloud computing; software architecture; architectural tactics; Software Architecture Design
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:17.
      Podrobněji: https://is.muni.cz/publication/1351810/cs
    6. Backdoors to Tractable Valued CSP
      GANIAN, Robert, M.S. RAMANUJAN a Stefan SZEIDER. Backdoors to Tractable Valued CSP. In Rueher, M. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016. CHAM: SPRINGER INT PUBLISHING AG. s. 233-250. ISBN 978-3-319-44952-4. doi:10.1007/978-3-319-44953-1_16. 2016.
      RIV/00216224:14330/16:00093942 Stať ve sborníku. Informatika. angličtina.
      Ganian, Robert (203 Česká republika, garant, domácí) -- Ramanujan, M.S. (360 Indonésie) -- Szeider, Stefan (40 Rakousko)
      Klíčová slova anglicky: CSP; backdoors
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2017 07:08.
      Podrobněji: https://is.muni.cz/publication/1376014/cs
    7. Battery-Aware Scheduling in Low Orbit: The GomX–3 Case
      BISGAARD, Morten, David GERHARDT, Holger HERMANNS, Jan KRČÁL, Gilles NIES a Marvin STENGER. Battery-Aware Scheduling in Low Orbit: The GomX–3 Case. In FM 2016: Formal Methods: 21st International Symposium. Berlin: Springer International Publishing. s. 559-576. ISBN 978-3-319-48988-9. doi:10.1007/978-3-319-48989-6_34. 2016.
      RIV/00216224:14330/16:00088808 Stať ve sborníku. Informatika. angličtina. Německo.
      Bisgaard, Morten (208 Dánsko) -- Gerhardt, David (208 Dánsko) -- Hermanns, Holger (276 Německo) -- Krčál, Jan (203 Česká republika, garant, domácí) -- Nies, Gilles (442 Lucembursko) -- Stenger, Marvin (276 Německo)
      Klíčová slova anglicky: KiBam; nano-satellite; stochastic model
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 1. 6. 2022 12:42.
      Podrobněji: https://is.muni.cz/publication/1377107/cs
    8. Complementing Semi-deterministic Büchi Automata
      BLAHOUDEK, František, Matthias HEIZMANN, Sven SCHEWE, Jan STREJČEK a Ming-Hsien TSAI. Complementing Semi-deterministic Büchi Automata. In Marsha Chechik, Jean-François Raskin. Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016. Berlin: Springer Berlin Heidelberg. s. 770-787. ISBN 978-3-662-49673-2. doi:10.1007/978-3-662-49674-9_49. 2016.
      URL
      RIV/00216224:14330/16:00088081 Stať ve sborníku. Informatika. angličtina. Německo.
      Blahoudek, František (203 Česká republika, domácí) -- Heizmann, Matthias (276 Německo) -- Schewe, Sven (276 Německo) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Tsai, Ming-Hsien (158 Tchaj-wan)
      Klíčová slova anglicky: Buchi automata;complementation
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 23:01.
      Podrobněji: https://is.muni.cz/publication/1351787/cs
    9. Counting Linear Extensions: Parameterizations by Treewidth
      GANIAN, Robert, Sebastian ORDYNIAK, Eduard EIBEN a Kanga KUSTAA. Counting Linear Extensions: Parameterizations by Treewidth. In Piotr Sankowski and Christos D. Zaroliagis. 24th Annual European Symposium on Algorithms, {ESA} 2016, August 22-24, 2016, Aarhus, Denmark. Aarhus, Denmark: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. s. 1-18. ISBN 978-3-95977-015-6. doi:10.4230/LIPIcs.ESA.2016.39. 2016.
      RIV/00216224:14330/16:00093946 Stať ve sborníku. Informatika. angličtina. Německo.
      Ganian, Robert (203 Česká republika, garant, domácí) -- Ordyniak, Sebastian (40 Rakousko) -- Eiben, Eduard (703 Slovensko) -- Kustaa, Kanga (246 Finsko)
      Klíčová slova anglicky: treewidth; linear extensions
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2017 07:09.
      Podrobněji: https://is.muni.cz/publication/1376045/cs
    10. Crossing Number is Hard for Kernelization
      DERŇÁR, Marek a Petr HLINĚNÝ. Crossing Number is Hard for Kernelization. In 32nd International Symposium on Computational Geometry (SoCG 2016). Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. s. "42:1"-"42:10", 10 s. ISBN 978-3-95977-009-5. doi:10.4230/LIPIcs.SoCG.2016.42. 2016.
      URL
      Název česky: Průsečíkové číslo je těžké kernelizovat
      RIV/00216224:14330/16:00088543 Stať ve sborníku. Informatika. angličtina. Německo.
      Derňár, Marek (703 Slovensko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: crossing number; kernelization; parameterized complexity
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2017 07:07.
      Podrobněji: https://is.muni.cz/publication/1367505/cs
    11. Decidability Results for Multi-objective Stochastic Games
      BRENGUIER, Romain a Vojtěch FOREJT. Decidability Results for Multi-objective Stochastic Games. In Artho C., Legay A., Peled D. International Symposium on Automated Technology for Verification and Analysis. Germany: Springer. s. 227-243. ISBN 978-3-319-46519-7. doi:10.1007/978-3-319-46520-3_15. 2016.
      RIV/00216224:14330/16:00094154 Stať ve sborníku. Informatika. angličtina. Německo.
      Brenguier, Romain (250 Francie) -- Forejt, Vojtěch (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: stochastic games; multi-criteria optimisation
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2017 07:18.
      Podrobněji: https://is.muni.cz/publication/1378305/cs
    12. DGRMiner: Anomaly Detection and Explanation in Dynamic Graphs
      VACULÍK, Karel a Lubomír POPELÍNSKÝ. DGRMiner: Anomaly Detection and Explanation in Dynamic Graphs. In Boström, H., Knobbe, A., Soares, C., Papapetrou, P. Advances in Intelligent Data Analysis XV - 15th International Symposium, IDA 2016. Neuveden: LNCS 9897, Springer. s. 308-319. ISBN 978-3-319-46348-3. doi:10.1007/978-3-319-46349-0_27. 2016.
      Název anglicky: DGRMiner: Anomaly Detection and Explanation in Dynamic Graphs
      RIV/00216224:14330/16:00091413 Stať ve sborníku. Informatika. angličtina. Velká Británie a Severní Irsko.
      Vaculík, Karel (203 Česká republika, garant, domácí) -- Popelínský, Lubomír (203 Česká republika, domácí)
      Klíčová slova anglicky: graph mining; data mining; dynamic graphs; rule mining; anomaly detection; outlier detection; anomaly explanation
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:16.
      Podrobněji: https://is.muni.cz/publication/1358700/cs
    13. Distributed synthesis in continuous time.
      HERMANNS, Holger, Jan KRČÁL a Steen VESTER. Distributed synthesis in continuous time. In International Conference on Foundations of Software Science and Computation Structures. Berlin: Springer. s. 353-369. ISBN 978-3-662-49629-9. doi:10.1007/978-3-662-49630-5_21. 2016.
      RIV/00216224:14330/16:00088813 Stať ve sborníku. Informatika. angličtina. Německo.
      Hermanns, Holger (276 Německo) -- Krčál, Jan (203 Česká republika, garant, domácí) -- Vester, Steen (208 Dánsko)
      Klíčová slova anglicky: distributed controller synthesis; interactive Markov chains; undecidabiliy
      Změnil: RNDr. Jan Krčál, Ph.D., učo 139854. Změněno: 9. 4. 2017 21:11.
      Podrobněji: https://is.muni.cz/publication/1377784/cs
    14. Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration
      KORENČIAK, Ľuboš, Antonín KUČERA a Vojtěch ŘEHÁK. Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration. In 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems. London: IEEE Computer Society. s. 367-372. ISBN 978-1-5090-3431-4. doi:10.1109/MASCOTS.2016.34. 2016.
      URL
      Název anglicky: Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration
      RIV/00216224:14330/16:00088476 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Korenčiak, Ľuboš (703 Slovensko, domácí) -- Kučera, Antonín (203 Česká republika, domácí) -- Řehák, Vojtěch (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Clocks: Protocols; Markov processes; Delays; Standards; Computational modeling
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 12. 5. 2017 07:03.
      Podrobněji: https://is.muni.cz/publication/1365671/cs
    15. Faster Statistical Model Checking for Unbounded Temporal Properties
      DACA, Przemyslaw, Thomas A. HENZINGER, Jan KŘETÍNSKÝ a Tatjana PETROV. Faster Statistical Model Checking for Unbounded Temporal Properties. In Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016. Berlin Heidelberg: Springer. s. 112-129. ISBN 978-3-662-49673-2. doi:10.1007/978-3-662-49674-9_7. 2016.
      RIV/00216224:14330/16:00088469 Stať ve sborníku. Informatika. angličtina. Německo.
      Daca, Przemyslaw (616 Polsko) -- Henzinger, Thomas A. (40 Rakousko) -- Křetínský, Jan (203 Česká republika, garant, domácí) -- Petrov, Tatjana (688 Srbsko)
      Klíčová slova anglicky: statistical model checking; verification; temporal logic
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 1. 6. 2022 12:34.
      Podrobněji: https://is.muni.cz/publication/1365646/cs
    16. Impact of Question Difficulty on Engagement and Learning
      PAPOUŠEK, Jan, Vít STANISLAV a Radek PELÁNEK. Impact of Question Difficulty on Engagement and Learning. In Alessandro Micarelli, John Stamper, Kitty Panourgia. Intelligent Tutoring Systems: 13th International Conference. Zagreb, Croatia: Springer International Publishing. s. 267-272. ISBN 978-3-319-39582-1. doi:10.1007/978-3-319-39583-8_28. 2016.
      URL
      RIV/00216224:14330/16:00090426 Stať ve sborníku. Informatika. angličtina.
      Papoušek, Jan (203 Česká republika, domácí) -- Stanislav, Vít (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: evaluation; engagement; learning curves; optimal difficulty
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 5. 2020 15:27.
      Podrobněji: https://is.muni.cz/publication/1350112/cs
    17. Inserting Multiple Edges into a Planar Graph
      CHIMANI, Markus a Petr HLINĚNÝ. Inserting Multiple Edges into a Planar Graph. In 32nd International Symposium on Computational Geometry (SoCG 2016). Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. s. "30:1"-"30:15", 15 s. ISBN 978-3-95977-009-5. doi:10.4230/LIPIcs.SoCG.2016.30. 2016.
      URL
      Název česky: Vkládání více hran do rovinného grafu
      RIV/00216224:14330/16:00088509 Stať ve sborníku. Informatika. angličtina. Německo.
      Chimani, Markus (276 Německo) -- Hliněný, Petr (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: crossing number; crossing minimization; planar insertion
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2017 07:05.
      Podrobněji: https://is.muni.cz/publication/1366561/cs
    18. Limit-Deterministic Büchi Automata for Linear Temporal Logic
      SICKERT, Salomon, Javier ESPARZA, Stefan JAAX a Jan KŘETÍNSKÝ. Limit-Deterministic Büchi Automata for Linear Temporal Logic. In Computer Aided Verification - 28th International Conference, CAV 2016. Switzerland: Springer. s. 312-332. ISBN 978-3-319-41539-0. doi:10.1007/978-3-319-41540-6_17. 2016.
      RIV/00216224:14330/16:00088472 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
      Sickert, Salomon (276 Německo) -- Esparza, Javier (724 Španělsko) -- Jaax, Stefan (276 Německo) -- Křetínský, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: verification; probabilistic model checking; temporal logic; automata; determinism
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 1. 6. 2022 12:45.
      Podrobněji: https://is.muni.cz/publication/1365651/cs
    19. Linear Distances between Markov Chains
      DACA, Przemyslaw, Thomas A. HENZINGER, Jan KŘETÍNSKÝ a Tatjana PETROV. Linear Distances between Markov Chains. In 27th International Conference on Concurrency Theory, CONCUR 2016. Schloss Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. s. 1-15. ISBN 978-3-95977-017-0. doi:10.4230/LIPIcs.CONCUR.2016.20. 2016.
      RIV/00216224:14330/16:00088470 Stať ve sborníku. Informatika. angličtina. Německo.
      Daca, Przemyslaw (616 Polsko) -- Henzinger, Thomas A. (40 Rakousko) -- Křetínský, Jan (203 Česká republika, garant, domácí) -- Petrov, Tatjana (688 Srbsko)
      Klíčová slova anglicky: verification; temporal logic; statistical model checking
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2017 07:02.
      Podrobněji: https://is.muni.cz/publication/1365647/cs
    20. MoChiBA: Probabilistic {LTL} Model Checking Using Limit-Deterministic Büchi Automata
      SICKERT, Salomon a Jan KŘETÍNSKÝ. MoChiBA: Probabilistic {LTL} Model Checking Using Limit-Deterministic Büchi Automata. In Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016. Switzerland: Springer. s. 130-137. ISBN 978-3-319-46519-7. doi:10.1007/978-3-319-46520-3_9. 2016.
      RIV/00216224:14330/16:00088473 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
      Sickert, Salomon (276 Německo) -- Křetínský, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: probabilistic model checking; verification; automata; temporal logic
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 1. 6. 2022 12:40.
      Podrobněji: https://is.muni.cz/publication/1365656/cs
    21. Off the Beaten Path: Let's Replace Term-Based Retrieval with k-NN Search
      BOYTSOV, Leonid, David NOVÁK, Yury MALKOV a Eric NYBERG. Off the Beaten Path: Let's Replace Term-Based Retrieval with k-NN Search. In CIKM'16: PROCEEDINGS OF THE 2016 ACM CONFERENCE ON INFORMATION AND KNOWLEDGE MANAGEMENT. NEW YORK: ASSOC COMPUTING MACHINERY. s. 1099-1108. ISBN 978-1-4503-4073-1. doi:10.1145/2983323.2983815. 2016.
      RIV/00216224:14330/16:00088811 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Boytsov, Leonid (840 Spojené státy) -- Novák, David (203 Česká republika, garant, domácí) -- Malkov, Yury (643 Rusko) -- Nyberg, Eric (840 Spojené státy)
      Klíčová slova anglicky: k-NN search; IBM Model 1; non-metric spaces; LSH
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. David Novák, Ph.D., učo 4335. Změněno: 7. 4. 2017 15:22.
      Podrobněji: https://is.muni.cz/publication/1377704/cs
    22. On Existential MSO and its Relation to ETH
      GANIAN, Robert, Ronald DE HAAN, Stefan SZEIDER a Iyad KANJ. On Existential MSO and its Relation to ETH. In Piotr Faliszewski and Anca Muscholl and Rolf Niedermeier. 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, August 22-26. Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. s. "42:1"-"42:14", 14 s. ISBN 978-3-95977-016-3. doi:10.4230/LIPIcs.MFCS.2016.42. 2016.
      RIV/00216224:14330/16:00093950 Stať ve sborníku. Informatika. angličtina. Německo.
      Ganian, Robert (203 Česká republika, garant, domácí) -- de Haan, Ronald (528 Nizozemské království) -- Szeider, Stefan (40 Rakousko) -- Kanj, Iyad (840 Spojené státy)
      Klíčová slova anglicky: algorithms; logic; exponential time hypothesis
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 8. 2019 12:09.
      Podrobněji: https://is.muni.cz/publication/1376050/cs
    23. On the Complexity Landscape of Connected f-Factor Problems
      GANIAN, Robert, N. S. NARAYANASWAMY, Sebastian ORDYNIAK, C. S. RAHUL a M. S. RAMANUJAN. On the Complexity Landscape of Connected f-Factor Problems. In Piotr Faliszewski and Anca Muscholl and Rolf Niedermeier. 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, August 22-26. Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. s. "41:1"-"41:14", 14 s. ISBN 978-3-95977-016-3. doi:10.4230/LIPIcs.MFCS.2016.41. 2016.
      RIV/00216224:14330/16:00093949 Stať ve sborníku. Informatika. angličtina. Německo.
      Ganian, Robert (203 Česká republika, garant, domácí) -- Narayanaswamy, N. S. (356 Indie) -- Ordyniak, Sebastian (40 Rakousko) -- Rahul, C. S. (356 Indie) -- Ramanujan, M. S. (356 Indie)
      Klíčová slova anglicky: algorithms; vertex deletion problems
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 12. 5. 2017 04:21.
      Podrobněji: https://is.muni.cz/publication/1376049/cs
    24. Online and Compositional Learning of Controllers with Application to Floor Heating
      LARSEN, Kim G., Marius MIKUCIONIS, Marco MUNIZ, Jiří SRBA a Jakob H. TAANKVIST. Online and Compositional Learning of Controllers with Application to Floor Heating. In Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'16). Nizozemsko: Springer. s. 244-259. ISBN 978-3-662-49673-2. doi:10.1007/978-3-662-49674-9_14. 2016.
      URL
      RIV/00216224:14330/16:00094027 Stať ve sborníku. Informatika. angličtina. Nizozemské království.
      Larsen, Kim G. (208 Dánsko) -- Mikucionis, Marius (440 Litva) -- Muniz, Marco (604 Peru) -- Srba, Jiří (203 Česká republika, garant, domácí) -- Taankvist, Jakob H. (208 Dánsko)
      Klíčová slova anglicky: floor heating; controller synthesis; hybrid automata
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 1. 6. 2022 12:44.
      Podrobněji: https://is.muni.cz/publication/1376768/cs
    25. Optimizing the Expected Mean Payoff in Energy Markov Decision Processes
      BRÁZDIL, Tomáš, Antonín KUČERA a Petr NOVOTNÝ. Optimizing the Expected Mean Payoff in Energy Markov Decision Processes. In Cyrille Artho, Axel Legay, Doron Peled. Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016. Heidelberg: Springer. s. 32-49. ISBN 978-3-319-46519-7. doi:10.1007/978-3-319-46520-3_3. 2016.
      RIV/00216224:14330/16:00088482 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Novotný, Petr (203 Česká republika)
      Klíčová slova anglicky: mean payoff; energy games
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 5. 2020 11:02.
      Podrobněji: https://is.muni.cz/publication/1366035/cs
    26. Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems
      BENEŠ, Nikola, Luboš BRIM, Martin DEMKO, Samuel PASTVA a David ŠAFRÁNEK. Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems. In Cyrille Artho et al. Automated Technology for Verification and Analysis. ATVA 2016. LNCS 9938. Neuveden: Springer International Publishing. s. 192-208. ISBN 978-3-319-46519-7. doi:10.1007/978-3-319-46520-3_13. 2016.
      Název anglicky: Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems
      RIV/00216224:14330/16:00088098 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Beneš, Nikola (203 Česká republika, domácí) -- Brim, Luboš (203 Česká republika, domácí) -- Demko, Martin (703 Slovensko, domácí) -- Pastva, Samuel (703 Slovensko, domácí) -- Šafránek, David (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: model checking; satisfiability modulo theories; Computational Tree Logic; dynamical systems; distributed algorithms
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:15.
      Podrobněji: https://is.muni.cz/publication/1352259/cs
    27. Polynomial-time Construction of Optimal MPI Derived Datatype Trees
      GANIAN, Robert, Martin KALANY, Stefan SZEIDER a Jesper Larsson TRAFF. Polynomial-time Construction of Optimal MPI Derived Datatype Trees. In 2016 IEEE 30TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS 2016). NEW YORK: IEEE. s. 638-647. ISBN 978-1-5090-2140-6. doi:10.1109/IPDPS.2016.13. 2016.
      RIV/00216224:14330/16:00093947 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Ganian, Robert (203 Česká republika, garant, domácí) -- Kalany, Martin (40 Rakousko) -- Szeider, Stefan (40 Rakousko) -- Traff, Jesper Larsson (40 Rakousko)
      Klíčová slova anglicky: MPI; derived datatypes; type reconstruction; dynamic programming
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2017 07:09.
      Podrobněji: https://is.muni.cz/publication/1376047/cs
    28. PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems
      ČEŠKA, Milan, Petr PILAŘ, Nikola PAOLETTI, Luboš BRIM a Marta KWIATKOWSKA. PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. In Marsha Chechik, Jean-François Raskin. 22nd International Conference, TACAS 2016. LNCS 9636. Berlin: Springer International Publishing. s. 367-384. ISBN 978-3-662-49673-2. doi:10.1007/978-3-662-49674-9_21. 2016.
      Název česky: PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems
      Název anglicky: PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems
      RIV/00216224:14330/16:00088144 Stať ve sborníku. Informatika. angličtina. Německo.
      Češka, Milan (203 Česká republika) -- Pilař, Petr (203 Česká republika, domácí) -- Paoletti, Nikola (826 Velká Británie a Severní Irsko) -- Brim, Luboš (203 Česká republika, garant, domácí) -- Kwiatkowska, Marta (826 Velká Británie a Severní Irsko)
      Klíčová slova anglicky: GPU; stochastic systems; model checking; parameter synthesis
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 16. 4. 2019 09:41.
      Podrobněji: https://is.muni.cz/publication/1354080/cs
    29. Regular Strategies and Strategy Improvement: Efficient Tools for Solving Large Patrolling Problems
      KUČERA, Antonín a Tomáš LAMSER. Regular Strategies and Strategy Improvement: Efficient Tools for Solving Large Patrolling Problems. In Catholijn M. Jonker, Stacy Marsella, John Thangarajah, Karl Tuyls. Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems. New York: ACM. s. 1171-1179. ISBN 978-1-4503-4239-1. 2016.
      ACM Digital Library
      RIV/00216224:14330/16:00088484 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Kučera, Antonín (203 Česká republika, garant, domácí) -- Lamser, Tomáš (203 Česká republika, domácí)
      Klíčová slova anglicky: patrolling games; strategy synthesis
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:32.
      Podrobněji: https://is.muni.cz/publication/1366040/cs
    30. Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams
      JONÁŠ, Martin a Jan STREJČEK. Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams. In Nadia Creignou and Daniel Le Berre. Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference. Berlin, Heidelberg: Springer. s. 267-283. ISBN 978-3-319-40969-6. doi:10.1007/978-3-319-40970-2_17. 2016.
      RIV/00216224:14330/16:00088245 Stať ve sborníku. Informatika. angličtina. Německo.
      Jonáš, Martin (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: SMT solving; quantified bit-vector formulas; BDD
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:22.
      Podrobněji: https://is.muni.cz/publication/1357165/cs
    31. Stability in Graphs and Games
      BRÁZDIL, Tomáš, Vojtěch FOREJT, Antonín KUČERA a Petr NOVOTNÝ. Stability in Graphs and Games. In Josee Desharnais, Radha Jagadeesan. 27th International Conference on Concurrency Theory, CONCUR 2016. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. s. 1-14. ISBN 978-3-95977-017-0. doi:10.4230/LIPIcs.CONCUR.2016.10. 2016.
      RIV/00216224:14330/16:00088483 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Forejt, Vojtěch (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Novotný, Petr (203 Česká republika)
      Klíčová slova anglicky: turn-based games; mean payoff; stability
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2017 07:04.
      Podrobněji: https://is.muni.cz/publication/1366038/cs
    32. The Complexity Landscape of Decompositional Parameters for ILP
      GANIAN, Robert a Sebastian ORDYNIAK. The Complexity Landscape of Decompositional Parameters for ILP. In Dale Schuurmans, Michael P. Wellman. Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence. USA: AAAI Press. s. 710-716. ISBN 978-1-57735-760-5. 2016.
      URL
      RIV/00216224:14330/16:00093940 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Ganian, Robert (203 Česká republika, garant, domácí) -- Ordyniak, Sebastian (276 Německo)
      Klíčová slova anglicky: ILP; treewidth
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 12. 5. 2020 19:53.
      Podrobněji: https://is.muni.cz/publication/1376002/cs
    33. The Crossing Number of the Cone of a Graph
      ALFARO, Carlos A., Alan ARROYO, Marek DERŇÁR a Bojan MOHAR. The Crossing Number of the Cone of a Graph. In Yifan Hu and Martin Nollenburg. Graph Drawing and Network Visualization - 24th International Symposium, GD 2016. LNCS 9801. Berlin: Springer Verlag. s. 427-438. ISBN 978-3-319-50105-5. doi:10.1007/978-3-319-50106-2_33. 2016.
      RIV/00216224:14330/16:00088630 Stať ve sborníku. Informatika. angličtina. Německo.
      Alfaro, Carlos A. (484 Mexiko) -- Arroyo, Alan (484 Mexiko) -- Derňár, Marek (703 Slovensko, garant, domácí) -- Mohar, Bojan (124 Kanada)
      Klíčová slova anglicky: Crossing number; apex graph
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:27.
      Podrobněji: https://is.muni.cz/publication/1371158/cs
    34. The Million-Key Question – Investigating the Origins of RSA Public Keys
      ŠVENDA, Petr, Matúš NEMEC, Peter SEKAN, Rudolf KVAŠŇOVSKÝ, David FORMÁNEK, David KOMÁREK a Václav MATYÁŠ. The Million-Key Question – Investigating the Origins of RSA Public Keys. In Thorsten Holz, Stefan Savage. Proceedings of 25th USENIX Security Symposium. Austin, Texas: USENIX Association. s. 893-910. ISBN 978-1-931971-32-4. 2016.
      URL
      Název anglicky: The Million-Key Question – Investigating the Origins of RSA Public Keys
      RIV/00216224:14330/16:00088076 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Švenda, Petr (203 Česká republika, garant, domácí) -- Nemec, Matúš (703 Slovensko, domácí) -- Sekan, Peter (703 Slovensko, domácí) -- Kvašňovský, Rudolf (703 Slovensko, domácí) -- Formánek, David (203 Česká republika, domácí) -- Komárek, David (203 Česká republika, domácí) -- Matyáš, Václav (203 Česká republika, domácí)
      Klíčová slova anglicky: rsa; fingerprinting; cryptographic library; side-channel analysis
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 14. 5. 2020 15:18.
      Podrobněji: https://is.muni.cz/publication/1351380/cs
    35. Tighter Loop Bound Analysis
      ČADEK, Pavel, Jan STREJČEK a Marek TRTÍK. Tighter Loop Bound Analysis. In Cyrille Artho and Axel Legay and Doron Peled. Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016. Berlin, Heidelberg: Springer. s. 512-527. ISBN 978-3-319-46519-7. doi:10.1007/978-3-319-46520-3_32. 2016.
      RIV/00216224:14330/16:00088246 Stať ve sborníku. Informatika. angličtina. Německo.
      Čadek, Pavel (203 Česká republika) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Trtík, Marek (203 Česká republika)
      Klíčová slova anglicky: loop bounds; symbolic execution
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 19:27.
      Podrobněji: https://is.muni.cz/publication/1357166/cs
    36. Using Decomposition-Parameters for QBF: Mind the Prefix!
      GANIAN, Robert, Sebastian ORDYNIAK a Eduard EIBEN. Using Decomposition-Parameters for QBF: Mind the Prefix! In Dale Schuurmans, Michael P. Wellman. Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence. USA: AAAI Press. s. 964-970. ISBN 978-1-57735-760-5. 2016.
      URL
      RIV/00216224:14330/16:00093941 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Ganian, Robert (203 Česká republika, garant, domácí) -- Ordyniak, Sebastian (276 Německo) -- Eiben, Eduard (703 Slovensko)
      Klíčová slova anglicky: QBF; treewidth
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 12. 5. 2020 19:47.
      Podrobněji: https://is.muni.cz/publication/1376008/cs
    37. Walker-Independent Features for Gait Recognition from Motion Capture Data
      BALÁŽIA, Michal a Petr SOJKA. Walker-Independent Features for Gait Recognition from Motion Capture Data. In Antonio Robles-Kelly, Marco Loog, Battista Biggio, Francisco Escolano, Richard Wilson. Proceedings of the joint IAPR International Workshops on Structural and Syntactic Pattern Recognition (SSPR 2016) and Statistical Techniques in Pattern Recognition (SPR 2016). LNCS 10029. Switzerland: Springer International Publishing AG. s. 310-321. ISBN 978-3-319-49054-0. doi:10.1007/978-3-319-49055-7_28. 2016.
      DOI conference web
      RIV/00216224:14330/16:00090768 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
      Balážia, Michal (703 Slovensko, garant, domácí) -- Sojka, Petr (203 Česká republika, domácí)
      Klíčová slova anglicky: machine learning; classification; gait recognition
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Michal Balážia, Ph.D., učo 256078. Změněno: 12. 2. 2018 17:11.
      Podrobněji: https://is.muni.cz/publication/1353537/cs

    2015

    1. Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks
      ABATE, Alessandro, Milan ČEŠKA, Luboš BRIM a Marta KWIATKOWSKA. Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks. In 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings. LNCS 9206. Berlin: Springer International Publishing. s. 195-213. ISBN 978-3-319-21689-8. doi:10.1007/978-3-319-21690-4_12. 2015.
      URL
      RIV/00216224:14330/15:00081179 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Abate, Alessandro (826 Velká Británie a Severní Irsko) -- Češka, Milan (203 Česká republika, domácí) -- Brim, Luboš (203 Česká republika, garant, domácí) -- Kwiatkowska, Marta (826 Velká Británie a Severní Irsko)
      Klíčová slova anglicky: continuous-time Markov chains; parameter exploration; model checking
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Luboš Brim, CSc., učo 197. Změněno: 16. 4. 2019 09:39.
      Podrobněji: https://is.muni.cz/publication/1316356/cs
    2. Class-Based Outlier Detection: Staying Zombies or Awaiting for Resurrection?
      NEZVALOVÁ, Leona, Lubomír POPELÍNSKÝ, Luis TORGO a Karel VACULÍK. Class-Based Outlier Detection: Staying Zombies or Awaiting for Resurrection? In Elisa Fromont, Tijl De Bie, Matthijs van Leeuwen. Advances in Intelligent Data Analysis XIV - 14th International Symposium, IDA 2015. Neuveden: Springer. s. 193-204. ISBN 978-3-319-24464-8. doi:10.1007/978-3-319-24465-5_17. 2015.
      Název anglicky: Class-Based Outlier Detection: Staying Zombies or Awaiting for Resurrection?
      RIV/00216224:14330/15:00084902 Stať ve sborníku. Informatika. angličtina. Velká Británie a Severní Irsko.
      Nezvalová, Leona (203 Česká republika, domácí) -- Popelínský, Lubomír (203 Česká republika, garant, domácí) -- Torgo, Luis (620 Portugalsko) -- Vaculík, Karel (203 Česká republika, domácí)
      Klíčová slova anglicky: class-based outlier detection; outlier interpretation; outlier description; anomaly detection; outlier detection
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 2. 5. 2016 06:26.
      Podrobněji: https://is.muni.cz/publication/1318718/cs
    3. Cobra: A Tool for Solving General Deductive Games
      KLIMOŠ, Miroslav a Antonín KUČERA. Cobra: A Tool for Solving General Deductive Games. In Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov. Proceedings of 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2015). Heidelberg: Springer. s. 31-47. ISBN 978-3-662-48898-0. doi:10.1007/978-3-662-48899-7_3. 2015.
      RIV/00216224:14330/15:00081423 Stať ve sborníku. Informatika. angličtina. Německo.
      Klimoš, Miroslav (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: deductive games; strategy synthesis
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2016 15:34.
      Podrobněji: https://is.muni.cz/publication/1323100/cs
    4. Controller Synthesis for MDPs and Frequency LTL\GU
      FOREJT, Vojtěch, Jan KRČÁL a Jan KŘETÍNSKÝ. Controller Synthesis for MDPs and Frequency LTL\GU. In LPAR 2015. Suva, Fiji: Springer. s. 162-177. ISBN 978-3-662-48898-0. doi:10.1007/978-3-662-48899-7_12. 2015.
      RIV/00216224:14330/15:00081286 Stať ve sborníku. Informatika. angličtina. Německo.
      Forejt, Vojtěch (203 Česká republika, domácí) -- Krčál, Jan (203 Česká republika) -- Křetínský, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: frequency LTL; quantitative logics; MDP controller synthesis; automata characterization
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2016 15:33.
      Podrobněji: https://is.muni.cz/publication/1319887/cs
    5. Counterexample Explanation by Learning Small Strategies in Markov Decision Processes
      BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Martin CHMELÍK, Andreas FELLNER a Jan KŘETÍNSKÝ. Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. In Daniel Kroening, Corina Pasareanu. Computer Aided Verification: 27th International Conference, CAV 2015. Cham: Springer. s. 158-177. ISBN 978-3-319-21689-8. doi:10.1007/978-3-319-21690-4_10. 2015.
      RIV/00216224:14330/15:00080918 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Chatterjee, Krishnendu (356 Indie) -- Chmelík, Martin (203 Česká republika) -- Fellner, Andreas (40 Rakousko) -- Křetínský, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: stochastic systems; verification; machine learning; decision tree
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2016 14:21.
      Podrobněji: https://is.muni.cz/publication/1306807/cs
    6. FO Model Checking on Posets of Bounded Width
      GAJARSKÝ, Jakub, Petr HLINĚNÝ, Jan OBDRŽÁLEK, Sebastian ORDYNIAK, M.S. RAMANUJAN, Daniel LOKSHTANOV a Saket SAURABH. FO Model Checking on Posets of Bounded Width. In Venkatesan Guruswami. 56th Annual Symposium on Foundations of Computer Science, FOCS 2015. Berkeley, CA, USA: IEEE Computer Society. s. 963-974. ISBN 978-1-4673-8191-8. doi:10.1109/FOCS.2015.63. 2015.
      sborník
      Název anglicky: FO Model Checking on Posets of Bounded Width
      RIV/00216224:14330/15:00081183 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Gajarský, Jakub (703 Slovensko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Obdržálek, Jan (203 Česká republika, domácí) -- Ordyniak, Sebastian (276 Německo, domácí) -- Ramanujan, M.S. (356 Indie) -- Lokshtanov, Daniel (578 Norsko) -- Saurabh, Saket (356 Indie)
      Klíčová slova anglicky: model checking; first-order logic; posets; width; metatheorem
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 8. 2019 11:58.
      Podrobněji: https://is.muni.cz/publication/1316736/cs
    7. Grid Mind: Prolog-Based Simulation Environment for Future Energy Grids
      ROSECKÝ, Jan, Filip PROCHÁZKA a Barbora BÜHNOVÁ. Grid Mind: Prolog-Based Simulation Environment for Future Energy Grids. In Proceedings of the 31st International Conference on Logic Programming (Technical Communications). Volume 1433. Aachen, Germany: CEUR-WS. s. 1-14. ISSN 1613-0073. 2015.
      URL
      RIV/00216224:14330/15:00084609 Stať ve sborníku. Informatika. angličtina. Německo.
      Rosecký, Jan (203 Česká republika, garant, domácí) -- Procházka, Filip (203 Česká republika) -- Bühnová, Barbora (203 Česká republika, domácí)
      Klíčová slova anglicky: Simulation Environment; Smart Grid; Communication and Networking; ICT; Prolog
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Změněno: 16. 11. 2015 02:13.
      Podrobněji: https://is.muni.cz/publication/1316777/cs
    8. Impact of Adaptive Educational System Behaviour on Student Motivation
      PAPOUŠEK, Jan a Radek PELÁNEK. Impact of Adaptive Educational System Behaviour on Student Motivation. In Artificial Intelligence in Education. Madrid: Springer International Publishing. s. 348-357. ISBN 978-3-319-19772-2. doi:10.1007/978-3-319-19773-9_35. 2015.
      URL
      RIV/00216224:14330/15:00083139 Stať ve sborníku. Informatika. angličtina. Španělsko.
      Papoušek, Jan (203 Česká republika, domácí) -- Pelánek, Radek (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: adaptive educational system; item difficulty; optimal challenge; experimental evaluation
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 2. 5. 2016 06:10.
      Podrobněji: https://is.muni.cz/publication/1301073/cs
    9. Language Emptiness of Continuous-Time Parametric Timed Automata
      BENEŠ, Nikola, Peter BEZDĚK, Kim G. LARSEN a Jiří SRBA. Language Emptiness of Continuous-Time Parametric Timed Automata. In Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann. Automata, Languages, and Programming. Neuveden: Springer Berlin Heidelberg. s. 69-81. ISBN 978-3-662-47665-9. doi:10.1007/978-3-662-47666-6_6. 2015.
      RIV/00216224:14330/15:00081178 Stať ve sborníku. Informatika. angličtina. Německo.
      Beneš, Nikola (203 Česká republika, garant, domácí) -- Bezděk, Peter (703 Slovensko, domácí) -- Larsen, Kim G. (208 Dánsko) -- Srba, Jiří (203 Česká republika)
      Klíčová slova anglicky: Parametric Timed Automata; Decidability; Language Emptiness
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Prof. Jiří Srba, Ph.D., učo 2841. Změněno: 30. 3. 2017 22:44.
      Podrobněji: https://is.muni.cz/publication/1316355/cs
    10. Long-Run Average Behaviour of Probabilistic Vector Addition Systems
      BRÁZDIL, Tomáš, Stefan KIEFER, Antonín KUČERA a Petr NOVOTNÝ. Long-Run Average Behaviour of Probabilistic Vector Addition Systems. In Neuveden. 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015. Neuveden: IEEE. s. 44-55. ISBN 978-1-4799-8875-4. doi:10.1109/LICS.2015.15. 2015.
      RIV/00216224:14330/15:00081425 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Kiefer, Stefan (276 Německo) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Novotný, Petr (203 Česká republika, domácí)
      Klíčová slova anglicky: Probabilistic Vector Addition Systems; Markov Chains
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2016 15:35.
      Podrobněji: https://is.muni.cz/publication/1323104/cs
    11. MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives
      BRÁZDIL, Tomáš, Chatterjee KRISHNENDU, Vojtěch FOREJT a Antonín KUČERA. MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives. In Christel Baier, Cesare Tinelli. Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings. Heidelberg: Springer. s. 181-187. ISBN 978-3-662-46680-3. doi:10.1007/978-3-662-46681-0_12. 2015.
      RIV/00216224:14330/15:00081426 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Krishnendu, Chatterjee (40 Rakousko) -- Forejt, Vojtěch (203 Česká republika) -- Kučera, Antonín (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Markov decision processes; mean-payoff reward; multi-objective optimisation; formal verification
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2016 15:34.
      Podrobněji: https://is.muni.cz/publication/1323105/cs
    12. On Degree Properties of Crossing-critical Families of Graphs
      BOKAL, Drago, Mojca BRAČIČ, Marek DERŇÁR a Petr HLINĚNÝ. On Degree Properties of Crossing-critical Families of Graphs. In Emilio Di Giacomo, Anna Lubiw. Graph Drawing and Network Visualization 2015, Lecture Notes in Computer Science 9411. LNCS 9411. Berlin: Springer Verlag. s. 75-86. ISBN 978-3-319-27260-3. doi:10.1007/978-3-319-27261-0_7. 2015.
      RIV/00216224:14330/15:00080985 Stať ve sborníku. Informatika. angličtina. Německo.
      Bokal, Drago (705 Slovinsko) -- Bračič, Mojca (705 Slovinsko) -- Derňár, Marek (703 Slovensko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Crossing number; Tile drawing; Degree-universality; Average degree; Crossing-critical graph
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 14. 2. 2017 08:59.
      Podrobněji: https://is.muni.cz/publication/1309625/cs
    13. On Frequency LTL in Probabilistic Systems
      FOREJT, Vojtěch a Jan KRČÁL. On Frequency LTL in Probabilistic Systems. In CONCUR 2015. Madrid, Spain: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. s. 184-197. ISBN 978-3-939897-91-0. doi:10.4230/LIPIcs.CONCUR.2015.184. 2015.
      RIV/00216224:14330/15:00081289 Stať ve sborníku. Informatika. angličtina. Německo.
      Forejt, Vojtěch (203 Česká republika, domácí) -- Krčál, Jan (203 Česká republika)
      Klíčová slova anglicky: markov chains; markov decision processes; ltl; controller synthesis
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2016 15:33.
      Podrobněji: https://is.muni.cz/publication/1319891/cs
    14. On Hardness of the Joint Crossing Number
      HLINĚNÝ, Petr a Gelasio SALAZAR. On Hardness of the Joint Crossing Number. In Khaled Elbassioni, Kazuhisa Makino. International Symposium on Algorithms and Computation (ISAAC 2015), Lecture Notes in Computer Science 9472. LNCS 9472. Berlin: Springer Verlag. s. 603-613. ISBN 978-3-662-48970-3. doi:10.1007/978-3-662-48971-0_51. 2015.
      RIV/00216224:14330/15:00081412 Stať ve sborníku. Informatika. angličtina. Německo.
      Hliněný, Petr (203 Česká republika, garant, domácí) -- Salazar, Gelasio (484 Mexiko)
      Klíčová slova anglicky: joint crossing number; crossing minimization
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 14. 2. 2017 08:58.
      Podrobněji: https://is.muni.cz/publication/1323060/cs
    15. Optimal Continuous Time Markov Decisions
      BUTKOVA, Yuliya, Hassan HATEFI, Holger HERMANNS a Jan KRČÁL. Optimal Continuous Time Markov Decisions. In ATVA 2015. Shanghai, China: Springer. s. 166-182. ISBN 978-3-319-24952-0. doi:10.1007/978-3-319-24953-7_12. 2015.
      RIV/00216224:14330/15:00081290 Stať ve sborníku. Informatika. angličtina. Německo.
      Butkova, Yuliya (643 Rusko) -- Hatefi, Hassan (364 Írán) -- Hermanns, Holger (276 Německo) -- Krčál, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Continuous time Markov decision process; time bounded reachability; uniformisation; experimental evaluation
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2016 15:33.
      Podrobněji: https://is.muni.cz/publication/1319892/cs
    16. Parameterized Algorithms for Parity Games
      GAJARSKÝ, Jakub, Sebastian ORDYNIAK, Michael LAMPIS, Valia MITSOU a Kazuhisa MAKINO. Parameterized Algorithms for Parity Games. In Italiano, Giuseppe F. , Pighizzini, Giovanni, Sannella, Donald T. MFCS 2015, LNCS 9235. 9235. vyd. Berlin: Springer. s. 336-347. ISBN 978-3-662-48053-3. doi:10.1007/978-3-662-48054-0_28. 2015.
      Název anglicky: Parameterized Algorithms for Parity Games
      RIV/00216224:14330/15:00081184 Stať ve sborníku. Informatika. angličtina. Německo.
      Gajarský, Jakub (703 Slovensko, garant, domácí) -- Ordyniak, Sebastian (276 Německo) -- Lampis, Michael (300 Řecko) -- Mitsou, Valia (300 Řecko) -- Makino, Kazuhisa (392 Japonsko)
      Klíčová slova anglicky: parity games; model checking; modular-width
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2016 15:11.
      Podrobněji: https://is.muni.cz/publication/1316738/cs
    17. Polynomial Time Decidability of Weighted Synchronization under Partial Observability
      KŘETÍNSKÝ, Jan, Kim Guldstrand LARSEN, Simon LAURSEN a Jiří SRBA. Polynomial Time Decidability of Weighted Synchronization under Partial Observability. In 26th International Conference on Concurrency Theory (CONCUR 2015). Dagstuhl, Germany: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. s. 142-154. ISBN 978-3-939897-91-0. doi:10.4230/LIPIcs.CONCUR.2015.142. 2015.
      RIV/00216224:14330/15:00081430 Stať ve sborníku. Informatika. angličtina. Německo.
      Křetínský, Jan (203 Česká republika, garant, domácí) -- Larsen, Kim Guldstrand (208 Dánsko) -- Laursen, Simon (208 Dánsko) -- Srba, Jiří (203 Česká republika, domácí)
      Klíčová slova anglicky: weighted automata; partial observability; synchronization; complexity
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 10. 2017 12:43.
      Podrobněji: https://is.muni.cz/publication/1323251/cs
    18. Scalable Analysis of Fault Trees with Dynamic Features
      KRČÁL, Jan a Pavel KRČÁL. Scalable Analysis of Fault Trees with Dynamic Features. In DSN 2015. Rio de Janeiro, Brazil: IEEE. s. 89-100. ISBN 978-1-4799-8629-3. doi:10.1109/DSN.2015.29. 2015.
      RIV/00216224:14330/15:00081287 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Krčál, Jan (203 Česká republika, garant, domácí) -- Krčál, Pavel (203 Česká republika)
      Klíčová slova anglicky: fault trees; dynamic fault trees; BDMP; nuclear safety; probabilistic safety analysis
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Jan Krčál, Ph.D., učo 139854. Změněno: 5. 12. 2015 15:41.
      Podrobněji: https://is.muni.cz/publication/1319888/cs
    19. Student Performance Prediction Using Collaborative Filtering Methods
      BYDŽOVSKÁ, Hana. Student Performance Prediction Using Collaborative Filtering Methods. In Conati, Heffernan, Mitrovic, Verdejo. 17th International Conference on Artificial Inteligence in Education - AIED 2015. Madrid: Springer International Publishing. s. 550-553. ISBN 978-3-319-19772-2. doi:10.1007/978-3-319-19773-9_59. 2015.
      RIV/00216224:14330/15:00082601 Stať ve sborníku. Informatika. angličtina. Španělsko.
      Bydžovská, Hana (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Student Performance; Prediction; Collaborative Filtering Methods; Recommender System
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 2. 5. 2016 06:00.
      Podrobněji: https://is.muni.cz/publication/1231855/cs
    20. The Hanoi Omega-Automata Format
      BABIAK, Tomáš, František BLAHOUDEK, Alexandre DURET-LUTZ, Joachim KLEIN, Jan KŘETÍNSKÝ, David MÜLLER, David PARKER a Jan STREJČEK. The Hanoi Omega-Automata Format. In Daniel Kroening, Corina Pasareanu. Computer Aided Verification: 27th International Conference, CAV 2015. Cham: Springer. s. 479-486. ISBN 978-3-319-21689-8. doi:10.1007/978-3-319-21690-4_31. 2015.
      RIV/00216224:14330/15:00080919 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
      Babiak, Tomáš (703 Slovensko, domácí) -- Blahoudek, František (203 Česká republika, domácí) -- Duret-Lutz, Alexandre (250 Francie) -- Klein, Joachim (276 Německo) -- Křetínský, Jan (203 Česká republika, garant, domácí) -- Müller, David (276 Německo) -- Parker, David (826 Velká Británie a Severní Irsko) -- Strejček, Jan (203 Česká republika, domácí)
      Klíčová slova anglicky: automata; infinite words; verification
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2016 14:24.
      Podrobněji: https://is.muni.cz/publication/1306808/cs
    21. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes
      CHATTERJEE, Krishnendu, Zuzana KOMÁRKOVÁ a Jan KŘETÍNSKÝ. Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. In Thirtieth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Los Alamitos, California: IEEE. s. 244-256. ISBN 978-1-4799-8875-4. doi:10.1109/LICS.2015.32. 2015.
      RIV/00216224:14330/15:00080917 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Chatterjee, Krishnendu (356 Indie) -- Komárková, Zuzana (203 Česká republika, domácí) -- Křetínský, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Markov decision process; mean payoff; optimization; probability
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 23. 10. 2017 12:46.
      Podrobněji: https://is.muni.cz/publication/1306804/cs
    22. Variable-Deletion Backdoors to Planning
      KRONEGGER, Martin, Sebastian ORDYNIAK a Andreas PFANDLER. Variable-Deletion Backdoors to Planning. In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence. Austin; United States: AI Access Foundation. s. 3305-3312. ISBN 978-1-57735-703-2. 2015.
      URL
      RIV/00216224:14330/15:00087408 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Kronegger, Martin (40 Rakousko) -- Ordyniak, Sebastian (276 Německo, domácí) -- Pfandler, Andreas (276 Německo)
      Klíčová slova anglicky: Planning; Fixed-parameter tractable algorithms; (Parameterized) complexity theory; Backdoors
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 13. 5. 2020 22:48.
      Podrobněji: https://is.muni.cz/publication/1344311/cs

    2014

    1. Atlas-based Transfer of Boundary Conditions for Biomechanical Simulation
      PLANTEFÈVE, Rosalie, Igor PETERLÍK, Hadrien COURTECUISSE, Raffaella TRIVISONNE, Jean-Pierre RADOUX a Stéphane COTIN. Atlas-based Transfer of Boundary Conditions for Biomechanical Simulation. In MICCAI - 17th International Conference on Medical Image Computing and Computer Assisted Intervention. Neuveden: Springer International Publishing. s. 33-40. ISBN 978-3-319-10469-0. doi:10.1007/978-3-319-10470-6_5. 2014.
      RIV/00216224:14610/14:00078001 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
      Plantefève, Rosalie (250 Francie) -- Peterlík, Igor (703 Slovensko, domácí) -- Courtecuisse, Hadrien (250 Francie) -- Trivisonne, Raffaella (380 Itálie) -- Radoux, Jean-Pierre (250 Francie) -- Cotin, Stéphane (250 Francie, garant)
      Klíčová slova anglicky: biomechanical modeling; elastic registration; atlas-based transfer; finite element method
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: Mgr. Marta Novotná Buršíková, učo 15689. Změněno: 8. 4. 2015 13:56.
      Podrobněji: https://is.muni.cz/publication/1214967/cs
    2. Backdoors into Heterogeneous Classes of SAT and CSP
      GASPERS, Serge, Sebastian ORDYNIAK, Stefan SZEIDER, Neelhara MISRA a Stanislav ZIVNY. Backdoors into Heterogeneous Classes of SAT and CSP. In Carla E. Brodley and Peter Stone. AAAI Press. Quebec: AAAI Press. s. 2652-2658. ISBN 978-1-57735-680-6. 2014.
      URL
      Název anglicky: Backdoors into Heterogeneous Classes of SAT and CSP
      RIV/00216224:14330/14:00077721 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Gaspers, Serge (442 Lucembursko) -- Ordyniak, Sebastian (276 Německo, garant, domácí) -- Szeider, Stefan (40 Rakousko) -- Misra, Neelhara (356 Indie) -- Zivny, Stanislav (203 Česká republika)
      Klíčová slova anglicky: parameterized complexity;satisfiability; constraint satisfaction; strong backdoor; polymorphism
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 12. 5. 2020 19:51.
      Podrobněji: https://is.muni.cz/publication/1212612/cs
    3. Backdoors to Planning
      KRONEGGER, Martin, Sebastian ORDYNIAK a Andreas PFANDLER. Backdoors to Planning. In Carla E. Brodley and Peter Stone. AAAI Press. Quebec: AAAI Press. s. 2300-2307. ISBN 978-1-57735-679-0. 2014.
      URL
      Název anglicky: Backdoors to Planning
      RIV/00216224:14330/14:00077723 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Kronegger, Martin (40 Rakousko) -- Ordyniak, Sebastian (276 Německo, garant, domácí) -- Pfandler, Andreas (40 Rakousko)
      Klíčová slova anglicky: parameterized complexity; planning; backdoors; causal graph
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 12. 5. 2020 19:52.
      Podrobněji: https://is.muni.cz/publication/1212616/cs
    4. Faster Existential FO Model Checking on Posets
      GAJARSKÝ, Jakub, Petr HLINĚNÝ, Jan OBDRŽÁLEK a Sebastian ORDYNIAK. Faster Existential FO Model Checking on Posets. In Hee-Kap Ahn, Chan-Su Shin. ISAAC 2014, LNCS 8889. Berlin: Springer International Publishing. s. 441-451. ISBN 978-3-319-13074-3. doi:10.1007/978-3-319-13075-0_35. 2014.
      RIV/00216224:14330/14:00074016 Stať ve sborníku. Informatika. angličtina. Německo.
      Gajarský, Jakub (703 Slovensko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Obdržálek, Jan (203 Česká republika, domácí) -- Ordyniak, Sebastian (276 Německo, domácí)
      Klíčová slova anglicky: existential first-order logic; parameterized complexity; kernelization; poset embedding
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 30. 3. 2016 10:02.
      Podrobněji: https://is.muni.cz/publication/1204410/cs
    5. From LTL to Deterministic Automata: A Safraless Compositional Approach
      ESPARZA, Javier a Jan KŘETÍNSKÝ. From LTL to Deterministic Automata: A Safraless Compositional Approach. In Computer Aided Verification - 26th International Conference, CAV 2014. Heidelberg Dordrecht London New York: Springer. s. 192-208. ISBN 978-3-319-08866-2. doi:10.1007/978-3-319-08867-9_13. 2014.
      RIV/00216224:14330/14:00073709 Stať ve sborníku. Informatika. angličtina. Německo.
      Esparza, Javier (724 Španělsko) -- Křetínský, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: linear temporal logic; automata; determinism; synthesis; probabilistic model checking
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2015 05:43.
      Podrobněji: https://is.muni.cz/publication/1187165/cs
    6. Media Streams Planning with Uncertain Link Capacities
      TROUBIL, Pavel, Hana RUDOVÁ a Petr HOLUB. Media Streams Planning with Uncertain Link Capacities. In IEEE 13th International Symposium on Network Computing and Applications NCA 2014. USA: IEEE. s. 197-204. ISBN 978-1-4799-5393-6. doi:10.1109/NCA.2014.37. 2014.
      RIV/00216224:14330/14:00073798 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Troubil, Pavel (203 Česká republika, garant, domácí) -- Rudová, Hana (203 Česká republika, domácí) -- Holub, Petr (203 Česká republika, domácí)
      Klíčová slova anglicky: multicast routing; networks; optimization; uncertainty; multimedia; data transfer; ant colony optimization; transcoding; CoUniverse
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: doc. Mgr. Hana Rudová, Ph.D., učo 3840. Změněno: 6. 4. 2016 01:55.
      Podrobněji: https://is.muni.cz/publication/1195496/cs
    7. Minimizing Running Costs in Consumption Systems
      BRÁZDIL, Tomáš, David KLAŠKA, Antonín KUČERA a Petr NOVOTNÝ. Minimizing Running Costs in Consumption Systems. In Armin Biere, Roderick Bloem. Computer Aided Verification. Neuveden: Springer International Publishing. s. 457-472. ISBN 978-3-319-08866-2. doi:10.1007/978-3-319-08867-9_30. 2014.
      URL
      RIV/00216224:14330/14:00074098 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Klaška, David (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Novotný, Petr (203 Česká republika, domácí)
      Klíčová slova anglicky: controller synthesis; consumption systems; mean payoff
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Petr Novotný, Ph.D., učo 172743. Změněno: 16. 11. 2014 13:12.
      Podrobněji: https://is.muni.cz/publication/1206158/cs
    8. On Interactions Among Scheduling Policies: Finding Efficient Queue Setup Using High-Resolution Simulations
      KLUSÁČEK, Dalibor a Šimon TÓTH. On Interactions Among Scheduling Policies: Finding Efficient Queue Setup Using High-Resolution Simulations. In Fernando Silva, Inês Dutra and Vítor Santos Costa. Euro-Par 2014. 1. vyd. Neuveden: Springer. s. 138-149. ISBN 978-3-319-09872-2. doi:10.1007/978-3-319-09873-9_12. 2014.
      RIV/00216224:14330/14:00073693 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
      Klusáček, Dalibor (203 Česká republika, domácí) -- Tóth, Šimon (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Scheduling; Queues; Fairshare; Simulation
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Dalibor Klusáček, Ph.D., učo 50752. Změněno: 21. 4. 2016 15:57.
      Podrobněji: https://is.muni.cz/publication/1186298/cs
    9. Permissive Controller Synthesis for Probabilistic Systems.
      DRAEGER, Klaus, Vojtěch FOREJT, Marta KWIATKOWSKA, David PARKER a Mateusz UJMA. Permissive Controller Synthesis for Probabilistic Systems. In Erika Ábrahám, Klaus Havelund. Tools and Algorithms for the Construction and Analysis of Systems. Berlin: Springer Berlin Heidelberg. s. 531-546. ISBN 978-3-642-54861-1. doi:10.1007/978-3-642-54862-8_44. 2014.
      RIV/00216224:14330/14:00080050 Stať ve sborníku. Informatika. angličtina. Německo.
      Draeger, Klaus (276 Německo) -- Forejt, Vojtěch (203 Česká republika, garant, domácí) -- Kwiatkowska, Marta (826 Velká Británie a Severní Irsko) -- Parker, David (826 Velká Británie a Severní Irsko) -- Ujma, Mateusz (616 Polsko)
      Klíčová slova anglicky: controller synthesis; stochastic games; optimisation
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2015 05:04.
      Podrobněji: https://is.muni.cz/publication/1297489/cs
    10. Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
      FOREJT, Vojtěch, Daniel KROENING, Ganesh NARAYANASWAMY a Subodh SHARMA. Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs. In Cliff Jones, Pekka Pihlajasaari, Jun Sun. FM 2014: Formal Methods. Switzerland: Springer. s. 263-278. ISBN 978-3-319-06409-3. doi:10.1007/978-3-319-06410-9_19. 2014.
      RIV/00216224:14330/14:00080049 Stať ve sborníku. Informatika. angličtina. Švýcarsko.
      Forejt, Vojtěch (203 Česká republika, garant, domácí) -- Kroening, Daniel (276 Německo) -- Narayanaswamy, Ganesh (356 Indie) -- Sharma, Subodh (356 Indie)
      Klíčová slova anglicky: MPI; verification; parallel computation
      Změnil: RNDr. Vojtěch Forejt, Ph.D., LL.B. (Hons), učo 99155. Změněno: 11. 4. 2015 15:12.
      Podrobněji: https://is.muni.cz/publication/1297486/cs
    11. Probabilistic Bisimulation: Naturally on Distributions
      HERMANNS, Holger, Jan KRČÁL a Jan KŘETÍNSKÝ. Probabilistic Bisimulation: Naturally on Distributions. In CONCUR 2014 - Concurrency Theory - 25th International Conference. Heidelberg Dordrecht London New York: Springer. s. 249-265. ISBN 978-3-662-44583-9. doi:10.1007/978-3-662-44584-6_18. 2014.
      RIV/00216224:14330/14:00073710 Stať ve sborníku. Informatika. angličtina. Německo.
      Hermanns, Holger (276 Německo) -- Krčál, Jan (203 Česká republika) -- Křetínský, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: stochastic systems; probability; bisimulation; non-determinism; process algebra; coalgebra
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2015 05:44.
      Podrobněji: https://is.muni.cz/publication/1187166/cs
    12. Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata
      KOMÁRKOVÁ, Zuzana a Jan KŘETÍNSKÝ. Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata. In Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014. Heidelberg Dordrecht London New York: Springer. s. 235-241. ISBN 978-3-319-11935-9. doi:10.1007/978-3-319-11936-6_17. 2014.
      RIV/00216224:14330/14:00073720 Stať ve sborníku. Informatika. angličtina. Německo.
      Komárková, Zuzana (203 Česká republika, domácí) -- Křetínský, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: linear temporal logic; automata; determinism; synthesis; probabilistic model checking
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2015 05:46.
      Podrobněji: https://is.muni.cz/publication/1187948/cs
    13. Symbolic Memory with Pointers
      TRTÍK, Marek a Jan STREJČEK. Symbolic Memory with Pointers. In Franck Cassez and Jean-Francois Raskin. Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014. Berlin Heidelberg: Springer. s. 380-395. ISBN 978-3-319-11935-9. doi:10.1007/978-3-319-11936-6_27. 2014.
      Název česky: Symbolická paměť s ukazateli
      RIV/00216224:14330/14:00074092 Stať ve sborníku. Informatika. angličtina. Německo.
      Trtík, Marek (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: symbolic execution; symbolic memory
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 13. 11. 2014 16:23.
      Podrobněji: https://is.muni.cz/publication/1205943/cs
    14. Synchronizing Strategies under Partial Observability
      LARSEN, Kim G., Simon LAURSEN a Jiří SRBA. Synchronizing Strategies under Partial Observability. In Proceedings of the 25th International Conference on Concurrency Theory (CONCUR'14). Nizozemsko: Springer-Verlag. s. 188-202. ISBN 978-3-662-44583-9. doi:10.1007/978-3-662-44584-6_14. 2014.
      Link
      RIV/00216224:14330/14:00080034 Stať ve sborníku. Informatika. angličtina. Nizozemské království.
      Larsen, Kim G. (208 Dánsko) -- Laursen, Simon (208 Dánsko) -- Srba, Jiří (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: synchronization problem; finite automata; partial observability; complexity
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: Prof. Jiří Srba, Ph.D., učo 2841. Změněno: 10. 4. 2015 08:39.
      Podrobněji: https://is.muni.cz/publication/1297400/cs
    15. Verification of Markov Decision Processes using Learning Algorithms
      BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Martin CHMELÍK, Vojtěch FOREJT, Jan KŘETÍNSKÝ, Marta KWIATKOWSKA, David PARKER a Mateusz UJMA. Verification of Markov Decision Processes using Learning Algorithms. In Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014. Heidelberg Dordrecht London New York: Springer. s. 98-114. ISBN 978-3-319-11935-9. doi:10.1007/978-3-319-11936-6_8. 2014.
      RIV/00216224:14330/14:00075875 Stať ve sborníku. Informatika. angličtina. Německo.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Chatterjee, Krishnendu (356 Indie) -- Chmelík, Martin (203 Česká republika) -- Forejt, Vojtěch (203 Česká republika) -- Křetínský, Jan (203 Česká republika, garant, domácí) -- Kwiatkowska, Marta (616 Polsko) -- Parker, David (826 Velká Británie a Severní Irsko) -- Ujma, Mateusz (616 Polsko)
      Klíčová slova anglicky: stochastic systems; verification; machine learning; statistical model checking; reinforcement learning
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2015 05:45.
      Podrobněji: https://is.muni.cz/publication/1187947/cs
    16. Zero-reachability in probabilistic multi-counter automata
      BRÁZDIL, Tomáš, Stefan KIEFER, Antonín KUČERA, Petr NOVOTNÝ a Joost-Pieter KATOEN. Zero-reachability in probabilistic multi-counter automata. In Thomas Henzinger and Dale Miller. Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). New York: ACM. s. nestránkováno, 10 s. ISBN 978-1-4503-2886-9. doi:10.1145/2603088.2603161. 2014.
      URL
      RIV/00216224:14330/14:00074099 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Kiefer, Stefan (276 Německo) -- Kučera, Antonín (203 Česká republika, garant, domácí) -- Novotný, Petr (203 Česká republika, domácí) -- Katoen, Joost-Pieter (528 Nizozemské království)
      Klíčová slova anglicky: markov chains; petri nets; reachability; multicounter automata
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. RNDr. Petr Novotný, Ph.D., učo 172743. Změněno: 16. 11. 2014 14:20.
      Podrobněji: https://is.muni.cz/publication/1206161/cs

    2013

    1. Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis
      CHATTERJEE, Krishnendu, Andreas GAISER a Jan KŘETÍNSKÝ. Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis. In Computer Aided Verification - 25th International Conference, CAV 2013. Heidelberg Dordrecht London New York: Springer. s. 559-575. ISBN 978-3-642-39798-1. doi:10.1007/978-3-642-39799-8_37. 2013.
      RIV/00216224:14330/13:00066041 Stať ve sborníku. Informatika. angličtina. Německo.
      Chatterjee, Krishnendu (356 Indie) -- Gaiser, Andreas (276 Německo) -- Křetínský, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: linear temporal logic; automata; determinism; synthesis; probabilistic model checking
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2014 23:03.
      Podrobněji: https://is.muni.cz/publication/1091149/cs
    2. Automatic Detection of Concepts from Problem Solving Times
      PELÁNEK, Radek, Petr BOROŠ, Juraj NIŽNAN a Jiří ŘIHÁK. Automatic Detection of Concepts from Problem Solving Times. In Lane, H.C.; Yacef, K.; Mostow, J.; Pavlik, P. Artificial Intelligence in Education. USA: Springer. s. 595-598. ISBN 978-3-642-39111-8. doi:10.1007/978-3-642-39112-5_67. 2013.
      Název česky: Automatická detekce konceptů v datech o časech řešení problémů
      Název anglicky: Automatic Detection of Concepts from Problem Solving Times
      RIV/00216224:14330/13:00070141 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Pelánek, Radek (203 Česká republika, garant, domácí) -- Boroš, Petr (203 Česká republika, domácí) -- Nižnan, Juraj (703 Slovensko, domácí) -- Řihák, Jiří (203 Česká republika, domácí)
      Klíčová slova anglicky: problem solving; concepts; student modeling
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Změněno: 29. 4. 2014 09:55.
      Podrobněji: https://is.muni.cz/publication/1129497/cs
    3. Compact Symbolic Execution
      SLABÝ, Jiří, Jan STREJČEK a Marek TRTÍK. Compact Symbolic Execution. In Hung Dang-Van and Mizuhito Ogawa. 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013. Berlin Heidelberg: Springer. s. 193-207. ISBN 978-3-319-02443-1. doi:10.1007/978-3-319-02444-8_15. 2013.
      Název česky: Kompaktní symbolická exekuce
      RIV/00216224:14330/13:00066165 Stať ve sborníku. Informatika. angličtina. Německo.
      Slabý, Jiří (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí) -- Trtík, Marek (203 Česká republika, domácí)
      Klíčová slova anglicky: symbolic execution; compact symbolic execution; testing
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 18. 11. 2013 14:45.
      Podrobněji: https://is.muni.cz/publication/1110971/cs
    4. Comparison of LTL to Deterministic Rabin Automata Translators
      BLAHOUDEK, František, Mojmír KŘETÍNSKÝ a Jan STREJČEK. Comparison of LTL to Deterministic Rabin Automata Translators. In Kenneth L. McMillan, Aart Middeldorp, and Andrei Voronkov. Logic for Programming Artificial Intelligence and Reasoning, LPAR-19. Berlin Heidelberg: Springer. s. 164-172. ISBN 978-3-642-45220-8. doi:10.1007/978-3-642-45221-5_12. 2013.
      Název česky: Srovnání překladačů LTL na deterministické Rabinovy automaty
      RIV/00216224:14330/13:00066512 Stať ve sborníku. Informatika. angličtina. Německo.
      Blahoudek, František (203 Česká republika, domácí) -- Křetínský, Mojmír (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: linear temporal logic; deterministic omega-automata; LTL3DRA; Rabinizer; ltl2dstar
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Změněno: 3. 6. 2014 11:26.
      Podrobněji: https://is.muni.cz/publication/1129430/cs
    5. Compositional Verification and Optimization of Interactive Markov Chains
      HERMANNS, Holger, Jan KRČÁL a Jan KŘETÍNSKÝ. Compositional Verification and Optimization of Interactive Markov Chains. In CONCUR 2013 - Concurrency Theory - 24th International Conference. Heidelberg Dordrecht London New York: Springer. s. 364-379. ISBN 978-3-642-40183-1. doi:10.1007/978-3-642-40184-8_26. 2013.
      RIV/00216224:14330/13:00066202 Stať ve sborníku. Informatika. angličtina. Německo.
      Hermanns, Holger (276 Německo) -- Krčál, Jan (203 Česká republika, domácí) -- Křetínský, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: interactive Markov chains; continuous-time stochstic systems; composition; verification; specification
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2014 23:21.
      Podrobněji: https://is.muni.cz/publication/1112167/cs
    6. DiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C & C++ Programs
      BARNAT, Jiří, Luboš BRIM, Vojtěch HAVEL, Jan HAVLÍČEK, Jan KRIHO, Milan LENČO, Petr ROČKAI, Vladimír ŠTILL a Jiří WEISER. DiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C & C++ Programs. In Sharygina, Natasha; Veith, Helmut. Computer Aided Verification 2013. Heidelberg: Springer. s. 863-868. ISBN 978-3-642-39798-1. doi:10.1007/978-3-642-39799-8_60. 2013.
      Název česky: DiVinE 3.0 -- Explicitně-stavový nástroj pro ověřování modelu pro vícevláknové C a C++ programy
      RIV/00216224:14330/13:00066526 Stať ve sborníku. Informatika. angličtina. Německo.
      Barnat, Jiří (203 Česká republika, garant, domácí) -- Brim, Luboš (203 Česká republika, domácí) -- Havel, Vojtěch (203 Česká republika, domácí) -- Havlíček, Jan (203 Česká republika, domácí) -- Kriho, Jan (203 Česká republika, domácí) -- Lenčo, Milan (703 Slovensko, domácí) -- Ročkai, Petr (703 Slovensko, domácí) -- Štill, Vladimír (203 Česká republika, domácí) -- Weiser, Jiří (203 Česká republika, domácí)
      Klíčová slova anglicky: model checking; LLVM; C++; C; LTL; timed automata
      Druh sborníku: předkonferenční sborník
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2014 23:39.
      Podrobněji: https://is.muni.cz/publication/1130026/cs
    7. Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment
      BLAHOUDEK, František, Tomáš BABIAK, Mojmír KŘETÍNSKÝ a Jan STREJČEK. Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment. In Hung Dang-Van and Mizuhito Ogawa. 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013. Berlin Heidelberg: Springer. s. 24-38. ISBN 978-3-319-02443-1. doi:10.1007/978-3-319-02444-8_4. 2013.
      Název česky: Efektivní překlad LTL na deterministické Rabinovy automaty
      RIV/00216224:14330/13:00066175 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Blahoudek, František (203 Česká republika, domácí) -- Babiak, Tomáš (703 Slovensko, domácí) -- Křetínský, Mojmír (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: linear temporal logic; deterministic omega-automata
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Změněno: 15. 11. 2013 23:58.
      Podrobněji: https://is.muni.cz/publication/1111172/cs
    8. Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking
      BRIM, Luboš, Milan ČEŠKA, Sven DRAŽAN a David ŠAFRÁNEK. Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking. In 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. Berlin: Springer Berlin Heidelberg. s. 107-123. ISBN 978-3-642-39798-1. doi:10.1007/978-3-642-39799-8_7. 2013.
      URL
      RIV/00216224:14330/13:00066280 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Brim, Luboš (203 Česká republika, domácí) -- Češka, Milan (203 Česká republika, domácí) -- Dražan, Sven (203 Česká republika, domácí) -- Šafránek, David (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: continuous-time Markov chains; parameter exploration; model checking
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2014 23:26.
      Podrobněji: https://is.muni.cz/publication/1119886/cs
    9. FO Model Checking of Interval Graphs
      GANIAN, Robert, Petr HLINĚNÝ, Daniel KRÁĽ, Jan OBDRŽÁLEK, Jarett SCHWARTZ a Jakub TESKA. FO Model Checking of Interval Graphs. In Fedor V. Fomin, Rusins Freivalds, Marta Z. Kwiatkowska, David Peleg. ICALP (2) 2013. Berlin Heidelberg: Springer. s. 250-262. ISBN 978-3-642-39211-5. doi:10.1007/978-3-642-39212-2_24. 2013.
      RIV/00216224:14330/13:00066379 Stať ve sborníku. Informatika. angličtina. Německo.
      Ganian, Robert (840 Spojené státy) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Kráľ, Daniel (203 Česká republika) -- Obdržálek, Jan (203 Česká republika, domácí) -- Schwartz, Jarett (840 Spojené státy) -- Teska, Jakub (203 Česká republika)
      Klíčová slova anglicky: interval graphs; first-order logic; parameterized complexity
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 14. 11. 2014 13:23.
      Podrobněji: https://is.muni.cz/publication/1123297/cs
    10. Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory
      BENEŠ, Nikola, Benoit DELAHAYE, Uli FAHRENBERG, Jan KŘETÍNSKÝ a Axel LEGAY. Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory. In CONCUR 2013 - Concurrency Theory - 24th International Conference. Heidelberg Dordrecht London New York: Springer. s. 76-90. ISBN 978-3-642-40183-1. doi:10.1007/978-3-642-40184-8_7. 2013.
      RIV/00216224:14330/13:00066201 Stať ve sborníku. Informatika. angličtina. Německo.
      Beneš, Nikola (203 Česká republika, domácí) -- Delahaye, Benoit (250 Francie) -- Fahrenberg, Uli (276 Německo) -- Křetínský, Jan (203 Česká republika, garant, domácí) -- Legay, Axel (56 Belgie)
      Klíčová slova anglicky: modal transition systems; composition; specification; interface theory
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2014 23:19.
      Podrobněji: https://is.muni.cz/publication/1112166/cs
    11. Incremental Sampling-Based Algorithm for Minimum-Violation Motion Planning
      REYES CASTRO, Luis Ignacio, Pratik CHAUDHARI, Jana TŮMOVÁ, Sertac KARAMAN, Emilio FRAZZOLI a Daniela RUS. Incremental Sampling-Based Algorithm for Minimum-Violation Motion Planning. In Proceedings of the IEEE 52nd Annual Conference on Decision and Control (CDC), 2013. Florence, Italy: IEEE. s. 3217-3224. ISBN 978-1-4673-5717-3. doi:10.1109/CDC.2013.6760374. 2013.
      RIV/00216224:14330/13:00081960 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Reyes Castro, Luis Ignacio (840 Spojené státy) -- Chaudhari, Pratik (840 Spojené státy) -- Tůmová, Jana (203 Česká republika, garant, domácí) -- Karaman, Sertac (840 Spojené státy) -- Frazzoli, Emilio (840 Spojené státy) -- Rus, Daniela (840 Spojené státy)
      Klíčová slova anglicky: motion planning; temporal logic; sampling-based planning; formal methods
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 5. 5. 2016 07:01.
      Podrobněji: https://is.muni.cz/publication/1163972/cs
    12. Kernelization Using Structural Parameters on Sparse Graph Classes
      GAJARSKÝ, Jakub, Petr HLINĚNÝ, Jan OBDRŽÁLEK, Sebastian ORDYNIAK, Felix REIDL, Peter ROSSMANITH, Fernando Sanchez VILLAAMIL a Somnath SIKDAR. Kernelization Using Structural Parameters on Sparse Graph Classes. In Hans L. Bodlaender a Giuseppe F. Italiano. ESA 2013. Berlin Heidelberg: Springer. s. 529-540. ISBN 978-3-642-40449-8. doi:10.1007/978-3-642-40450-4_45. 2013.
      RIV/00216224:14330/13:00066378 Stať ve sborníku. Informatika. angličtina. Německo.
      Gajarský, Jakub (703 Slovensko, domácí) -- Hliněný, Petr (203 Česká republika, garant, domácí) -- Obdržálek, Jan (203 Česká republika, domácí) -- Ordyniak, Sebastian (276 Německo, domácí) -- Reidl, Felix (276 Německo) -- Rossmanith, Peter (276 Německo) -- Villaamil, Fernando Sanchez (724 Španělsko) -- Sikdar, Somnath (356 Indie)
      Klíčová slova anglicky: kernelization; parameterized complexity; sparse graphs
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Změněno: 14. 11. 2014 13:21.
      Podrobněji: https://is.muni.cz/publication/1123296/cs
    13. Media Streams Planning with Transcoding
      TROUBIL, Pavel, Hana RUDOVÁ a Petr HOLUB. Media Streams Planning with Transcoding. In 12th IEEE International Symposium on Network Computing and Applications (NCA 2013). USA: IEEE. s. 41-48. ISBN 978-0-7685-5043-6. doi:10.1109/NCA.2013.46. 2013.
      Název anglicky: Media Streams Planning with Transcoding
      RIV/00216224:14330/13:00066216 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Troubil, Pavel (203 Česká republika, garant, domácí) -- Rudová, Hana (203 Česká republika, domácí) -- Holub, Petr (203 Česká republika, domácí)
      Klíčová slova anglicky: networks; planning; multimedia; data transfer; integer programming; transcoding; CoUniverse
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 30. 4. 2014 08:51.
      Podrobněji: https://is.muni.cz/publication/1112614/cs
    14. MoTraS: A Tool for Modal Transition Systems and Their Extensions
      KŘETÍNSKÝ, Jan a Salomon SICKERT. MoTraS: A Tool for Modal Transition Systems and Their Extensions. In Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013. Heidelberg Dordrecht London New York: Springer. s. 487-491. ISBN 978-3-319-02443-1. doi:10.1007/978-3-319-02444-8_41. 2013.
      RIV/00216224:14330/13:00066203 Stať ve sborníku. Informatika. angličtina. Německo.
      Křetínský, Jan (203 Česká republika, garant, domácí) -- Sickert, Salomon (276 Německo)
      Klíčová slova anglicky: modal transition systems; composition; specification; interface theory
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2014 00:06.
      Podrobněji: https://is.muni.cz/publication/1112168/cs
    15. Multi-level Clustering on Metric Spaces Using a Multi-GPU Platform
      BARRIENTOS, Ricardo, Jose GOMEZ, Christian TENLLADO, Manuel PRIETO-MATIAS a Pavel ZEZULA. Multi-level Clustering on Metric Spaces Using a Multi-GPU Platform. In Felix Wolf and Bernd Mohr and Dieter an Mey. Euro-Par 2013 Parallel Processing - 19th International Conference. Berlin: Springer. s. 216-228. ISBN 978-3-642-40046-9. doi:10.1007/978-3-642-40047-6_24. 2013.
      URL
      Název anglicky: Multi-level Clustering on Metric Spaces Using a Multi-GPU Platform
      RIV/00216224:14330/13:00066560 Stať ve sborníku. Informatika. angličtina. Německo.
      Barrientos, Ricardo (724 Španělsko) -- Gomez, Jose (724 Španělsko) -- Tenllado, Christian (724 Španělsko) -- Prieto-Matias, Manuel (724 Španělsko) -- Zezula, Pavel (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Similarity Search; Metric Spaces; GPU; Range queries
      Druh sborníku: předkonferenční sborník
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 27. 4. 2014 23:33.
      Podrobněji: https://is.muni.cz/publication/1131896/cs
    16. Multi-objective Discounted Reward Verification in Graphs and MDPs
      CHATTERJEE, Krishnendu, Vojtěch FOREJT a Dominik WOJTCZAK. Multi-objective Discounted Reward Verification in Graphs and MDPs. In Kenneth L. McMillan and Aart Middeldorp and Andrei Voronkov. Logic for Programming, Artificial Intelligence, and Reasoning. Berlin, Heidelberg: Springer. s. 228-242. ISBN 978-3-642-45220-8. doi:10.1007/978-3-642-45221-5_17. 2013.
      RIV/00216224:14330/13:00072859 Stať ve sborníku. Informatika. angličtina. Německo.
      Chatterjee, Krishnendu (356 Indie) -- Forejt, Vojtěch (203 Česká republika, garant, domácí) -- Wojtczak, Dominik (616 Polsko)
      Klíčová slova anglicky: multi-objective verification; markov decision processes; graphs
      Druh sborníku: předkonferenční sborník
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2014 20:09.
      Podrobněji: https://is.muni.cz/publication/1174049/cs
    17. On Stochastic Games with Multiple Objectives
      CHEN, Taolue, Vojtěch FOREJT, Marta KWIATKOWSKA, Aistis SIMAITIS a Clemens WILTSCHE. On Stochastic Games with Multiple Objectives. In Krishnendu Chatterjee and Jiri Sgall. Proc. 38th International Symposium on Mathematical Foundations of Computer Science (MFCS'13). Berlin, Heidelberg: Springer. s. 266-277. ISBN 978-3-642-40312-5. doi:10.1007/978-3-642-40313-2_25. 2013.
      RIV/00216224:14330/13:00072858 Stať ve sborníku. Informatika. angličtina. Německo.
      Chen, Taolue (156 Čína) -- Forejt, Vojtěch (203 Česká republika, garant, domácí) -- Kwiatkowska, Marta (826 Velká Británie a Severní Irsko) -- Simaitis, Aistis (440 Litva) -- Wiltsche, Clemens (40 Rakousko)
      Klíčová slova anglicky: multi-objective verification; stochastic games
      Druh sborníku: předkonferenční sborník
      Změnil: RNDr. Vojtěch Forejt, Ph.D., LL.B. (Hons), učo 99155. Změněno: 11. 4. 2015 15:23.
      Podrobněji: https://is.muni.cz/publication/1174048/cs
    18. Optimal Control of MDPs with Temporal Logic Constraints
      SVOREŇOVÁ, Mária, Ivana ČERNÁ a Calin BELTA. Optimal Control of MDPs with Temporal Logic Constraints. In Proceedings of The 52nd IEEE Conference on Decision and Control. Neuveden: Omnipress for the IEEE Control Systems Society. s. 3938-3943. ISBN 978-1-4673-5714-2. doi:10.1109/CDC.2013.6760491. 2013.
      URL
      RIV/00216224:14330/13:00066298 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Svoreňová, Mária (703 Slovensko, domácí) -- Černá, Ivana (203 Česká republika, garant, domácí) -- Belta, Calin (840 Spojené státy)
      Klíčová slova anglicky: automatic synthesis Markov decision processes LTL
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 31. 3. 2014 12:52.
      Podrobněji: https://is.muni.cz/publication/1120956/cs
    19. Parameter Estimation for LDA-Frames
      MATERNA, Jiří. Parameter Estimation for LDA-Frames. In Lucy Vanderwende, Hal Daume III, Katrin Kirchhoff. Proceedings of the 2013 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. Atlanta, Georgia: Association for Computational Linguistics. s. 482-486. ISBN 978-1-937284-47-3. 2013.
      URL
      Název česky: Odhad parametrů pro LDA rámce
      RIV/00216224:14330/13:00069065 Stať ve sborníku. Informatika. angličtina. Česká republika.
      Materna, Jiří (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: LDA-Frames; semantic frames; valency frames; non-parametric methods
      Druh sborníku: předkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 21. 2. 2018 15:57.
      Podrobněji: https://is.muni.cz/publication/1119969/cs
    20. PRISM-games: A model checker for stochastic multi-player games
      CHEN, Taolue, Vojtěch FOREJT, Marta KWIATKOWSKA, David PARKER a Aistis SIMAITIS. PRISM-games: A model checker for stochastic multi-player games. In Nir Piterman and Scott A. Smolka. TACAS 2013. Berlin, Heidelberg: Springer. s. 185-191. ISBN 978-3-642-36741-0. doi:10.1007/978-3-642-36742-7_13. 2013.
      URL
      RIV/00216224:14330/13:00068069 Stať ve sborníku. Informatika. angličtina. Německo.
      Chen, Taolue (156 Čína) -- Forejt, Vojtěch (203 Česká republika, garant, domácí) -- Kwiatkowska, Marta (616 Polsko) -- Parker, David (826 Velká Británie a Severní Irsko) -- Simaitis, Aistis (440 Litva)
      Klíčová slova anglicky: model-checker; stochastic games
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2014 20:10.
      Podrobněji: https://is.muni.cz/publication/1095782/cs
    21. Rabinizer 2: Small Deterministic Automata for LTL\GU
      KŘETÍNSKÝ, Jan a Ruslan LEDESMA GARZA. Rabinizer 2: Small Deterministic Automata for LTL\GU. In Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013. Heidelberg Dordrecht London New York: Springer. s. 446-450. ISBN 978-3-319-02443-1. doi:10.1007/978-3-319-02444-8_32. 2013.
      RIV/00216224:14330/13:00066204 Stať ve sborníku. Informatika. angličtina. Německo.
      Křetínský, Jan (203 Česká republika, garant, domácí) -- Ledesma Garza, Ruslan (484 Mexiko)
      Klíčová slova anglicky: linear temporal logic; automata; determinism; synthesis; probabilistic model checking
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2014 00:07.
      Podrobněji: https://is.muni.cz/publication/1112170/cs
    22. Trading Performance for Stability in Markov Decision Processes
      BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Vojtěch FOREJT a Antonín KUČERA. Trading Performance for Stability in Markov Decision Processes. In Proceedings of 28th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2013). London: IEEE Computer Society. s. 331-340. ISBN 978-1-4799-0413-6. doi:10.1109/LICS.2013.39. 2013.
      RIV/00216224:14330/13:00066541 Stať ve sborníku. Informatika. angličtina. Spojené státy.
      Brázdil, Tomáš (203 Česká republika, domácí) -- Chatterjee, Krishnendu (356 Indie) -- Forejt, Vojtěch (203 Česká republika, domácí) -- Kučera, Antonín (203 Česká republika, garant, domácí)
      Klíčová slova anglicky: Markov decision processes; optimization
      Druh sborníku: postkonferenční sborník
      Mezinárodní význam: ano
      Recenzováno: ano
      Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 24. 4. 2014 18:43.
      Podrobněji: https://is.muni.cz/publication/1130508/cs
Zobrazeno: 18. 4. 2024 16:08