Publication Records

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.

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.

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

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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

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.

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.

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.

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.

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.

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.

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.

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.

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

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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

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.

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.

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.

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.

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.

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.

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.

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.

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.

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

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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

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.

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.

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.

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

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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

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.

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.

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.

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

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.