Masaryk University

Publication Records

česky | in English

Filter publications

    2022

    1. Code Quality Defects Across Introductory Programming Topics
      EFFENBERGER, Tomáš and Radek PELÁNEK. Code Quality Defects Across Introductory Programming Topics. Online. 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, 2022, p. 941-947. ISBN 978-1-4503-9070-5. Available from: https://dx.doi.org/10.1145/3478431.3499415.
      ACM Digital library
      RIV/00216224:14330/22:00127006 Proceedings paper. English. United States of America.
      Effenberger, Tomáš (203 Czech Republic, guarantor, belonging to the institution) -- Pelánek, Radek (203 Czech Republic, belonging to the institution)
      Keywords in English: introductory programming; python; code quality; feedback
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/3/2023 12:00.
      More: https://is.muni.cz/publication/2227159/en
    2. Evaluating Code Improvements in Software Quality Course Projects
      CHREN, Stanislav, Martin MACÁK, Bruno ROSSI and Barbora BÜHNOVÁ. Evaluating Code Improvements in Software Quality Course Projects. Online. In Proceedings of The 25th International Conference on Evaluation and Assessment in Software Engineering. New York, NY, USA: Association for Computing Machinery (ACM), 2022, p. 160-169. ISBN 978-1-4503-9613-4. Available from: https://dx.doi.org/10.1145/3530019.3530036.
      RIV/00216224:14330/22:00125535 Proceedings paper. English.
      Chren, Stanislav (703 Slovakia, guarantor, belonging to the institution) -- Macák, Martin (703 Slovakia, belonging to the institution) -- Rossi, Bruno (380 Italy, belonging to the institution) -- Bühnová, Barbora (203 Czech Republic, belonging to the institution)
      Keywords in English: Software Engineering; Software Engineering Education; Software Quality; Static Code Analysis; Qualitative Analysis
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Martin Macák, Ph.D., učo 410452. Changed: 12/3/2023 21:21.
      More: https://is.muni.cz/publication/1841477/en
    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Ý and Ankur CHATTOPADHYAY. Evaluating Two Approaches to Assessing Student Progress in Cybersecurity Exercises. Online. In Proceedings of the 53rd ACM Technical Symposium on Computer Science Education (SIGCSE '22). New York, NY, USA: ACM, 2022, p. 787-793. ISBN 978-1-4503-9070-5. Available from: https://dx.doi.org/10.1145/3478431.3499414.
      YouTube video Preprint on ArXiv.org
      RIV/00216224:14610/22:00125013 Proceedings paper. English. United States of America.
      Švábenský, Valdemar (703 Slovakia, guarantor, belonging to the institution) -- Vykopal, Jan (203 Czech Republic, belonging to the institution) -- Čeleda, Pavel (203 Czech Republic, belonging to the institution) -- Chudovský, Radoslav (703 Slovakia, belonging to the institution)
      Keywords in English: cybersecurity education; command-line history; educational data mining; learning analytics; assessment; modeling
      International impact: yes
      Reviewed: yes
      Changed by: Mgr. Alena Mokrá, učo 362754. Changed: 30/3/2023 13:22.
      More: https://is.muni.cz/publication/1797699/en
    4. Experience with Abrupt Transition to Remote Teaching of Embedded Systems
      KONIARIK, Jan, Daniel DLHOPOLČEK and Martin UKROP. Experience with Abrupt Transition to Remote Teaching of Embedded Systems. Online. In Proceedings of the 2022 ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE ’22). Dublin, Ireland: ACM, 2022, p. 386-392. ISBN 978-1-4503-9201-3. Available from: https://dx.doi.org/10.1145/3502718.3524821.
      ACM Digital library
      RIV/00216224:14330/22:00126231 Proceedings paper. English. United States of America.
      Koniarik, Jan (203 Czech Republic, belonging to the institution) -- Dlhopolček, Daniel (703 Slovakia, belonging to the institution) -- Ukrop, Martin (703 Slovakia, guarantor, belonging to the institution)
      Keywords in English: emote teaching; embedded systems; remote hardware access
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/3/2023 11:40.
      More: https://is.muni.cz/publication/1874378/en
    5. Graph Product Structure for h-Framed Graphs
      BEKOS, Michael A., Giordano DA LOZZO, Petr HLINĚNÝ and Michael KAUFMANN. Graph Product Structure for h-Framed Graphs. Online. In Bae, Sang Won and Park, Heejin. 33rd International Symposium on Algorithms and Computation (ISAAC 2022). LIPIcs 248. Dagstuhl, Germany: Schloss Dagstuhl, 2022, p. "23:1"-"23:15", 15 pp. ISBN 978-3-95977-258-7. Available from: https://dx.doi.org/10.4230/LIPIcs.ISAAC.2022.23.
      DOI open access
      RIV/00216224:14330/22:00129307 Proceedings paper. English. Germany.
      Bekos, Michael A. (300 Greece) -- Da Lozzo, Giordano (380 Italy) -- Hliněný, Petr (203 Czech Republic, guarantor, belonging to the institution) -- Kaufmann, Michael (276 Germany)
      Keywords in English: Graph product structure theory; h-framed graphs; k-map graphs; queue number; twin-width
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/3/2023 12:07.
      More: https://is.muni.cz/publication/2244009/en
    6. 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Á and Felix SCHRÖDER. Characterization of Matrices with Bounded Graver Bases and Depth Parameters and Applications to Integer Programming. Online. In Proceedings of the 49th International Colloquium on Automata, Languages, and Programming (ICALP 2022). Dagstuhl, Germany: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022, p. "29:1"-"29:20", 20 pp. ISBN 978-3-95977-235-8. Available from: https://dx.doi.org/10.4230/LIPIcs.ICALP.2022.29.
      RIV/00216224:14330/22:00126328 Proceedings paper. English. Germany.
      Briański, Marcin (616 Poland) -- Koutecký, Martin (203 Czech Republic) -- Kráľ, Daniel (203 Czech Republic, guarantor, belonging to the institution) -- Pekárková, Kristýna (203 Czech Republic, belonging to the institution) -- Schröder, Felix (276 Germany)
      Keywords in English: integer programming; width parameters; matroids; Graver basis; tree-depth; fixed parameter tractability
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Daniel Kráľ, Ph.D., DSc., učo 44742. Changed: 13/1/2023 09:41.
      More: https://is.muni.cz/publication/1876400/en
    7. Implicit Neural Representations for Generative Modeling of Living Cell Shapes
      WIESNER, David, Julian SUK, Sven DUMMER, David SVOBODA and Jelmer WOLTERINK. Implicit Neural Representations for Generative Modeling of Living Cell Shapes. Online. 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, 2022, p. 58-67. ISBN 978-3-031-16439-2. Available from: https://dx.doi.org/10.1007/978-3-031-16440-8_6.
      URL
      Name in Czech: Implicitní neurální reprezentace pro generativní modelování tvaru živých buněk
      RIV/00216224:14330/22:00125774 Proceedings paper. English. Switzerland.
      Wiesner, David (203 Czech Republic, belonging to the institution) -- Suk, Julian (528 Netherlands) -- Dummer, Sven (528 Netherlands) -- Svoboda, David (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: cell shape modeling; neural networks; implicit neural representations; signed distance function; generative model; interpolation
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/3/2023 10:42.
      More: https://is.muni.cz/publication/1851540/en
    8. Improving ligand transport trajectory within flexible receptor in CaverDock
      NĚMCOVÁ, Petra, Jana HOZZOVÁ and Jiří FILIPOVIČ. Improving ligand transport trajectory within flexible receptor in CaverDock. Online. In SAC '22: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing. USA: Association for Computing Machinery, 2022, p. 619-626. ISBN 978-1-4503-8713-2. Available from: https://dx.doi.org/10.1145/3477314.3506988.
      URL
      RIV/00216224:14610/22:00125815 Proceedings paper. English. United States of America.
      Němcová, Petra (203 Czech Republic, belonging to the institution) -- Hozzová, Jana (703 Slovakia, belonging to the institution) -- Filipovič, Jiří (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: CaverDock; ligand transport; flexible receptor; molecular docking; search heuristic; continuous space search
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: Mgr. Marie Šípková, DiS., učo 437722. Changed: 7/2/2024 16:11.
      More: https://is.muni.cz/publication/1853582/en
    9. Interpretable Gait Recognition by Granger Causality
      BALÁŽIA, Michal, Kateřina HLAVÁČKOVÁ-SCHINDLER, Petr SOJKA and Claudia PLANT. Interpretable Gait Recognition by Granger Causality. In Proceedings of 26th International Conference on Pattern Recognition, ICPR 2022. Los Alamitos, CA, USA: IEEE, 2022, p. 1069-1075. ISBN 978-1-6654-9062-7. Available from: https://dx.doi.org/10.1109/ICPR56361.2022.9956624.
      preprint (arXiv) fulltext PDF (DOI)
      RIV/00216224:14330/22:00125672 Proceedings paper. English. Czech Republic.
      Balážia, Michal (703 Slovakia, guarantor, belonging to the institution) -- Hlaváčková-Schindler, Kateřina (203 Czech Republic) -- Sojka, Petr (203 Czech Republic, belonging to the institution) -- Plant, Claudia (40 Austria)
      Keywords in English: Granger causality; gait recognition
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/3/2023 10:34.
      More: https://is.muni.cz/publication/1847097/en
    10. 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 and 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, 2022, p. 1-11. ISBN 978-1-4503-9889-3. Available from: https://dx.doi.org/10.1145/3562939.3565629.
      URL
      RIV/00216224:14330/22:00127298 Proceedings paper. English. United States of America.
      Kriglstein, Simone (40 Austria, belonging to the institution)
      Keywords in English: Training; Virtual Reality; Gender; Virtual Agents
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 6/4/2023 08:50.
      More: https://is.muni.cz/publication/2235518/en
    11. Model-based Approach for Building Trust in Autonomous Drones through Digital Twins
      IQBAL, Danish and Barbora BÜHNOVÁ. Model-based Approach for Building Trust in Autonomous Drones through Digital Twins. Online. In 2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC). USA: IEEE, 2022, p. 656-662. ISBN 978-1-6654-5258-8. Available from: https://dx.doi.org/10.1109/SMC53654.2022.9945227.
      URL
      RIV/00216224:14330/22:00126492 Proceedings paper. English.
      Iqbal, Danish (586 Pakistan, belonging to the institution) -- Bühnová, Barbora (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Trust; Modeling; Autonomous Drones; Digital Twin; Run-time Verification
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 6/4/2023 10:02.
      More: https://is.muni.cz/publication/2212726/en
    12. Monte Carlo Methods for Industry 4.0 Applications
      KOSTKA, Petr, Bruno ROSSI and Mouzhi GE. Monte Carlo Methods for Industry 4.0 Applications. Online. In International Conference on Systems, Man, and Cybernetics (SMC'22). Not specified: IEEE, 2022, p. 242-247. ISBN 978-1-6654-5258-8. Available from: https://dx.doi.org/10.1109/SMC53654.2022.9945553.
      RIV/00216224:14330/22:00126184 Proceedings paper. English.
      Kostka, Petr (203 Czech Republic, belonging to the institution) -- Rossi, Bruno (380 Italy, guarantor, belonging to the institution) -- Ge, Mouzhi (156 China)
      Keywords in English: Industry 4.0; Monte Carlo Simulations; MCMC; MC
      International impact: yes
      Reviewed: yes
      Changed by: Bruno Rossi, PhD, učo 232464. Changed: 10/3/2023 17:40.
      More: https://is.muni.cz/publication/1863710/en
    13. On Usefulness of Outlier Elimination in Classification Tasks
      HETLEROVIĆ, Dušan, Lubomír POPELÍNSKÝ, P. BRAZDIL, C. SOARES and F. FREAITAS. On Usefulness of Outlier Elimination in Classification Tasks. Online. In Tassadit Bouadi, Élisa Fromont, Eyke Hüllermeier. International Symposium on Intelligent Data Analysis 2022. Rennes: Springer, 2022, p. 143-156. ISBN 978-3-031-01332-4. Available from: https://dx.doi.org/10.1007/978-3-031-01333-1_12.
      Name in Czech: On Usefulness of Outlier Elimination in Classification Tasks
      Name (in English): On Usefulness of Outlier Elimination in Classification Tasks
      RIV/00216224:14330/22:00126186 Proceedings paper. English.
      Hetlerović, Dušan (703 Slovakia, belonging to the institution) -- Popelínský, Lubomír (203 Czech Republic, belonging to the institution)
      Keywords in English: Outlier elimination; Metalearning; Average ranking; Reduction of portfolios
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/3/2023 12:48.
      More: https://is.muni.cz/publication/1863726/en
    14. On-the-fly Adaptation of Patrolling Strategies in Changing Environments
      BRÁZDIL, Tomáš, David KLAŠKA, Antonín KUČERA, Vít MUSIL, Petr NOVOTNÝ and Vojtěch ŘEHÁK. On-the-fly Adaptation of Patrolling Strategies in Changing Environments. Online. In James Cussens, Kun Zhang. Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, UAI 2022. Neuveden: Proceedings of Machine Learning Research, 2022, p. 244-254. ISBN 978-1-7138-6329-8.
      Paper URL
      RIV/00216224:14330/22:00127027 Proceedings paper. English.
      Brázdil, Tomáš (203 Czech Republic, belonging to the institution) -- Klaška, David (203 Czech Republic, belonging to the institution) -- Kučera, Antonín (203 Czech Republic, guarantor, belonging to the institution) -- Musil, Vít (203 Czech Republic, belonging to the institution) -- Novotný, Petr (203 Czech Republic, belonging to the institution) -- Řehák, Vojtěch (203 Czech Republic, belonging to the institution)
      Keywords in English: patrolling games; strategy synthesis
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 5/4/2023 03:29.
      More: https://is.muni.cz/publication/2227363/en
    15. Parameterised Partially-Predrawn Crossing Number
      HAMM, Thekla and Petr HLINĚNÝ. Parameterised Partially-Predrawn Crossing Number. Online. In Goaoc, Xavier and Kerber, Michael. 38th International Symposium on Computational Geometry (SoCG 2022). LIPIcs Vol. 224. Dagstuhl, Germany: Schloss Dagstuhl, 2022, p. "46:1"-"46:15", 15 pp. ISBN 978-3-95977-227-3. Available from: https://dx.doi.org/10.4230/LIPIcs.SoCG.2022.46.
      DOI open access
      RIV/00216224:14330/22:00129306 Proceedings paper. English. Germany.
      Hamm, Thekla (276 Germany) -- Hliněný, Petr (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Crossing Number; Drawing Extension; Parameterised Complexity; Partial Planarity
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Changed: 6/1/2023 11:16.
      More: https://is.muni.cz/publication/2243997/en
    16. Precisional Detection Strategy for 6LoWPAN Networks in IoT
      MBAREK, Bacem, Mouzhi GE and Tomáš PITNER. Precisional Detection Strategy for 6LoWPAN Networks in IoT. Online. In Vladimír Mařík; Dimitar Filev; Mengchu Zhou; Edward Tunsel; Edward Tunsel. International Conference on Systems, Man, and Cybernetics (SMC. Prague: IEEE, 2022, p. 1006-1011. ISBN 978-1-6654-5258-8. Available from: https://dx.doi.org/10.1109/SMC53654.2022.9945346.
      URL
      Name (in English): Precisional Detection Strategy for 6LoWPAN Networks in IoT
      RIV/00216224:14330/22:00126779 Proceedings paper. English. Czech Republic.
      Mbarek, Bacem (788 Tunisia, belonging to the institution) -- Ge, Mouzhi (156 China) -- Pitner, Tomáš (203 Czech Republic, belonging to the institution)
      Keywords in English: IoT; Network; 6LoWPAN; Security; Intrusion Detection.
      Changed by: Bacem Mbarek, PhD, učo 242111. Changed: 18/3/2023 16:32.
      More: https://is.muni.cz/publication/2221277/en
    17. Preventing Cheating in Hands-on Lab Assignments
      VYKOPAL, Jan, Valdemar ŠVÁBENSKÝ, Pavel ŠEDA and Pavel ČELEDA. Preventing Cheating in Hands-on Lab Assignments. Online. In Proceedings of the 53rd ACM Technical Symposium on Computer Science Education (SIGCSE '22). New York, NY, USA: ACM, 2022, p. 78-84. ISBN 978-1-4503-9070-5. Available from: https://dx.doi.org/10.1145/3478431.3499420.
      Preprint on ArXiv.org
      RIV/00216224:14610/22:00125129 Proceedings paper. English. United States of America.
      Vykopal, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Švábenský, Valdemar (703 Slovakia, belonging to the institution) -- Šeda, Pavel (203 Czech Republic, belonging to the institution) -- Čeleda, Pavel (203 Czech Republic, belonging to the institution)
      Keywords in English: summative assessment; automatic problem generation; networking; operating systems; cybersecurity; exercise; homework; case study
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Valdemar Švábenský, Ph.D., učo 395868. Changed: 26/1/2023 16:14.
      More: https://is.muni.cz/publication/1816366/en
    18. Process Mining Analysis of Puzzle-Based Cybersecurity Training
      MACÁK, Martin, Radek OŠLEJŠEK and Barbora BÜHNOVÁ. Process Mining Analysis of Puzzle-Based Cybersecurity Training. Online. 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, 2022, p. 449-455. ISBN 978-1-4503-9201-3. Available from: https://dx.doi.org/10.1145/3502718.3524819.
      Permalink to the publisher Accepted manuscript (arxiv.org)
      Name (in English): Process Mining Analysis of Puzzle-Based Cybersecurity Training
      RIV/00216224:14330/22:00125555 Proceedings paper. English. United Kingdom of Great Britain and Northern Ireland.
      Macák, Martin (703 Slovakia, guarantor, belonging to the institution) -- Ošlejšek, Radek (203 Czech Republic, belonging to the institution) -- Bühnová, Barbora (203 Czech Republic, belonging to the institution)
      Keywords in English: cybersecurity training; CTF game; process mining; data analysis
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: doc. RNDr. Radek Ošlejšek, Ph.D., učo 3636. Changed: 19/12/2023 17:08.
      More: https://is.muni.cz/publication/1842421/en
    19. Twin-Width and Transductions of Proper k-Mixed-Thin Graphs
      BALABÁN, Jakub, Petr HLINĚNÝ and Jan JEDELSKÝ. Twin-Width and Transductions of Proper k-Mixed-Thin Graphs. In Michael A. Bekos and Michael Kaufmann. WG 2022: Graph-Theoretic Concepts in Computer Science. LNCS 13453. Cham: Springer Nature, 2022, p. 43-55. ISBN 978-3-031-15913-8. Available from: https://dx.doi.org/10.1007/978-3-031-15914-5_4.
      URL URL
      RIV/00216224:14330/22:00127036 Proceedings paper. English. Switzerland.
      Balabán, Jakub (203 Czech Republic, belonging to the institution) -- Hliněný, Petr (203 Czech Republic, guarantor, belonging to the institution) -- Jedelský, Jan (203 Czech Republic, belonging to the institution)
      Keywords in English: twin-width;proper interval graph;proper mixed-thin graph;transduction equivalence
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/3/2023 12:02.
      More: https://is.muni.cz/publication/2227560/en
    20. Weighted Model Counting with Twin-Width
      GANIAN, Robert, Filip POKRÝVKA, André SCHIDLER, Kirill SIMONOV and Stefan SZEIDER. Weighted Model Counting with Twin-Width. Online. 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, 2022, p. "15:1"-"15:17", 17 pp. ISBN 978-3-95977-242-6. Available from: https://dx.doi.org/10.4230/LIPIcs.SAT.2022.15.
      RIV/00216224:14330/22:00126576 Proceedings paper. English. Germany.
      Ganian, Robert (203 Czech Republic) -- Pokrývka, Filip (703 Slovakia, belonging to the institution)
      Keywords in English: Weighted model counting;twin-width;parameterized complexity;SAT
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/3/2023 11:54.
      More: https://is.muni.cz/publication/2215105/en

    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 and Billy Bob BRUMLEY. A formula for disaster: a unified approach to elliptic curve special-point-based attacks. Online. In Tibouchi M., Wang H. Advances in Cryptology – ASIACRYPT 2021. Cham: Springer, 2021, p. 130-159. ISBN 978-3-030-92061-6. Available from: https://dx.doi.org/10.1007/978-3-030-92062-3_5.
      Publisher website Website
      RIV/00216224:14330/21:00119154 Proceedings paper. English. Switzerland.
      Sedláček, Vladimír (203 Czech Republic, guarantor, belonging to the institution) -- Jančár, Ján (703 Slovakia, belonging to the institution)
      Keywords in English: elliptic curve cryptography; ECDH; side-channel analysis; RPA; ZVP; EPA; exceptional points
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 16/8/2023 13:22.
      More: https://is.muni.cz/publication/1787738/en
    2. Better Model, Worse Predictions: The Dangers in Student Model Comparisons
      ČECHÁK, Jaroslav and 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, 2021, p. 500-511. ISBN 978-3-030-78291-7. Available from: https://dx.doi.org/10.1007/978-3-030-78292-4_40.
      RIV/00216224:14330/21:00121881 Proceedings paper. English. Switzerland.
      Čechák, Jaroslav (203 Czech Republic, belonging to the institution) -- Pelánek, Radek (203 Czech Republic, belonging to the institution)
      Keywords in English: Additive factor model; Student modeling; Simulation; Model comparison
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 16/8/2023 13:19.
      More: https://is.muni.cz/publication/1780791/en
    3. Computational Complexity of Covering Multigraphs with Semi-Edges: Small Cases
      BOK, Jan, Jiří FIALA, Petr HLINĚNÝ, Nikola JEDLIČKOVÁ and Jan KRATOCHVÍL. Computational Complexity of Covering Multigraphs with Semi-Edges: Small Cases. Online. In Bonchi, Filippo and Puglisi, Simon J. 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021). Dagstuhl: Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik, 2021, p. "21:1"-"21:15", 15 pp. ISBN 978-3-95977-201-3. Available from: https://dx.doi.org/10.4230/LIPIcs.MFCS.2021.21.
      URL
      RIV/00216224:14330/21:00119288 Proceedings paper. English. Germany.
      Bok, Jan (203 Czech Republic) -- Fiala, Jiří (203 Czech Republic) -- Hliněný, Petr (203 Czech Republic, guarantor, belonging to the institution) -- Jedličková, Nikola (203 Czech Republic) -- Kratochvíl, Jan (203 Czech Republic)
      Keywords in English: graph cover; covering projection; semiedges; multigraphs; complexity
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Changed: 19/4/2022 10:10.
      More: https://is.muni.cz/publication/1799075/en
    4. Deciding Polynomial Termination Complexity for VASS Programs
      AJDARÓW, Michal and Antonín KUČERA. Deciding Polynomial Termination Complexity for VASS Programs. Online. In Haddad, Serge and Varacca, Daniele. 32nd International Conference on Concurrency Theory (CONCUR 2021). Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik, 2021, p. "30:1"-"30:15", 15 pp. ISBN 978-3-95977-203-7. Available from: https://dx.doi.org/10.4230/LIPIcs.CONCUR.2021.30.
      Dagstuhl website
      RIV/00216224:14330/21:00119194 Proceedings paper. English. Germany.
      Ajdarów, Michal (203 Czech Republic, belonging to the institution) -- Kučera, Antonín (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: VASS; termination complexity
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2022 09:59.
      More: https://is.muni.cz/publication/1790538/en
    5. DQBDD: An Efficient BDD-Based DQBF Solver
      SÍČ, Juraj and Jan STREJČEK. DQBDD: An Efficient BDD-Based DQBF Solver. Online. In Chu-Min Li and Felip Manyà. Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings. Cham (Switzerland): Springer, 2021, p. 535-544. ISBN 978-3-030-80222-6. Available from: https://dx.doi.org/10.1007/978-3-030-80223-3_36.
      URL
      RIV/00216224:14330/21:00122203 Proceedings paper. English. Switzerland.
      Síč, Juraj (703 Slovakia) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: dependency quantified Boolean formulas; DQBF; binary decision diagrams; BDD; DQBDD
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 23/5/2022 14:57.
      More: https://is.muni.cz/publication/1789078/en
    6. Efficient Indexing of 3D Human Motions
      BUDÍKOVÁ, Petra, Jan SEDMIDUBSKÝ and Pavel ZEZULA. Efficient Indexing of 3D Human Motions. Online. In ACM International Conference on Multimedia Retrieval (ICMR). Neuveden: ACM, 2021, p. 10-18. ISBN 978-1-4503-8463-6. Available from: https://dx.doi.org/10.1145/3460426.3463646.
      URL
      RIV/00216224:14330/21:00118943 Proceedings paper. English.
      Budíková, Petra (203 Czech Republic, guarantor, belonging to the institution) -- Sedmidubský, Jan (203 Czech Republic, belonging to the institution) -- Zezula, Pavel (203 Czech Republic, belonging to the institution)
      Keywords in English: human motion data; skeleton sequences; motion word; text-based processing; indexing; extended inverted files; ranked retrieval; approximate searching; scalability
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Petra Budíková, Ph.D., učo 66445. Changed: 20/4/2022 11:27.
      More: https://is.muni.cz/publication/1763301/en
    7. ω-Forest Algebras and Temporal Logics
      BLUMENSATH, Achim and Jakub LÉDL. ω-Forest Algebras and Temporal Logics. Online. In Filippo Bonchi, Simon J. Puglisi. 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia. Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, p. 1-21. ISBN 978-3-95977-201-3. Available from: https://dx.doi.org/10.4230/LIPIcs.MFCS.2021.19.
      URL
      Name (in English): ω-Forest Algebras and Temporal Logics
      RIV/00216224:14330/21:00119652 Proceedings paper. English. Germany.
      Blumensath, Achim (276 Germany, guarantor, belonging to the institution) -- Lédl, Jakub (203 Czech Republic, belonging to the institution)
      Keywords in English: forest algebras; wreath products; temporal logics
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2022 07:56.
      More: https://is.muni.cz/publication/1834758/en
    8. Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption
      BLAHOUDEK, František, Murat CUBUKTEPE, Petr NOVOTNÝ, Melkior ORNIK, Pranay THANGEDA and Ufuk TOPCU. Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption. Online. In 24th International Symposium on Formal Methods, FM 2021. Cham, Switzerland: Springer, 2021, p. 640-656. ISBN 978-3-030-90869-0. Available from: https://dx.doi.org/10.1007/978-3-030-90870-6_34.
      RIV/00216224:14330/21:00119269 Proceedings paper. English.
      Blahoudek, František (203 Czech Republic) -- Cubuktepe, Murat (792 Turkey) -- Novotný, Petr (203 Czech Republic, guarantor, belonging to the institution) -- Ornik, Melkior (191 Croatia) -- Thangeda, Pranay (356 India) -- Topcu, Ufuk (792 Turkey)
      Keywords in English: resource constraints; planning under uncertainty; Markov decision processes
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2022 10:03.
      More: https://is.muni.cz/publication/1797367/en
    9. Challenges Faced by Teaching Assistants in Computer Science Education Across Europe
      RIESE, Emma, Madeleine LORÅS, Martin UKROP and Tomáš EFFENBERGER. Challenges Faced by Teaching Assistants in Computer Science Education Across Europe. Online. In Proceedings of the 2021 ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE ’21). Paderborn, Germany: ACM, 2021, p. 547-553. ISBN 978-1-4503-8214-4. Available from: https://dx.doi.org/10.1145/3430665.3456304.
      ACM Digital library Supplementary materials
      RIV/00216224:14330/21:00121376 Proceedings paper. English. United States of America.
      Riese, Emma (752 Sweden) -- Lorås, Madeleine (578 Norway) -- Ukrop, Martin (703 Slovakia, guarantor, belonging to the institution) -- Effenberger, Tomáš (203 Czech Republic, belonging to the institution)
      Keywords in English: Teaching assistants; TAs; challenges
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Tomáš Effenberger, Ph.D., učo 410350. Changed: 16/11/2022 10:47.
      More: https://is.muni.cz/publication/1758397/en
    10. Interpretable Clustering of Students’ Solutions in Introductory Programming
      EFFENBERGER, Tomáš and Radek PELÁNEK. Interpretable Clustering of Students’ Solutions in Introductory Programming. Online. 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, 2021, p. 101-112. ISBN 978-3-030-78291-7. Available from: https://dx.doi.org/10.1007/978-3-030-78292-4_9.
      URL
      RIV/00216224:14330/21:00121982 Proceedings paper. English. Switzerland.
      Effenberger, Tomáš (203 Czech Republic, guarantor, belonging to the institution) -- Pelánek, Radek (203 Czech Republic, belonging to the institution)
      Keywords in English: interpretable clustering; pattern mining; introductory programming; problem solving
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 16/8/2023 13:20.
      More: https://is.muni.cz/publication/1783837/en
    11. Modelling for Ethical Concerns for Traceability in Time of Pandemic “Do no Harm” or “Better Safe than Sorry!”
      BADR, Nabil, Leonard WALLETZKÝ, Monica DRĂGOICEA, Luca CARRUBBO and Angeliki Maria TOLI. Modelling for Ethical Concerns for Traceability in Time of Pandemic “Do no Harm” or “Better Safe than Sorry!”. Online. In Proceedings of the 54th Hawaii International Conference on System Sciences. Honolulu, Hawaii: HICSS, 2021, p. 1779-1788. ISBN 978-0-9981331-4-0. Available from: https://dx.doi.org/10.24251/HICSS.2021.216.
      RIV/00216224:14330/21:00122992 Proceedings paper. English.
      Badr, Nabil (840 United States of America) -- Walletzký, Leonard (203 Czech Republic, belonging to the institution) -- Drăgoicea, Monica (642 Romania) -- Carrubbo, Luca (380 Italy) -- Toli, Angeliki Maria (300 Greece)
      Keywords in English: Service Sciencecontextual modellingdataethicsservice modelling
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 26/4/2022 10:22.
      More: https://is.muni.cz/publication/1805158/en
    12. On Lexicographic Proof Rules for Probabilistic Termination
      CHATTERJEE, Krishnendu, Ehsan Kafshdar GOHARSHADY, Petr NOVOTNÝ, Jiří ZÁREVÚCKY and Djordje ŽIKELIĆ. On Lexicographic Proof Rules for Probabilistic Termination. Online. In 24th International Symposium on Formal Methods, FM 2021. Cham, Switzerland: Springer, 2021, p. 619-639. ISBN 978-3-030-90869-0. Available from: https://dx.doi.org/10.1007/978-3-030-90870-6_33.
      RIV/00216224:14330/21:00119268 Proceedings paper. English.
      Chatterjee, Krishnendu (356 India) -- Goharshady, Ehsan Kafshdar (364 Islamic Republic of Iran) -- Novotný, Petr (203 Czech Republic, guarantor, belonging to the institution) -- Zárevúcky, Jiří (203 Czech Republic, belonging to the institution) -- Žikelić, Djordje (688 Serbia)
      Keywords in English: program analysis; probabilistic programs; almost-sure termination; martingales
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2022 10:00.
      More: https://is.muni.cz/publication/1797365/en
    13. On Predicting Recurrence in Early Stage Non-small Cell Lung Cancer
      MOHAMED, Sameh K., Brian WALSH, Mohan TIMILSINA, Maria TORRENTE, Fabio FRANCO, Mariano PROVENCIO, Adrianna JANIK, Luca COSTABELLO, Pasquale MINERVINI, Pontus STENETORP and Vít NOVÁČEK. On Predicting Recurrence in Early Stage Non-small Cell Lung Cancer. Online. In Adam B. Wilcox, Randi Foraker, Kensaku Kawamoto, Yves A. Lussier, Nadine McCleary. Proceedings of AMIA 2021 Annual Symposium. San Diego: AMIA, 2021, p. 853-862. ISSN 1942-597X.
      RIV/00216224:14330/21:00125683 Proceedings paper. English. United States of America.
      Nováček, Vít (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: machine learning; lung cancer; relapse prediction
      International impact: yes
      Reviewed: yes
      Changed by: doc. Mgr. Bc. Vít Nováček, PhD, učo 4049. Changed: 2/1/2023 10:10.
      More: https://is.muni.cz/publication/1848076/en
    14. Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way?
      MRÁZEK, Jan, Martin JONÁŠ and Jiří BARNAT. Reconfiguring Metamorphic Robots via SMT: Is It a Viable Way?. Online. In 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). Prague: IEEE, 2021, p. 6935-6940. ISBN 978-1-6654-1714-3. Available from: https://dx.doi.org/10.1109/IROS51168.2021.9636534.
      RIV/00216224:14330/21:00122594 Proceedings paper. English. United States of America.
      Mrázek, Jan (203 Czech Republic, belonging to the institution) -- Jonáš, Martin (203 Czech Republic, belonging to the institution) -- Barnat, Jiří (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: robots reconfiguration
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 26/4/2022 10:11.
      More: https://is.muni.cz/publication/1798283/en
    15. Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games
      KLAŠKA, David, Antonín KUČERA, Vojtěch ŘEHÁK and Vít MUSIL. Regstar: Efficient Strategy Synthesis for Adversarial Patrolling Games. Online. In de Campos, Cassio and Maathuis, Marloes H. Proceedings of 37th Conference on Uncertainty in Artificial Intelligence (UAI 2021). Neuveden: AUAI Press, 2021, p. 471-481. ISSN 2640-3498.
      URL
      RIV/00216224:14330/21:00122557 Proceedings paper. English.
      Klaška, David (203 Czech Republic, belonging to the institution) -- Kučera, Antonín (203 Czech Republic, guarantor, belonging to the institution) -- Řehák, Vojtěch (203 Czech Republic, belonging to the institution) -- Musil, Vít (203 Czech Republic, belonging to the institution)
      Keywords in English: adversarial security games; strategy synthesis
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Changed: 14/3/2023 16:08.
      More: https://is.muni.cz/publication/1797259/en
    16. Symbolic Coloured SCC Decomposition
      BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA and David ŠAFRÁNEK. Symbolic Coloured SCC Decomposition. Online. In Jan Friso Groote, Kim Larsen. Tools and Algorithms for the Construction and Analysis of Systems, 27th International Conference, TACAS 2021. Neuveden: Springer Nature, 2021, p. 64-83. ISBN 978-3-030-72012-4. Available from: https://dx.doi.org/10.1007/978-3-030-72013-1_4.
      URL
      Name (in English): Symbolic Coloured SCC Decomposition
      RIV/00216224:14330/21:00121404 Proceedings paper. English. Switzerland.
      Beneš, Nikola (203 Czech Republic, belonging to the institution) -- Brim, Luboš (203 Czech Republic, belonging to the institution) -- Pastva, Samuel (703 Slovakia, belonging to the institution) -- Šafránek, David (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: strongly connected components; symbolic algorithm; edge-coloured digraphs; systems biology
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 23/5/2022 14:43.
      More: https://is.muni.cz/publication/1759896/en
    17. Timed Automata Relaxation for Reachability
      BENDÍK, Jaroslav, Ahmet SENCAN, Ebru Aydin GOL and 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, 2021, p. 291-310. ISBN 978-3-030-72015-5. Available from: https://dx.doi.org/10.1007/978-3-030-72016-2_16.
      URL
      RIV/00216224:14330/21:00120892 Proceedings paper. English.
      Bendík, Jaroslav (203 Czech Republic, guarantor, belonging to the institution) -- Gol, Ebru Aydin (203 Czech Republic) -- Černá, Ivana (203 Czech Republic, belonging to the institution)
      Keywords in English: Timed Automata - Reachability - Relaxation of Constraints
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 23/5/2022 14:20.
      More: https://is.muni.cz/publication/1716036/en
    18. Validity and Reliability of Student Models for Problem-Solving Activities
      EFFENBERGER, Tomáš and Radek PELÁNEK. Validity and Reliability of Student Models for Problem-Solving Activities. Online. In Proceedings of the 11th International Conference on Learning Analytics and Knowledge. New York, NY, USA: Association for Computing Machinery, 2021, p. 1-11. ISBN 978-1-4503-8935-8. Available from: https://dx.doi.org/10.1145/3448139.3448140.
      URL
      RIV/00216224:14330/21:00121402 Proceedings paper. English. United States of America.
      Effenberger, Tomáš (203 Czech Republic, guarantor, belonging to the institution) -- Pelánek, Radek (203 Czech Republic, belonging to the institution)
      Keywords in English: student modeling; skills; difficulties; validity; reliability; performance measures; problem solving; introductory programming
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 16/8/2023 13:16.
      More: https://is.muni.cz/publication/1759856/en

    2020

    1. Benefits and Pitfalls of Using Capture The Flag Games in University Courses
      VYKOPAL, Jan, Valdemar ŠVÁBENSKÝ and Ee-Chien CHANG. Benefits and Pitfalls of Using Capture The Flag Games in University Courses. Online. In Proceedings of the 51st ACM Technical Symposium on Computer Science Education (SIGCSE '20). New York, NY, USA: ACM, 2020, p. 752-758. ISBN 978-1-4503-6793-6. Available from: https://dx.doi.org/10.1145/3328778.3366893.
      Published version in the conference proceedings Preprint on ArXiv.org
      RIV/00216224:14610/20:00115112 Proceedings paper. English. United States of America.
      Vykopal, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Švábenský, Valdemar (703 Slovakia, belonging to the institution)
      Keywords in English: cybersecurity; capture the flag; summative assessment; homework assignment; plagiarism; learning analytics; educational data mining
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: Mgr. Alena Mokrá, učo 362754. Changed: 30/3/2023 15:53.
      More: https://is.muni.cz/publication/1570036/en
    2. Biased RSA private keys: Origin attribution of GCD-factorable keys
      JANOVSKÝ, Adam, Matúš NEMEC, Petr ŠVENDA, Peter SEKAN and 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, 2020, p. 505-524. ISBN 978-3-030-59012-3. Available from: https://dx.doi.org/10.1007/978-3-030-59013-0_25.
      URL
      Name in Czech: neuniformní privátní RSA klíče: Určování původu klíčů faktorizovatelných algoritmem GCD
      Name (in English): Biased RSA private keys: Origin attribution of GCD-factorable keys
      RIV/00216224:14330/20:00115914 Proceedings paper. English. Switzerland.
      Janovský, Adam (203 Czech Republic, guarantor, belonging to the institution) -- Nemec, Matúš (703 Slovakia) -- Švenda, Petr (203 Czech Republic, belonging to the institution) -- Sekan, Peter (703 Slovakia) -- Matyáš, Václav (203 Czech Republic, belonging to the institution)
      Keywords in English: Cryptographic library; RSA factorization; Measurement; RSA key classification; Statistical model
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Václav Matyáš, M.Sc., Ph.D., učo 344. Changed: 5/1/2023 14:25.
      More: https://is.muni.cz/publication/1669278/en
    3. Clique-Width of Point Configurations
      CAGIRICI, Onur, Petr HLINĚNÝ, Filip POKRÝVKA and Abhisekh SANKARAN. Clique-Width of Point Configurations. In Graph-Theoretic Concepts in Computer Science, WG 2020. Cham: Springer, Lecture Notes in Computer Science, 2020, p. 54-66. ISBN 978-3-030-60439-4. Available from: https://dx.doi.org/10.1007/978-3-030-60440-0_5.
      open access preprint URL
      RIV/00216224:14330/20:00114292 Proceedings paper. English. Germany.
      Cagirici, Onur (792 Turkey, belonging to the institution) -- Hliněný, Petr (203 Czech Republic, guarantor, belonging to the institution) -- Pokrývka, Filip (703 Slovakia, belonging to the institution) -- Sankaran, Abhisekh (356 India)
      Keywords in English: point configuration; order type; fixed-parameter tractability; relational structure; clique-width
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 29/4/2021 12:20.
      More: https://is.muni.cz/publication/1676037/en
    4. Comparing Maintainability Index, SIG Method, and SQALE for Technical Debt Identification
      STREČANSKÝ, Peter, Stanislav CHREN and Bruno ROSSI. Comparing Maintainability Index, SIG Method, and SQALE for Technical Debt Identification. In 35th ACM/SIGAPP Symposium On Applied Computing. Brno, Czech Republic: ACM, 2020, p. 121-124. ISBN 978-1-4503-6866-7. Available from: https://dx.doi.org/10.1145/3341105.3374079.
      RIV/00216224:14330/20:00115155 Proceedings paper. English. United States of America.
      Strečanský, Peter (703 Slovakia, belonging to the institution) -- Chren, Stanislav (703 Slovakia, belonging to the institution) -- Rossi, Bruno (380 Italy, guarantor, belonging to the institution)
      Keywords in English: Software Technical Debt; Software Maintenance; Software Quality; Maintainability Index; SIG Method; SQALE
      International impact: yes
      Reviewed: yes
      Changed by: Bruno Rossi, PhD, učo 232464. Changed: 14/1/2021 10:54.
      More: https://is.muni.cz/publication/1594140/en
    5. 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, 2020, p. 557-563. ISBN 978-3-030-59151-9. Available from: https://dx.doi.org/10.1007/978-3-030-59152-6_33.
      Name (in English): DG: Analysis and Slicing of LLVM Bitcode
      RIV/00216224:14330/20:00114295 Proceedings paper. English.
      Chalupa, Marek (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: call graph construction; data dependence analysis; program slicing
      International impact: yes
      Reviewed: yes
      Changed by: Mgr. Michal Petr, učo 65024. Changed: 16/5/2022 14:23.
      More: https://is.muni.cz/publication/1676373/en
    6. Enhanced Network Intrusion Detection System Protocol for Internet of Things
      MBAREK, Bacem, Mouzhi GE and Tomáš PITNER. Enhanced Network Intrusion Detection System Protocol for Internet of Things. Online. In Proceedings of the 35th ACM/SIGAPP Symposium On Applied Computing. Brno, Czech Republic: ACM Publishing, 2020, p. 1156-1163. ISBN 978-1-4503-6866-7. Available from: https://dx.doi.org/10.1145/3341105.3373867.
      RIV/00216224:14330/20:00115140 Proceedings paper. English. United States of America.
      Mbarek, Bacem (788 Tunisia, belonging to the institution) -- Ge, Mouzhi (156 China, belonging to the institution) -- Pitner, Tomáš (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Internet of Things; Network protocol; Security; Intrusion detection systems; Replica detection; Clone attacks
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 14/5/2021 09:49.
      More: https://is.muni.cz/publication/1586937/en
    7. Fooling primality tests on smartcards
      SEDLÁČEK, Vladimír, Ján JANČÁR and 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, 2020, p. 209-229. ISBN 978-3-030-59012-3. Available from: https://dx.doi.org/10.1007/978-3-030-59013-0_11.
      Website
      RIV/00216224:14330/20:00114216 Proceedings paper. English.
      Sedláček, Vladimír (203 Czech Republic, guarantor, belonging to the institution) -- Jančár, Ján (703 Slovakia, belonging to the institution) -- Švenda, Petr (203 Czech Republic, belonging to the institution)
      Keywords in English: ECC; primality; pseudoprimes; smartcards
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 29/4/2021 12:26.
      More: https://is.muni.cz/publication/1668739/en
    8. Impact of Methodological Choices on the Evaluation of Student Models
      EFFENBERGER, Tomáš and Radek PELÁNEK. Impact of Methodological Choices on the Evaluation of Student Models. Online. 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, 2020, p. 153-164. ISBN 978-3-030-52236-0. Available from: https://dx.doi.org/10.1007/978-3-030-52237-7_13.
      URL
      RIV/00216224:14330/20:00116669 Proceedings paper. English. Switzerland.
      Effenberger, Tomáš (203 Czech Republic, guarantor, belonging to the institution) -- Pelánek, Radek (203 Czech Republic, belonging to the institution)
      Keywords in English: adaptive learning; student modeling; intelligent tutoring systems; introductory programming
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 16/8/2023 13:14.
      More: https://is.muni.cz/publication/1685465/en
    9. Isomorphism Problem for Sd-Graphs
      AGAOGLU, Deniz and Petr HLINĚNÝ. Isomorphism Problem for Sd-Graphs. Online. In Javier Esparza and Daniel Kral. 45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik, 2020, p. "4:1"-"4:14", 14 pp. ISBN 978-3-95977-159-7. Available from: https://dx.doi.org/10.4230/LIPIcs.MFCS.2020.4.
      RIV/00216224:14330/20:00114291 Proceedings paper. English. Germany.
      Agaoglu, Deniz (792 Turkey, belonging to the institution) -- Hliněný, Petr (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: intersection graph; isomorphism testing; interval graph; H-graph
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Changed: 14/4/2021 22:16.
      More: https://is.muni.cz/publication/1676036/en
    10. KYPO4INDUSTRY: A Testbed for Teaching Cybersecurity of Industrial Control Systems
      ČELEDA, Pavel, Jan VYKOPAL, Valdemar ŠVÁBENSKÝ and Karel SLAVÍČEK. KYPO4INDUSTRY: A Testbed for Teaching Cybersecurity of Industrial Control Systems. Online. In Proceedings of the 51st ACM Technical Symposium on Computer Science Education (SIGCSE '20). New York, NY, USA: ACM, 2020, p. 1026-1032. ISBN 978-1-4503-6793-6. Available from: https://dx.doi.org/10.1145/3328778.3366908.
      Preprint on ArXiv.org Published version in the conference proceedings
      RIV/00216224:14610/20:00115109 Proceedings paper. English. United States of America.
      Čeleda, Pavel (203 Czech Republic, guarantor, belonging to the institution) -- Vykopal, Jan (203 Czech Republic, belonging to the institution) -- Švábenský, Valdemar (703 Slovakia, belonging to the institution) -- Slavíček, Karel (203 Czech Republic, belonging to the institution)
      Keywords in English: training facility; modular testbed; cyber-physical systems; industrial control systems; ICS; SCADA; cybersecurity education; syllabus
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: Mgr. Alena Mokrá, učo 362754. Changed: 30/3/2023 16:02.
      More: https://is.muni.cz/publication/1567484/en
    11. Matrices of optimal tree-depth and a row-invariant parameterized algorithm for integer programming
      CHAN, Timothy Fong Nam, Jacob COOPER, Martin KOUTECKÝ, Daniel KRÁĽ and Kristýna PEKÁRKOVÁ. Matrices of optimal tree-depth and a row-invariant parameterized algorithm for integer programming. Online. 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, 2020, p. "26:1"-"26:19", 19 pp. ISBN 978-3-95977-138-2. Available from: https://dx.doi.org/10.4230/LIPIcs.ICALP.2020.26.
      RIV/00216224:14330/20:00116613 Proceedings paper. English. Germany.
      Chan, Timothy Fong Nam (826 United Kingdom of Great Britain and Northern Ireland) -- Cooper, Jacob (826 United Kingdom of Great Britain and Northern Ireland, belonging to the institution) -- Koutecký, Martin (203 Czech Republic) -- Kráľ, Daniel (203 Czech Republic, guarantor, belonging to the institution) -- Pekárková, Kristýna (203 Czech Republic, belonging to the institution)
      Keywords in English: matroid algorithms; width parameters; integer programming; fixed parameter tractability; branch-width; branch-depth
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 26/4/2021 07:20.
      More: https://is.muni.cz/publication/1684015/en
    12. Minerva: The curse of ECDSA nonces
      JANČÁR, Ján, Vladimír SEDLÁČEK, Petr ŠVENDA and Marek SÝS. Minerva: The curse of ECDSA nonces. Online. In Amir Moradi, Mehdi Tibouchi. IACR Transactions on Cryptographic Hardware and Embedded Systems. Německo: Ruhr-University of Bochum, 2020, p. 281-308. ISSN 2569-2925. Available from: https://dx.doi.org/10.13154/tches.v2020.i4.281-308.
      Website
      RIV/00216224:14330/20:00114222 Proceedings paper. English. Germany.
      Jančár, Ján (703 Slovakia, guarantor, belonging to the institution) -- Sedláček, Vladimír (203 Czech Republic, belonging to the institution) -- Švenda, Petr (203 Czech Republic, belonging to the institution) -- Sýs, Marek (703 Slovakia, belonging to the institution)
      Keywords in English: ECDSA; Hidden Number Problem; side-channel attack; lattice attack; smartcard
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 31/5/2022 14:26.
      More: https://is.muni.cz/publication/1669335/en
    13. Motion Words: A Text-like Representation of 3D Skeleton Sequences
      SEDMIDUBSKÝ, Jan, Petra BUDÍKOVÁ, Vlastislav DOHNAL and Pavel ZEZULA. Motion Words: A Text-like Representation of 3D Skeleton Sequences. Online. In 42nd European Conference on Information Retrieval (ECIR). Cham: Springer, 2020, p. 527-541. ISBN 978-3-030-45438-8. Available from: https://dx.doi.org/10.1007/978-3-030-45439-5_35.
      RIV/00216224:14330/20:00114026 Proceedings paper. English.
      Sedmidubský, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Budíková, Petra (203 Czech Republic, belonging to the institution) -- Dohnal, Vlastislav (203 Czech Republic, belonging to the institution) -- Zezula, Pavel (203 Czech Republic, belonging to the institution)
      Keywords in English: 3D skeleton sequence;motion word;motion vocabulary;quantization;border problem;text-based processing
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 29/4/2021 12:21.
      More: https://is.muni.cz/publication/1603299/en
    14. MUST: Minimal Unsatisfiable Subsets Enumeration Tool
      BENDÍK, Jaroslav and 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, 2020, p. 135-152. ISBN 978-3-030-45189-9. Available from: https://dx.doi.org/10.1007/978-3-030-45190-5_8.
      Name (in English): MUST: Minimal Unsatisfiable Subsets Enumeration Tool
      RIV/00216224:14330/20:00115396 Proceedings paper. English.
      Bendík, Jaroslav (203 Czech Republic, guarantor, belonging to the institution) -- Černá, Ivana (203 Czech Republic, belonging to the institution)
      Keywords in English: Minimal unsatisfiable subsets;Unsatisfiability analysis;Infeasibility analysis;MUS;Diagnosis
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 10/5/2021 05:40.
      More: https://is.muni.cz/publication/1633241/en
    15. Replication-Guided Enumeration of Minimal Unsatisfiable Subsets
      BENDÍK, Jaroslav and 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, 2020, p. 37-54. ISBN 978-3-030-58474-0. Available from: https://dx.doi.org/10.1007/978-3-030-58475-7_3.
      Name (in English): Replication-Guided Enumeration of Minimal Unsatisfiable Subsets
      RIV/00216224:14330/20:00116179 Proceedings paper. English.
      Bendík, Jaroslav (203 Czech Republic) -- Černá, Ivana (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Minimal Unsatisfiable Subsets;MUSes;Over-constrained systems
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 10/5/2021 05:51.
      More: https://is.muni.cz/publication/1673818/en
    16. Rotation Based MSS/MCS Enumeration
      BENDÍK, Jaroslav and Ivana ČERNÁ. Rotation Based MSS/MCS Enumeration. Online. In Elvira Albert and Laura Kovacs. LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Neuveden: EPiC Series in Computing, 2020, p. 120-137. ISSN 2398-7340. Available from: https://dx.doi.org/10.29007/8btb.
      URL
      RIV/00216224:14330/20:00115569 Proceedings paper. English.
      Bendík, Jaroslav (203 Czech Republic, guarantor, belonging to the institution) -- Černá, Ivana (203 Czech Republic, belonging to the institution)
      Keywords in English: Maximal Satisfiable Subsets;Minimal Correction Subsets;Infeasibility Analysis;Diagnosis;MSS;MCS
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 10/5/2021 05:46.
      More: https://is.muni.cz/publication/1649417/en
    17. Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions
      JONÁŠ, Martin and Jan STREJČEK. Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions. Online. In Luca Pulina and Martina Seidl. Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings. Cham (Switzerland): Springer, 2020, p. 378-393. ISBN 978-3-030-51824-0. Available from: https://dx.doi.org/10.1007/978-3-030-51825-7_27.
      URL
      RIV/00216224:14330/20:00114392 Proceedings paper. English. Switzerland.
      Jonáš, Martin (203 Czech Republic) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: SMT solving; bit-vector logic; Boolector; Q3B
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 29/4/2021 12:29.
      More: https://is.muni.cz/publication/1686869/en
    18. Verification of Forensic Readiness in Software Development: A Roadmap
      DAUBNER, Lukáš, Martin MACÁK, Barbora BÜHNOVÁ and Tomáš PITNER. Verification of Forensic Readiness in Software Development: A Roadmap. Online. In Proceedings of the 35th Annual ACM Symposium on Applied Computing. New York, NY, USA: Association for Computing Machinery, 2020, p. 1658-1661. ISBN 978-1-4503-6866-7. Available from: https://dx.doi.org/10.1145/3341105.3374094.
      RIV/00216224:14330/20:00115447 Proceedings paper. English. United States of America.
      Daubner, Lukáš (203 Czech Republic, belonging to the institution) -- Macák, Martin (703 Slovakia, belonging to the institution) -- Bühnová, Barbora (203 Czech Republic, belonging to the institution) -- Pitner, Tomáš (203 Czech Republic, belonging to the institution)
      Keywords in English: Forensic Readiness; Verification; Digital Forensics; Forensic by Design; Software Development
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 14/5/2021 06:18.
      More: https://is.muni.cz/publication/1638419/en
    19. What Are Cybersecurity Education Papers About? A Systematic Literature Review of SIGCSE and ITiCSE Conferences
      ŠVÁBENSKÝ, Valdemar, Jan VYKOPAL and Pavel ČELEDA. What Are Cybersecurity Education Papers About? A Systematic Literature Review of SIGCSE and ITiCSE Conferences. Online. In Proceedings of the 51st ACM Technical Symposium on Computer Science Education (SIGCSE '20). New York, NY, USA: ACM, 2020, p. 2-8. ISBN 978-1-4503-6793-6. Available from: https://dx.doi.org/10.1145/3328778.3366816.
      Published version in the conference proceedings Video presentation on YouTube Preprint on ArXiv.org
      RIV/00216224:14610/20:00115110 Proceedings paper. English. United States of America.
      Švábenský, Valdemar (703 Slovakia, guarantor, belonging to the institution) -- Vykopal, Jan (203 Czech Republic, belonging to the institution) -- Čeleda, Pavel (203 Czech Republic, belonging to the institution)
      Keywords in English: cybersecurity education; systematic literature review; systematic mapping study; survey; SIGCSE community; ITiCSE community
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: Mgr. Alena Mokrá, učo 362754. Changed: 26/4/2021 16:29.
      More: https://is.muni.cz/publication/1567598/en

    2019

    1. A Join-Based Hybrid Parameter for Constraint Satisfaction
      GANIAN, Robert, Sebastian ORDYNIAK and Stefan SZEIDER. A Join-Based Hybrid Parameter for Constraint Satisfaction. Online. In Thomas Schiex and Simon de Givry. Principles and Practice of Constraint Programming - 25th International Conference. USA: Springer, 2019, p. 195-212. ISBN 978-3-030-30047-0. Available from: https://dx.doi.org/10.1007/978-3-030-30048-7_12.
      URL
      Name (in English): A Join-Based Hybrid Parameter for Constraint Satisfaction
      RIV/00216224:14330/19:00113721 Proceedings paper. English. United States of America.
      Ganian, Robert (203 Czech Republic, guarantor, belonging to the institution) -- Ordyniak, Sebastian (276 Germany) -- Szeider, Stefan (40 Austria)
      Keywords in English: Parameterized Complexity
      Changed by: Mgr. Michal Petr, učo 65024. Changed: 16/5/2022 14:29.
      More: https://is.muni.cz/publication/1648256/en
    2. Abstract Dependency Graphs and Their Application to Model Checking
      ENEVOLDSEN, Soeren, Kim G. LARSEN and 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, 2019, p. 316-333. ISBN 978-3-030-17461-3. Available from: https://dx.doi.org/10.1007/978-3-030-17462-0_18.
      Name (in English): Abstract Dependency Graphs and Their Application to Model Checking
      RIV/00216224:14330/19:00113640 Proceedings paper. English. Netherlands.
      Enevoldsen, Soeren (208 Denmark) -- Larsen, Kim G. (208 Denmark) -- Srba, Jiří (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: dependency graph; on-the-fly algorithms; verification; model checking
      Changed by: Mgr. Michal Petr, učo 65024. Changed: 16/5/2022 14:27.
      More: https://is.muni.cz/publication/1646339/en
    3. Adaptive Large Neighborhood Search for Scheduling of Mobile Robots
      DANG, Vinh Quang, Hana RUDOVÁ and Cong Thanh NGUYEN. Adaptive Large Neighborhood Search for Scheduling of Mobile Robots. Online. In The Genetic and Evolutionary Computation Conference (GECCO). New York, NY, USA: ACM, 2019, p. 224-232. ISBN 978-1-4503-6111-8. Available from: https://dx.doi.org/10.1145/3321707.3321764.
      DOI
      RIV/00216224:14330/19:00109329 Proceedings paper. English. United States of America.
      Dang, Vinh Quang (704 Viet Nam, belonging to the institution) -- Rudová, Hana (203 Czech Republic, guarantor, belonging to the institution) -- Nguyen, Cong Thanh (704 Viet Nam)
      Keywords in English: Scheduling; Mobile robots; Adaptive Large Neighborhood Search; Flexible Manufacturing Systems
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: Mgr. Michal Petr, učo 65024. Changed: 18/11/2021 13:30.
      More: https://is.muni.cz/publication/1509617/en
    4. Benchmarking Search and Annotation in Continuous Human Skeleton Sequences
      SEDMIDUBSKÝ, Jan, Petr ELIÁŠ and Pavel ZEZULA. Benchmarking Search and Annotation in Continuous Human Skeleton Sequences. Online. In International Conference on Multimedia Retrieval (ICMR). New York, NY, USA: ACM, 2019, p. 38-42. ISBN 978-1-4503-6765-3. Available from: https://dx.doi.org/10.1145/3323873.3325013.
      RIV/00216224:14330/19:00107371 Proceedings paper. English.
      Sedmidubský, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Eliáš, Petr (203 Czech Republic, belonging to the institution) -- Zezula, Pavel (203 Czech Republic, belonging to the institution)
      Keywords in English: motion capture dataset;continuous 3D skeleton sequence;stream-based processing;benchmark;subsequence search;action detection;mining
      International impact: yes
      Reviewed: yes
      Changed by: doc. RNDr. Jan Sedmidubský, Ph.D., učo 60474. Changed: 15/4/2020 10:19.
      More: https://is.muni.cz/publication/1525496/en
    5. 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 and Tilo WIEDERA. Bounded degree conjecture holds precisely for c-crossing-critical graphs with c<=12. Online. In 35th International Symposium on Computational Geometry, SoCG 2019. Dagstuhl: Leibniz International Proceedings in Informatics, LIPIcs, 2019, p. "14:1"-"14:15", 15 pp. ISBN 978-3-95977-104-7. Available from: https://dx.doi.org/10.4230/LIPIcs.SoCG.2019.14.
      open access
      RIV/00216224:14330/19:00108275 Proceedings paper. English. United States of America.
      Bokal, Drago (705 Slovenia) -- Dvořák, Zdeněk (203 Czech Republic) -- Hliněný, Petr (203 Czech Republic, guarantor, belonging to the institution) -- Leanos, Jesus (484 Mexico) -- Mohar, Bojan (705 Slovenia) -- Wiedera, Tilo (276 Germany)
      Keywords in English: Crossing number; Crossing-critical; Exhaustive generation; Path-width
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 14/6/2022 12:11.
      More: https://is.muni.cz/publication/1646176/en
    6. Deciding Fast Termination for Probabilistic VASS with Nondeterminism
      BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Antonín KUČERA, Petr NOVOTNÝ and Dominik VELAN. Deciding Fast Termination for Probabilistic VASS with Nondeterminism. In Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza. Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Proceedings. Cham: Springer, 2019, p. 462-478. ISBN 978-3-030-31783-6. Available from: https://dx.doi.org/10.1007/978-3-030-31784-3_27.
      URL
      RIV/00216224:14330/19:00107764 Proceedings paper. English. Switzerland.
      Brázdil, Tomáš (203 Czech Republic, belonging to the institution) -- Chatterjee, Krishnendu (356 India) -- Kučera, Antonín (203 Czech Republic, belonging to the institution) -- Novotný, Petr (203 Czech Republic, guarantor, belonging to the institution) -- Velan, Dominik (203 Czech Republic, belonging to the institution)
      Keywords in English: angelic and demonic nondeterminism; termination time; probabilistic VASS
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: doc. RNDr. Petr Novotný, Ph.D., učo 172743. Changed: 17/4/2020 12:21.
      More: https://is.muni.cz/publication/1576916/en
    7. Digital Bifurcation Analysis of TCP Dynamics
      BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA and 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, 2019, p. 339-356. ISBN 978-3-030-17464-4. Available from: https://dx.doi.org/10.1007/978-3-030-17465-1_19.
      URL
      Name (in English): Digital Bifurcation Analysis of TCP Dynamics
      RIV/00216224:14330/19:00107359 Proceedings paper. English. Germany.
      Beneš, Nikola (203 Czech Republic, belonging to the institution) -- Brim, Luboš (203 Czech Republic, belonging to the institution) -- Pastva, Samuel (703 Slovakia, guarantor, belonging to the institution) -- Šafránek, David (203 Czech Republic, belonging to the institution)
      Keywords in English: bifurcation analysis; TCP; terminal strongly connected components; robustness
      International impact: yes
      Reviewed: yes
      Changed by: doc. RNDr. David Šafránek, Ph.D., učo 3159. Changed: 15/4/2021 12:19.
      More: https://is.muni.cz/publication/1521156/en
    8. Exact Crossing Number Parameterized by Vertex Cover
      HLINĚNÝ, Petr and Abhisekh SANKARAN. Exact Crossing Number Parameterized by Vertex Cover. In GD 2019: Graph Drawing and Network Visualization. Cham: Springer, Lecture Notes in Computer Science, volume 11904, 2019, p. 307-319. ISBN 978-3-030-35801-3. Available from: https://dx.doi.org/10.1007/978-3-030-35802-0_24.
      URL open access preprint
      RIV/00216224:14330/19:00108274 Proceedings paper. English. Switzerland.
      Hliněný, Petr (203 Czech Republic, guarantor, belonging to the institution) -- Sankaran, Abhisekh (356 India)
      Keywords in English: Graph drawing; Crossing number; Parameterized complexity; Vertex cover
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Changed: 14/4/2021 21:46.
      More: https://is.muni.cz/publication/1646079/en
    9. Generic Emptiness Check for Fun and Profit
      BAIER, Christel, František BLAHOUDEK, Alexandre DURET-LUTZ, Joachim KLEIN, David MÜLLER and Jan STREJČEK. Generic Emptiness Check for Fun and Profit. Online. In Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza. Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings. Cham (Switzerland): Springer, 2019, p. 445-461. ISBN 978-3-030-31783-6. Available from: https://dx.doi.org/10.1007/978-3-030-31784-3_26.
      URL
      RIV/00216224:14330/19:00107786 Proceedings paper. English. Switzerland.
      Baier, Christel (276 Germany) -- Blahoudek, František (203 Czech Republic) -- Duret-Lutz, Alexandre (756 Switzerland) -- Klein, Joachim (276 Germany) -- Müller, David (276 Germany) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: TELA; Emerson-Lei automata; emptiness check; probabilistic model checking
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2020 11:04.
      More: https://is.muni.cz/publication/1579475/en
    10. Group Activity Selection with Few Agent Types
      GANIAN, Robert, Sebastian ORDYNIAK and C. S. RAHUL. Group Activity Selection with Few Agent Types. Online. In Michael A. Bender and Ola Svensson and Grzegorz Herman. 27th Annual European Symposium on Algorithms (ESA 2019). Nemecko: Dagstuhl, 2019, p. 1-16. ISBN 978-3-95977-124-5. Available from: https://dx.doi.org/10.4230/LIPIcs.ESA.2019.48.
      URL
      Name (in English): Group Activity Selection with Few Agent Types
      RIV/00216224:14330/19:00113722 Proceedings paper. English. Germany.
      Ganian, Robert (203 Czech Republic, guarantor, belonging to the institution) -- Ordyniak, Sebastian (276 Germany) -- Rahul, C. S. (356 India)
      Keywords in English: Parameterized Complexity
      Changed by: Mgr. Michal Petr, učo 65024. Changed: 16/5/2022 15:13.
      More: https://is.muni.cz/publication/1648258/en
    11. Industrial Involvement In Information System Education: Lessons Learned from a Software Quality Course
      CHREN, Stanislav, Bruno ROSSI, Barbora BÜHNOVÁ, Mouzhi GE and Tomáš PITNER. Industrial Involvement In Information System Education: Lessons Learned from a Software Quality Course. Online. In Proceedings of 28th International Conference on Information Systems Development. Toulon, France: AIS, 2019, p. 1-12. ISBN 978-2-9571876-0-7.
      URL
      RIV/00216224:14330/19:00110171 Proceedings paper. English. United States of America.
      Chren, Stanislav (703 Slovakia, belonging to the institution) -- Rossi, Bruno (380 Italy, belonging to the institution) -- Bühnová, Barbora (203 Czech Republic, belonging to the institution) -- Ge, Mouzhi (156 China, guarantor, belonging to the institution) -- Pitner, Tomáš (203 Czech Republic, belonging to the institution)
      Keywords in English: Industrial involvement; Software quality course; Information system education; Teaching information systems
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 6/5/2020 15:22.
      More: https://is.muni.cz/publication/1545781/en
    12. Integer Programming and Incidence Treedepth
      EIBEN, Eduard, Robert GANIAN, Dusan KNOP, Sebastian ORDYNIAK, Michal PILIPCZUK and Marcin WROCHNA. Integer Programming and Incidence Treedepth. Online. In Andrea Lodi and Viswanath Nagarajan. Integer Programming and Combinatorial Optimization - 20th International Conference, IPCO 2019. USA: Springer, 2019, p. 194-204. ISBN 978-3-030-17952-6. Available from: https://dx.doi.org/10.1007/978-3-030-17953-3_15.
      URL
      Name (in English): Integer Programming and Incidence Treedepth
      RIV/00216224:14330/19:00113725 Proceedings paper. English. United States of America.
      Eiben, Eduard (703 Slovakia) -- Ganian, Robert (203 Czech Republic, guarantor, belonging to the institution) -- Knop, Dusan (203 Czech Republic) -- Ordyniak, Sebastian (276 Germany) -- Pilipczuk, Michal (616 Poland) -- Wrochna, Marcin (616 Poland)
      Keywords in English: Parameterized Complexity
      Changed by: Mgr. Michal Petr, učo 65024. Changed: 14/5/2020 10:54.
      More: https://is.muni.cz/publication/1648276/en
    13. Item Ordering Biases in Educational Data
      ČECHÁK, Jaroslav and Radek PELÁNEK. Item Ordering Biases in Educational Data. Online. In Seiji Isotani, Eva Millán, Amy Ogan, Peter Hastings, Bruce McLaren, Rose Luckin. International Conference on Artificial Intelligence in Education. Cham: Springer, 2019, p. 48-58. ISBN 978-3-030-23203-0. Available from: https://dx.doi.org/10.1007/978-3-030-23204-7_5.
      RIV/00216224:14330/19:00110476 Proceedings paper. English. Switzerland.
      Čechák, Jaroslav (203 Czech Republic, guarantor, belonging to the institution) -- Pelánek, Radek (203 Czech Republic, belonging to the institution)
      Keywords in English: intelligent tutoring system; data collection; explore-exploit tradeoff; simulation
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 3/5/2020 12:41.
      More: https://is.muni.cz/publication/1550036/en
    14. ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata
      MAJOR, Juraj, František BLAHOUDEK, Jan STREJČEK, Miriama JÁNOŠOVÁ and Tatiana ZBONČÁKOVÁ. ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata. Online. In Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza. Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings. Cham (Switzerland): Springer, 2019, p. 357-365. ISBN 978-3-030-31783-6. Available from: https://dx.doi.org/10.1007/978-3-030-31784-3_21.
      URL
      RIV/00216224:14330/19:00107770 Proceedings paper. English. Switzerland.
      Major, Juraj (703 Slovakia, belonging to the institution) -- Blahoudek, František (203 Czech Republic) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Jánošová, Miriama (703 Slovakia, belonging to the institution) -- Zbončáková, Tatiana (703 Slovakia, belonging to the institution)
      Keywords in English: ltl3tela; LTL; linear temporal logic; automata; automata over infinite words; LTL to automata
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2020 00:04.
      More: https://is.muni.cz/publication/1577339/en
    15. Measuring what Matters: A Hybrid Approach to Dynamic Programming with Treewidth
      EIBEN, Eduard, Robert GANIAN, Thekla HAMM and O-joung KWON. Measuring what Matters: A Hybrid Approach to Dynamic Programming with Treewidth. Online. In Peter Rossmanith and Pinar Heggernes and Joost-Pieter Katoen. 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019). Nemecko: Dagstuhl, 2019, p. 1-15. ISBN 978-3-95977-117-7. Available from: https://dx.doi.org/10.4230/LIPIcs.MFCS.2019.42.
      URL
      Name (in English): Measuring what Matters: A Hybrid Approach to Dynamic Programming with Treewidth
      RIV/00216224:14330/19:00113726 Proceedings paper. English. United States of America.
      Eiben, Eduard (703 Slovakia) -- Ganian, Robert (203 Czech Republic, guarantor, belonging to the institution) -- Hamm, Thekla (276 Germany) -- Kwon, O-joung (410 Republic of Korea)
      Keywords in English: Parameterized Complexity
      Changed by: Mgr. Michal Petr, učo 65024. Changed: 14/5/2020 10:54.
      More: https://is.muni.cz/publication/1648296/en
    16. Multimodal Point Distribution Model for Anthropological Landmark Detection
      FERKOVÁ, Zuzana and Petr MATULA. Multimodal Point Distribution Model for Anthropological Landmark Detection. Online. In 26th IEEE International Conference on Image Processing (ICIP2019). Taipei, Taiwan: Springer, 2019, p. 2986-2990. ISBN 978-1-5386-6249-6. Available from: https://dx.doi.org/10.1109/ICIP.2019.8803252.
      RIV/00216224:14330/19:00110475 Proceedings paper. English. United States of America.
      Ferková, Zuzana (703 Slovakia, belonging to the institution) -- Matula, Petr (203 Czech Republic, belonging to the institution)
      Keywords in English: Facial landmark detection; point distribution model; FIDENTIS; HCI
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 3/5/2020 12:41.
      More: https://is.muni.cz/publication/1550005/en
    17. Of Cores: A Partial-Exploration Framework for Markov Decision Processes
      KŘETÍNSKÝ, Jan and Tobias MEGGENDORFER. Of Cores: A Partial-Exploration Framework for Markov Decision Processes. Online. In 30th International Conference on Concurrency Theory (CONCUR 2019). Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2019, p. 1-17. ISBN 978-3-95977-121-4. Available from: https://dx.doi.org/10.4230/LIPIcs.CONCUR.2019.5.
      RIV/00216224:14330/19:00108293 Proceedings paper. English. Germany.
      Křetínský, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Meggendorfer, Tobias (276 Germany)
      Keywords in English: Partial Exploration; Markov Decision Processes; Verification
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2020 23:16.
      More: https://is.muni.cz/publication/1649046/en
    18. On Strict (Outer-)Confluent Graphs
      FORSTER, Henry, Robert GANIAN, Fabian KLUTE and Martin NOLLENBURG. On Strict (Outer-)Confluent Graphs. Online. In Daniel Archambault, Csaba D. Toth. Graph Drawing and Network Visualization - 27th International Symposium, GD 2019. USA: Springer, 2019, p. 147-161. ISBN 978-3-030-35801-3. Available from: https://dx.doi.org/10.1007/978-3-030-35802-0_12.
      URL
      Name (in English): On Strict (Outer-)Confluent Graphs
      RIV/00216224:14330/19:00113723 Proceedings paper. English. United States of America.
      Forster, Henry (840 United States of America) -- Ganian, Robert (203 Czech Republic, guarantor, belonging to the institution) -- Klute, Fabian (276 Germany) -- Nollenburg, Martin (276 Germany)
      Keywords in English: Parameterized Complexity
      Changed by: Mgr. Michal Petr, učo 65024. Changed: 16/5/2022 14:30.
      More: https://is.muni.cz/publication/1648260/en
    19. On the Complexity of Value Iteration
      BALAJI, Nikhil, Stefan KIEFER, Petr NOVOTNÝ, Guillermo A. PÉREZ and Mahsa SHIRMOHAMMADI. On the Complexity of Value Iteration. Online. 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, 2019, p. "102:1"-"102:15", 15 pp. ISBN 978-3-95977-109-2. Available from: https://dx.doi.org/10.4230/LIPIcs.ICALP.2019.102.
      RIV/00216224:14330/19:00107669 Proceedings paper. English. Germany.
      Balaji, Nikhil (356 India) -- Kiefer, Stefan (276 Germany) -- Novotný, Petr (203 Czech Republic, guarantor, belonging to the institution) -- Pérez, Guillermo A. (340 Honduras) -- Shirmohammadi, Mahsa (364 Islamic Republic of Iran)
      Keywords in English: Markov decision processes; probabilistic verification; value iteration
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: doc. RNDr. Petr Novotný, Ph.D., učo 172743. Changed: 17/4/2020 12:16.
      More: https://is.muni.cz/publication/1561197/en
    20. Parameterized Algorithms for Book Embedding Problems
      BHORE, Sujoy, Robert GANIAN, Fabrizio MONTECCHIANI and Martin NOLLENBURG. Parameterized Algorithms for Book Embedding Problems. Online. In Daniel Archambault, Csaba D. Toth. Graph Drawing and Network Visualization - 27th International Symposium, GD 2019. USA: Springer, 2019, p. 365-378. ISBN 978-3-030-35801-3. Available from: https://dx.doi.org/10.1007/978-3-030-35802-0_28.
      URL
      Name (in English): Parameterized Algorithms for Book Embedding Problems
      RIV/00216224:14330/19:00113724 Proceedings paper. English. United States of America.
      Bhore, Sujoy (356 India) -- Ganian, Robert (203 Czech Republic, guarantor, belonging to the institution) -- Montecchiani, Fabrizio (380 Italy) -- Nollenburg, Martin (276 Germany)
      Keywords in English: Parameterized Complexity
      Changed by: Mgr. Michal Petr, učo 65024. Changed: 16/5/2022 14:31.
      More: https://is.muni.cz/publication/1648261/en
    21. Partial Order Reduction for Reachability Games
      BOENNELAND, Frederik M., Peter G. JENSEN, Kim G. LARSEN, Marco MUNIZ and Jiří SRBA. Partial Order Reduction for Reachability Games. Online. In Proceedings of the 30th International Conference on Concurrency Theory (CONCUR'19). Gernmany: Dagstuhl Publishing, 2019, p. 1-15. ISBN 978-3-95977-121-4. Available from: https://dx.doi.org/10.4230/LIPIcs.CONCUR.2019.23.
      Name (in English): Partial Order Reduction for Reachability Games
      RIV/00216224:14330/19:00113643 Proceedings paper. English. Germany.
      Boenneland, Frederik M. (208 Denmark) -- Jensen, Peter G. (208 Denmark) -- Larsen, Kim G. (208 Denmark) -- Muniz, Marco (604 Peru) -- Srba, Jiří (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: partial order reduction; Petri nets; reachability games
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 3/5/2020 13:35.
      More: https://is.muni.cz/publication/1646345/en
    22. Quality of Service Forecasting with LSTM Neural Network
      JIRSÍK, Tomáš, Štěpán TRČKA and Pavel ČELEDA. Quality of Service Forecasting with LSTM Neural Network. Online. In 2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM). Washington DC, USA: IEEE, 2019, p. 251-260. ISBN 978-1-72810-618-2.
      URL URL
      RIV/00216224:14610/19:00108335 Proceedings paper. English. United States of America.
      Jirsík, Tomáš (203 Czech Republic, guarantor, belonging to the institution) -- Trčka, Štěpán (203 Czech Republic, belonging to the institution) -- Čeleda, Pavel (203 Czech Republic, belonging to the institution)
      Keywords in English: quality of service; forecast; long short-term memory; neural network
      International impact: yes
      Reviewed: yes
      Changed by: Mgr. Alena Mokrá, učo 362754. Changed: 24/4/2020 15:44.
      More: https://is.muni.cz/publication/1486425/en
    23. Real-time Pattern Detection in IP Flow Data using Apache Spark
      ČERMÁK, Milan, Martin LAŠTOVIČKA and Tomáš JIRSÍK. Real-time Pattern Detection in IP Flow Data using Apache Spark. Online. In 2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM). Washington DC, USA: IEEE, 2019, p. 521-526. ISBN 978-1-7281-0618-2.
      URL URL
      RIV/00216224:14610/19:00108993 Proceedings paper. English. United States of America.
      Čermák, Milan (203 Czech Republic, guarantor, belonging to the institution) -- Laštovička, Martin (203 Czech Republic, belonging to the institution) -- Jirsík, Tomáš (203 Czech Republic, belonging to the institution)
      Keywords in English: Anomaly Detection;IP Flow;Apache Spark;Stream Processing
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 25/4/2022 14:31.
      More: https://is.muni.cz/publication/1484741/en
    24. Reflective Diary for Professional Development of Novice Teachers
      UKROP, Martin, Valdemar ŠVÁBENSKÝ and Jan NEHYBA. Reflective Diary for Professional Development of Novice Teachers. Online. In Proceedings of the 50th ACM Technical Symposium on Computer Science Education (SIGCSE’19). Minneapolis, Minnesota, USA: ACM, 2019, p. 1088-1094. ISBN 978-1-4503-5890-3. Available from: https://dx.doi.org/10.1145/3287324.3287448.
      URL
      RIV/00216224:14330/19:00108978 Proceedings paper. English. United States of America.
      Ukrop, Martin (703 Slovakia, guarantor, belonging to the institution) -- Švábenský, Valdemar (703 Slovakia, belonging to the institution) -- Nehyba, Jan (203 Czech Republic, belonging to the institution)
      Keywords in English: reflective practice; learning journal; teacher training; teaching assistants; teaching skills
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: Dana Nesnídalová, učo 831. Changed: 3/2/2021 11:44.
      More: https://is.muni.cz/publication/1483456/en
    25. RoFICoM - First Open-Hardware Connector for Metamorphic Robots
      MRÁZEK, Jan and Jiří BARNAT. RoFICoM - First Open-Hardware Connector for Metamorphic Robots. In 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). Neuveden: IEEE, 2019, p. 2720-2725. ISBN 978-1-72814-004-9. Available from: https://dx.doi.org/10.1109/IROS40897.2019.8968167.
      URL
      RIV/00216224:14330/19:00110967 Proceedings paper. English.
      Mrázek, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Barnat, Jiří (203 Czech Republic, belonging to the institution)
      Keywords in English: RoFI; metamorphic robots; connector
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 3/5/2020 13:26.
      More: https://is.muni.cz/publication/1569778/en
    26. SAT-Encodings for Treecut Width and Treedepth
      GANIAN, Robert, Neha LODHA, Sebastian ORDYNIAK and Stefan SZEIDER. SAT-Encodings for Treecut Width and Treedepth. Online. In Stephen G. Kobourov and Henning Meyerhenke. ALENEX 2019. USA: SIAM, 2019, p. 117-129. ISBN 978-1-61197-549-9. Available from: https://dx.doi.org/10.1137/1.9781611975499.10.
      URL
      Name (in English): SAT-Encodings for Treecut Width and Treedepth
      RIV/00216224:14330/19:00113720 Proceedings paper. English. United States of America.
      Ganian, Robert (203 Czech Republic, guarantor, belonging to the institution) -- Lodha, Neha (356 India) -- Ordyniak, Sebastian (276 Germany) -- Szeider, Stefan (40 Austria)
      Keywords in English: Parameterized Complexity
      Changed by: Mgr. Michal Petr, učo 65024. Changed: 14/5/2020 10:43.
      More: https://is.muni.cz/publication/1648252/en
    27. Scheduling of Mobile Robots Using Constraint Programming
      MURÍN, Stanislav and 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, 2019, p. 456-471. ISBN 978-3-030-30047-0. Available from: https://dx.doi.org/10.1007/978-3-030-30048-7_27.
      URL
      RIV/00216224:14330/19:00110233 Proceedings paper. English. United States of America.
      Murín, Stanislav (703 Slovakia, belonging to the institution) -- Rudová, Hana (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Scheduling; Constraint programming; Mobile robot;Flexible manufacturing system; Transportation; IBM ILOG CPLEX Optimization Studio
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 6/5/2020 17:16.
      More: https://is.muni.cz/publication/1546818/en
    28. Simulating the Impact of Cooperation and Management Strategies on Stress and Economic Performance
      DAŇA, Josef, Ivan KOPEČEK, Radek OŠLEJŠEK and Jaromír PLHÁK. Simulating the Impact of Cooperation and Management Strategies on Stress and Economic Performance. Online. In Tung Bui. Proceedings of the 52nd Hawaii International Conference on System Sciences. USA: University of Hawaii at Manoa, 2019, p. 6569-6578. ISBN 978-0-9981331-2-6. Available from: https://dx.doi.org/10.24251/HICSS.2019.787.
      URL
      RIV/00216224:14330/19:00108867 Proceedings paper. English. United States of America.
      Daňa, Josef (203 Czech Republic, guarantor, belonging to the institution) -- Kopeček, Ivan (203 Czech Republic, belonging to the institution) -- Ošlejšek, Radek (203 Czech Republic, belonging to the institution) -- Plhák, Jaromír (203 Czech Republic, belonging to the institution)
      Keywords in English: agent-based modeling; cooperation; organizational performance; Prisoner’s dilemma; stress
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: doc. RNDr. Radek Ošlejšek, Ph.D., učo 3636. Changed: 14/11/2021 15:31.
      More: https://is.muni.cz/publication/1434716/en
    29. STRAIT: A Tool for Automated Software Reliability Growth Analysis
      CHREN, Stanislav, Radoslav MIČKO, Barbora BÜHNOVÁ and Bruno ROSSI. STRAIT: A Tool for Automated Software Reliability Growth Analysis. Online. In Margaret-Anne Storey. Proceedings of the 16th International Conference on Mining Software Repositories. Piscataway, NJ, USA: ACM, 2019, p. 105-110. ISBN 978-1-7281-3412-3. Available from: https://dx.doi.org/10.1109/MSR.2019.00025.
      URL URL
      RIV/00216224:14330/19:00109377 Proceedings paper. English. United States of America.
      Chren, Stanislav (703 Slovakia, belonging to the institution) -- Mičko, Radoslav (703 Slovakia, belonging to the institution) -- Bühnová, Barbora (203 Czech Republic, belonging to the institution) -- Rossi, Bruno (380 Italy, belonging to the institution)
      Keywords in English: Software Reliability Growth Model; Reliability Analysis; Issue Repository; Issue Report Filtering; Automated Tool
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 25/4/2022 04:44.
      More: https://is.muni.cz/publication/1514176/en
    30. The Power of Cut-Based Parameters for Computing Edge Disjoint Paths
      GANIAN, Robert and Sebastian ORDYNIAK. The Power of Cut-Based Parameters for Computing Edge Disjoint Paths. Online. In Ignasi Sau and Dimitrios M. Thilikos. WG 2019: Graph-Theoretic Concepts in Computer Science. USA: Springer, 2019, p. 190-204. ISBN 978-3-030-30785-1. Available from: https://dx.doi.org/10.1007/978-3-030-30786-8_15.
      URL
      Name (in English): The Power of Cut-Based Parameters for Computing Edge Disjoint Paths
      RIV/00216224:14330/19:00113728 Proceedings paper. English. United States of America.
      Ganian, Robert (203 Czech Republic, guarantor, belonging to the institution) -- Ordyniak, Sebastian (276 Germany)
      Keywords in English: Parameterized Complexity
      Changed by: Mgr. Michal Petr, učo 65024. Changed: 16/5/2022 14:32.
      More: https://is.muni.cz/publication/1648299/en
    31. Toward Robust Fully 3D Filopodium Segmentation and Tracking in Time-Lapse Fluorescence Microscopy
      MAŠKA, Martin, Tereza NEČASOVÁ, David WIESNER, Dmitry SOROKIN, Igor PETERLÍK, Vladimír ULMAN and David SVOBODA. Toward Robust Fully 3D Filopodium Segmentation and Tracking in Time-Lapse Fluorescence Microscopy. Online. In 26th IEEE International Conference on Image Processing. Taipei: IEEE, 2019, p. 819-823. ISBN 978-1-5386-6249-6. Available from: https://dx.doi.org/10.1109/ICIP.2019.8803721.
      URL
      RIV/00216224:14330/19:00107396 Proceedings paper. English. United States of America.
      Maška, Martin (203 Czech Republic, guarantor, belonging to the institution) -- Nečasová, Tereza (203 Czech Republic, belonging to the institution) -- Wiesner, David (203 Czech Republic, belonging to the institution) -- Sorokin, Dmitry (643 Russian Federation) -- Peterlík, Igor (703 Slovakia, belonging to the institution) -- Ulman, Vladimír (203 Czech Republic) -- Svoboda, David (203 Czech Republic, belonging to the institution)
      Keywords in English: Benchmark dataset; synthetic image data; filopodium segmentation; filopodium tracking
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2020 16:28.
      More: https://is.muni.cz/publication/1530536/en
    32. Will You Trust This TLS Certificate? Perceptions of People Working in IT
      UKROP, Martin, Lydia KRAUS, Václav MATYÁŠ and Heider Ahmad Mutleq WAHSHEH. Will You Trust This TLS Certificate? Perceptions of People Working in IT. Online. In Proceedings of the 35rd Annual Computer Security Applications Conference. New York, NY, USA: Association for Computing Machinery, 2019, p. 718-731. ISBN 978-1-4503-7628-0. Available from: https://dx.doi.org/10.1145/3359789.3359800.
      URL Will You Trust This TLS Certificate? Perceptions of People Working in IT
      RIV/00216224:14330/19:00111065 Proceedings paper. English. United States of America.
      Ukrop, Martin (703 Slovakia, guarantor, belonging to the institution) -- Kraus, Lydia (276 Germany, belonging to the institution) -- Matyáš, Václav (203 Czech Republic, belonging to the institution) -- Wahsheh, Heider Ahmad Mutleq (400 Jordan)
      Keywords in English: warning design;documentation;TLS certificate;usable security
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Martin Ukrop, Ph.D., učo 374297. Changed: 15/4/2021 09:24.
      More: https://is.muni.cz/publication/1573416/en

    2018

    1. Bisimulation Invariant Monadic-Second Order Logic in the Finite
      BLUMENSATH, Achim and Felix WOLF. Bisimulation Invariant Monadic-Second Order Logic in the Finite. Online. In 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic. Dagstuhl: Schloss Dagstuhl, 2018, p. 1-13. ISBN 978-3-95977-076-7. Available from: https://dx.doi.org/10.4230/LIPIcs.ICALP.2018.117.
      Name (in English): Bisimulation Invariant Monadic-Second Order Logic in the Finite
      RIV/00216224:14330/18:00101061 Proceedings paper. English. Czech Republic.
      Blumensath, Achim (276 Germany, guarantor, belonging to the institution) -- Wolf, Felix (276 Germany)
      Keywords in English: bisimulation; monadic second-order logic; composition method
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 30/4/2019 09:59.
      More: https://is.muni.cz/publication/1423341/en
    2. 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. Online. 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, 2018, p. 450-461. ISBN 978-3-319-93842-4. Available from: https://dx.doi.org/10.1007/978-3-319-93843-1_33.
      RIV/00216224:14330/18:00104015 Proceedings paper. English. United States of America.
      Pelánek, Radek (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: mastery learning; student modeling
      Type of proceedings: pre-proceedings
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 30/4/2019 07:33.
      More: https://is.muni.cz/publication/1448696/en
    3. Continuous-Time Markov Decisions Based on Partial Exploration
      ASHOK, Pranav, Yuliya BUTKOVA, Holger HERMANNS and Jan KŘETÍNSKÝ. Continuous-Time Markov Decisions Based on Partial Exploration. In Automated Technology for Verification and Analysis. ATVA 2018. Cham: Springer, 2018, p. 317-334. ISBN 978-3-030-01089-8. Available from: https://dx.doi.org/10.1007/978-3-030-01090-4_19.
      RIV/00216224:14330/18:00108289 Proceedings paper. English. Switzerland.
      Ashok, Pranav (356 India) -- Butkova, Yuliya (860 Uzbekistan) -- Hermanns, Holger (276 Germany) -- Křetínský, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Continuous-Time Markov Decision Processes; reachability; Partial Exploration
      Changed by: Mgr. Michal Petr, učo 65024. Changed: 16/5/2022 14:35.
      More: https://is.muni.cz/publication/1649041/en
    4. Enhancing Cybersecurity Skills by Creating Serious Games
      ŠVÁBENSKÝ, Valdemar, Jan VYKOPAL, Milan ČERMÁK and Martin LAŠTOVIČKA. Enhancing Cybersecurity Skills by Creating Serious Games. Online. In Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE'18). Larnaca, Cyprus: ACM, 2018, p. 194-199. ISBN 978-1-4503-5707-4. Available from: https://dx.doi.org/10.1145/3197091.3197123.
      Výsledek v sborníku konference
      RIV/00216224:14610/18:00106886 Proceedings paper. English. United States of America.
      Švábenský, Valdemar (703 Slovakia, guarantor, belonging to the institution) -- Vykopal, Jan (203 Czech Republic, belonging to the institution) -- Čermák, Milan (203 Czech Republic, belonging to the institution) -- Laštovička, Martin (203 Czech Republic)
      Keywords in English: cybersecurity; game-based learning; project-based learning
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Valdemar Švábenský, Ph.D., učo 395868. Changed: 24/1/2019 16:19.
      More: https://is.muni.cz/publication/1413088/en
    5. Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets
      BENDÍK, Jaroslav and Ivana ČERNÁ. Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets. Online. In Gilles Barthe and Geoff Sutcliffe and Margus Veanes. LPAR-22, 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Awassa, Etiopie: EPiC Series in Computing, 2018, p. 131-142. ISSN 2398-7340. Available from: https://dx.doi.org/10.29007/sxzb.
      URL
      Name (in English): Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets
      RIV/00216224:14330/18:00104038 Proceedings paper. English.
      Bendík, Jaroslav (203 Czech Republic, guarantor, belonging to the institution) -- Černá, Ivana (203 Czech Republic, belonging to the institution)
      Keywords in English: minimal unsatisfiable subsets;mus enumeration;infeasibility analysis;unsatisfiability analysis
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 31/5/2022 14:21.
      More: https://is.muni.cz/publication/1449236/en
    6. Evolving boolean functions for fast and efficient randomness testing
      MRÁZEK, Vojtěch, Marek SÝS, Zdenek VASICEK, Lukáš SEKANINA and Václav MATYÁŠ. Evolving boolean functions for fast and efficient randomness testing. In Proceedings of the Genetic and Evolutionary Computation Conference 2018. USA: Association for Computing Machinery, 2018, p. 1302-1309. ISBN 978-1-4503-5618-3. Available from: https://dx.doi.org/10.1145/3205455.3205518.
      URL
      RIV/00216224:14330/18:00101071 Proceedings paper. English. United States of America.
      Mrázek, Vojtěch (203 Czech Republic) -- Sýs, Marek (703 Slovakia, belonging to the institution) -- Vasicek, Zdenek (203 Czech Republic) -- Sekanina, Lukáš (203 Czech Republic) -- Matyáš, Václav (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Boolean function; evolutionary computing; randomness; statistical test
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 30/4/2019 07:22.
      More: https://is.muni.cz/publication/1423716/en
    7. 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 and 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, 2018, p. 388-395. ISBN 978-3-030-00936-6. Available from: https://dx.doi.org/10.1007/978-3-030-00937-3_45.
      URL
      RIV/00216224:14330/18:00104381 Proceedings paper. English. Switzerland.
      Kozubek, Michal (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: biomedical image analysis; benchmarking
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: Mgr. Michal Petr, učo 65024. Changed: 23/4/2020 20:51.
      More: https://is.muni.cz/publication/1464318/en
    8. Challenges Arising from Prerequisite Testing in Cybersecurity Games
      ŠVÁBENSKÝ, Valdemar and Jan VYKOPAL. Challenges Arising from Prerequisite Testing in Cybersecurity Games. Online. In Proceedings of the 49th ACM Technical Symposium on Computer Science Education (SIGCSE’18). Baltimore, Maryland, USA: ACM, 2018, p. 56-61. ISBN 978-1-4503-5103-4. Available from: https://dx.doi.org/10.1145/3159450.3159454.
      Výsledek v sborníku konference
      RIV/00216224:14330/18:00106882 Proceedings paper. Informatics. English. United States of America.
      Švábenský, Valdemar (703 Slovakia, guarantor, belonging to the institution) -- Vykopal, Jan (203 Czech Republic, belonging to the institution)
      Keywords in English: active learning; cybersecurity games; diagnostic assessment; prerequisite testing; self-assessment; linear regression modeling
      International impact: yes
      Reviewed: yes
      Changed by: Mgr. Alena Mokrá, učo 362754. Changed: 23/4/2020 12:03.
      More: https://is.muni.cz/publication/1391680/en
    9. Implementation Notes for the Soft Cosine Measure
      NOVOTNÝ, Vít. Implementation Notes for the Soft Cosine Measure. Online. In Proceedings of the 27th ACM International Conference on Information and Knowledge Management (CIKM '18). Torino, Italy: Association for Computing Machinery, 2018, p. 1639-1642. ISBN 978-1-4503-6014-2. Available from: https://dx.doi.org/10.1145/3269206.3269317.
      Postprint DOI
      RIV/00216224:14330/18:00101853 Proceedings paper. English. Italy.
      Novotný, Vít (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Vector Space Model; computational complexity; similarity measure
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 25/4/2022 04:56.
      More: https://is.muni.cz/publication/1430596/en
    10. Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes?
      JONÁŠ, Martin and Jan STREJČEK. Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes?. Online. In Gilles Barthe, Geoff Sutcliffe, Margus Veanes. LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Neuveden: EasyChair, 2018, p. 488-497. ISSN 2398-7340. Available from: https://dx.doi.org/10.29007/spnx.
      URL
      RIV/00216224:14330/18:00101333 Proceedings paper. English. United Kingdom of Great Britain and Northern Ireland.
      Jonáš, Martin (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: satisfiability modulo theories; quantified bit-vectors; bit-width; experimental evaluation
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 31/5/2022 14:22.
      More: https://is.muni.cz/publication/1464757/en
    11. Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints
      KŘETÍNSKÝ, Jan, Guillermo PEREZ and Jean-Francois RASKIN. Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints. Online. In 29th International Conference on Concurrency Theory (CONCUR 2018). Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2018, p. 1-18. ISBN 978-3-95977-087-3. Available from: https://dx.doi.org/10.4230/LIPIcs.CONCUR.2018.8.
      RIV/00216224:14330/18:00108291 Proceedings paper. English. Germany.
      Křetínský, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Perez, Guillermo (188 Costa Rica) -- Raskin, Jean-Francois (56 Belgium)
      Keywords in English: Learning; Mean-Payoff; Markov decision process; Omega-Regular Specification
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2020 23:49.
      More: https://is.muni.cz/publication/1649044/en
    12. On Structural Parameterizations of the Bounded-Degree Vertex Deletion Problem
      GANIAN, Robert, Fabian KLUTE and Sebastian ORDYNIAK. On Structural Parameterizations of the Bounded-Degree Vertex Deletion Problem. Online. In Rolf Niedermeier, Brigitte Vallee. STACS 2018. Nemecko: Dagstuhl, 2018, p. 1-14. ISBN 978-3-95977-062-0. Available from: https://dx.doi.org/10.4230/LIPIcs.STACS.2018.33.
      RIV/00216224:14330/18:00106812 Proceedings paper. English. Germany.
      Ganian, Robert (203 Czech Republic, guarantor, belonging to the institution) -- Klute, Fabian (276 Germany) -- Ordyniak, Sebastian (276 Germany)
      Keywords in English: bounded-degree vertex deletion; feedback vertex set; parameterized algorithms; treecut width
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: Mgr. Michal Petr, učo 65024. Changed: 24/4/2020 15:55.
      More: https://is.muni.cz/publication/1523738/en
    13. ON THE USE OF GRAPHEME MODELS FOR SEARCHING IN LARGE SPOKEN ARCHIVES
      SVEC, Jan, Josef V. PSUTKA, Jan TRMAL, Lubos SMIDL, Pavel IRCING and Jan SEDMIDUBSKÝ. ON THE USE OF GRAPHEME MODELS FOR SEARCHING IN LARGE SPOKEN ARCHIVES. In 43rd IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2018). Neuveden: IEEE Computer Society, 2018, p. 6259-6263. ISBN 978-1-5386-4658-8. Available from: https://dx.doi.org/10.1109/ICASSP.2018.8461774.
      RIV/00216224:14330/18:00100802 Proceedings paper. Informatics. English.
      Svec, Jan (203 Czech Republic) -- Psutka, Josef V. (203 Czech Republic) -- Trmal, Jan (203 Czech Republic) -- Smidl, Lubos (203 Czech Republic) -- Ircing, Pavel (203 Czech Republic) -- Sedmidubský, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: spoken term detection; speech indexing; grapheme-based speech recognition; keyword search
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 13/5/2020 19:39.
      More: https://is.muni.cz/publication/1405237/en
    14. P-Rex: Fast Verification of MPLS Networks with Multiple Link Failures
      JENSEN, Jesper S., Troels B. KROEGH, Jonas S. MADSEN, Stefan SCHMID, Jiří SRBA and 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, 2018, p. 217-227. ISBN 978-1-4503-6080-7. Available from: https://dx.doi.org/10.1145/3281411.3281432.
      URL
      RIV/00216224:14330/18:00106628 Proceedings paper. English. United States of America.
      Jensen, Jesper S. (208 Denmark) -- Kroegh, Troels B. (208 Denmark) -- Madsen, Jonas S. (208 Denmark) -- Schmid, Stefan (756 Switzerland) -- Srba, Jiří (203 Czech Republic, guarantor, belonging to the institution) -- Thorgersen, Marc T. (208 Denmark)
      Keywords in English: MPLS networks; formal verification; pushdown automata
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 3/5/2019 14:59.
      More: https://is.muni.cz/publication/1506128/en
    15. Recursive Online Enumeration of All Minimal Unsatisfiable Subsets
      BENDÍK, Jaroslav, Ivana ČERNÁ and Nikola BENEŠ. Recursive Online Enumeration of All Minimal Unsatisfiable Subsets. In Shuvendu Lahiri and Chao Wang. Automated Technology for Verification and Analysis - 16th International Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings}. Los Angeles: Springer, 2018, p. 143-159. ISBN 978-3-030-01089-8. Available from: https://dx.doi.org/10.1007/978-3-030-01090-4_9.
      URL
      Name (in English): Recursive Online Enumeration of All Minimal Unsatisfiable Subsets
      RIV/00216224:14330/18:00101107 Proceedings paper. English.
      Bendík, Jaroslav (203 Czech Republic, guarantor, belonging to the institution) -- Černá, Ivana (203 Czech Republic, belonging to the institution) -- Beneš, Nikola (203 Czech Republic, belonging to the institution)
      Keywords in English: formal verification; minimal unstisfiable subsets
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 30/4/2019 07:25.
      More: https://is.muni.cz/publication/1428840/en
    16. Secure Certification of Mixed Quantum States with Application to Two-Party Randomness Generation
      DUPONT DUPUIS, Frédéric, Serge FEHR, Philippe LAMONTAGNE and 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, 2018, p. 282-314. ISBN 978-3-030-03809-0. Available from: https://dx.doi.org/10.1007/978-3-030-03810-6_11.
      RIV/00216224:14330/18:00118583 Proceedings paper. English. Switzerland.
      Dupont Dupuis, Frédéric (124 Canada, guarantor, belonging to the institution)
      Keywords in English: STRONG CONVERSE; COIN
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 5/11/2021 15:01.
      More: https://is.muni.cz/publication/1768258/en
    17. Small Resolution Proofs for QBF using Dependency Treewidth
      EIBEN, Eduard, Robert GANIAN and Sebastian ORDYNIAK. Small Resolution Proofs for QBF using Dependency Treewidth. Online. In Rolf Niedermeier, Brigitte Vallee. STACS 2018. Nemecko: Dagstuhl, 2018, p. 1-15. ISBN 978-3-95977-062-0. Available from: https://dx.doi.org/10.4230/LIPIcs.STACS.2018.28.
      Name (in English): Small Resolution Proofs for QBF using Dependency Treewidth
      RIV/00216224:14330/18:00106813 Proceedings paper. English. Germany.
      Eiben, Eduard (703 Slovakia) -- Ganian, Robert (203 Czech Republic, guarantor, belonging to the institution) -- Ordyniak, Sebastian (276 Germany)
      Keywords in English: QBF; treewidth; fixed parameter tractability; dependency schemes
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: Mgr. Michal Petr, učo 65024. Changed: 27/4/2020 23:07.
      More: https://is.muni.cz/publication/1523756/en
    18. Strategy Representation by Decision Trees in Reactive Synthesis
      BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Jan KŘETÍNSKÝ and Viktor TOMAN. Strategy Representation by Decision Trees in Reactive Synthesis. In 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018). Cham: Springer, 2018, p. 385-407. ISBN 978-3-319-89959-6. Available from: https://dx.doi.org/10.1007/978-3-319-89960-2_21.
      RIV/00216224:14330/18:00118582 Proceedings paper. English. Switzerland.
      Brázdil, Tomáš (203 Czech Republic, guarantor, belonging to the institution) -- Chatterjee, Krishnendu (356 India) -- Křetínský, Jan (203 Czech Republic) -- Toman, Viktor (703 Slovakia)
      Keywords in English: INFINITE GAMES; AUTOMATA
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 5/11/2021 15:01.
      More: https://is.muni.cz/publication/1768257/en
    19. Structure and generation of crossing-critical graphs
      DVOŘÁK, Zdeněk, Petr HLINĚNÝ and Bojan MOHAR. Structure and generation of crossing-critical graphs. Online. In 34th International Symposium on Computational Geometry, SoCG 2018. Dagstuhl: Leibniz International Proceedings in Informatics, LIPIcs, 2018, p. "33:1"-"33:14", 14 pp. ISBN 978-3-95977-066-8. Available from: https://dx.doi.org/10.4230/LIPIcs.SoCG.2018.33.
      RIV/00216224:14330/18:00101458 Proceedings paper. English. United States of America.
      Dvořák, Zdeněk (203 Czech Republic) -- Hliněný, Petr (203 Czech Republic, guarantor, belonging to the institution) -- Mohar, Bojan (705 Slovenia)
      Keywords in English: Crossing number; Crossing-critical; Exhaustive generation; Path-width
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 14/6/2022 12:11.
      More: https://is.muni.cz/publication/1480303/en
    20. Timely Feedback in Unstructured Cybersecurity Exercises
      VYKOPAL, Jan, Radek OŠLEJŠEK, Karolína BURSKÁ and Kristína ZÁKOPČANOVÁ. Timely Feedback in Unstructured Cybersecurity Exercises. Online. In Proceedings of Special Interest Group on Computer Science Education, Baltimore, Maryland, USA, February 21–24, 2018(SIGCSE’18). New York, NY, USA: ACM, 2018, p. 173-178. ISBN 978-1-4503-5103-4. Available from: https://dx.doi.org/10.1145/3159450.3159561.
      URL
      RIV/00216224:14610/18:00102073 Proceedings paper. Informatics. English. United States of America.
      Vykopal, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Ošlejšek, Radek (203 Czech Republic, belonging to the institution) -- Burská, Karolína (203 Czech Republic, belonging to the institution) -- Zákopčanová, Kristína (203 Czech Republic, belonging to the institution)
      Keywords in English: timely feedback; personalized feedback; cybersecurity; exercise; active learning; professional learners
      International impact: yes
      Reviewed: yes
      Changed by: doc. RNDr. Radek Ošlejšek, Ph.D., učo 3636. Changed: 3/10/2022 16:26.
      More: https://is.muni.cz/publication/1391679/en

    2017

    1. Automatic detection of laser-induced structures in live cell fluorescent microscopy images using snakes with geometric constraints
      KONDRATĚV, Alexandr and Dmitry SOROKIN. Automatic detection of laser-induced structures in live cell fluorescent microscopy images using snakes with geometric constraints. In 23rd International Conference on Pattern Recognition, ICPR 2016. Cancun, Mexico: Institute of Electrical and Electronics Engineers Inc., 2017, p. 331-336. ISBN 978-1-5090-4847-2. Available from: https://dx.doi.org/10.1109/ICPR.2016.7899655.
      RIV/00216224:14330/17:00100647 Proceedings paper. English. Switzerland.
      Kondratěv, Alexandr (643 Russian Federation) -- Sorokin, Dmitry (643 Russian Federation, belonging to the institution)
      Keywords in English: Argon lasers; Cells; Cytology; Fluorescence; Geometry; Image registration; Image segmentation; Matrix algebra
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 5/11/2021 15:36.
      More: https://is.muni.cz/publication/1417431/en
    2. Backdoor Treewidth for SAT
      GANIAN, Robert, M.S. RAMANUJAN and Stefan SZEIDER. Backdoor Treewidth for SAT. Online. 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. 10491st ed. Nemecko: Springer, 2017, p. 20-37. ISBN 978-3-319-66262-6. Available from: https://dx.doi.org/10.1007/978-3-319-66263-3_2.
      URL
      RIV/00216224:14330/17:00100551 Proceedings paper. English. Germany.
      Ganian, Robert (203 Czech Republic, guarantor, belonging to the institution) -- Ramanujan, M.S. (356 India) -- Szeider, Stefan (40 Austria)
      Keywords in English: Treewidth; Parameterized Complexity; SAT; Backdoors
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: Mgr. Michal Petr, učo 65024. Changed: 28/4/2020 11:43.
      More: https://is.muni.cz/publication/1414044/en
    3. Combining Treewidth and Backdoors for CSP
      GANIAN, Robert, M.S. RAMANUJAN and Stefan SZEIDER. Combining Treewidth and Backdoors for CSP. Online. In Heribert Vollmer and Brigitte Vallee. 34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany. Nemecko: Dagstuhl-LIPIcs, 2017, p. 1-17. ISBN 978-3-95977-028-6. Available from: https://dx.doi.org/10.4230/LIPIcs.STACS.2017.36.
      URL
      RIV/00216224:14330/17:00100553 Proceedings paper. English. Germany.
      Ganian, Robert (203 Czech Republic, guarantor, belonging to the institution) -- Ramanujan, M.S. (356 India) -- Szeider, Stefan (40 Austria)
      Keywords in English: Treewidth; Backdoors; Constraint Satisfaction
      Changed by: Mgr. Michal Petr, učo 65024. Changed: 28/4/2020 12:19.
      More: https://is.muni.cz/publication/1414047/en
    4. Exchanging Security Events: Which And How Many Alerts Can We Aggregate?
      HUSÁK, Martin, Milan ČERMÁK, Martin LAŠTOVIČKA and Jan VYKOPAL. Exchanging Security Events: Which And How Many Alerts Can We Aggregate?. Online. 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, 2017, p. 604-607. ISBN 978-3-901882-89-0. Available from: https://dx.doi.org/10.23919/INM.2017.7987340.
      URL
      RIV/00216224:14610/17:00094466 Proceedings paper. Informatics. English. United States of America.
      Husák, Martin (203 Czech Republic, guarantor, belonging to the institution) -- Čermák, Milan (203 Czech Republic, belonging to the institution) -- Laštovička, Martin (203 Czech Republic, belonging to the institution) -- Vykopal, Jan (203 Czech Republic, belonging to the institution)
      Keywords in English: aggregation;security alert;information sharing
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Martin Husák, Ph.D., učo 256631. Changed: 5/4/2018 18:31.
      More: https://is.muni.cz/publication/1361514/en
    5. Image-driven Stochastic Identification of Boundary Conditions for Predictive Simulation
      PETERLÍK, Igor, Nazim HAOUCHINE, Lukáš RUČKA and Stéphane COTIN. Image-driven Stochastic Identification of Boundary Conditions for Predictive Simulation. Online. 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, 2017, p. 548-556. ISBN 978-3-319-66184-1. Available from: https://dx.doi.org/10.1007/978-3-319-66185-8_62.
      URL
      RIV/00216224:14330/17:00097947 Proceedings paper. English.
      Peterlík, Igor (703 Slovakia, guarantor) -- Haouchine, Nazim (12 Algeria) -- Ručka, Lukáš (203 Czech Republic, belonging to the institution) -- Cotin, Stéphane (250 France)
      Keywords in English: Boundary conditions Stochasric data assimilation Finite element method Surgical augmented reality Hepatic surgery
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 17/5/2018 16:44.
      More: https://is.muni.cz/publication/1392838/en
    6. Measuring Popularity of Cryptographic Libraries in Internet-Wide Scans
      NEMEC, Matúš, Dušan KLINEC, Petr ŠVENDA, Peter SEKAN and Václav MATYÁŠ. Measuring Popularity of Cryptographic Libraries in Internet-Wide Scans. Online. In Proceedings of the 33rd Annual Computer Security Applications Conference. New York, NY, USA: ACM, 2017, p. 162-175. ISBN 978-1-4503-5345-8. Available from: https://dx.doi.org/10.1145/3134600.3134612.
      Proceedings of the 33rd Annual Computer Security Applications Conference Measuring Popularity of Cryptographic Libraries in Internet-Wide Scans Supplementary materials
      Name (in English): Measuring Popularity of Cryptographic Libraries in Internet-Wide Scans
      RIV/00216224:14330/17:00095055 Proceedings paper. Informatics. English. United States of America.
      Nemec, Matúš (703 Slovakia, belonging to the institution) -- Klinec, Dušan (703 Slovakia, belonging to the institution) -- Švenda, Petr (203 Czech Republic, belonging to the institution) -- Sekan, Peter (703 Slovakia, belonging to the institution) -- Matyáš, Václav (203 Czech Republic, belonging to the institution)
      Keywords in English: RSA algorithm; cryptographic library; prime generation
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2018 10:51.
      More: https://is.muni.cz/publication/1392143/en
    7. 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 and 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, 2017, p. 201-207. ISBN 978-3-319-68166-5. Available from: https://dx.doi.org/10.1007/978-3-319-68167-2_14.
      URL
      RIV/00216224:14330/17:00095126 Proceedings paper. Informatics. English. Switzerland.
      Baranová, Zuzana (703 Slovakia, belonging to the institution) -- Barnat, Jiří (203 Czech Republic, guarantor, belonging to the institution) -- Kejstová, Katarína (703 Slovakia, belonging to the institution) -- Kučera, Tadeáš (203 Czech Republic, belonging to the institution) -- Lauko, Henrich (703 Slovakia, belonging to the institution) -- Mrázek, Jan (203 Czech Republic, belonging to the institution) -- Ročkai, Petr (703 Slovakia, belonging to the institution) -- Štill, Vladimír (203 Czech Republic, belonging to the institution)
      Keywords in English: Model Checking; Verification; C; C++; DIVINE
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Changed: 1/10/2018 16:24.
      More: https://is.muni.cz/publication/1394153/en
    8. Network Defence Strategy Evaluation: Simulation vs. Live Network
      MEDKOVÁ, Jana, Martin HUSÁK and Martin DRAŠAR. Network Defence Strategy Evaluation: Simulation vs. Live Network. Online. 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, 2017, p. 81-88. ISBN 978-3-901882-89-0. Available from: https://dx.doi.org/10.23919/INM.2017.7987267.
      URL
      RIV/00216224:14610/17:00094471 Proceedings paper. Informatics. English. United States of America.
      Medková, Jana (203 Czech Republic, guarantor, belonging to the institution) -- Husák, Martin (203 Czech Republic, belonging to the institution) -- Drašar, Martin (203 Czech Republic, belonging to the institution)
      Keywords in English: game theory;cyber security;simulation;honeypot
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Martin Husák, Ph.D., učo 256631. Changed: 5/4/2018 18:32.
      More: https://is.muni.cz/publication/1379728/en
    9. New Width Parameters for Model Counting
      GANIAN, Robert and Stefan SZEIDER. New Width Parameters for Model Counting. Online. 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, 2017, p. 38-52. ISBN 978-3-319-66262-6. Available from: https://dx.doi.org/10.1007/978-3-319-66263-3_3.
      URL
      RIV/00216224:14330/17:00100552 Proceedings paper. English. Germany.
      Ganian, Robert (203 Czech Republic, guarantor, belonging to the institution) -- Szeider, Stefan (40 Austria)
      Keywords in English: Treewidth; Model Counting; SAT; Parameterized Complexity
      Changed by: Mgr. Michal Petr, učo 65024. Changed: 28/4/2020 12:17.
      More: https://is.muni.cz/publication/1414045/en
    10. On Simplification of Formulas with Unconstrained Variables and Quantifiers
      JONÁŠ, Martin and Jan STREJČEK. On Simplification of Formulas with Unconstrained Variables and Quantifiers. In Serge Gaspers, Toby Walsh. Theory and Applications of Satisfiability Testing – SAT 2017. Cham (Switzerland): Springer, 2017, p. 364-379. ISBN 978-3-319-66262-6. Available from: https://dx.doi.org/10.1007/978-3-319-66263-3_23.
      URL
      RIV/00216224:14330/17:00095125 Proceedings paper. Informatics. English. Switzerland.
      Jonáš, Martin (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: SMT solving; formula simplifications; bit-vectors
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 14/5/2020 15:12.
      More: https://is.muni.cz/publication/1394152/en
    11. On Structural Parameterizations of the Edge Disjoint Paths Problem
      GANIAN, Robert, Sebastian ORDYNIAK and M.S. RAMANUJAN. On Structural Parameterizations of the Edge Disjoint Paths Problem. Online. In Yoshio Okamoto; Takeshi Tokuyama. 28th International Symposium on Algorithms and Computation, ISAAC 2017, December 9-12, 2017, Phuket, Thailand. 92nd ed. Nemecko: LIPIcs, 2017, p. 1-13. ISBN 978-3-95977-054-5. Available from: https://dx.doi.org/10.4230/LIPIcs.ISAAC.2017.36.
      URL
      RIV/00216224:14330/17:00100549 Proceedings paper. English. Germany.
      Ganian, Robert (203 Czech Republic, guarantor, belonging to the institution) -- Ordyniak, Sebastian (40 Austria) -- Ramanujan, M.S. (356 India)
      Keywords in English: Edge Disjont Paths; Parameterized Complexity; Treewidth
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 17/5/2018 17:24.
      More: https://is.muni.cz/publication/1414041/en
    12. Parameterized Shifted Combinatorial Optimization
      GAJARSKÝ, Jakub, Petr HLINĚNÝ, Martin KOUTECKÝ and Shmuel ONN. Parameterized Shifted Combinatorial Optimization. In Y. Cao and J. Chen. International Computing and Combinatorics Conference COCOON 2017 (LNCS, volume 10392). Hong Kong: Springer International Publishing AG, 2017, p. 224-236. ISBN 978-3-319-62388-7. Available from: https://dx.doi.org/10.1007/978-3-319-62389-4_19.
      RIV/00216224:14330/17:00095083 Proceedings paper. Informatics. English. Switzerland.
      Gajarský, Jakub (703 Slovakia, belonging to the institution) -- Hliněný, Petr (203 Czech Republic, guarantor, belonging to the institution) -- Koutecký, Martin (203 Czech Republic) -- Onn, Shmuel (376 Israel)
      Keywords in English: Combinatorial optimization; Shifted problem; Treewidth; MSO logic; MSO partitioning
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: Mgr. Michal Petr, učo 65024. Changed: 16/5/2022 15:47.
      More: https://is.muni.cz/publication/1392992/en
    13. Parametric multi-step scheme for GPU-accelerated graph decomposition into strongly connected components
      ALDEGHERI, Stefano, Jiří BARNAT, Nicola BOMBIERI, Federico BUSATO and 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, 2017, p. 519-531. ISBN 978-3-319-58942-8. Available from: https://dx.doi.org/10.1007/978-3-319-58943-5_42.
      RIV/00216224:14330/17:00100646 Proceedings paper. English. Switzerland.
      Aldegheri, Stefano (380 Italy) -- Barnat, Jiří (203 Czech Republic, guarantor, belonging to the institution) -- Bombieri, Nicola (380 Italy) -- Busato, Federico (380 Italy) -- Češka, Milan (203 Czech Republic)
      Keywords in English: Directed graphs; Distributed computer systems; Problem solving
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 7/1/2019 14:28.
      More: https://is.muni.cz/publication/1417426/en
    14. Quality Evaluation of PaaS Cloud Application Design Using Generated Prototypes
      GEŠVINDR, David, Barbora BÜHNOVÁ and Ondřej GASIOR. Quality Evaluation of PaaS Cloud Application Design Using Generated Prototypes. Online. In 2017 IEEE International Conference on Software Architecture (ICSA). Neuveden: IEEE, 2017, p. 31-40. ISBN 978-1-5090-5729-0. Available from: https://dx.doi.org/10.1109/ICSA.2017.43.
      Name (in English): Quality Evaluation of PaaS Cloud Application Design Using Generated Prototypes
      RIV/00216224:14330/17:00097438 Proceedings paper. Informatics. English.
      Gešvindr, David (203 Czech Republic, belonging to the institution) -- Bühnová, Barbora (203 Czech Republic, belonging to the institution) -- Gasior, Ondřej (203 Czech Republic, belonging to the institution)
      Keywords in English: cloud computing; software architecture; prototype generation
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 18/5/2018 12:10.
      More: https://is.muni.cz/publication/1388380/en
    15. Real-life Experience with Major Reconfiguration of Job Scheduling System
      KLUSÁČEK, Dalibor, Šimon TÓTH and Gabriela PODOLNÍKOVÁ. Real-life Experience with Major Reconfiguration of Job Scheduling System. In Walfredo Cirne and Narayan Desai. 20th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2016. Cham, Switzerland: Springer, 2017, p. 83-101. ISBN 978-3-319-61755-8. Available from: https://dx.doi.org/10.1007/978-3-319-61756-5_5.
      URL
      RIV/00216224:14330/17:00094513 Proceedings paper. Informatics. English. Switzerland.
      Klusáček, Dalibor (203 Czech Republic, belonging to the institution) -- Tóth, Šimon (203 Czech Republic, guarantor, belonging to the institution) -- Podolníková, Gabriela (203 Czech Republic, belonging to the institution)
      Keywords in English: Scheduling; Fairness; Queue; Workload; Heterogeneity
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 13/5/2020 19:18.
      More: https://is.muni.cz/publication/1309343/en
    16. Seminator: A Tool for Semi-Determinization of Omega-Automata
      BLAHOUDEK, František, Alexandre DURET-LUTZ, Mikuláš KLOKOČKA, Mojmír KŘETÍNSKÝ and Jan STREJČEK. Seminator: A Tool for Semi-Determinization of Omega-Automata. Online. In Thomas Eiter and David Sands. Proceedings of the 21th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2017). Neuveden: EasyChair, 2017, p. 356-367. ISSN 2398-7340. Available from: https://dx.doi.org/10.29007/k5nl.
      URL
      RIV/00216224:14330/17:00094743 Proceedings paper. Informatics. English. Germany.
      Blahoudek, František (203 Czech Republic, belonging to the institution) -- Duret-Lutz, Alexandre (250 France) -- Klokočka, Mikuláš (203 Czech Republic, belonging to the institution) -- Křetínský, Mojmír (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: semi deterministic automata; ltl to automata translation; omega automata
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 9/11/2018 14:58.
      More: https://is.muni.cz/publication/1380432/en
    17. Synthesis of Optimal Resilient Control Strategies
      BAIER, Christel, Clemens DUBSLAFF, Ľuboš KORENČIAK, Antonín KUČERA and Vojtěch ŘEHÁK. Synthesis of Optimal Resilient Control Strategies. In Deepak D'Souza, K. Narayan Kumar. Automated Technology for Verification and Analysis. Cham: Springer International Publishing, 2017, p. 417-434. ISBN 978-3-319-68166-5. Available from: https://dx.doi.org/10.1007/978-3-319-68167-2_27.
      RIV/00216224:14330/17:00095082 Proceedings paper. Informatics. English. Switzerland.
      Baier, Christel (276 Germany) -- Dubslaff, Clemens (276 Germany) -- Korenčiak, Ľuboš (703 Slovakia, guarantor, belonging to the institution) -- Kučera, Antonín (203 Czech Republic, belonging to the institution) -- Řehák, Vojtěch (203 Czech Republic, belonging to the institution)
      Keywords in English: controller synthesis; Markov decision processes; resilience
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2018 11:00.
      More: https://is.muni.cz/publication/1392977/en
    18. Towards a Polynomial Kernel for Directed Feedback Vertex Set
      EIBEN, Eduard, Sebastian ORDYNIAK, M.S. RAMANUJAN, Benjamin BERGOUGNOUX and Robert GANIAN. Towards a Polynomial Kernel for Directed Feedback Vertex Set. Online. 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. 83rd ed. Nemecko: LIPIcs, 2017, p. 1-15. ISBN 978-3-95977-046-0. Available from: https://dx.doi.org/10.4230/LIPIcs.MFCS.2017.36.
      URL
      RIV/00216224:14330/17:00100550 Proceedings paper. English. Germany.
      Eiben, Eduard (703 Slovakia) -- Ordyniak, Sebastian (276 Germany) -- Ramanujan, M.S. (356 India) -- Bergougnoux, Benjamin (250 France) -- Ganian, Robert (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: parameterized algorithms; kernelization; (directed) feedback vertex set
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 7/1/2019 14:00.
      More: https://is.muni.cz/publication/1414043/en
    19. Visual Descriptors in Methods for Video Hyperlinking
      GALUŠČÁKOVÁ, Petra, Michal BATKO, Jan ČECH, Jiří MATAS, David NOVÁK and Pavel PECINA. Visual Descriptors in Methods for Video Hyperlinking. In Proceedings of the 2017 ACM on International Conference on Multimedia Retrieval. New York, NY, USA: ACM, 2017, p. 294-300. ISBN 978-1-4503-4701-3. Available from: https://dx.doi.org/10.1145/3078971.3079026.
      RIV/00216224:14330/17:00095298 Proceedings paper. Informatics. English. United States of America.
      Galuščáková, Petra (203 Czech Republic) -- Batko, Michal (203 Czech Republic, belonging to the institution) -- Čech, Jan (203 Czech Republic) -- Matas, Jiří (203 Czech Republic) -- Novák, David (203 Czech Republic, belonging to the institution) -- Pecina, Pavel (203 Czech Republic)
      Keywords in English: Video retrieval; Hyperlinking; Information retrieval; Image processing
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2018 11:07.
      More: https://is.muni.cz/publication/1400884/en

    2016

    1. A Model Checking Approach to Discrete Bifurcation Analysis
      BENEŠ, Nikola, Luboš BRIM, Martin DEMKO, Samuel PASTVA and 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, 2016, p. 85-101. ISBN 978-3-319-48988-9. Available from: https://dx.doi.org/10.1007/978-3-319-48989-6_6.
      Name (in English): A Model Checking Approach to Discrete Bifurcation Analysis
      RIV/00216224:14330/16:00088309 Proceedings paper. Informatics. English. Czech Republic.
      Beneš, Nikola (203 Czech Republic, belonging to the institution) -- Brim, Luboš (203 Czech Republic, belonging to the institution) -- Demko, Martin (703 Slovakia, belonging to the institution) -- Pastva, Samuel (703 Slovakia, belonging to the institution) -- Šafránek, David (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: model checking; satisfiability modulo theories; Computational Tree Logic; dynamical systems; distributed algorithms; bifurcation analysis
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 13/5/2020 19:12.
      More: https://is.muni.cz/publication/1359653/en
    2. A Single-Exponential Fixed-Parameter Algorithm for Distance-Hereditary Vertex Deletion
      GANIAN, Robert, Eduard EIBEN and O-joung KWON. A Single-Exponential Fixed-Parameter Algorithm for Distance-Hereditary Vertex Deletion. Online. 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, 2016, p. "34:1"-"34:14", 14 pp. ISBN 978-3-95977-016-3. Available from: https://dx.doi.org/10.4230/LIPIcs.MFCS.2016.34.
      RIV/00216224:14330/16:00093948 Proceedings paper. Informatics. English. Germany.
      Ganian, Robert (203 Czech Republic, guarantor, belonging to the institution) -- Eiben, Eduard (703 Slovakia) -- Kwon, O-joung (410 Republic of Korea)
      Keywords in English: algorithms; vertex deletion problems
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/8/2019 12:08.
      More: https://is.muni.cz/publication/1376048/en
    3. Anomaly Detection in Smart Grid Data: An Experience Report
      ROSSI, Bruno, Stanislav CHREN, Barbora BÜHNOVÁ and Tomáš PITNER. Anomaly Detection in Smart Grid Data: An Experience Report. Online. In The 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2016). Budapest: IEEE, 2016, p. 2313-2318. ISBN 978-1-5090-1897-0. Available from: https://dx.doi.org/10.1109/SMC.2016.7844583.
      RIV/00216224:14330/16:00090404 Proceedings paper. Informatics. English. United States of America.
      Rossi, Bruno (380 Italy, belonging to the institution) -- Chren, Stanislav (703 Slovakia, belonging to the institution) -- Bühnová, Barbora (203 Czech Republic, belonging to the institution) -- Pitner, Tomáš (203 Czech Republic, belonging to the institution)
      Keywords in English: Smart Grids; Smart Meters; Anomaly Detection; Clustering; Frequent Itemset Mining
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 13/5/2020 19:37.
      More: https://is.muni.cz/publication/1350024/en
    4. Architectural Tactics for the Design of Efficient PaaS Cloud Applications
      GEŠVINDR, David and Barbora BÜHNOVÁ. Architectural Tactics for the Design of Efficient PaaS Cloud Applications. Online. In 2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA). Neuveden: IEEE, 2016, p. 158-167. ISBN 978-1-5090-2131-4. Available from: https://dx.doi.org/10.1109/WICSA.2016.42.
      Name (in English): Architectural Tactics for the Design of Efficient PaaS Cloud Applications
      RIV/00216224:14330/16:00090585 Proceedings paper. Informatics. English.
      Gešvindr, David (203 Czech Republic, belonging to the institution) -- Bühnová, Barbora (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: cloud computing; software architecture; architectural tactics; Software Architecture Design
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 13/5/2020 19:17.
      More: https://is.muni.cz/publication/1351810/en
    5. Automatic Detection of Laser-Induced Structures in Live Cell Fluorescent Microscopy Images Using Snakes with Geometric Constraints
      KONDRAT'EV, Alexandr and Dmitry SOROKIN. Automatic Detection of Laser-Induced Structures in Live Cell Fluorescent Microscopy Images Using Snakes with Geometric Constraints. Online. In IEEE 23rd International Conference on Pattern Recognition (ICPR). Not specified: IEEE, 2016, p. 326-331. ISBN 978-1-5090-4846-5. Available from: https://dx.doi.org/10.1109/ICPR.2016.7899655.
      Name (in English): Automatic Detection of Laser-Induced Structures in Live Cell Fluorescent Microscopy Images Using Snakes with Geometric Constraints
      RIV/00216224:14330/16:00088097 Proceedings paper. Use of computers, robotics and its application. English. United States of America.
      Kondrat'ev, Alexandr (643 Russian Federation) -- Sorokin, Dmitry (643 Russian Federation, guarantor, belonging to the institution)
      Keywords in English: Biological image and signal analysis; Biologically motivated vision; Segmentation features and descriptors
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/2/2018 09:51.
      More: https://is.muni.cz/publication/1352254/en
    6. Backdoors to Tractable Valued CSP
      GANIAN, Robert, M.S. RAMANUJAN and Stefan SZEIDER. Backdoors to Tractable Valued CSP. In Rueher, M. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016. CHAM: SPRINGER INT PUBLISHING AG, 2016, p. 233-250. ISBN 978-3-319-44952-4. Available from: https://dx.doi.org/10.1007/978-3-319-44953-1_16.
      RIV/00216224:14330/16:00093942 Proceedings paper. Informatics. English.
      Ganian, Robert (203 Czech Republic, guarantor, belonging to the institution) -- Ramanujan, M.S. (360 Indonesia) -- Szeider, Stefan (40 Austria)
      Keywords in English: CSP; backdoors
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2017 07:08.
      More: https://is.muni.cz/publication/1376014/en
    7. Battery-Aware Scheduling in Low Orbit: The GomX–3 Case
      BISGAARD, Morten, David GERHARDT, Holger HERMANNS, Jan KRČÁL, Gilles NIES and Marvin STENGER. Battery-Aware Scheduling in Low Orbit: The GomX–3 Case. Online. In FM 2016: Formal Methods: 21st International Symposium. Berlin: Springer International Publishing., 2016, p. 559-576. ISBN 978-3-319-48988-9. Available from: https://dx.doi.org/10.1007/978-3-319-48989-6_34.
      RIV/00216224:14330/16:00088808 Proceedings paper. Informatics. English. Germany.
      Bisgaard, Morten (208 Denmark) -- Gerhardt, David (208 Denmark) -- Hermanns, Holger (276 Germany) -- Krčál, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Nies, Gilles (442 Luxembourg) -- Stenger, Marvin (276 Germany)
      Keywords in English: KiBam; nano-satellite; stochastic model
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 1/6/2022 12:42.
      More: https://is.muni.cz/publication/1377107/en
    8. Complementing Semi-deterministic Büchi Automata
      BLAHOUDEK, František, Matthias HEIZMANN, Sven SCHEWE, Jan STREJČEK and Ming-Hsien TSAI. Complementing Semi-deterministic Büchi Automata. In Marsha Chechik, Jean-François Raskin. Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016. Berlin: Springer Berlin Heidelberg, 2016, p. 770-787. ISBN 978-3-662-49673-2. Available from: https://dx.doi.org/10.1007/978-3-662-49674-9_49.
      URL
      RIV/00216224:14330/16:00088081 Proceedings paper. Informatics. English. Germany.
      Blahoudek, František (203 Czech Republic, belonging to the institution) -- Heizmann, Matthias (276 Germany) -- Schewe, Sven (276 Germany) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Tsai, Ming-Hsien (158 Taiwan)
      Keywords in English: Buchi automata;complementation
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 13/5/2020 23:01.
      More: https://is.muni.cz/publication/1351787/en
    9. Counting Linear Extensions: Parameterizations by Treewidth
      GANIAN, Robert, Sebastian ORDYNIAK, Eduard EIBEN and Kanga KUSTAA. Counting Linear Extensions: Parameterizations by Treewidth. Online. 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, 2016, p. 1-18. ISBN 978-3-95977-015-6. Available from: https://dx.doi.org/10.4230/LIPIcs.ESA.2016.39.
      RIV/00216224:14330/16:00093946 Proceedings paper. Informatics. English. Germany.
      Ganian, Robert (203 Czech Republic, guarantor, belonging to the institution) -- Ordyniak, Sebastian (40 Austria) -- Eiben, Eduard (703 Slovakia) -- Kustaa, Kanga (246 Finland)
      Keywords in English: treewidth; linear extensions
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2017 07:09.
      More: https://is.muni.cz/publication/1376045/en
    10. Crossing Number is Hard for Kernelization
      DERŇÁR, Marek and Petr HLINĚNÝ. Crossing Number is Hard for Kernelization. Online. In 32nd International Symposium on Computational Geometry (SoCG 2016). Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2016, p. "42:1"-"42:10", 10 pp. ISBN 978-3-95977-009-5. Available from: https://dx.doi.org/10.4230/LIPIcs.SoCG.2016.42.
      URL
      Name in Czech: Průsečíkové číslo je těžké kernelizovat
      RIV/00216224:14330/16:00088543 Proceedings paper. Informatics. English. Germany.
      Derňár, Marek (703 Slovakia, belonging to the institution) -- Hliněný, Petr (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: crossing number; kernelization; parameterized complexity
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2017 07:07.
      More: https://is.muni.cz/publication/1367505/en
    11. Decidability Results for Multi-objective Stochastic Games
      BRENGUIER, Romain and 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, 2016, p. 227-243. ISBN 978-3-319-46519-7. Available from: https://dx.doi.org/10.1007/978-3-319-46520-3_15.
      RIV/00216224:14330/16:00094154 Proceedings paper. Informatics. English. Germany.
      Brenguier, Romain (250 France) -- Forejt, Vojtěch (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: stochastic games; multi-criteria optimisation
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2017 07:18.
      More: https://is.muni.cz/publication/1378305/en
    12. DGRMiner: Anomaly Detection and Explanation in Dynamic Graphs
      VACULÍK, Karel and 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, 2016, p. 308-319. ISBN 978-3-319-46348-3. Available from: https://dx.doi.org/10.1007/978-3-319-46349-0_27.
      Name (in English): DGRMiner: Anomaly Detection and Explanation in Dynamic Graphs
      RIV/00216224:14330/16:00091413 Proceedings paper. Informatics. English. United Kingdom of Great Britain and Northern Ireland.
      Vaculík, Karel (203 Czech Republic, guarantor, belonging to the institution) -- Popelínský, Lubomír (203 Czech Republic, belonging to the institution)
      Keywords in English: graph mining; data mining; dynamic graphs; rule mining; anomaly detection; outlier detection; anomaly explanation
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 13/5/2020 19:16.
      More: https://is.muni.cz/publication/1358700/en
    13. Distributed synthesis in continuous time.
      HERMANNS, Holger, Jan KRČÁL and Steen VESTER. Distributed synthesis in continuous time. In International Conference on Foundations of Software Science and Computation Structures. Berlin: Springer, 2016, p. 353-369. ISBN 978-3-662-49629-9. Available from: https://dx.doi.org/10.1007/978-3-662-49630-5_21.
      RIV/00216224:14330/16:00088813 Proceedings paper. Informatics. English. Germany.
      Hermanns, Holger (276 Germany) -- Krčál, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Vester, Steen (208 Denmark)
      Keywords in English: distributed controller synthesis; interactive Markov chains; undecidabiliy
      Changed by: RNDr. Jan Krčál, Ph.D., učo 139854. Changed: 9/4/2017 21:11.
      More: https://is.muni.cz/publication/1377784/en
    14. Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration
      KORENČIAK, Ľuboš, Antonín KUČERA and Vojtěch ŘEHÁK. Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration. In 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems. London: IEEE Computer Society, 2016, p. 367-372. ISBN 978-1-5090-3431-4. Available from: https://dx.doi.org/10.1109/MASCOTS.2016.34.
      URL
      Name (in English): Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration
      RIV/00216224:14330/16:00088476 Proceedings paper. Informatics. English. United States of America.
      Korenčiak, Ľuboš (703 Slovakia, belonging to the institution) -- Kučera, Antonín (203 Czech Republic, belonging to the institution) -- Řehák, Vojtěch (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Clocks: Protocols; Markov processes; Delays; Standards; Computational modeling
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 12/5/2017 07:03.
      More: https://is.muni.cz/publication/1365671/en
    15. Faster Statistical Model Checking for Unbounded Temporal Properties
      DACA, Przemyslaw, Thomas A. HENZINGER, Jan KŘETÍNSKÝ and Tatjana PETROV. Faster Statistical Model Checking for Unbounded Temporal Properties. In Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016. Berlin Heidelberg: Springer, 2016, p. 112-129. ISBN 978-3-662-49673-2. Available from: https://dx.doi.org/10.1007/978-3-662-49674-9_7.
      RIV/00216224:14330/16:00088469 Proceedings paper. Informatics. English. Germany.
      Daca, Przemyslaw (616 Poland) -- Henzinger, Thomas A. (40 Austria) -- Křetínský, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Petrov, Tatjana (688 Serbia)
      Keywords in English: statistical model checking; verification; temporal logic
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 1/6/2022 12:34.
      More: https://is.muni.cz/publication/1365646/en
    16. From Low-Level Pointers to High-Level Containers
      DUDKA, Kamil, Lukáš HOLÍK, Petr PERINGER, Marek TRTÍK and Tomáš VOJNAR. From Low-Level Pointers to High-Level Containers. In B. Jobstmann, K. Rustan, M. Leino. Verification, Model Checking, and Abstract Interpretation. LNCS, VMCAI 2016. St. Petersburg, Florida, United States: Springer, Switzerland, 2016, p. 431-452. ISBN 978-3-662-49121-8. Available from: https://dx.doi.org/10.1007/978-3-662-49122-5_21.
      RIV/00216224:14330/16:00089165 Proceedings paper. Computer hardware and software. English. Switzerland.
      Dudka, Kamil (203 Czech Republic) -- Holík, Lukáš (203 Czech Republic) -- Peringer, Petr (203 Czech Republic) -- Trtík, Marek (203 Czech Republic, belonging to the institution) -- Vojnar, Tomáš (203 Czech Republic, guarantor)
      Keywords in English: Shape analysis; list; program transformation
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 14/5/2020 15:18.
      More: https://is.muni.cz/publication/1316339/en
    17. Impact of Question Difficulty on Engagement and Learning
      PAPOUŠEK, Jan, Vít STANISLAV and Radek PELÁNEK. Impact of Question Difficulty on Engagement and Learning. Online. In Alessandro Micarelli, John Stamper, Kitty Panourgia. Intelligent Tutoring Systems: 13th International Conference. Zagreb, Croatia: Springer International Publishing, 2016, p. 267-272. ISBN 978-3-319-39582-1. Available from: https://dx.doi.org/10.1007/978-3-319-39583-8_28.
      URL
      RIV/00216224:14330/16:00090426 Proceedings paper. Informatics. English.
      Papoušek, Jan (203 Czech Republic, belonging to the institution) -- Stanislav, Vít (203 Czech Republic, belonging to the institution) -- Pelánek, Radek (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: evaluation; engagement; learning curves; optimal difficulty
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 14/5/2020 15:27.
      More: https://is.muni.cz/publication/1350112/en
    18. Inserting Multiple Edges into a Planar Graph
      CHIMANI, Markus and Petr HLINĚNÝ. Inserting Multiple Edges into a Planar Graph. Online. In 32nd International Symposium on Computational Geometry (SoCG 2016). Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2016, p. "30:1"-"30:15", 15 pp. ISBN 978-3-95977-009-5. Available from: https://dx.doi.org/10.4230/LIPIcs.SoCG.2016.30.
      URL
      Name in Czech: Vkládání více hran do rovinného grafu
      RIV/00216224:14330/16:00088509 Proceedings paper. Informatics. English. Germany.
      Chimani, Markus (276 Germany) -- Hliněný, Petr (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: crossing number; crossing minimization; planar insertion
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2017 07:05.
      More: https://is.muni.cz/publication/1366561/en
    19. Learning Robust Features for Gait Recognition by Maximum Margin Criterion
      BALÁŽIA, Michal and Petr SOJKA. Learning Robust Features for Gait Recognition by Maximum Margin Criterion. Online. In Eduardo Bayro-Corrochano, Gabrielle Sanniti di Baja, Gérard Medioni. Proceedings of the 23rd IEEE/IAPR International Conference on Pattern Recognition (ICPR 2016). USA: IEEE, 2016, p. 901-906. ISBN 978-1-5090-4847-2. Available from: https://dx.doi.org/10.1109/ICPR.2016.7899750.
      DOI conference web Proceedings
      RIV/00216224:14330/16:00090367 Proceedings paper. Informatics. English. United States of America.
      Balážia, Michal (703 Slovakia, guarantor, belonging to the institution) -- Sojka, Petr (203 Czech Republic, belonging to the institution)
      Keywords in English: gait recognition
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 4/4/2018 17:04.
      More: https://is.muni.cz/publication/1349591/en
    20. Linear Distances between Markov Chains
      DACA, Przemyslaw, Thomas A. HENZINGER, Jan KŘETÍNSKÝ and Tatjana PETROV. Linear Distances between Markov Chains. Online. In 27th International Conference on Concurrency Theory, CONCUR 2016. Schloss Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016, p. 1-15. ISBN 978-3-95977-017-0. Available from: https://dx.doi.org/10.4230/LIPIcs.CONCUR.2016.20.
      RIV/00216224:14330/16:00088470 Proceedings paper. Informatics. English. Germany.
      Daca, Przemyslaw (616 Poland) -- Henzinger, Thomas A. (40 Austria) -- Křetínský, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Petrov, Tatjana (688 Serbia)
      Keywords in English: verification; temporal logic; statistical model checking
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2017 07:02.
      More: https://is.muni.cz/publication/1365647/en
    21. Local Load Optimization in Smart Grids with Bayesian Networks
      CHREN, Stanislav and Barbora BÜHNOVÁ. Local Load Optimization in Smart Grids with Bayesian Networks. Online. In The 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC 2016). Neuveden: IEEE, 2016, p. 4021-4027. ISBN 978-1-5090-1897-0. Available from: https://dx.doi.org/10.1109/SMC.2016.7844862.
      RIV/00216224:14330/16:00090403 Proceedings paper. Informatics. English. United States of America.
      Chren, Stanislav (703 Slovakia, belonging to the institution) -- Bühnová, Barbora (203 Czech Republic, belonging to the institution)
      Keywords in English: Smart Grids; Smart Meters; Bayesian Networks; Ripple Control; Load Management
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 13/5/2020 19:35.
      More: https://is.muni.cz/publication/1350023/en
    22. MoChiBA: Probabilistic {LTL} Model Checking Using Limit-Deterministic Büchi Automata
      SICKERT, Salomon and Jan KŘETÍNSKÝ. MoChiBA: Probabilistic {LTL} Model Checking Using Limit-Deterministic Büchi Automata. In Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016. Switzerland: Springer, 2016, p. 130-137. ISBN 978-3-319-46519-7. Available from: https://dx.doi.org/10.1007/978-3-319-46520-3_9.
      RIV/00216224:14330/16:00088473 Proceedings paper. Informatics. English. Switzerland.
      Sickert, Salomon (276 Germany) -- Křetínský, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: probabilistic model checking; verification; automata; temporal logic
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 1/6/2022 12:40.
      More: https://is.muni.cz/publication/1365656/en
    23. Off the Beaten Path: Let's Replace Term-Based Retrieval with k-NN Search
      BOYTSOV, Leonid, David NOVÁK, Yury MALKOV and 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, 2016, p. 1099-1108. ISBN 978-1-4503-4073-1. Available from: https://dx.doi.org/10.1145/2983323.2983815.
      RIV/00216224:14330/16:00088811 Proceedings paper. Informatics. English. United States of America.
      Boytsov, Leonid (840 United States of America) -- Novák, David (203 Czech Republic, guarantor, belonging to the institution) -- Malkov, Yury (643 Russian Federation) -- Nyberg, Eric (840 United States of America)
      Keywords in English: k-NN search; IBM Model 1; non-metric spaces; LSH
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. David Novák, Ph.D., učo 4335. Changed: 7/4/2017 15:22.
      More: https://is.muni.cz/publication/1377704/en
    24. On a Fragment of AMSO and Tiling Systems
      BLUMENSATH, Achim, Thomas COLCOMBET and Pawel PARYS. On a Fragment of AMSO and Tiling Systems. Online. In Nicolas Ollinger, Heribert Vollmer. 33rd Symposium on Theoretical Aspects of Computer Science, STACS 2016, February 17-20, 2016, Orleans, France. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016, p. 1-14. ISBN 978-3-95977-001-9. Available from: https://dx.doi.org/10.4230/LIPIcs.STACS.2016.19.
      RIV/00216224:14330/16:00088529 Proceedings paper. Informatics. English. Germany.
      Blumensath, Achim (276 Germany, guarantor, belonging to the institution) -- Colcombet, Thomas (250 France) -- Parys, Pawel (616 Poland)
      Keywords in English: monadic second-order logic; boundedness; tiling problems
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 13/5/2020 19:19.
      More: https://is.muni.cz/publication/1367137/en
    25. On Existential MSO and its Relation to ETH
      GANIAN, Robert, Ronald DE HAAN, Stefan SZEIDER and Iyad KANJ. On Existential MSO and its Relation to ETH. Online. 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, 2016, p. "42:1"-"42:14", 14 pp. ISBN 978-3-95977-016-3. Available from: https://dx.doi.org/10.4230/LIPIcs.MFCS.2016.42.
      RIV/00216224:14330/16:00093950 Proceedings paper. Informatics. English. Germany.
      Ganian, Robert (203 Czech Republic, guarantor, belonging to the institution) -- de Haan, Ronald (528 Netherlands) -- Szeider, Stefan (40 Austria) -- Kanj, Iyad (840 United States of America)
      Keywords in English: algorithms; logic; exponential time hypothesis
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/8/2019 12:09.
      More: https://is.muni.cz/publication/1376050/en
    26. On the Complexity Landscape of Connected f-Factor Problems
      GANIAN, Robert, N. S. NARAYANASWAMY, Sebastian ORDYNIAK, C. S. RAHUL and M. S. RAMANUJAN. On the Complexity Landscape of Connected f-Factor Problems. Online. 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, 2016, p. "41:1"-"41:14", 14 pp. ISBN 978-3-95977-016-3. Available from: https://dx.doi.org/10.4230/LIPIcs.MFCS.2016.41.
      RIV/00216224:14330/16:00093949 Proceedings paper. Informatics. English. Germany.
      Ganian, Robert (203 Czech Republic, guarantor, belonging to the institution) -- Narayanaswamy, N. S. (356 India) -- Ordyniak, Sebastian (40 Austria) -- Rahul, C. S. (356 India) -- Ramanujan, M. S. (356 India)
      Keywords in English: algorithms; vertex deletion problems
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 12/5/2017 04:21.
      More: https://is.muni.cz/publication/1376049/en
    27. On verifying C++ programs with probabilities (On verifying {C++} programs with probabilities)
      BARNAT, Jiří, Ivana ČERNÁ, Petr ROČKAI, Vladimír ŠTILL and Kristína ZÁKOPČANOVÁ. On verifying C++ programs with probabilities (On verifying {C++} programs with probabilities). In Sascha Ossowski. Proceedings of the 31st Annual ACM Symposium on Applied Computing. Pisa: ACM New York, NY, USA, 2016, p. 1238-1243. ISBN 978-1-4503-3739-7. Available from: https://dx.doi.org/10.1145/2851613.2851721.
      URL
      Name (in English): On verifying {C++} programs with probabilities
      RIV/00216224:14330/16:00088057 Proceedings paper. Informatics. English. Italy.
      Barnat, Jiří (203 Czech Republic, guarantor, belonging to the institution) -- Černá, Ivana (203 Czech Republic, belonging to the institution) -- Ročkai, Petr (703 Slovakia, belonging to the institution) -- Štill, Vladimír (203 Czech Republic, belonging to the institution) -- Zákopčanová, Kristína (203 Czech Republic, belonging to the institution)
      Keywords in English: Model Checking; Probabilistic systems; DIVINE ; PRISM
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Ivana Černá, CSc., učo 1419. Changed: 16/7/2018 15:46.
      More: https://is.muni.cz/publication/1350754/en
    28. Online and Compositional Learning of Controllers with Application to Floor Heating
      LARSEN, Kim G., Marius MIKUCIONIS, Marco MUNIZ, Jiří SRBA and 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, 2016, p. 244-259. ISBN 978-3-662-49673-2. Available from: https://dx.doi.org/10.1007/978-3-662-49674-9_14.
      URL
      RIV/00216224:14330/16:00094027 Proceedings paper. Informatics. English. Netherlands.
      Larsen, Kim G. (208 Denmark) -- Mikucionis, Marius (440 Lithuania) -- Muniz, Marco (604 Peru) -- Srba, Jiří (203 Czech Republic, guarantor, belonging to the institution) -- Taankvist, Jakob H. (208 Denmark)
      Keywords in English: floor heating; controller synthesis; hybrid automata
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 1/6/2022 12:44.
      More: https://is.muni.cz/publication/1376768/en
    29. Optimal observation mode scheduling for systems under temporal constraints
      TESAŘOVÁ, Eva, Mária SVOREŇOVÁ, Jiří BARNAT and Ivana ČERNÁ. Optimal observation mode scheduling for systems under temporal constraints. In 2016 American Control Conference (ACC). Boston: IEEE Conference Publications, 2016, p. 1099-1104. ISBN 978-1-4673-8682-1. Available from: https://dx.doi.org/10.1109/ACC.2016.7525062.
      URL
      Name in Czech: Optimal observation mode scheduling for systems under temporal constraints
      Name (in English): Optimal observation mode scheduling for systems under temporal constraints
      RIV/00216224:14330/16:00088275 Proceedings paper. Informatics. English. United States of America.
      Tesařová, Eva (203 Czech Republic, belonging to the institution) -- Svoreňová, Mária (703 Slovakia, belonging to the institution) -- Barnat, Jiří (203 Czech Republic, belonging to the institution) -- Černá, Ivana (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Formal verification/synthesis; Optimal control; Uncertain systems
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 13/5/2020 19:37.
      More: https://is.muni.cz/publication/1358269/en
    30. Optimizing the Expected Mean Payoff in Energy Markov Decision Processes
      BRÁZDIL, Tomáš, Antonín KUČERA and Petr NOVOTNÝ. Optimizing the Expected Mean Payoff in Energy Markov Decision Processes. In Cyrille Artho, Axel Legay, Doron Peled. Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016. Heidelberg: Springer, 2016, p. 32-49. ISBN 978-3-319-46519-7. Available from: https://dx.doi.org/10.1007/978-3-319-46520-3_3.
      RIV/00216224:14330/16:00088482 Proceedings paper. Informatics. English. Germany.
      Brázdil, Tomáš (203 Czech Republic, belonging to the institution) -- Kučera, Antonín (203 Czech Republic, guarantor, belonging to the institution) -- Novotný, Petr (203 Czech Republic)
      Keywords in English: mean payoff; energy games
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 14/5/2020 11:02.
      More: https://is.muni.cz/publication/1366035/en
    31. Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems
      BENEŠ, Nikola, Luboš BRIM, Martin DEMKO, Samuel PASTVA and 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, 2016, p. 192-208. ISBN 978-3-319-46519-7. Available from: https://dx.doi.org/10.1007/978-3-319-46520-3_13.
      Name (in English): Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems
      RIV/00216224:14330/16:00088098 Proceedings paper. Informatics. English. Czech Republic.
      Beneš, Nikola (203 Czech Republic, belonging to the institution) -- Brim, Luboš (203 Czech Republic, belonging to the institution) -- Demko, Martin (703 Slovakia, belonging to the institution) -- Pastva, Samuel (703 Slovakia, belonging to the institution) -- Šafránek, David (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: model checking; satisfiability modulo theories; Computational Tree Logic; dynamical systems; distributed algorithms
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 13/5/2020 19:15.
      More: https://is.muni.cz/publication/1352259/en
    32. Polynomial-time Construction of Optimal MPI Derived Datatype Trees
      GANIAN, Robert, Martin KALANY, Stefan SZEIDER and Jesper Larsson TRAFF. Polynomial-time Construction of Optimal MPI Derived Datatype Trees. Online. In 2016 IEEE 30TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS 2016). NEW YORK: IEEE, 2016, p. 638-647. ISBN 978-1-5090-2140-6. Available from: https://dx.doi.org/10.1109/IPDPS.2016.13.
      RIV/00216224:14330/16:00093947 Proceedings paper. Informatics. English. United States of America.
      Ganian, Robert (203 Czech Republic, guarantor, belonging to the institution) -- Kalany, Martin (40 Austria) -- Szeider, Stefan (40 Austria) -- Traff, Jesper Larsson (40 Austria)
      Keywords in English: MPI; derived datatypes; type reconstruction; dynamic programming
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2017 07:09.
      More: https://is.muni.cz/publication/1376047/en
    33. PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems
      ČEŠKA, Milan, Petr PILAŘ, Nikola PAOLETTI, Luboš BRIM and 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, 2016, p. 367-384. ISBN 978-3-662-49673-2. Available from: https://dx.doi.org/10.1007/978-3-662-49674-9_21.
      Name in Czech: PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems
      Name (in English): PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems
      RIV/00216224:14330/16:00088144 Proceedings paper. Informatics. English. Germany.
      Češka, Milan (203 Czech Republic) -- Pilař, Petr (203 Czech Republic, belonging to the institution) -- Paoletti, Nikola (826 United Kingdom of Great Britain and Northern Ireland) -- Brim, Luboš (203 Czech Republic, guarantor, belonging to the institution) -- Kwiatkowska, Marta (826 United Kingdom of Great Britain and Northern Ireland)
      Keywords in English: GPU; stochastic systems; model checking; parameter synthesis
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 16/4/2019 09:41.
      More: https://is.muni.cz/publication/1354080/en
    34. Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams
      JONÁŠ, Martin and Jan STREJČEK. Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams. In Nadia Creignou and Daniel Le Berre. Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference. Berlin, Heidelberg: Springer, 2016, p. 267-283. ISBN 978-3-319-40969-6. Available from: https://dx.doi.org/10.1007/978-3-319-40970-2_17.
      RIV/00216224:14330/16:00088245 Proceedings paper. Informatics. English. Germany.
      Jonáš, Martin (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: SMT solving; quantified bit-vector formulas; BDD
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 13/5/2020 19:22.
      More: https://is.muni.cz/publication/1357165/en
    35. Stability in Graphs and Games
      BRÁZDIL, Tomáš, Vojtěch FOREJT, Antonín KUČERA and Petr NOVOTNÝ. Stability in Graphs and Games. Online. In Josee Desharnais, Radha Jagadeesan. 27th International Conference on Concurrency Theory, CONCUR 2016. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016, p. 1-14. ISBN 978-3-95977-017-0. Available from: https://dx.doi.org/10.4230/LIPIcs.CONCUR.2016.10.
      RIV/00216224:14330/16:00088483 Proceedings paper. Informatics. English. Germany.
      Brázdil, Tomáš (203 Czech Republic, belonging to the institution) -- Forejt, Vojtěch (203 Czech Republic, belonging to the institution) -- Kučera, Antonín (203 Czech Republic, guarantor, belonging to the institution) -- Novotný, Petr (203 Czech Republic)
      Keywords in English: turn-based games; mean payoff; stability
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2017 07:04.
      More: https://is.muni.cz/publication/1366038/en
    36. The Crossing Number of the Cone of a Graph
      ALFARO, Carlos A., Alan ARROYO, Marek DERŇÁR and 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, 2016, p. 427-438. ISBN 978-3-319-50105-5. Available from: https://dx.doi.org/10.1007/978-3-319-50106-2_33.
      RIV/00216224:14330/16:00088630 Proceedings paper. Informatics. English. Germany.
      Alfaro, Carlos A. (484 Mexico) -- Arroyo, Alan (484 Mexico) -- Derňár, Marek (703 Slovakia, guarantor, belonging to the institution) -- Mohar, Bojan (124 Canada)
      Keywords in English: Crossing number; apex graph
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 13/5/2020 19:27.
      More: https://is.muni.cz/publication/1371158/en
    37. Tighter Loop Bound Analysis
      ČADEK, Pavel, Jan STREJČEK and Marek TRTÍK. Tighter Loop Bound Analysis. In Cyrille Artho and Axel Legay and Doron Peled. Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016. Berlin, Heidelberg: Springer, 2016, p. 512-527. ISBN 978-3-319-46519-7. Available from: https://dx.doi.org/10.1007/978-3-319-46520-3_32.
      RIV/00216224:14330/16:00088246 Proceedings paper. Informatics. English. Germany.
      Čadek, Pavel (203 Czech Republic) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Trtík, Marek (203 Czech Republic)
      Keywords in English: loop bounds; symbolic execution
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 13/5/2020 19:27.
      More: https://is.muni.cz/publication/1357166/en
    38. Vascular Network Formation in Silico Using the Extended Cellular Potts Model
      SVOBODA, David, Vladimír ULMAN, Peter KOVÁČ, Barbara ŠALINGOVÁ, Lenka TESAŘOVÁ, Irena KRONTORÁD KOUTNÁ and Petr MATULA. Vascular Network Formation in Silico Using the Extended Cellular Potts Model. In 2016 IEEE International Conference on Image Processing. Piscataway, NJ, USA: IEEE Signal Processing Society, 2016, p. 3180-3183. ISBN 978-1-4673-9961-6. Available from: https://dx.doi.org/10.1109/ICIP.2016.7532946.
      URL
      RIV/00216224:14330/16:00087993 Proceedings paper. Informatics. English. United States of America.
      Svoboda, David (203 Czech Republic, guarantor, belonging to the institution) -- Ulman, Vladimír (203 Czech Republic, belonging to the institution) -- Kováč, Peter (703 Slovakia, belonging to the institution) -- Šalingová, Barbara (703 Slovakia, belonging to the institution) -- Tesařová, Lenka (203 Czech Republic, belonging to the institution) -- Krontorád Koutná, Irena (203 Czech Republic, belonging to the institution) -- Matula, Petr (203 Czech Republic, belonging to the institution)
      Keywords in English: Synthetic image formation; Vascular network; Cellular Potts model; Angiogenesis
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: doc. RNDr. Petr Matula, Ph.D., učo 3019. Changed: 12/2/2018 14:54.
      More: https://is.muni.cz/publication/1348198/en
    39. Walker-Independent Features for Gait Recognition from Motion Capture Data
      BALÁŽIA, Michal and 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, 2016, p. 310-321. ISBN 978-3-319-49054-0. Available from: https://dx.doi.org/10.1007/978-3-319-49055-7_28.
      DOI conference web
      RIV/00216224:14330/16:00090768 Proceedings paper. Informatics. English. Switzerland.
      Balážia, Michal (703 Slovakia, guarantor, belonging to the institution) -- Sojka, Petr (203 Czech Republic, belonging to the institution)
      Keywords in English: machine learning; classification; gait recognition
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Michal Balážia, Ph.D., učo 256078. Changed: 12/2/2018 17:11.
      More: https://is.muni.cz/publication/1353537/en

    2015

    1. Class-Based Outlier Detection: Staying Zombies or Awaiting for Resurrection?
      NEZVALOVÁ, Leona, Lubomír POPELÍNSKÝ, Luis TORGO and Karel VACULÍK. Class-Based Outlier Detection: Staying Zombies or Awaiting for Resurrection?. Online. In Elisa Fromont, Tijl De Bie, Matthijs van Leeuwen. Advances in Intelligent Data Analysis XIV - 14th International Symposium, IDA 2015. Neuveden: Springer, 2015, p. 193-204. ISBN 978-3-319-24464-8. Available from: https://dx.doi.org/10.1007/978-3-319-24465-5_17.
      Name (in English): Class-Based Outlier Detection: Staying Zombies or Awaiting for Resurrection?
      RIV/00216224:14330/15:00084902 Proceedings paper. Informatics. English. United Kingdom of Great Britain and Northern Ireland.
      Nezvalová, Leona (203 Czech Republic, belonging to the institution) -- Popelínský, Lubomír (203 Czech Republic, guarantor, belonging to the institution) -- Torgo, Luis (620 Portugal) -- Vaculík, Karel (203 Czech Republic, belonging to the institution)
      Keywords in English: class-based outlier detection; outlier interpretation; outlier description; anomaly detection; outlier detection
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 2/5/2016 06:26.
      More: https://is.muni.cz/publication/1318718/en
    2. Cobra: A Tool for Solving General Deductive Games
      KLIMOŠ, Miroslav and 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, 2015, p. 31-47. ISBN 978-3-662-48898-0. Available from: https://dx.doi.org/10.1007/978-3-662-48899-7_3.
      RIV/00216224:14330/15:00081423 Proceedings paper. Informatics. English. Germany.
      Klimoš, Miroslav (203 Czech Republic, belonging to the institution) -- Kučera, Antonín (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: deductive games; strategy synthesis
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2016 15:34.
      More: https://is.muni.cz/publication/1323100/en
    3. Controller Synthesis for MDPs and Frequency LTL\GU
      FOREJT, Vojtěch, Jan KRČÁL and Jan KŘETÍNSKÝ. Controller Synthesis for MDPs and Frequency LTL\GU. In LPAR 2015. Suva, Fiji: Springer, 2015, p. 162-177. ISBN 978-3-662-48898-0. Available from: https://dx.doi.org/10.1007/978-3-662-48899-7_12.
      RIV/00216224:14330/15:00081286 Proceedings paper. Informatics. English. Germany.
      Forejt, Vojtěch (203 Czech Republic, belonging to the institution) -- Krčál, Jan (203 Czech Republic) -- Křetínský, Jan (203 Czech Republic, belonging to the institution)
      Keywords in English: frequency LTL; quantitative logics; MDP controller synthesis; automata characterization
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2016 15:33.
      More: https://is.muni.cz/publication/1319887/en
    4. Grid Mind: Prolog-Based Simulation Environment for Future Energy Grids
      ROSECKÝ, Jan, Filip PROCHÁZKA and Barbora BÜHNOVÁ. Grid Mind: Prolog-Based Simulation Environment for Future Energy Grids. Online. In Proceedings of the 31st International Conference on Logic Programming (Technical Communications). Volume 1433. Aachen, Germany: CEUR-WS, 2015, p. 1-14. ISSN 1613-0073.
      URL
      RIV/00216224:14330/15:00084609 Proceedings paper. Informatics. English. Germany.
      Rosecký, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Procházka, Filip (203 Czech Republic) -- Bühnová, Barbora (203 Czech Republic, belonging to the institution)
      Keywords in English: Simulation Environment; Smart Grid; Communication and Networking; ICT; Prolog
      International impact: yes
      Reviewed: yes
      Changed by: doc. Ing. RNDr. Barbora Bühnová, Ph.D., učo 39394. Changed: 16/11/2015 02:13.
      More: https://is.muni.cz/publication/1316777/en
    5. Impact of Adaptive Educational System Behaviour on Student Motivation
      PAPOUŠEK, Jan and Radek PELÁNEK. Impact of Adaptive Educational System Behaviour on Student Motivation. In Artificial Intelligence in Education. Madrid: Springer International Publishing, 2015, p. 348-357. ISBN 978-3-319-19772-2. Available from: https://dx.doi.org/10.1007/978-3-319-19773-9_35.
      URL
      RIV/00216224:14330/15:00083139 Proceedings paper. Informatics. English. Spain.
      Papoušek, Jan (203 Czech Republic, belonging to the institution) -- Pelánek, Radek (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: adaptive educational system; item difficulty; optimal challenge; experimental evaluation
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 2/5/2016 06:10.
      More: https://is.muni.cz/publication/1301073/en
    6. Language Emptiness of Continuous-Time Parametric Timed Automata
      BENEŠ, Nikola, Peter BEZDĚK, Kim G. LARSEN and 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, 2015, p. 69-81. ISBN 978-3-662-47665-9. Available from: https://dx.doi.org/10.1007/978-3-662-47666-6_6.
      RIV/00216224:14330/15:00081178 Proceedings paper. Informatics. English. Germany.
      Beneš, Nikola (203 Czech Republic, guarantor, belonging to the institution) -- Bezděk, Peter (703 Slovakia, belonging to the institution) -- Larsen, Kim G. (208 Denmark) -- Srba, Jiří (203 Czech Republic)
      Keywords in English: Parametric Timed Automata; Decidability; Language Emptiness
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: Prof. Jiří Srba, Ph.D., učo 2841. Changed: 30/3/2017 22:44.
      More: https://is.muni.cz/publication/1316355/en
    7. MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives
      BRÁZDIL, Tomáš, Chatterjee KRISHNENDU, Vojtěch FOREJT and Antonín KUČERA. MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives. In Christel Baier, Cesare Tinelli. Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings. Heidelberg: Springer, 2015, p. 181-187. ISBN 978-3-662-46680-3. Available from: https://dx.doi.org/10.1007/978-3-662-46681-0_12.
      RIV/00216224:14330/15:00081426 Proceedings paper. Informatics. English. Germany.
      Brázdil, Tomáš (203 Czech Republic, belonging to the institution) -- Krishnendu, Chatterjee (40 Austria) -- Forejt, Vojtěch (203 Czech Republic) -- Kučera, Antonín (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Markov decision processes; mean-payoff reward; multi-objective optimisation; formal verification
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2016 15:34.
      More: https://is.muni.cz/publication/1323105/en
    8. Multi-Resource Aware Fairsharing for Heterogeneous Systems
      KLUSÁČEK, Dalibor and Hana RUDOVÁ. Multi-Resource Aware Fairsharing for Heterogeneous Systems. In Walfredo Cirne and Narayan Desai. Job Scheduling Strategies for Parallel Processing. 1st ed. Switzerland: Springer, Lecture Notes in Computer Science 8828, 2015, p. 53-69. ISBN 978-3-319-15788-7. Available from: https://dx.doi.org/10.1007/978-3-319-15789-4_4.
      URL
      RIV/00216224:14330/15:00080587 Proceedings paper. Informatics. English. Germany.
      Klusáček, Dalibor (203 Czech Republic) -- Rudová, Hana (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Multi-Resource Fairness; Fairshare; Heterogeneity
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: doc. Mgr. Hana Rudová, Ph.D., učo 3840. Changed: 17/10/2016 14:58.
      More: https://is.muni.cz/publication/1186297/en
    9. Neutron-Gamma Classification by Evolutionary Fuzzy Rules and Support Vector Machines
      KROMER, Pavel, Zdeněk MATĚJ, Petr MUSÍLEK, Václav PŘENOSIL and František CVACHOVEC. Neutron-Gamma Classification by Evolutionary Fuzzy Rules and Support Vector Machines. Online. In 2015 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2015): BIG DATA ANALYTICS FOR HUMAN-CENTRIC SYSTEMS. Kowloon: IEEE, 2015, p. 2638-2642. ISBN 978-1-4799-8696-5. Available from: https://dx.doi.org/10.1109/SMC.2015.461.
      URL
      RIV/00216224:14330/15:00086986 Proceedings paper. Informatics. English. China.
      Kromer, Pavel (203 Czech Republic) -- Matěj, Zdeněk (203 Czech Republic, guarantor, belonging to the institution) -- Musílek, Petr (124 Canada) -- Přenosil, Václav (203 Czech Republic, belonging to the institution) -- Cvachovec, František (203 Czech Republic)
      Keywords in English: fuzzy logic; neutron; spectrometry
      Changed by: doc. RNDr. Zdeněk Matěj, Ph.D., učo 72963. Changed: 12/12/2019 11:02.
      More: https://is.muni.cz/publication/1339222/en
    10. On Degree Properties of Crossing-critical Families of Graphs
      BOKAL, Drago, Mojca BRAČIČ, Marek DERŇÁR and Petr HLINĚNÝ. On Degree Properties of Crossing-critical Families of Graphs. In Emilio Di Giacomo, Anna Lubiw. Graph Drawing and Network Visualization 2015, Lecture Notes in Computer Science 9411. LNCS 9411. Berlin: Springer Verlag, 2015, p. 75-86. ISBN 978-3-319-27260-3. Available from: https://dx.doi.org/10.1007/978-3-319-27261-0_7.
      RIV/00216224:14330/15:00080985 Proceedings paper. Informatics. English. Germany.
      Bokal, Drago (705 Slovenia) -- Bračič, Mojca (705 Slovenia) -- Derňár, Marek (703 Slovakia, belonging to the institution) -- Hliněný, Petr (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Crossing number; Tile drawing; Degree-universality; Average degree; Crossing-critical graph
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Changed: 14/2/2017 08:59.
      More: https://is.muni.cz/publication/1309625/en
    11. On Frequency LTL in Probabilistic Systems
      FOREJT, Vojtěch and Jan KRČÁL. On Frequency LTL in Probabilistic Systems. Online. In CONCUR 2015. Madrid, Spain: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015, p. 184-197. ISBN 978-3-939897-91-0. Available from: https://dx.doi.org/10.4230/LIPIcs.CONCUR.2015.184.
      RIV/00216224:14330/15:00081289 Proceedings paper. Informatics. English. Germany.
      Forejt, Vojtěch (203 Czech Republic, belonging to the institution) -- Krčál, Jan (203 Czech Republic)
      Keywords in English: markov chains; markov decision processes; ltl; controller synthesis
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2016 15:33.
      More: https://is.muni.cz/publication/1319891/en
    12. On Hardness of the Joint Crossing Number
      HLINĚNÝ, Petr and Gelasio SALAZAR. On Hardness of the Joint Crossing Number. In Khaled Elbassioni, Kazuhisa Makino. International Symposium on Algorithms and Computation (ISAAC 2015), Lecture Notes in Computer Science 9472. LNCS 9472. Berlin: Springer Verlag, 2015, p. 603-613. ISBN 978-3-662-48970-3. Available from: https://dx.doi.org/10.1007/978-3-662-48971-0_51.
      RIV/00216224:14330/15:00081412 Proceedings paper. Informatics. English. Germany.
      Hliněný, Petr (203 Czech Republic, guarantor, belonging to the institution) -- Salazar, Gelasio (484 Mexico)
      Keywords in English: joint crossing number; crossing minimization
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Changed: 14/2/2017 08:58.
      More: https://is.muni.cz/publication/1323060/en
    13. Optimal Continuous Time Markov Decisions
      BUTKOVA, Yuliya, Hassan HATEFI, Holger HERMANNS and Jan KRČÁL. Optimal Continuous Time Markov Decisions. Online. In ATVA 2015. Shanghai, China: Springer, 2015, p. 166-182. ISBN 978-3-319-24952-0. Available from: https://dx.doi.org/10.1007/978-3-319-24953-7_12.
      RIV/00216224:14330/15:00081290 Proceedings paper. Informatics. English. Germany.
      Butkova, Yuliya (643 Russian Federation) -- Hatefi, Hassan (364 Islamic Republic of Iran) -- Hermanns, Holger (276 Germany) -- Krčál, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Continuous time Markov decision process; time bounded reachability; uniformisation; experimental evaluation
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2016 15:33.
      More: https://is.muni.cz/publication/1319892/en
    14. Parameterized Algorithms for Parity Games
      GAJARSKÝ, Jakub, Sebastian ORDYNIAK, Michael LAMPIS, Valia MITSOU and Kazuhisa MAKINO. Parameterized Algorithms for Parity Games. Online. In Italiano, Giuseppe F. , Pighizzini, Giovanni, Sannella, Donald T. MFCS 2015, LNCS 9235. 9235th ed. Berlin: Springer, 2015, p. 336-347. ISBN 978-3-662-48053-3. Available from: https://dx.doi.org/10.1007/978-3-662-48054-0_28.
      Name (in English): Parameterized Algorithms for Parity Games
      RIV/00216224:14330/15:00081184 Proceedings paper. Informatics. English. Germany.
      Gajarský, Jakub (703 Slovakia, guarantor, belonging to the institution) -- Ordyniak, Sebastian (276 Germany) -- Lampis, Michael (300 Greece) -- Mitsou, Valia (300 Greece) -- Makino, Kazuhisa (392 Japan)
      Keywords in English: parity games; model checking; modular-width
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2016 15:11.
      More: https://is.muni.cz/publication/1316738/en
    15. Polynomial Time Decidability of Weighted Synchronization under Partial Observability
      KŘETÍNSKÝ, Jan, Kim Guldstrand LARSEN, Simon LAURSEN and Jiří SRBA. Polynomial Time Decidability of Weighted Synchronization under Partial Observability. Online. In 26th International Conference on Concurrency Theory (CONCUR 2015). Dagstuhl, Germany: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2015, p. 142-154. ISBN 978-3-939897-91-0. Available from: https://dx.doi.org/10.4230/LIPIcs.CONCUR.2015.142.
      RIV/00216224:14330/15:00081430 Proceedings paper. Informatics. English. Germany.
      Křetínský, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Larsen, Kim Guldstrand (208 Denmark) -- Laursen, Simon (208 Denmark) -- Srba, Jiří (203 Czech Republic, belonging to the institution)
      Keywords in English: weighted automata; partial observability; synchronization; complexity
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 23/10/2017 12:43.
      More: https://is.muni.cz/publication/1323251/en
    16. Quantification of the 3D Collagen Network Geometry in Confocal Reflection Microscopy
      MAŠKA, Martin, Cristina EDERRA, Javier FERNÁNDEZ-MARQUÉS, Arrate MUÑOZ-BARRUTIA, Michal KOZUBEK and Carlos ORTIZ-DE-SOLÓRZANO. Quantification of the 3D Collagen Network Geometry in Confocal Reflection Microscopy. Online. In 22nd IEEE International Conference on Image Processing. Québec City: IEEE, 2015, p. 1791-1794. ISBN 978-1-4799-8339-1. Available from: https://dx.doi.org/10.1109/ICIP.2015.7351109.
      URL
      RIV/00216224:14330/15:00080822 Proceedings paper. Informatics. English. United States of America.
      Maška, Martin (203 Czech Republic, guarantor, belonging to the institution) -- Ederra, Cristina (724 Spain) -- Fernández-Marqués, Javier (724 Spain) -- Muñoz-Barrutia, Arrate (724 Spain) -- Kozubek, Michal (203 Czech Republic, belonging to the institution) -- Ortiz-de-Solórzano, Carlos (724 Spain)
      Keywords in English: collagen network geometry;confocal reflection microscopy;Matrigel;steerable filtering;pore size
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: doc. RNDr. Martin Maška, Ph.D., učo 60734. Changed: 26/5/2016 00:26.
      More: https://is.muni.cz/publication/1300411/en
    17. Scalable Analysis of Fault Trees with Dynamic Features
      KRČÁL, Jan and Pavel KRČÁL. Scalable Analysis of Fault Trees with Dynamic Features. In DSN 2015. Rio de Janeiro, Brazil: IEEE, 2015, p. 89-100. ISBN 978-1-4799-8629-3. Available from: https://dx.doi.org/10.1109/DSN.2015.29.
      RIV/00216224:14330/15:00081287 Proceedings paper. Informatics. English. United States of America.
      Krčál, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Krčál, Pavel (203 Czech Republic)
      Keywords in English: fault trees; dynamic fault trees; BDMP; nuclear safety; probabilistic safety analysis
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Jan Krčál, Ph.D., učo 139854. Changed: 5/12/2015 15:41.
      More: https://is.muni.cz/publication/1319888/en
    18. 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, 2015, p. 550-553. ISBN 978-3-319-19772-2. Available from: https://dx.doi.org/10.1007/978-3-319-19773-9_59.
      RIV/00216224:14330/15:00082601 Proceedings paper. Informatics. English. Spain.
      Bydžovská, Hana (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Student Performance; Prediction; Collaborative Filtering Methods; Recommender System
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 2/5/2016 06:00.
      More: https://is.muni.cz/publication/1231855/en
    19. User-Aware Metrics for Measuring Quality of Parallel Job Schedules
      TÓTH, Šimon and Dalibor KLUSÁČEK. User-Aware Metrics for Measuring Quality of Parallel Job Schedules. In Walfredo Cirne and Narayan Desai. Job Scheduling Strategies for Parallel Processing. 1st ed. Switzerland: Springer, Lecture Notes in Computer Science 8828, 2015, p. 90-107. ISBN 978-3-319-15788-7. Available from: https://dx.doi.org/10.1007/978-3-319-15789-4_6.
      URL
      RIV/00216224:14330/15:00080586 Proceedings paper. Informatics. English. Germany.
      Tóth, Šimon (203 Czech Republic, guarantor, belonging to the institution) -- Klusáček, Dalibor (203 Czech Republic, belonging to the institution)
      Keywords in English: Grid; Performance evaluation; Metrics; Queue-based scheduling; Fairness; User-aware scheduling
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2016 13:40.
      More: https://is.muni.cz/publication/1186294/en

    2014

    1. Faster Existential FO Model Checking on Posets
      GAJARSKÝ, Jakub, Petr HLINĚNÝ, Jan OBDRŽÁLEK and Sebastian ORDYNIAK. Faster Existential FO Model Checking on Posets. In Hee-Kap Ahn, Chan-Su Shin. ISAAC 2014, LNCS 8889. Berlin: Springer International Publishing, 2014, p. 441-451. ISBN 978-3-319-13074-3. Available from: https://dx.doi.org/10.1007/978-3-319-13075-0_35.
      RIV/00216224:14330/14:00074016 Proceedings paper. Informatics. English. Germany.
      Gajarský, Jakub (703 Slovakia, belonging to the institution) -- Hliněný, Petr (203 Czech Republic, guarantor, belonging to the institution) -- Obdržálek, Jan (203 Czech Republic, belonging to the institution) -- Ordyniak, Sebastian (276 Germany, belonging to the institution)
      Keywords in English: existential first-order logic; parameterized complexity; kernelization; poset embedding
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Changed: 30/3/2016 10:02.
      More: https://is.muni.cz/publication/1204410/en
    2. Improving Intrusion Detection Systems for Wireless Sensor Networks
      STETSKO, Andriy, Tobiáš SMOLKA, Václav MATYÁŠ and Martin STEHLÍK. Improving Intrusion Detection Systems for Wireless Sensor Networks. In Ioana Boureanu, Philippe Owesarski, Serge Vaudenay. Applied Cryptography and Network Security. Heidelberg: Springer, 2014, p. 343-360. ISBN 978-3-319-07535-8. Available from: https://dx.doi.org/10.1007/978-3-319-07536-5_21.
      Springer
      RIV/00216224:14330/14:00073679 Proceedings paper. Informatics. English. Germany.
      Stetsko, Andriy (804 Ukraine, guarantor, belonging to the institution) -- Smolka, Tobiáš (703 Slovakia, belonging to the institution) -- Matyáš, Václav (203 Czech Republic, belonging to the institution) -- Stehlík, Martin (203 Czech Republic, belonging to the institution)
      Keywords in English: Intrusion detection; optimization; wireless sensor networks
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2015 05:40.
      More: https://is.muni.cz/publication/1185571/en
    3. Media Streams Planning with Uncertain Link Capacities
      TROUBIL, Pavel, Hana RUDOVÁ and Petr HOLUB. Media Streams Planning with Uncertain Link Capacities. Online. In IEEE 13th International Symposium on Network Computing and Applications NCA 2014. USA: IEEE, 2014, p. 197-204. ISBN 978-1-4799-5393-6. Available from: https://dx.doi.org/10.1109/NCA.2014.37.
      RIV/00216224:14330/14:00073798 Proceedings paper. Informatics. English. United States of America.
      Troubil, Pavel (203 Czech Republic, guarantor, belonging to the institution) -- Rudová, Hana (203 Czech Republic, belonging to the institution) -- Holub, Petr (203 Czech Republic, belonging to the institution)
      Keywords in English: multicast routing; networks; optimization; uncertainty; multimedia; data transfer; ant colony optimization; transcoding; CoUniverse
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: doc. Mgr. Hana Rudová, Ph.D., učo 3840. Changed: 6/4/2016 01:55.
      More: https://is.muni.cz/publication/1195496/en
    4. Multi Resource Fairness: Problems and Challenges
      KLUSÁČEK, Dalibor, Hana RUDOVÁ and Michal JAROŠ. Multi Resource Fairness: Problems and Challenges. Online. In N. Desai and W. Cirne. Job Scheduling Strategies for Parallel Processing. 1st ed. Neuveden: Springer, Lecture Notes in Computer Science 8429, 2014, p. 81-95. ISBN 978-3-662-43778-0. Available from: https://dx.doi.org/10.1007/978-3-662-43779-7_5.
      webová stránka akce s odkazem na plný text publikace
      RIV/00216224:14330/14:00073408 Proceedings paper. Informatics. English. United States of America.
      Klusáček, Dalibor (203 Czech Republic, guarantor, belonging to the institution) -- Rudová, Hana (203 Czech Republic, belonging to the institution) -- Jaroš, Michal (203 Czech Republic, belonging to the institution)
      Keywords in English: Multi Resource Fairness; Fairshare; Penalty; Scheduling
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Dalibor Klusáček, Ph.D., učo 50752. Changed: 27/11/2015 15:30.
      More: https://is.muni.cz/publication/1113360/en
    5. On Interactions Among Scheduling Policies: Finding Efficient Queue Setup Using High-Resolution Simulations
      KLUSÁČEK, Dalibor and Š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. 1st ed. Neuveden: Springer, 2014, p. 138-149. ISBN 978-3-319-09872-2. Available from: https://dx.doi.org/10.1007/978-3-319-09873-9_12.
      RIV/00216224:14330/14:00073693 Proceedings paper. Informatics. English. Switzerland.
      Klusáček, Dalibor (203 Czech Republic, belonging to the institution) -- Tóth, Šimon (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Scheduling; Queues; Fairshare; Simulation
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Dalibor Klusáček, Ph.D., učo 50752. Changed: 21/4/2016 15:57.
      More: https://is.muni.cz/publication/1186298/en
    6. On Proper Simulation of Phenomena Influencing Image Formation in Fluorescence Microscopy
      SVOBODA, David, Vladimír ULMAN, Luděk MATYSKA, Martin MAŠKA, Ján BELLA and Stanislav STEJSKAL. On Proper Simulation of Phenomena Influencing Image Formation in Fluorescence Microscopy. In 2014 IEEE International Conference on Image Processing. Neuveden: IEEE Signal Processing Society, 2014, p. 3944-3948. ISBN 978-1-4799-5750-7. Available from: https://dx.doi.org/10.1109/ICIP.2014.7025801.
      URL
      RIV/00216224:14330/14:00073637 Proceedings paper. Use of computers, robotics and its application. English. United States of America.
      Svoboda, David (203 Czech Republic, guarantor, belonging to the institution) -- Ulman, Vladimír (203 Czech Republic, belonging to the institution) -- Matyska, Luděk (203 Czech Republic, belonging to the institution) -- Maška, Martin (203 Czech Republic, belonging to the institution) -- Bella, Ján (703 Slovakia, belonging to the institution) -- Stejskal, Stanislav (203 Czech Republic, belonging to the institution)
      Keywords in English: Simulation; Biomedical imaging; Fluorescence microscopy; Photobleaching; Uneven illumination
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: doc. RNDr. David Svoboda, Ph.D., učo 2824. Changed: 3/5/2016 10:48.
      More: https://is.muni.cz/publication/1183286/en
    7. Permissive Controller Synthesis for Probabilistic Systems.
      DRAEGER, Klaus, Vojtěch FOREJT, Marta KWIATKOWSKA, David PARKER and 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, 2014, p. 531-546. ISBN 978-3-642-54861-1. Available from: https://dx.doi.org/10.1007/978-3-642-54862-8_44.
      RIV/00216224:14330/14:00080050 Proceedings paper. Informatics. English. Germany.
      Draeger, Klaus (276 Germany) -- Forejt, Vojtěch (203 Czech Republic, guarantor, belonging to the institution) -- Kwiatkowska, Marta (826 United Kingdom of Great Britain and Northern Ireland) -- Parker, David (826 United Kingdom of Great Britain and Northern Ireland) -- Ujma, Mateusz (616 Poland)
      Keywords in English: controller synthesis; stochastic games; optimisation
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2015 05:04.
      More: https://is.muni.cz/publication/1297489/en
    8. Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
      FOREJT, Vojtěch, Daniel KROENING, Ganesh NARAYANASWAMY and 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, 2014, p. 263-278. ISBN 978-3-319-06409-3. Available from: https://dx.doi.org/10.1007/978-3-319-06410-9_19.
      RIV/00216224:14330/14:00080049 Proceedings paper. Informatics. English. Switzerland.
      Forejt, Vojtěch (203 Czech Republic, guarantor, belonging to the institution) -- Kroening, Daniel (276 Germany) -- Narayanaswamy, Ganesh (356 India) -- Sharma, Subodh (356 India)
      Keywords in English: MPI; verification; parallel computation
      Changed by: RNDr. Vojtěch Forejt, Ph.D., LL.B. (Hons), učo 99155. Changed: 11/4/2015 15:12.
      More: https://is.muni.cz/publication/1297486/en
    9. Probabilistic Bisimulation: Naturally on Distributions
      HERMANNS, Holger, Jan KRČÁL and Jan KŘETÍNSKÝ. Probabilistic Bisimulation: Naturally on Distributions. In CONCUR 2014 - Concurrency Theory - 25th International Conference. Heidelberg Dordrecht London New York: Springer, 2014, p. 249-265. ISBN 978-3-662-44583-9. Available from: https://dx.doi.org/10.1007/978-3-662-44584-6_18.
      RIV/00216224:14330/14:00073710 Proceedings paper. Informatics. English. Germany.
      Hermanns, Holger (276 Germany) -- Krčál, Jan (203 Czech Republic) -- Křetínský, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: stochastic systems; probability; bisimulation; non-determinism; process algebra; coalgebra
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2015 05:44.
      More: https://is.muni.cz/publication/1187166/en
    10. Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata
      KOMÁRKOVÁ, Zuzana and 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, 2014, p. 235-241. ISBN 978-3-319-11935-9. Available from: https://dx.doi.org/10.1007/978-3-319-11936-6_17.
      RIV/00216224:14330/14:00073720 Proceedings paper. Informatics. English. Germany.
      Komárková, Zuzana (203 Czech Republic, belonging to the institution) -- Křetínský, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: linear temporal logic; automata; determinism; synthesis; probabilistic model checking
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2015 05:46.
      More: https://is.muni.cz/publication/1187948/en
    11. RSurf - the Efficient Texture-Based Descriptor for Fluorescence Microscopy Images of HEp-2 Cells
      MAJTNER, Tomáš, Roman STOKLASA and David SVOBODA. RSurf - the Efficient Texture-Based Descriptor for Fluorescence Microscopy Images of HEp-2 Cells. In 22nd International Conference on Pattern Recognition. Los Alamitos, California: IEEE Computer Society, 2014, p. 1194-1199. ISBN 978-1-4799-5208-3. Available from: https://dx.doi.org/10.1109/ICPR.2014.215.
      RIV/00216224:14330/14:00073550 Proceedings paper. Use of computers, robotics and its application. English. United States of America.
      Majtner, Tomáš (703 Slovakia, guarantor, belonging to the institution) -- Stoklasa, Roman (703 Slovakia, belonging to the institution) -- Svoboda, David (203 Czech Republic, belonging to the institution)
      Keywords in English: texture descriptor;rsurf;hep-2
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Ing. Bc. Tomáš Majtner, Ph.D., učo 172786. Changed: 9/1/2015 15:37.
      More: https://is.muni.cz/publication/1173479/en
    12. Symbolic Memory with Pointers
      TRTÍK, Marek and Jan STREJČEK. Symbolic Memory with Pointers. In Franck Cassez and Jean-Francois Raskin. Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014. Berlin Heidelberg: Springer, 2014, p. 380-395. ISBN 978-3-319-11935-9. Available from: https://dx.doi.org/10.1007/978-3-319-11936-6_27.
      Name in Czech: Symbolická paměť s ukazateli
      RIV/00216224:14330/14:00074092 Proceedings paper. Informatics. English. Germany.
      Trtík, Marek (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: symbolic execution; symbolic memory
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 13/11/2014 16:23.
      More: https://is.muni.cz/publication/1205943/en
    13. Synchronizing Strategies under Partial Observability
      LARSEN, Kim G., Simon LAURSEN and Jiří SRBA. Synchronizing Strategies under Partial Observability. In Proceedings of the 25th International Conference on Concurrency Theory (CONCUR'14). Nizozemsko: Springer-Verlag, 2014, p. 188-202. ISBN 978-3-662-44583-9. Available from: https://dx.doi.org/10.1007/978-3-662-44584-6_14.
      Link
      RIV/00216224:14330/14:00080034 Proceedings paper. Informatics. English. Netherlands.
      Larsen, Kim G. (208 Denmark) -- Laursen, Simon (208 Denmark) -- Srba, Jiří (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: synchronization problem; finite automata; partial observability; complexity
      International impact: yes
      Reviewed: yes
      Changed by: Prof. Jiří Srba, Ph.D., učo 2841. Changed: 10/4/2015 08:39.
      More: https://is.muni.cz/publication/1297400/en
    14. 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 and Mateusz UJMA. Verification of Markov Decision Processes using Learning Algorithms. In Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014. Heidelberg Dordrecht London New York: Springer, 2014, p. 98-114. ISBN 978-3-319-11935-9. Available from: https://dx.doi.org/10.1007/978-3-319-11936-6_8.
      RIV/00216224:14330/14:00075875 Proceedings paper. Informatics. English. Germany.
      Brázdil, Tomáš (203 Czech Republic, belonging to the institution) -- Chatterjee, Krishnendu (356 India) -- Chmelík, Martin (203 Czech Republic) -- Forejt, Vojtěch (203 Czech Republic) -- Křetínský, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Kwiatkowska, Marta (616 Poland) -- Parker, David (826 United Kingdom of Great Britain and Northern Ireland) -- Ujma, Mateusz (616 Poland)
      Keywords in English: stochastic systems; verification; machine learning; statistical model checking; reinforcement learning
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2015 05:45.
      More: https://is.muni.cz/publication/1187947/en

    2013

    1. Automatic Detection of Concepts from Problem Solving Times
      PELÁNEK, Radek, Petr BOROŠ, Juraj NIŽNAN and 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, 2013, p. 595-598. ISBN 978-3-642-39111-8. Available from: https://dx.doi.org/10.1007/978-3-642-39112-5_67.
      Name in Czech: Automatická detekce konceptů v datech o časech řešení problémů
      Name (in English): Automatic Detection of Concepts from Problem Solving Times
      RIV/00216224:14330/13:00070141 Proceedings paper. Informatics. English. United States of America.
      Pelánek, Radek (203 Czech Republic, guarantor, belonging to the institution) -- Boroš, Petr (203 Czech Republic, belonging to the institution) -- Nižnan, Juraj (703 Slovakia, belonging to the institution) -- Řihák, Jiří (203 Czech Republic, belonging to the institution)
      Keywords in English: problem solving; concepts; student modeling
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Changed: 29/4/2014 09:55.
      More: https://is.muni.cz/publication/1129497/en
    2. Backdoors to q-Horn
      ORDYNIAK, Sebastian, M S RAMANUJAN, Stefan SZEIDER, Serge GASPERS and Saket SAURABH. Backdoors to q-Horn. In Natacha Portier, Thomas Wilke. LIPIcs. Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013, p. 67-79. ISBN 978-3-939897-50-7. Available from: https://dx.doi.org/10.4230/LIPIcs.STACS.2013.67.
      Name (in English): Backdoors to q-Horn
      RIV/00216224:14330/13:00072816 Proceedings paper. Information theory. English. Germany.
      Ordyniak, Sebastian (276 Germany, guarantor, belonging to the institution) -- Ramanujan, M S (356 India) -- Szeider, Stefan (40 Austria) -- Gaspers, Serge (442 Luxembourg) -- Saurabh, Saket (356 India)
      Keywords in English: satisfiability; backdoors; parameterized complexity
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 24/4/2014 19:23.
      More: https://is.muni.cz/publication/1173830/en
    3. ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools
      SLABÝ, Jiří, Jan STREJČEK and Marek TRTÍK. ClabureDB: Classified Bug-Reports Database Tool for Developers of Program Analysis Tools. In Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni. Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013. Berlin, Heidelberg: Springer, 2013, p. 268-274. ISBN 978-3-642-35872-2. Available from: https://dx.doi.org/10.1007/978-3-642-35873-9_17.
      RIV/00216224:14330/13:00065952 Proceedings paper. Informatics. English. Germany.
      Slabý, Jiří (203 Czech Republic, guarantor, belonging to the institution) -- Strejček, Jan (203 Czech Republic, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution)
      Keywords in English: Bug database; classified bug-reports
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 17/4/2014 11:19.
      More: https://is.muni.cz/publication/1075388/en
    4. Compact Symbolic Execution
      SLABÝ, Jiří, Jan STREJČEK and Marek TRTÍK. Compact Symbolic Execution. In Hung Dang-Van and Mizuhito Ogawa. 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013. Berlin Heidelberg: Springer, 2013, p. 193-207. ISBN 978-3-319-02443-1. Available from: https://dx.doi.org/10.1007/978-3-319-02444-8_15.
      Name in Czech: Kompaktní symbolická exekuce
      RIV/00216224:14330/13:00066165 Proceedings paper. Informatics. English. Germany.
      Slabý, Jiří (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Trtík, Marek (203 Czech Republic, belonging to the institution)
      Keywords in English: symbolic execution; compact symbolic execution; testing
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 18/11/2013 14:45.
      More: https://is.muni.cz/publication/1110971/en
    5. Comparison of LTL to Deterministic Rabin Automata Translators
      BLAHOUDEK, František, Mojmír KŘETÍNSKÝ and Jan STREJČEK. Comparison of LTL to Deterministic Rabin Automata Translators. In Kenneth L. McMillan, Aart Middeldorp, and Andrei Voronkov. Logic for Programming Artificial Intelligence and Reasoning, LPAR-19. Berlin Heidelberg: Springer, 2013, p. 164-172. ISBN 978-3-642-45220-8. Available from: https://dx.doi.org/10.1007/978-3-642-45221-5_12.
      Name in Czech: Srovnání překladačů LTL na deterministické Rabinovy automaty
      RIV/00216224:14330/13:00066512 Proceedings paper. Informatics. English. Germany.
      Blahoudek, František (203 Czech Republic, belonging to the institution) -- Křetínský, Mojmír (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: linear temporal logic; deterministic omega-automata; LTL3DRA; Rabinizer; ltl2dstar
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Mojmír Křetínský, CSc., učo 631. Changed: 3/6/2014 11:26.
      More: https://is.muni.cz/publication/1129430/en
    6. Compositional Verification and Optimization of Interactive Markov Chains
      HERMANNS, Holger, Jan KRČÁL and Jan KŘETÍNSKÝ. Compositional Verification and Optimization of Interactive Markov Chains. In CONCUR 2013 - Concurrency Theory - 24th International Conference. Heidelberg Dordrecht London New York: Springer, 2013, p. 364-379. ISBN 978-3-642-40183-1. Available from: https://dx.doi.org/10.1007/978-3-642-40184-8_26.
      RIV/00216224:14330/13:00066202 Proceedings paper. Informatics. English. Germany.
      Hermanns, Holger (276 Germany) -- Krčál, Jan (203 Czech Republic, belonging to the institution) -- Křetínský, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: interactive Markov chains; continuous-time stochstic systems; composition; verification; specification
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2014 23:21.
      More: https://is.muni.cz/publication/1112167/en
    7. Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment
      BLAHOUDEK, František, Tomáš BABIAK, Mojmír KŘETÍNSKÝ and Jan STREJČEK. Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment. In Hung Dang-Van and Mizuhito Ogawa. 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013. Berlin Heidelberg: Springer, 2013, p. 24-38. ISBN 978-3-319-02443-1. Available from: https://dx.doi.org/10.1007/978-3-319-02444-8_4.
      Name in Czech: Efektivní překlad LTL na deterministické Rabinovy automaty
      RIV/00216224:14330/13:00066175 Proceedings paper. Informatics. English. United States of America.
      Blahoudek, František (203 Czech Republic, belonging to the institution) -- Babiak, Tomáš (703 Slovakia, belonging to the institution) -- Křetínský, Mojmír (203 Czech Republic, belonging to the institution) -- Strejček, Jan (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: linear temporal logic; deterministic omega-automata
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Jan Strejček, Ph.D., učo 3366. Changed: 15/11/2013 23:58.
      More: https://is.muni.cz/publication/1111172/en
    8. FO Model Checking of Interval Graphs
      GANIAN, Robert, Petr HLINĚNÝ, Daniel KRÁĽ, Jan OBDRŽÁLEK, Jarett SCHWARTZ and Jakub TESKA. FO Model Checking of Interval Graphs. In Fedor V. Fomin, Rusins Freivalds, Marta Z. Kwiatkowska, David Peleg. ICALP (2) 2013. Berlin Heidelberg: Springer, 2013, p. 250-262. ISBN 978-3-642-39211-5. Available from: https://dx.doi.org/10.1007/978-3-642-39212-2_24.
      RIV/00216224:14330/13:00066379 Proceedings paper. Informatics. English. Germany.
      Ganian, Robert (840 United States of America) -- Hliněný, Petr (203 Czech Republic, guarantor, belonging to the institution) -- Kráľ, Daniel (203 Czech Republic) -- Obdržálek, Jan (203 Czech Republic, belonging to the institution) -- Schwartz, Jarett (840 United States of America) -- Teska, Jakub (203 Czech Republic)
      Keywords in English: interval graphs; first-order logic; parameterized complexity
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Changed: 14/11/2014 13:23.
      More: https://is.muni.cz/publication/1123297/en
    9. Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory
      BENEŠ, Nikola, Benoit DELAHAYE, Uli FAHRENBERG, Jan KŘETÍNSKÝ and 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, 2013, p. 76-90. ISBN 978-3-642-40183-1. Available from: https://dx.doi.org/10.1007/978-3-642-40184-8_7.
      RIV/00216224:14330/13:00066201 Proceedings paper. Informatics. English. Germany.
      Beneš, Nikola (203 Czech Republic, belonging to the institution) -- Delahaye, Benoit (250 France) -- Fahrenberg, Uli (276 Germany) -- Křetínský, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Legay, Axel (56 Belgium)
      Keywords in English: modal transition systems; composition; specification; interface theory
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2014 23:19.
      More: https://is.muni.cz/publication/1112166/en
    10. Incremental Sampling-Based Algorithm for Minimum-Violation Motion Planning
      REYES CASTRO, Luis Ignacio, Pratik CHAUDHARI, Jana TŮMOVÁ, Sertac KARAMAN, Emilio FRAZZOLI and 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, 2013, p. 3217-3224. ISBN 978-1-4673-5717-3. Available from: https://dx.doi.org/10.1109/CDC.2013.6760374.
      RIV/00216224:14330/13:00081960 Proceedings paper. Informatics. English. United States of America.
      Reyes Castro, Luis Ignacio (840 United States of America) -- Chaudhari, Pratik (840 United States of America) -- Tůmová, Jana (203 Czech Republic, guarantor, belonging to the institution) -- Karaman, Sertac (840 United States of America) -- Frazzoli, Emilio (840 United States of America) -- Rus, Daniela (840 United States of America)
      Keywords in English: motion planning; temporal logic; sampling-based planning; formal methods
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 5/5/2016 07:01.
      More: https://is.muni.cz/publication/1163972/en
    11. Kernelization Using Structural Parameters on Sparse Graph Classes
      GAJARSKÝ, Jakub, Petr HLINĚNÝ, Jan OBDRŽÁLEK, Sebastian ORDYNIAK, Felix REIDL, Peter ROSSMANITH, Fernando Sanchez VILLAAMIL and Somnath SIKDAR. Kernelization Using Structural Parameters on Sparse Graph Classes. In Hans L. Bodlaender a Giuseppe F. Italiano. ESA 2013. Berlin Heidelberg: Springer, 2013, p. 529-540. ISBN 978-3-642-40449-8. Available from: https://dx.doi.org/10.1007/978-3-642-40450-4_45.
      RIV/00216224:14330/13:00066378 Proceedings paper. Informatics. English. Germany.
      Gajarský, Jakub (703 Slovakia, belonging to the institution) -- Hliněný, Petr (203 Czech Republic, guarantor, belonging to the institution) -- Obdržálek, Jan (203 Czech Republic, belonging to the institution) -- Ordyniak, Sebastian (276 Germany, belonging to the institution) -- Reidl, Felix (276 Germany) -- Rossmanith, Peter (276 Germany) -- Villaamil, Fernando Sanchez (724 Spain) -- Sikdar, Somnath (356 India)
      Keywords in English: kernelization; parameterized complexity; sparse graphs
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Petr Hliněný, Ph.D., učo 168881. Changed: 14/11/2014 13:21.
      More: https://is.muni.cz/publication/1123296/en
    12. Media Streams Planning with Transcoding
      TROUBIL, Pavel, Hana RUDOVÁ and Petr HOLUB. Media Streams Planning with Transcoding. Online. In 12th IEEE International Symposium on Network Computing and Applications (NCA 2013). USA: IEEE, 2013, p. 41-48. ISBN 978-0-7685-5043-6. Available from: https://dx.doi.org/10.1109/NCA.2013.46.
      Name (in English): Media Streams Planning with Transcoding
      RIV/00216224:14330/13:00066216 Proceedings paper. Informatics. English. United States of America.
      Troubil, Pavel (203 Czech Republic, guarantor, belonging to the institution) -- Rudová, Hana (203 Czech Republic, belonging to the institution) -- Holub, Petr (203 Czech Republic, belonging to the institution)
      Keywords in English: networks; planning; multimedia; data transfer; integer programming; transcoding; CoUniverse
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 30/4/2014 08:51.
      More: https://is.muni.cz/publication/1112614/en
    13. Minimum-violation LTL Planning with Conflicting Specifications
      TŮMOVÁ, Jana, Luis REYES CASTRO, Sertac KARAMAN, Emilio FRAZZOLI and Daniela RUS. Minimum-violation LTL Planning with Conflicting Specifications. In Proceedings of the American Control Conference. New York, (NY, USA): IEEE, 2013, p. 200-205. ISBN 978-1-4799-0177-7. Available from: https://dx.doi.org/10.1109/ACC.2013.6579837.
      RIV/00216224:14330/13:00066721 Proceedings paper. Informatics. English. United States of America.
      Tůmová, Jana (203 Czech Republic, guarantor, belonging to the institution) -- Reyes Castro, Luis (840 United States of America) -- Karaman, Sertac (840 United States of America) -- Frazzoli, Emilio (840 United States of America) -- Rus, Daniela (840 United States of America)
      Keywords in English: formal methods; robotics; linear temporal logic; control strategy synthesis
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/2/2018 14:32.
      More: https://is.muni.cz/publication/1139241/en
    14. MoTraS: A Tool for Modal Transition Systems and Their Extensions
      KŘETÍNSKÝ, Jan and 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, 2013, p. 487-491. ISBN 978-3-319-02443-1. Available from: https://dx.doi.org/10.1007/978-3-319-02444-8_41.
      RIV/00216224:14330/13:00066203 Proceedings paper. Informatics. English. Germany.
      Křetínský, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Sickert, Salomon (276 Germany)
      Keywords in English: modal transition systems; composition; specification; interface theory
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2014 00:06.
      More: https://is.muni.cz/publication/1112168/en
    15. Multi-level Clustering on Metric Spaces Using a Multi-GPU Platform
      BARRIENTOS, Ricardo, Jose GOMEZ, Christian TENLLADO, Manuel PRIETO-MATIAS and 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, 2013, p. 216-228. ISBN 978-3-642-40046-9. Available from: https://dx.doi.org/10.1007/978-3-642-40047-6_24.
      URL
      Name (in English): Multi-level Clustering on Metric Spaces Using a Multi-GPU Platform
      RIV/00216224:14330/13:00066560 Proceedings paper. Informatics. English. Germany.
      Barrientos, Ricardo (724 Spain) -- Gomez, Jose (724 Spain) -- Tenllado, Christian (724 Spain) -- Prieto-Matias, Manuel (724 Spain) -- Zezula, Pavel (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: Similarity Search; Metric Spaces; GPU; Range queries
      Type of proceedings: pre-proceedings
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/4/2014 23:33.
      More: https://is.muni.cz/publication/1131896/en
    16. Multi-objective Discounted Reward Verification in Graphs and MDPs
      CHATTERJEE, Krishnendu, Vojtěch FOREJT and 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, 2013, p. 228-242. ISBN 978-3-642-45220-8. Available from: https://dx.doi.org/10.1007/978-3-642-45221-5_17.
      RIV/00216224:14330/13:00072859 Proceedings paper. Informatics. English. Germany.
      Chatterjee, Krishnendu (356 India) -- Forejt, Vojtěch (203 Czech Republic, guarantor, belonging to the institution) -- Wojtczak, Dominik (616 Poland)
      Keywords in English: multi-objective verification; markov decision processes; graphs
      Type of proceedings: pre-proceedings
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 29/4/2014 20:09.
      More: https://is.muni.cz/publication/1174049/en
    17. On Stochastic Games with Multiple Objectives
      CHEN, Taolue, Vojtěch FOREJT, Marta KWIATKOWSKA, Aistis SIMAITIS and 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, 2013, p. 266-277. ISBN 978-3-642-40312-5. Available from: https://dx.doi.org/10.1007/978-3-642-40313-2_25.
      RIV/00216224:14330/13:00072858 Proceedings paper. Informatics. English. Germany.
      Chen, Taolue (156 China) -- Forejt, Vojtěch (203 Czech Republic, guarantor, belonging to the institution) -- Kwiatkowska, Marta (826 United Kingdom of Great Britain and Northern Ireland) -- Simaitis, Aistis (440 Lithuania) -- Wiltsche, Clemens (40 Austria)
      Keywords in English: multi-objective verification; stochastic games
      Type of proceedings: pre-proceedings
      Changed by: RNDr. Vojtěch Forejt, Ph.D., LL.B. (Hons), učo 99155. Changed: 11/4/2015 15:23.
      More: https://is.muni.cz/publication/1174048/en
    18. Optimal Control of MDPs with Temporal Logic Constraints
      SVOREŇOVÁ, Mária, Ivana ČERNÁ and Calin BELTA. Optimal Control of MDPs with Temporal Logic Constraints. Online. In Proceedings of The 52nd IEEE Conference on Decision and Control. Neuveden: Omnipress for the IEEE Control Systems Society, 2013, p. 3938-3943. ISBN 978-1-4673-5714-2. Available from: https://dx.doi.org/10.1109/CDC.2013.6760491.
      URL
      RIV/00216224:14330/13:00066298 Proceedings paper. Informatics. English. Czech Republic.
      Svoreňová, Mária (703 Slovakia, belonging to the institution) -- Černá, Ivana (203 Czech Republic, guarantor, belonging to the institution) -- Belta, Calin (840 United States of America)
      Keywords in English: automatic synthesis Markov decision processes LTL
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: prof. RNDr. Ivana Černá, CSc., učo 1419. Changed: 31/3/2014 12:52.
      More: https://is.muni.cz/publication/1120956/en
    19. Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints
      SVOREŇOVÁ, Mária, Ivana ČERNÁ and Calin BELTA. Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints. Online. In Proceedings of The 2013 American Control Conference. Neuveden: Institute of Electrical and Electronics Engineers ( IEEE ), 2013, p. 4399-4404. ISBN 978-1-4799-0177-7. Available from: https://dx.doi.org/10.1109/ACC.2013.6580517.
      URL
      RIV/00216224:14330/13:00065947 Proceedings paper. Informatics. English. Czech Republic.
      Svoreňová, Mária (703 Slovakia, belonging to the institution) -- Černá, Ivana (203 Czech Republic, guarantor, belonging to the institution) -- Belta, Calin (840 United States of America)
      Keywords in English: optimal control; receding horizon; temporal logic; finite deterministic transition system; robots; persistent surveillance
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 27/8/2019 11:49.
      More: https://is.muni.cz/publication/1074138/en
    20. Parameter Estimation for LDA-Frames
      MATERNA, Jiří. Parameter Estimation for LDA-Frames. Online. 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, 2013, p. 482-486. ISBN 978-1-937284-47-3.
      URL
      Name in Czech: Odhad parametrů pro LDA rámce
      RIV/00216224:14330/13:00069065 Proceedings paper. Informatics. English. Czech Republic.
      Materna, Jiří (203 Czech Republic, guarantor, belonging to the institution)
      Keywords in English: LDA-Frames; semantic frames; valency frames; non-parametric methods
      Type of proceedings: pre-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 21/2/2018 15:57.
      More: https://is.muni.cz/publication/1119969/en
    21. Performance and Fairness for Users in Parallel Job Scheduling
      KLUSÁČEK, Dalibor and Hana RUDOVÁ. Performance and Fairness for Users in Parallel Job Scheduling. In Cirne, W.; Desai, N.; Frachtenberg, E.; Schwiegelshohn, U. Job Scheduling Strategies for Parallel Processing. Berlin: Lecture Notes in Computer Science 7698, Springer, 2013, p. 235-252. ISBN 978-3-642-35866-1. Available from: https://dx.doi.org/10.1007/978-3-642-35867-8_13.
      Job Scheduling Strategies for Parallel Processing 2012 at Springer website
      RIV/00216224:14330/13:00065954 Proceedings paper. Informatics. English. Germany.
      Klusáček, Dalibor (203 Czech Republic, guarantor, belonging to the institution) -- Rudová, Hana (203 Czech Republic, belonging to the institution)
      Keywords in English: Scheduling; Fairness; Metaheuristic; Backfilling
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 23/4/2013 13:47.
      More: https://is.muni.cz/publication/1076174/en
    22. PRISM-games: A model checker for stochastic multi-player games
      CHEN, Taolue, Vojtěch FOREJT, Marta KWIATKOWSKA, David PARKER and Aistis SIMAITIS. PRISM-games: A model checker for stochastic multi-player games. In Nir Piterman and Scott A. Smolka. TACAS 2013. Berlin, Heidelberg: Springer, 2013, p. 185-191. ISBN 978-3-642-36741-0. Available from: https://dx.doi.org/10.1007/978-3-642-36742-7_13.
      URL
      RIV/00216224:14330/13:00068069 Proceedings paper. Informatics. English. Germany.
      Chen, Taolue (156 China) -- Forejt, Vojtěch (203 Czech Republic, guarantor, belonging to the institution) -- Kwiatkowska, Marta (616 Poland) -- Parker, David (826 United Kingdom of Great Britain and Northern Ireland) -- Simaitis, Aistis (440 Lithuania)
      Keywords in English: model-checker; stochastic games
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 29/4/2014 20:10.
      More: https://is.muni.cz/publication/1095782/en
    23. Rabinizer 2: Small Deterministic Automata for LTL\GU
      KŘETÍNSKÝ, Jan and 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, 2013, p. 446-450. ISBN 978-3-319-02443-1. Available from: https://dx.doi.org/10.1007/978-3-319-02444-8_32.
      RIV/00216224:14330/13:00066204 Proceedings paper. Informatics. English. Germany.
      Křetínský, Jan (203 Czech Republic, guarantor, belonging to the institution) -- Ledesma Garza, Ruslan (484 Mexico)
      Keywords in English: linear temporal logic; automata; determinism; synthesis; probabilistic model checking
      International impact: yes
      Reviewed: yes
      Changed by: RNDr. Pavel Šmerk, Ph.D., učo 3880. Changed: 28/4/2014 00:07.
      More: https://is.muni.cz/publication/1112170/en
Displayed: 13/5/2024 03:00