Publication Records

SCHWARZOVÁ, Zuzana, Leonard WALLETZKÝ, Patrik PROCHÁZKA, Klára KUBÍČKOVÁ and Janka MARSCHALKOVÁ. T-Shaped Competencies in Academic and IT Service Synergies. International Conference on Computer Supported Education, 2025.

HRADISKÁ, Helena, Martin KUREČKA, Jan BERÁNEK, Guglielmo TEDESCHI, Vladimír VIŠŇOVSKÝ, Aleš KŘENEK and Vojtěch SPIWOK. Acceleration of Molecular Simulations by Parametric Time-Lagged tSNE Metadynamics. The Journal of Physical Chemistry B. 2024. ISSN 1520-6106. Available from: https://dx.doi.org/10.1021/acs.jpcb.3c05669.

LANG, Matěj, Radoslav MRÁZ, Marek TRTÍK, Sergej STOPPEL, Jan BYŠKA and Barbora KOZLÍKOVÁ. Antarstick: Extracting Snow Height From Time-Lapse Photography. COMPUTER GRAPHICS FORUM. England: Wiley, 2024, vol. 43, No 3, p. 1-11. ISSN 0167-7055. Available from: https://dx.doi.org/10.1111/cgf.15088.

SCHWARZOVÁ, Zuzana, Leonard WALLETZKÝ, Mouzhi GE and Patrik PROCHÁZKA. Application of context-driven methodology for implementing the smart city concept in Czech republic. Online. In ITM Web Conf. International Conference on Exploring Service Science (IESS 2.4), 2024, 9 pp. Available from: https://dx.doi.org/10.1051/itmconf/20246201002.

BENEŠ, Nikola, Luboš BRIM, Ondřej HUVAR, Samuel PASTVA and David ŠAFRÁNEK. BNClassifier: Classifying Boolean Models by Dynamic Properties. Online. In Gori, Roberta; Milazzo, Paolo; Tribastone, Mirco. Computational Methods in Systems Biology. Cham: Springer, 2024, p. 19--26. ISBN 978-3-031-71670-6. Available from: https://dx.doi.org/10.1007/978-3-031-71671-3_2.

ŘECHTÁČKOVÁ, Anna, Radek PELÁNEK and Tomáš EFFENBERGER. Catalog of Code Quality Defects in Introductory Programming. Online. In Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1. Milan, Italy: Association for Computing Machinery, 2024, p. 59-65. ISBN 979-8-4007-0600-4. Available from: https://dx.doi.org/10.1145/3649217.3653638.

HLINĚNÝ, Petr and Jan JEDELSKÝ. ℋ-Clique-Width and a Hereditary Analogue of Product Structure. Online. In Královič, Rastislav and Kučera, Antonín. 49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024). Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik, 2024, p. "61:1"-"61:16", 16 pp. ISBN 978-3-95977-335-5. Available from: https://dx.doi.org/10.4230/LIPIcs.MFCS.2024.61.

BALABÁN, Jakub, Robert GANIAN and Mathis ROCTON. Computing Twin-Width Parameterized by the Feedback Edge Number. In Beyersdorff, Olaf and Kant\'{e}, Mamadou Moustapha and Kupferman, Orna and Lokshtanov, Daniel. 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024). Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik, 2024, p. 1-19. ISBN 978-3-95977-311-9. Available from: https://dx.doi.org/10.4230/LIPIcs.STACS.2024.7.

ŘECHTÁČKOVÁ, Anna. Developing Automatic Methods for Teaching Code Quality in Introductory Programming. Online. In Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 2. Milan, Italy: Association for Computing Machinery, 2024, p. 826-827. ISBN 979-8-4007-0603-5. Available from: https://dx.doi.org/10.1145/3649405.3659536.

JONÁŠ, Martin, Jan STREJČEK, Marek TRTÍK and Lukáš URBAN. Fizzer: New Gray-Box Fuzzer. Online. In Dirk Beyer and Ana Cavalcanti. Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings. Cham (Švýcarsko): Springer, 2024, p. 309-313. ISBN 978-3-031-57258-6. Available from: https://dx.doi.org/10.1007/978-3-031-57259-3_17.

HASHEMI, Vahid, Jan KŘETÍNSKÝ, Sabine RIEDER, Torsten SCHÖN and Jan VORHOFF. Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces. Online. In Erika Ábrahám. International Conference on Runtime Verification. Cham: Springer Nature Switzerland, 2024, p. 218-228. ISBN 978-3-031-74234-7. Available from: https://dx.doi.org/10.1007/978-3-031-74234-7_14.

JONÁŠ, Martin, Jan STREJČEK, Marek TRTÍK and Lukáš URBAN. Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage. Online. In Bernd Finkbeiner and Laura Kovács. Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III. Cham (Švýcarsko): Springer, 2024, p. 90-109. ISBN 978-3-031-57255-5. Available from: https://dx.doi.org/10.1007/978-3-031-57256-2_5.

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. MATHEMATICAL PROGRAMMING. Berlin, Germany: SPRINGER HEIDELBERG, 2024, vol. 208, 1-2, p. 497-531. ISSN 0025-5610. Available from: https://dx.doi.org/10.1007/s10107-023-02048-x.

SUCHÁČEK, Petr. Inspirace z nenásilné komunikace pro lidi na školách (Inspiration from nonviolent communication for people in schools). In Festival inspiruj! 2024.

KÉPEŠ, Erik, Jakub VRÁBEL, Tomáš BRÁZDIL, Petr HOLUB, Pavel POŘÍZKA and Jozef KAISER. Interpreting convolutional neural network classifiers applied to laser-induced breakdown optical emission spectra. Talanta. AMSTERDAM: Elsevier, 2024, vol. 266, No 124946, p. 1-11. ISSN 0039-9140. Available from: https://dx.doi.org/10.1016/j.talanta.2023.124946.

PROCHÁZKOVÁ, Ingrid and Petr SUCHÁČEK. Jak podpořit učení studujících? (How to support learners' learning?). 2024.

PAULUS, Anselm, Georg MARTIUS and Vít MUSIL. LPGD: A General Framework for Backpropagation through Embedded Optimization Layers. Online. In Salakhutdinov R. and Kolter Z. and Heller K. and Weller A. and Oliver N. and Scarlett J. and Berkenkamp F. Proceedings of Machine Learning Research. 235th ed. Neuveden: ML Research Press, 2024, p. 39989-40014. ISSN 2640-3498.

TUŠIL, Jan and Jan OBDRŽÁLEK. Minuska: Towards a Formally Verified Programming Language Framework. Online. In Alexandre Madeira and Alexander Knapp. 22nd International Conference on Software Engineering and Formal Methods. Aveiro, Portugal: Springer Nature Switzerland AG, 2024, 15 pp.

AZEEM, Muqsit, Sudeep KANAV, Jan KŘETÍNSKÝ, Stefanie MOHR and Sabine RIEDER. Monitizer: Automating Design and Evaluation of Neural Network Monitors. In Arieand Gurfinkel and Vijay Ganesh. Computer Aided Verification. Cham: Springer, 2024. ISBN 978-3-031-65630-9. Available from: https://dx.doi.org/10.1007/978-3-031-65630-9_14.

KLAŠKA, David, Antonín KUČERA, Vojtěch KŮR, Vít MUSIL and Vojtěch ŘEHÁK. Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes. In Wooldridge M., Dy J., Natarajan S. Proceedings of 38th Annual AAAI Conference on Artificial Intelligence (AAAI 2024). Washington, DC,. Neuveden: AAAI Press, 2024, p. 20143-20150. ISBN 978-1-57735-887-9. Available from: https://dx.doi.org/10.1609/aaai.v38i18.29993.

PELÁNEK, Radek, Tomáš EFFENBERGER and Petr JARUŠEK. Personalized recommendations for learning activities in online environments: a modular rule-based approach. User Modeling and User-Adapted Interaction. DORDRECHT: Springer Netherlands, 2024, 32 pp. ISSN 0924-1868. Available from: https://dx.doi.org/10.1007/s11257-024-09396-z.

DORFHUBER, Florian Sebastian, Julia EISENTRAUT, Katharina KLIOBA and Jan KŘETÍNSKÝ. QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification. Online. QEST 2024: Springer, 2024. Available from: https://dx.doi.org/10.1007/978-3-031-68416-6_4.

WALLETZKÝ, Leonard, Zuzana SCHWARZOVÁ, Janka MARSCHALKOVÁ and Klára KUBÍČKOVÁ. Role of T-shape in IT academic research. Online. In Christine Leitner, Rainer Nägele, Clara Bassano and Debra Satterfield. The Human Side of Service Engineering. AHFE International, USA, 2024. Available from: https://dx.doi.org/10.54941/ahfe1005088.

JANOVSKÝ, Adam, Ján JANČÁR, Petr ŠVENDA, Lukasz Michal CHMIELEWSKI, Jiří MICHALÍK and Václav MATYÁŠ. sec-certs: Examining the security certification practice for better vulnerability mitigation. Computers & Security. 2024, vol. 2024, No 143, p. 1-13. ISSN 0167-4048. Available from: https://dx.doi.org/10.1016/j.cose.2024.103895.

BHATI, Amit Singh, Antonín DUFKA, Elena ANDREEVA, Arnab ROY and Bart PRENEEL. Skye: An Expanding PRF based Fast KDF and its Applications. Online. In Proceedings of the 19th ACM Asia Conference on Computer and Communications Security (ASIA CCS '24). New York, NY, USA: Association for Computing Machinery, 2024, p. 1082-1098. ISBN 979-8-4007-0482-6. Available from: https://dx.doi.org/10.1145/3634737.3637673.

AYAZIOVÁ, Paulína, Dirk BEYER, Marian LINGSCH-ROSENFELD, Martin SPIESSL and Jan STREJČEK. Software Verification Witnesses 2.0. Online. In Thomas Neele and Anton Wijs. Model Checking Software - 30th International Symposium, SPIN 2024. Cham (Švýcarsko): Springer, 2024, p. 184-203. ISBN 978-3-031-66148-8. Available from: https://dx.doi.org/10.1007/978-3-031-66149-5_11.

JONÁŠ, Martin, Kristián KUMOR, Jakub NOVÁK, Jindřich SEDLÁČEK, Marek TRTÍK, Lukáš ZAORAL, Paulína AYAZIOVÁ and Jan STREJČEK. Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution. Online. In Bernd Finkbeiner and Laura Kovács. Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III. Cham (Švýcarsko): Springer, 2024, p. 406-411. ISBN 978-3-031-57255-5. Available from: https://dx.doi.org/10.1007/978-3-031-57256-2_29.

ZAORAL, Lukáš, Antonín DUFKA and Petr ŠVENDA. The adoption rate of JavaCard features by certified products and open-source projects. Online. In Bhasin, S., Roche, T. Smart Card Research and Advanced Applications. Springer Nature Switzerland: Springer, Cham, 2024, p. 169-189. ISBN 978-3-031-54408-8. Available from: https://dx.doi.org/10.1007/978-3-031-54409-5_9.

CHODIL, Miroslav and Antonín KUČERA. The Finite Satisfiability Problem for PCTL is Undecidable. Online. In Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science. New York, United States: IEEE Computer Society, 2024, p. 1-14. ISBN 979-8-4007-0660-8. Available from: https://dx.doi.org/10.1145/3661814.3662145.

CHODIL, Miroslav and Antonín KUČERA. The satisfiability problem for a quantitative fragment of PCTL. Journal of Computer and System Sciences. SAN DIEGO: Elsevier, 2024, vol. 139, No 103478, p. 1-16. ISSN 0022-0000. Available from: https://dx.doi.org/10.1016/j.jcss.2023.103478.

FOURNÉ, Marcel, Daniel DE ALMEIDA BRAGA, Ján JANČÁR, Mohamed SABT, Peter SCHWABE, Gilles BARTHE, Pierre-Alain FOUQUE and Yasemin ACAR. “These results must be false”: A usability evaluation of constant-time analysis tools. Online. In Davide Balzarotti, Wenyuan Xu. 33rd USENIX Security Symposium. Philadelphia, PA, US. Philadelphia, US: USENIX Association, 2024, p. 6705-6722. ISBN 978-1-939133-44-1.

DVORAK, Zdenek, Daniel KRÁĽ and Robin THOMAS. Three-coloring triangle-free graphs on surfaces VI. 3-colorability of quadrangulations. Journal of Combinatorial Theory. Series B. SAN DIEGO: ACADEMIC PRESS INC ELSEVIER SCIENCE, 2024, vol. 164, No 1, p. 517-548. ISSN 0095-8956. Available from: https://dx.doi.org/10.1016/j.jctb.2023.11.001.

JANKOLA, Marek and Jan STREJČEK. Tighter Construction of Tight Büchi Automata. Online. In Naoki Kobayashi and James Worrell. Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I. Cham: Springer, 2024, p. 234-255. ISBN 978-3-031-57227-2. Available from: https://dx.doi.org/10.1007/978-3-031-57228-9_12.

ŠVENDA, Petr, Antonín DUFKA, Milan BROŽ, Roman LACKO, Tomáš JAROŠ, Daniel ZAŤOVIČ and Josef POSPISIL. TPMScan: A wide-scale study of security-relevant properties of TPM 2.0 chips. Online. In IACR Transactions on Cryptographic Hardware and Embedded Systems. Bochum: Ruhr-University of Bochum, 2024, p. 714-734. ISSN 2569-2925. Available from: https://dx.doi.org/10.46586/tches.v2024.i2.714-734.

ONDIKA, Patrick, Jan MRÁZEK and Jiří BARNAT. Tree-Based Reconfiguration of Metamorphic Robots. In 2024 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). 2024.

BALABÁN, Jakub, Petr HLINĚNÝ and Jan JEDELSKÝ. Twin-Width and Transductions of Proper k-Mixed-Thin Graphs. DISCRETE MATHEMATICS. NETHERLANDS: ELSEVIER, 2024, vol. 347, No 8, 20 pp. ISSN 0012-365X. Available from: https://dx.doi.org/10.1016/j.disc.2024.113876.

BALABÁN, Jakub, Robert GANIAN and Mathis ROCTON. Twin-Width Meets Feedback Edges and Vertex Integrity. In International Symposium on Parameterized and Exact Computation (IPEC). 2024, p. 1-22.

KRÁĽ, Daniel, Kristýna PEKÁRKOVÁ and Kenny ŠTORGEL. Twin-width of graphs on surfaces. Online. In 49th International Symposium on Mathematical Foundations of Computer Science (MFCS 2024). Dagstuhl, Germany: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024, p. 66:1-66:15, 15 pp. ISBN 978-3-95977-335-5.

KRUŽÍKOVÁ, Agáta, Jakub SUCHÁNEK, Milan BROŽ, Martin UKROP and Václav MATYÁŠ. What Johnny thinks about using two-factor authentication on GitHub: A survey among open-source developers. Online. In Proceedings of the 21st International Workshop on Trust, Privacy and Security in the Digital Society. Vídeň, Rakousko: Association for Computing Machinery, 2024, p. 1-11. ISBN 979-8-4007-1718-5. Available from: https://dx.doi.org/10.1145/3664476.3670885.

LANG, Matěj, Adam ŠTĚPÁNEK, Róbert ZVARA, Vojtěch ŘEHÁK and Barbora KOZLÍKOVÁ. Who Let the Guards Out: Visual Support for Patrolling Games. IEEE Transactions on Visualization and Computer Graphics. United States: IEEE Computer Society, 2024. ISSN 1077-2626. Available from: https://dx.doi.org/10.1109/TVCG.2024.3456306.

AYAZIOVÁ, Paulína and Jan STREJČEK. Witch 3: Validation of Violation Witnesses in the Witness Format 2.0. Online. In Bernd Finkbeiner and Laura Kovács. Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III. Cham (Švýcarsko): Springer, 2024, p. 341-346. ISBN 978-3-031-57255-5. Available from: https://dx.doi.org/10.1007/978-3-031-57256-2_18.

LANG, Matěj, Clemens STROBEL, Felix WECKESSER, Danielle Kathryn LANGLOIS, Enkelejda KASNECI, Barbora KOZLÍKOVÁ and Michael KRONE. A multimodal smartwatch-based interaction concept for immersive environments. Computers & Graphics. Oxford: Elsevier, 2023, vol. 117, December, p. 85-95. ISSN 0097-8493. Available from: https://dx.doi.org/10.1016/j.cag.2023.10.010.

PLISKA, Pavel, Mikoláš JURDA, Adriana STREJČKOVÁ, Marek TRTÍK, Patrik BAŠO, Radoslav BEŇA, Lukáš RAJNOHA, Štěpán DVOŘÁČEK, Martin ČUTA, Dominik ČERNÝ and Petra URBANOVÁ. A.D.A.P.T. Software. 2023.

JUENGERMANN, Florian, Jan KŘETÍNSKÝ and Maximilian WEININGER. Algebraically explainable controllers: decision trees and support vector machines join forces. International Journal on Software Tools for Technology Transfer. HEIDELBERG: SPRINGER HEIDELBERG, 2023, vol. 25, No 3, p. 249-266. ISSN 1433-2779. Available from: https://dx.doi.org/10.1007/s10009-023-00716-z.

WALLETZKÝ, Leonard, Mouzhi GE, Odonchimeg BAYARSAIKHAN and Zuzana SCHWARZOVÁ. An Evaluation of Smart City Models Towards a New Service Design Model. Online. In Klein C., Jarke M., Ploeg J., Helfert M., Berns K. and Gusikhin O. Smart Cities, Green Technologies, and Intelligent Transport Systems. Cham: Springer Nature Switzerland, 2023, p. 47-67. Communications in Computer and Information Science (CCIS, volume 1843). ISBN 978-3-031-37469-2. Available from: https://dx.doi.org/10.1007/978-3-031-37470-8_3.

FOLTÝNEK, Tomáš. Artificial Intelligence and Academic Integrity. In Informatics Colloquium. 2023.

AJDARÓW, Michal and Antonín KUČERA. Asymptotic Complexity Estimates for Probabilistic Programs and their VASS Abstractions. Online. In Perez, Guillermo A. and Raskin, Jean-Francois. 34th International Conference on Concurrency Theory (CONCUR 2023). Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik, 2023, p. "12:1"-"12:16", 16 pp. ISBN 978-3-95977-299-0. Available from: https://dx.doi.org/10.4230/LIPIcs.CONCUR.2023.12.

SUBHAM SEKHAR, Sahoo, Anselm PAULUS, Marin VLASTELICA, Vít MUSIL, Volodymyr KULESHOV and Georg MARTIUS. Backpropagation through combinatorial algorithms: identity with projection works. In 11th International Conference on Learning Representations, ICLR 2023. 2023.

BENEŠ, Nikola, Luboš BRIM, Ondřej HUVAR, Samuel PASTVA and David ŠAFRÁNEK. Boolean network sketches: a unifying framework for logical model inference. Bioinformatics. 2023, vol. 39, No 4, p. "btad158", 8 pp. ISSN 1367-4803. Available from: https://dx.doi.org/10.1093/bioinformatics/btad158.

ŠIGUT, Petr and Tomáš FOLTÝNEK. Can we detect ChatGPT-generated texts in Czech and Slovak languages? In Aleš Horák, Pavel Rychlý, Adam Rambousek. Proceedings of the Sixteenth Workshop on Recent Advances in Slavonic Natural Languages Processing, RASLAN 2023. Brno: Tribun EU, 2023, p. 35-43. ISBN 978-80-263-1793-7.

TUŠIL, Jan, Traian SERBANUTA and Jan OBDRŽÁLEK. Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties. Online. In Ruzica Piskac and Andrei Voronkov. Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning. Manchester: EasyChair, 2023, p. 405-456. ISSN 2398-7340. Available from: https://dx.doi.org/10.29007/1874.

CAGIRICI, Onur, Petr HLINĚNÝ, Filip POKRÝVKA and Abhisekh SANKARAN. Clique-Width of Point Configurations. Journal of Combinatorial Theory, Ser B. Amsterdam: Elsevier B.V., 2023, vol. 158, No 1, p. 43-73. ISSN 0095-8956. Available from: https://dx.doi.org/10.1016/j.jctb.2021.09.001.

GRZESIK, Andrzej, Daniel KRÁĽ, Laszlo M LOVASZ and Jan VOLEC. Cycles of a given length in tournaments. Journal of Combinatorial Theory. Series B. SAN DIEGO: ACADEMIC PRESS INC ELSEVIER SCIENCE, 2023, vol. 158, No 1, p. 117-145. ISSN 0095-8956. Available from: https://dx.doi.org/10.1016/j.jctb.2022.07.007.

BULLA, Lukas, Kristian HJORTH, Oskar KOHOUT, Jan LANG, Sebastian ECKER, Sebastian NEUMANN, Julius BITTERMANN, Robert KINDLER, Marcus HUBER, Martin BOHMANN, Rupert URSIN and Matej PIVOLUSKA. Distribution of genuine high-dimensional entanglement over 10.2 km of noisy metropolitan atmosphere. PHYSICAL REVIEW A. UNITED STATES: AMER PHYSICAL SOC, 2023, vol. 107, L050402, p. 1-5. ISSN 2469-9926. Available from: https://dx.doi.org/10.1103/PhysRevA.107.L050402.

AGAOGLU CAGIRICI, Deniz and Petr HLINĚNÝ. Efficient Isomorphism for Sd-Graphs and T-Graphs. ALGORITHMICA. UNITED STATES: SPRINGER, 2023, vol. 85, No 2, p. 352-383. ISSN 0178-4617. Available from: https://dx.doi.org/10.1007/s00453-022-01033-8.

BLAHOUDEK, Fratišek, Petr NOVOTNÝ, Melkior ORNIK, Pranay THANGEDA and Ufuk TOPCU. Efficient Strategy Synthesis for MDPs With Resource Constraints. IEEE Transactions on Automatic Control. 2023, vol. 68, No 8, p. 4586 - 4601. ISSN 0018-9286. Available from: https://dx.doi.org/10.1109/TAC.2022.3209612.

DUFKA, Antonín and Petr ŠVENDA. Enabling Efficient Threshold Signature Computation via Java Card API. Online. In Proceedings of the 18th International Conference on Availability, Reliability and Security. Benevento, Italy: Association for Computing Machinery, 2023, p. 1-10. ISBN 979-8-4007-0772-8. Available from: https://dx.doi.org/10.1145/3600160.3600180.

FOLTÝNEK, Tomáš, Sonja BJELOBABA, Irene GLENDINNING, Zeenat Reza KHAN, Rita SANTOS, Pegi PAVELTIC and Július KRAVJAR. ENAI Recommendations on the ethical use of Artificial Intelligence in Education. International Journal for Educational Integrity. Springer, 2023, vol. 19, No 1, p. 1-4. ISSN 1833-2595. Available from: https://dx.doi.org/10.1007/s40979-023-00133-4.

SCALABRIN COUTINHO, Angela, Sandra FERNANDES LEITE, Tomáš FOLTÝNEK, Rubén COMAS FORGAS, Frederico GARCIA FERNANDES, Sonia Maria RAMOS VASCONCELOS and Jefferson MAINARDES. Entrevista com lideranças na promoção da ética em pesquisa e da integridade acadêmica e científica (Interview with leaders in promoting research ethics and academic and scientific integrity). Praxis Educativa. Universidade Estadual de Ponta Grossa, 2023, vol. 2023, No 18, p. 1-30. ISSN 1809-4031. Available from: https://dx.doi.org/10.5212/PraxEduc.v.18.22915.087.

FOLTÝNEK, Tomáš and Martin UKROP. Ethical Beliefs and Controversies of Computer Science Teaching Assistants. In European Conference on Academic Integrity and Plagiarism 2023. 2023.

MRÁZEK, Jan, Vladimír CHLUP and Jiří BARNAT. Fault-Tolerant and System-Wide Communication for Metamorphic Robots. Online. In 2023 IEEE 19th International Conference on Automation Science and Engineering (CASE). Auckland, New Zealand: IEEE, 2023, p. 1-8. ISBN 979-8-3503-2069-5. Available from: https://dx.doi.org/10.1109/CASE56687.2023.10260364.

GRZESIK, Andrzej, Daniel KRÁĽ and Oleg PIKHURKO. Forcing Generalized Quasirandom Graphs Efficiently. Online. In European Conference on Combinatorics, Graph Theory and Applications. Brno: MUNI Press, 2023, p. 503-510. ISSN 2788-3116. Available from: https://dx.doi.org/10.5817/CZ.MUNI.EUROCOMB23-070.

KŘETÍNSKÝ, Jan, Tobias MEGGENDORFER, Maximilian PROKOP and Sabine RIEDER. Guessing Winning Policies in LTL Synthesis by Semantic Learning. In Constantin Enea and Akash Lal. Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings, Part I. Cham: Springer, 2023, p. 390-414. ISBN 978-3-031-37705-1. Available from: https://dx.doi.org/10.1007/978-3-031-37706-8_20.

TESAŘOVÁ, Alena, Adam HEROUT, Daniel BAMBUŠEK and Vojtěch JUŘÍK. How to shoot yourself right with a smartphone? Virtual Reality. Berlin: Springer Nature, 2023, vol. 27, No 3, p. 2357-2369. ISSN 1359-4338. Available from: https://dx.doi.org/10.1007/s10055-023-00812-0.

CHIMANI, Markus and Petr HLINĚNÝ. Inserting Multiple Edges into a Planar Graph. Journal of Graph Algorithms and Applications. USA: Brown University, 2023, vol. 27, No 6, p. 489-522. ISSN 1526-1719. Available from: https://dx.doi.org/10.7155/jgaa.00631.

TUŠIL, Jan, Bereczky PÉTER and Horpácsi DÁNIEL. Interactive Matching Logic Proofs in Coq. Online. In Erika Abraham, Clemens Dubslaff, and Lizeth Tarifa. Theoretical Aspects of Computing (ICTAC 2023). Lima, Peru: Springer Nature Switzerland AG, 2023, p. 139-157. ISBN 978-3-031-47962-5. Available from: https://dx.doi.org/10.1007/978-3-031-47963-2_10.

GRIGGIO, Alberto and Martin JONÁŠ. Kratos2: An SMT-Based Model Checker for Imperative Programs. In Constantin Enea, Akash Lal. Computer Aided Verification. CAV 2023. Paříž, Francie: Springer, 2023, p. 429-436. ISBN 978-3-031-37708-2. Available from: https://dx.doi.org/10.1007/978-3-031-37709-9_20.

DORFHUBER, Florian Sebastian, Julia EISENTRAUT and Jan KŘETÍNSKÝ. Learning Attack Trees by Genetic Algorithms. Online. In Theoretical Aspects of Computing – ICTAC 2023. Lima: Springer, 2023, p. 55-73. ISBN 978-3-031-47962-5. Available from: https://dx.doi.org/10.1007/978-3-031-47963-2_5.

GARBE, Frederik, Robert Arthur HANCOCK, Jan HLADKY and Maryam SHARIFZADEH. Limits of Latin Squares. Discrete Analysis. CAMBRIDGE: ALLIANCE DIAMOND OPEN ACCESS JOURNALS, 2023, vol. 2023, No 8, p. 1-66. ISSN 2397-3129. Available from: https://dx.doi.org/10.19086/da.83253.

KLAŠKA, David, Antonín KUČERA, Vít MUSIL and Vojtěch ŘEHÁK. Mean Payoff Optimization for Systems of Periodic Service and Maintenance. Online. In Edith Elkind. Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,. Neuveden: International Joint Conferences on Artificial Intelligence, 2023, p. 5386-5393. ISBN 978-1-956792-03-4. Available from: https://dx.doi.org/10.24963/ijcai.2023/598.

HLINĚNÝ, Petr and Tomáš MASAŘÍK. Minimizing an Uncrossed Collection of Drawings. Online. In Bekos, M.A., Chimani, M. Graph Drawing 2023. 14465th ed. Switzerland: Springer, Cham, 2023, p. 110-123. ISBN 978-3-031-49271-6. Available from: https://dx.doi.org/10.1007/978-3-031-49272-3_8.

KIESBYE, Jonis, Kush GROVER and Jan KŘETÍNSKÝ. Model Checking for Proving and Improving Fault Tolerance of Satellites. In 978-1-6654-9032-0. 2023 IEEE AEROSPACE CONFERENCE. NEW YORK: IEEE, 2023, 9 pp. ISSN 1095-323X. Available from: https://dx.doi.org/10.1109/AERO55745.2023.10115801.

KUREČKA, Martin. Monte Carlo Tree Search with Function Approximation for Risk-constrained Planning and Reinforcement Learning. In The IJCAI-23 Joint Workshop on Artificial Intelligence Safety and Safe Reinforcement Learning. 2023.

WALLETZKÝ, Leonard, Luca CARRUBBO, Mouzhi GE, Zuzana SCHWARZOVÁ and Odonchimeg BAYARSAIKHAN. Multi-Contextual Smart City Model for Service Interconnections. Online. In International Conference on Exploring Service Science (IESS 2.3). Geneva, Switzerland: EDP Sciences, 2023, p. 1-11. ISSN 2271-2097. Available from: https://dx.doi.org/10.1051/itmconf/20235101001.

HANCOCK, Robert Arthur, Adam KABELA, Daniel KRÁĽ, Taisa MARTINS, Roberto PARENTE, Fiona SKERMAN and Jan VOLEC. No additional tournaments are quasirandom-forcing. European Journal of Combinatorics. 2023, vol. 108, No 1, p. 1-10. ISSN 0195-6698. Available from: https://dx.doi.org/10.1016/j.ejc.2022.103632.

BULLA, Lukas, Matej PIVOLUSKA, Kristian HJORTH, Oskar KOHOUT, Jan LANG, Sebastian ECKER, Sebastian P NEUMANN, Julius BITTERMANN, Robert KINDLER, Marcus HUBER, Martin BOHMANN and Rupert URSIN. Nonlocal Temporal Interferometry for Highly Resilient Free-Space Quantum Communication. Physical Review X. College Park: American Physical Society, 2023, vol. 13, No 2, p. 1-12. ISSN 2160-3308. Available from: https://dx.doi.org/10.1103/PhysRevX.13.021001.

CHATTERJEE, Krishnendu, Ehsan Kafshdar GOHARSHADY, Petr NOVOTNÝ, Jiří ZÁREVÚCKY and Djordje ŽIKELIĆ. On Lexicographic Proof Rules for Probabilistic Termination. Formal Aspects of Computing. 2023, vol. 35, No 2, p. "11:1"-"11:25", 25 pp. ISSN 0934-5043. Available from: https://dx.doi.org/10.1145/3585391.

NASSI, Ben, Ofek VAYNER, Etay ILUZ, Dudi NASSI, Ján JANČÁR, Daniel GENKIN, Eran TROMER, Boris ZADOV and Yuval ELOVICI. Optical Cryptanalysis: Recovering Cryptographic Keys from Power LED Light Fluctuations (Optical Cryptanalysis: Recovering Cryptographic Keys from Power LED Light Fluctuation). Online. In 30th ACM Conference on Computer and Communications Security (CCS'2023). New York, NY, USA: Association for Computing Machinery, 2023, p. 268-280. ISBN 979-8-4007-0050-7. Available from: https://dx.doi.org/10.1145/3576915.3616620.

CIANCHI, Andrea, Vít MUSIL and Luboš PICK. Optimal Sobolev embeddings for the Ornstein-Uhlenbeck operator. Journal of Differential Equations. San Diego, CA USA: ACADEMIC PRESS INC ELSEVIER SCIENCE, 2023, vol. 359, No 1, p. 414-475. ISSN 0022-0396. Available from: https://dx.doi.org/10.1016/j.jde.2023.02.035.

MUSIL, Vít, Luboš PICK and Jakub TAKÁČ. Optimality problems in Orlicz spaces. Advances in Mathematics. SAN DIEGO: ACADEMIC PRESS INC ELSEVIER SCIENCE, 2023, vol. 432, November 1, p. 1-58. ISSN 0001-8708. Available from: https://dx.doi.org/10.1016/j.aim.2023.109273.

BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA, David ŠAFRÁNEK and Eva ŠMIJÁKOVÁ. Phenotype Control of Partially Specified Boolean Networks. In Jun Pang, Joachim Niehren. Computational Methods in Systems Biology. Luxembourg City, Luxembourg: Springer Cham, 2023, p. 18-35. ISBN 978-3-031-42696-4. Available from: https://dx.doi.org/10.1007/978-3-031-42697-1_2.

HOLUB, Petr, Heimo MÜLLER, Tomáš BÍL, Luca PIREDDU, Markus PLASS, Fabian PRASSER, Irene SCHLÜNDER, Kurt ZATLOUKAL, Rudolf NENUTIL and Tomáš BRÁZDIL. Privacy risks of whole-slide image sharing in digital pathology. Nature Communications. 2023, vol. 14, No 2577, p. 1-15. ISSN 2041-1723. Available from: https://dx.doi.org/10.1038/s41467-023-37991-y.

ARAUJO, Mateus, Marcus HUBER, Miguel NAVASCUES, Matej PIVOLUSKA and Armin TAVAKOLI. Quantum key distribution rates from semidefinite programming. QUANTUM. WIEN: VEREIN FORDERUNG OPEN ACCESS PUBLIZIERENS QUANTENWISSENSCHAF, 2023, vol. 7, No 1, p. 1-18. ISSN 2521-327X. Available from: https://dx.doi.org/10.22331/Q-2023-05-24-1019.

GRZESIK, Andrzej, Daniel IĽKOVIČ, Bartłomiej KIELAK and Daniel KRÁĽ. Quasirandom-Forcing Orientations of Cycles. SIAM JOURNAL ON DISCRETE MATHEMATICS. UNITED STATES: SIAM PUBLICATIONS, 2023, vol. 37, No 4, p. 2689-2716. ISSN 0895-4801. Available from: https://dx.doi.org/10.1137/23M1548700.

BALOGH, Jozsef and Ander LAMAISON VIDARTE. Ramsey upper density of infinite graph factors. Illinois Journal of Mathematics. DURHAM: Duke University Press, 2023, vol. 67, No 1, p. 171-184. ISSN 0019-2082. Available from: https://dx.doi.org/10.1215/00192082-10450499.

LAMAISON VIDARTE, Ander. Ramsey upper density of infinite graphs. COMBINATORICS PROBABILITY & COMPUTING. NEW YORK: CAMBRIDGE UNIV PRESS, 2023, vol. 32, No 5, p. 703-723. ISSN 0963-5483. Available from: https://dx.doi.org/10.1017/S0963548323000093.

AGAOGLU CAGIRICI, Deniz, Onur CAGIRICI, Jan DERBISZ, Tim HARTMANN, Petr HLINĚNÝ, Jan KRATOCHVÍL, Tomasz KRAWCZYK and Peter ZEMAN. Recognizing H-Graphs - Beyond Circular-Arc Graphs. Online. In Leroux, J\'{e}r\^{o}me and Lombardy, Sylvain and Peleg, David. 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023). Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik, 2023, p. "8:1"-"8:14", 14 pp. ISBN 978-3-95977-292-1. Available from: https://dx.doi.org/10.4230/LIPIcs.MFCS.2023.8.

SCHWARZOVÁ, Tereza, Jan STREJČEK and Juraj MAJOR. Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving. Online. In Meena Mahajan and Friedrich Slivovsky. 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy. Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, p. 1-20. ISBN 978-3-95977-286-0. Available from: https://dx.doi.org/10.4230/LIPIcs.SAT.2023.23.

MRÁZEK, Jan and Jiří BARNAT. RoFIOS - Flexible Full-Stack Software Solution for Metamorphic Robots. Online. In 2023 IEEE 19th International Conference on Automation Science and Engineering (CASE). Auckland, New Zealand: IEEE, 2023, p. 1-8. ISBN 979-8-3503-2069-5. Available from: https://dx.doi.org/10.1109/CASE56687.2023.10260586.

TROJÁK, Matej, David ŠAFRÁNEK, Samuel PASTVA and Luboš BRIM. Rule-based Modelling of Biological Systems Using Regulated Rewriting. Biosystems. Elsevier, 2023, vol. 225, No 104843, p. 1-15. ISSN 0303-2647. Available from: https://dx.doi.org/10.1016/j.biosystems.2023.104843.

HASHEMI, Vahid, Jan KŘETÍNSKÝ, Sabine RIEDER and Jessica SCHMIDT. Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks. In 978-3-031-27481-7. FORMAL METHODS, FM 2023. Lübeck: SPRINGER INTERNATIONAL PUBLISHING AG, 2023, p. 622-634. ISBN 978-3-031-27480-0. Available from: https://dx.doi.org/10.1007/978-3-031-27481-7_36.

GALLO, Matej, Vojtěch KRAJŇANSKÝ, Rudolf NENUTIL, Petr HOLUB and Tomáš BRÁZDIL. Shedding light on the black box of a neural network used to detect prostate cancer in whole slide images by occlusion-based explainability. NEW BIOTECHNOLOGY. NETHERLANDS: ELSEVIER, 2023, vol. 78, December, p. 52-67. ISSN 1871-6784. Available from: https://dx.doi.org/10.1016/j.nbt.2023.09.008.

AJDARÓW, Michal, Šimon BRLEJ and Petr NOVOTNÝ. Shielding in Resource-Constrained Goal POMDPs. Online. In Brian Williams, Yiling Chen, Jennifer Neville. Proceedings of the 37th AAAI Conference on Artificial Intelligence. Washington, DC, USA: AAAI Press, 2023, p. 14674-14682. ISBN 978-1-57735-880-0. Available from: https://dx.doi.org/10.1609/aaai.v37i12.26715.

BERGOUGNOUX, Benjamin, Jakub GAJARSKÝ, Grzegorz Jan GUSPIEL, Petr HLINĚNÝ, Filip POKRÝVKA and Marek SOKOŁOWSKI. Sparse Graphs of Twin-width 2 Have Bounded Tree-width. Online. In ISAAC 2023. 283rd ed. Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik, 2023, p. "11:1"-"11:13", 13 pp. ISBN 978-3-95977-289-1. Available from: https://dx.doi.org/10.4230/LIPICS.ISAAC.2023.11.

HLINĚNÝ, Petr and Adam STRAKA. Stack and Queue Numbers of Graphs Revisited. Online. In European Conference on Combinatorics, Graph Theory and Applications EUROCOMB’23. Brno, Czech Republic: MUNI Press, 2023, p. 601-606. ISSN 2788-3116. Available from: https://dx.doi.org/10.5817/CZ.MUNI.EUROCOMB23-083.

KŘETÍNSKÝ, Jan, Tobias MEGGENDORFER and Maximilian WEININGER. Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives. In 979-8-3503-3587-3. 2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS. Boston: IEEE, 2023, p. 1-14. ISBN 979-8-3503-3587-3. Available from: https://dx.doi.org/10.1109/LICS56636.2023.10175771.

AYAZIOVÁ, Paulína and Jan STREJČEK. Symbiotic-Witch 2. 2023.

AYAZIOVÁ, Paulína and Jan STREJČEK. Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation. Online. In Sriram Sankaranarayanan and Natasha Sharygina. Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II. Cham (Švýcarsko): Springer, Cham, 2023, p. 523-528. ISBN 978-3-031-30819-2. Available from: https://dx.doi.org/10.1007/978-3-031-30820-8_30.

CHAU, Calvin, Jan KŘETÍNSKÝ and Stefanie MOHR. Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks. Online. In Automated Technology for Verification and Analysis. ATVA 2023. Singapore: Springer, 2023, p. 401-421. ISBN 978-3-031-45328-1. Available from: https://dx.doi.org/10.1007/978-3-031-45329-8_19.

KLAŠKA, David, Antonín KUČERA, Martin KUREČKA, Vít MUSIL, Petr NOVOTNÝ and Vojtěch ŘEHÁK. Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems. Online. In Edith Elkind. Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,. Neuveden: International Joint Conferences on Artificial Intelligence, 2023, p. 171-179. ISBN 978-1-956792-03-4. Available from: https://dx.doi.org/10.24963/ijcai.2023/20.

BRIM, Luboš, Samuel PASTVA, David ŠAFRÁNEK and Eva ŠMIJÁKOVÁ. Temporary and Permanent Control of Partially Specified Boolean Networks. BIOSYSTEMS. Elsevier, 2023, vol. 223, JAN, p. 104795-104808. ISSN 0303-2647. Available from: https://dx.doi.org/10.1016/j.biosystems.2022.104795.

MRÁZEK, Jan, Patrick ONDIKA, Ivana ČERNÁ and Jiří BARNAT. Tentacle-Based Shape Shifting of Metamorphic Robots Using Fast Inverse Kinematics. Online. In 2023 IEEE International Conference on Robotics and Automation (ICRA). London: IEEE, 2023, p. 11894-11900. ISBN 979-8-3503-2365-8. Available from: https://dx.doi.org/10.1109/ICRA48891.2023.10160352.

FOLTÝNEK, Tomáš, Alla ANOHINA-NAUMECA, Sonja BJELOBABA, Jean GUERRERO-DIB;, Petr ŠIGUT, Olumide POPOOLA, Lorna WADDINGTON, Július KRAVJAR and Debora WEBER-WULFF. Testing of AI Detection Tools. In European Conference on Academic Integrity and Plagiarism 2023. 2023.

WEBER-WULFF, Debora, Alla ANOHINA-NAUMECA, Sonja BJELOBABA, Tomáš FOLTÝNEK, Jean GUERRERO-DIB, Olumide POPOOLA, Petr ŠIGUT and Lorna WADDINGTON. Testing of detection tools for AI-generated text. International Journal for Educational Integrity. 2023, vol. 19, No 26, p. 1-39. ISSN 1833-2595. Available from: https://dx.doi.org/10.1007/s40979-023-00146-z.

GARBE, Frederik, Daniel KRÁĽ, Alexandru MALEKSHAHIAN and Raul PENAGUIAO. The dimension of the feasible region of pattern densities. Online. In European Conference on Combinatorics, Graph Theory and Applications. Brno: MUNI Press, 2023, p. 471-477. ISSN 2788-3116. Available from: https://dx.doi.org/10.5817/CZ.MUNI.EUROCOMB23-065.

PELÁNEK, Radek and Tomáš EFFENBERGER. The Landscape of Computational Thinking Problems for Practice and Assessment. ACM TRANSACTIONS ON COMPUTING EDUCATION. UNITED STATES: ASSOC COMPUTING MACHINERY, 2023, vol. 23, No 2, p. 1-29. ISSN 1946-6226. Available from: https://dx.doi.org/10.1145/3578269.

BLUMENSATH, Achim. The Power-Set Construction for Tree Algebras. LOGICAL METHODS IN COMPUTER SCIENCE. GERMANY: LOGICAL METHODS COMPUTER SCIENCE E V, 2023, vol. 19, No 4, p. 1-47. ISSN 1860-5974. Available from: https://dx.doi.org/10.46298/lmcs-19(4:9)2023.

HANCOCK, Robert Arthur, Daniel KRÁĽ, Matjaz KRNC and Jan VOLEC. Toward characterizing locally common graphs. RANDOM STRUCTURES & ALGORITHMS. HOBOKEN: WILEY, 2023, vol. 62, No 1, p. 181-218. ISSN 1042-9832. Available from: https://dx.doi.org/10.1002/rsa.21099.

HLINĚNÝ, Petr. Twin-width of Planar Graphs; a Short Proof. Online. In European Conference on Combinatorics, Graph Theory and Applications EUROCOMB’23. Brno, Czech Republic: MUNI Press, 2023, p. 595-600. ISSN 2788-3116. Available from: https://dx.doi.org/10.5817/CZ.MUNI.EUROCOMB23-082.

HLINĚNÝ, Petr and Jan JEDELSKÝ. Twin-width of Planar Graphs is at most 8, and at most 6 when Bipartite Planar. Online. In Etessami, Kousha and Feige, Uriel and Puppis, Gabriele. 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023). Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik, 2023, p. "75:1"-"75:18", 18 pp. ISBN 978-3-95977-278-5. Available from: https://dx.doi.org/10.4230/LIPIcs.ICALP.2023.75.

FOLTÝNEK, Tomáš. Umělá inteligence a akademická integrita. In Medzinárodná konferencia o výskumnej etike a vedeckej integrite, Bratislava. 2023.

BUCIC, Matija, Jacob COOPER, Daniel KRÁĽ, Samuel MOHR and David Munha CORREIA. UNIFORM TURAN DENSITY OF CYCLES. Transactions of the American Mathematical Society. Providence (USA): American Mathematical Society, 2023, vol. 376, No 7, p. 4765-4809. ISSN 0002-9947. Available from: https://dx.doi.org/10.1090/tran/8873.

HORÁK, Jiří, Katarína FURMANOVÁ, Barbora KOZLÍKOVÁ, Tomáš BRÁZDIL, Petr HOLUB, Martin KAČENGA, Matej GALLO, Rudolf NENUTIL, Jan BYŠKA and Vít RUSŇÁK. xOpat: eXplainable Open Pathology Analysis Tool. COMPUTER GRAPHICS FORUM. England: Wiley, 2023, vol. 42, No 3, p. 63-73. ISSN 0167-7055. Available from: https://dx.doi.org/10.1111/cgf.14812.

FOLTÝNEK, Tomáš. Academic Integrity and Artificial Intelligence. In V. Conferencia Interuniversitaria: Integridad académica entre profesorado y alumnado. 2022.

BJELOBABA, Sonja, Tomáš FOLTÝNEK, Irene GLENDINNING, Veronika KRÁSNIČAN and Dita HENEK DLABOLOVÁ. Academic Integrity: Broadening Practices, Technologies, and the Role of Students. 2022.

BENEŠ, Nikola, Luboš BRIM, Ondřej HUVAR, Samuel PASTVA, David ŠAFRÁNEK and Eva ŠMIJÁKOVÁ. AEON.py: Python library for attractor analysis in asynchronous Boolean networks. BIOINFORMATICS. UK: OXFORD UNIV PRESS, 2022, vol. 38, No 21, p. 4978-4980. ISSN 1367-4803. Available from: https://dx.doi.org/10.1093/bioinformatics/btac624.

FOLTÝNEK, Tomáš. Akademická integrita a plagiátorství. In PhD Existence, Olomouc. 2022.

UKROP, Martin, Michaela BALÁŽOVÁ, Pavol ŽÁČIK, Eric Vincent VALČÍK and Václav MATYÁŠ. Assessing Real-World Applicability of Redesigned Developer Documentation for Certificate Validation Errors. Online. In Proceedings of the 2022 European Symposium on Usable Security. Karlsruhe, Germany: ACM, 2022, p. 131-144. ISBN 978-1-4503-9700-1. Available from: https://dx.doi.org/10.1145/3549015.3554296.

BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA and David ŠAFRÁNEK. BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs. Logical Methods in Computer Science. Episciences, 2022, vol. 18, No 1, p. 1-27. ISSN 1860-5974. Available from: https://dx.doi.org/10.46298/LMCS-18(1:38)2022.

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. COMBINATORICA. GERMANY: SPRINGER HEIDELBERG, 2022, vol. 42, No 5, p. 701-728. ISSN 0209-9683. Available from: https://dx.doi.org/10.1007/s00493-021-4285-3.

BEYER, Dirk and Jan STREJČEK. Case Study on Verification-Witness Validators: Where We Are and Where We Go. Online. In Gagandeep Singh, Caterina Urban. Static Analysis - 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings. Cham (Switzerland): Springer, 2022, p. 160-174. ISBN 978-3-031-22307-5. Available from: https://dx.doi.org/10.1007/978-3-031-22308-2_8.

FOLTÝNEK, Tomáš. Causes, Consequences and Prevention of Scientific Misconduct. In Ethics in Science. 2022.

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.

PELÁNEK, Radek, Tomáš EFFENBERGER and Jaroslav ČECHÁK. Complexity and Difficulty of Items in Learning Systems. International Journal of Artificial Intelligence in Education. 2022, vol. 32, No 1, p. 196-232. ISSN 1560-4292. Available from: https://dx.doi.org/10.1007/s40593-021-00252-4.

KABELA, Adam, Daniel KRÁĽ, Jon Andrew NOEL and Théo PIERRON. Density maximizers of layered permutations. Electronic Journal of Combinatorics. 2022, vol. 29, No 3, p. 1-21. ISSN 1077-8926. Available from: https://dx.doi.org/10.37236/10781.

PELÁNEK, Radek and Tomáš EFFENBERGER. Design and analysis of microworlds and puzzles for block-based programming. Computer Science Education. Routledge, 2022, vol. 32, No 1, p. 66-104. ISSN 0899-3408. Available from: https://dx.doi.org/10.1080/08993408.2020.1832813.

FOLTÝNEK, Tomáš. Detekce plagiátorství – aktuální výzvy. In Informační technologie a jejich uplatnění ve vzdělávacím procesu. 2022.

SEDLÁČEK, Vladimír, Vojtěch SUCHÁNEK, Antonín DUFKA, Marek SÝS and Václav MATYÁŠ. DiSSECT: Distinguisher of Standard and Simulated Elliptic Curves via Traits. Online. In Batina, L., Daemen, J. International Conference on Cryptology in Africa. (Švýcarsko): Springer, Cham, 2022, p. 493-517. ISBN 978-3-031-17432-2. Available from: https://dx.doi.org/10.1007/978-3-031-17433-9_21.

ROČKAI, Petr and Jiří BARNAT. DivSIM , an interactive simulator for LLVM bitcode. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER. GERMANY: SPRINGER HEIDELBERG, 2022, vol. 24, No 3, p. 493-510. ISSN 1433-2779. Available from: https://dx.doi.org/10.1007/s10009-022-00659-x.

ČELEDA, Pavel, Attila FARKAS, Pavel ŠEDA, Andrej TOMČI, Daniel IĽKOVIČ, Martin ŠVÉDA and Tomáš HRADSKÝ. Dohledové centrum pro monitorování výrobních informačních systémů (Monitoring Center for Manufacturing Execution Systems). 2022.

TROJÁK, Matej, David ŠAFRÁNEK, Branislav BROZMANN and Luboš BRIM. eBCSgen 2.0: Modelling and Analysis of Regulated Rule-Based Systems. Online. In I. Petre, A. Păun. 20th International Conference on Computational Methods in Systems Biology. LNBI 13447. Neuveden: Springer, 2022, p. 302-309. ISBN 978-3-031-15033-3. Available from: https://dx.doi.org/10.1007/978-3-031-15034-0_17.

FOLTÝNEK, Tomáš. Ethics and IT: Experience with a New Course. In European Conference on Academic Integrity and Plagiarism 2022. 2022.

FOLTÝNEK, Tomáš. European Network for Academic IntegritySupport of the Victims of Academic Misconduct. In 30th NEC Forum. 2022.

WALLETZKÝ, Leonard, Odonchimeg BAYARSAIKHAN, Mouzhi GE and Zuzana SCHWARZOVÁ. Evaluation of Smart City Models: A Conceptual and Structural View. Online. In Proceedings of the 11th International Conference on Smart Cities and Green ICT Systems - SMARTGREENS. Setúbal, Portugalsko: SciTePress, 2022, p. 56-65. ISBN 978-989-758-572-2. Available from: https://dx.doi.org/10.5220/0011074900003203.

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.

BENEŠ, Nikola, Luboš BRIM, Jakub KADLECAJ, Samuel PASTVA and David ŠAFRÁNEK. Exploring attractor bifurcations in Boolean networks. BMC Bioinformatics. 2022, vol. 23, No 173, p. 1-18. ISSN 1471-2105. Available from: https://dx.doi.org/10.1186/s12859-022-04708-9.

APPEL, Paul, Alexander J. HEILMAN, Ezekiel W. WERTZ, David W. LYONS, Marcus HUBER, Matej PIVOLUSKA and Giuseppe VITAGLIANO. Finite-Function-Encoding Quantum States. QUANTUM. WIEN: VEREIN FORDERUNG OPEN ACCESS PUBLIZIERENS QUANTENWISSENSCHAF, 2022, vol. 6, No 708, p. 1-34. ISSN 2521-327X. Available from: https://dx.doi.org/10.22331/q-2022-05-09-708.

DURET-LUTZ, Alexandre, Etienne RENAULT, Maximilien COLANGE, Florian RENKIN, Alexandre Gbaguidi AISSE, Philipp SCHLEHUBER-CAISSIER, Thomas MEDIONI, Antoine MARTIN, Jérôme DUBOIS, Clément GILLARD and Henrich LAUKO. From Spot 2.0 to Spot 2.10: What's New?. Online. In Sharon Shoham, Yakir Vizel. Computer Aided Verification. Cham: Springer International Publishing, 2022, p. 174-187. ISBN 978-3-031-13187-5. Available from: https://dx.doi.org/10.1007/978-3-031-13188-2_9.

KLAŠKA, David, Antonín KUČERA, Vít MUSIL and Vojtěch ŘEHÁK. General Optimization Framework for Recurrent Reachability Objectives. Online. In Luc De Raedt. Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022. Neuveden: ijcai.org, 2022, p. 4642-4648. ISBN 978-1-956792-00-3. Available from: https://dx.doi.org/10.24963/ijcai.2022/644.

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.

PIVOLUSKA, Matej and Martin PLESCH. Implementation of quantum compression on IBM quantum computers. Nature Scientific Reports. USA: NATURE PUBLISHING GROUP, 2022, vol. 12, No 1, p. 5841-5849. ISSN 2045-2322. Available from: https://dx.doi.org/10.1038/s41598-022-09881-8.

PELÁNEK, Radek and Tomáš EFFENBERGER. Improving Learning Environments: Avoiding Stupidity Perspective. IEEE TRANSACTIONS ON LEARNING TECHNOLOGIES. UNITED STATES: IEEE COMPUTER SOC, 2022, vol. 15, No 1, p. 64-77. ISSN 1939-1382. Available from: https://dx.doi.org/10.1109/TLT.2022.3154936.

CHAN, Timothy, F. N., Daniel KRÁĽ, Bojan MOHAR and David R. WOOD. Inducibility and universality for trees. Combinatorial Theory. 2022, vol. 2, 3.2, p. 1-31. ISSN 2766-1334. Available from: https://dx.doi.org/10.5070/C62359150.

AGAOGLU CAGIRICI, Deniz and Petr HLINĚNÝ. Isomorphism Testing for T-graphs in FPT. In Mutzel, P., Rahman, M.S., Slamin. WALCOM: Algorithms and Computation. LNCS 13174. Cham: Springer, Cham, 2022, p. 239-250. ISBN 978-3-030-96730-7. Available from: https://dx.doi.org/10.1007/978-3-030-96731-4_20.

LAUKO, Henrich. LART. 2022.

LAUKO, Henrich and Petr ROČKAI. LART: Compiled Abstract Execution (Competition Contribution). In Fisman, Dana and Rosu, Grigore. TACAS 2022: Tools and Algorithms for the Construction and Analysis of Systems. Cham: Springer International Publishing, 2022, p. 457-461. ISBN 978-3-030-99526-3. Available from: https://dx.doi.org/10.1007/978-3-030-99527-0_31.

KRÁSNIČAN, Veronika, Tomáš FOLTÝNEK and Dita DLABOLOVÁ. Limitations of contract cheating research. In Sarah Elaine Eaton, Guy J. Curtis, Brenda M. Stoesz, Joseph Clare, Kiata Rundle, Josh Seeland. Contract Cheating in Higher Education: Global Perspectives on Theory, Practice, and Policy. Cham: Springer International Publishing, 2022, p. 29-42. ISBN 978-3-031-12679-6. Available from: https://dx.doi.org/10.1007/978-3-031-12680-2_3.

KUREČKA, Martin. Lower bound on the size of a quasirandom forcing set of permutations. COMBINATORICS PROBABILITY & COMPUTING. 2022, vol. 31, No 2, p. 304-319. ISSN 0963-5483. Available from: https://dx.doi.org/10.1017/S0963548321000298.

WALLETZKÝ, Leonard, Lucie NENCKOVÁ and Zuzana SCHWARZOVÁ. MANAGEMENT OF SMART CITY SERVICES FROM THE PERSPECTIVE OF QUADRUPLE HELIX. Online. In ICERI2022 Proceedings. Seville, Spain: IATED, 2022, p. 3158-3163. ISBN 978-84-09-45476-1. Available from: https://dx.doi.org/10.21125/iceri.2022.0792.

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. SIAM JOURNAL ON COMPUTING. UNITED STATES: SIAM PUBLICATIONS, 2022, vol. 51, No 3, p. 664-700. ISSN 0097-5397. Available from: https://dx.doi.org/10.1137/20M1353502.

KLAŠKA, David, Antonín KUČERA, Vít MUSIL and Vojtěch ŘEHÁK. Minimizing Expected Intrusion Detection Time in Adversarial Patrolling. Online. In Piotr Faliszewski, Viviana Mascardi, Catherine Pelachaud, Matthew E. Taylor. 21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022. Neuveden: International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2022, p. 1660-1662. ISBN 978-1-4503-9213-6. Available from: https://dx.doi.org/10.5555/3535850.3536068.

TROJÁK, Matej, Helge HECHT, Martin ČECH and Elliott James PRICE. MSMetaEnhancer: A Python package for mass spectra metadata annotation. Journal of Open Source Software. 2022, vol. 7, No 79. Available from: https://dx.doi.org/10.21105/joss.04494.

KRÁĽ, Daniel, Jonathan A NOEL, Sergey NORIN, Jan VOLEC and Fan WEI. Non-Bipartite K-Common Graphs. COMBINATORICA. GERMANY: SPRINGER HEIDELBERG, 2022, vol. 42, No 1, p. 87-114. ISSN 0209-9683. Available from: https://dx.doi.org/10.1007/s00493-020-4499-9.

LAMAISON VIDARTE, Ander, Alp MUYESSER and Michael TAIT. On a colored Turan problem of Diwan and Mubayi. Discrete Mathematics. Elsevier B. V., 2022, vol. 345, No 10, p. 1-8. ISSN 0012-365X. Available from: https://dx.doi.org/10.1016/j.disc.2022.113003.

CIANCHI, Andrea, Vít MUSIL and Luboš PICK. On the Existence of Extremals for Moser-Type Inequalities in Gauss Space. INTERNATIONAL MATHEMATICS RESEARCH NOTICES. ENGLAND: OXFORD UNIV PRESS, 2022, vol. 2022, No 2, p. 1494-1537. ISSN 1073-7928. Available from: https://dx.doi.org/10.1093/imrn/rnaa165.

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.

COOPER, Jacob, Andrzej GRZESIK, Adam KABELA and Daniel KRÁĽ. Packing and covering directed triangles asymptotically. European Journal of Combinatorics. LONDON: ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD, 2022, vol. 101, No 103462, p. 1-9. ISSN 0195-6698. Available from: https://dx.doi.org/10.1016/j.ejc.2021.103462.

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.

SCHWARZOVÁ, Zuzana and Leonard WALLETZKÝ. PERCEPTION OF SMART CITY IDEA IN SMALLER MUNICIPALITIES AND ITS IMPACT ON MULTIDISCIPLINARY EDUCATION. Online. In ICERI2022 Proceedings. Seville, Spain: IATED, 2022, p. 3494-3499. ISBN 978-84-09-45476-1. Available from: https://dx.doi.org/10.21125/iceri.2022.0850.

COOPER, Jacob, Daniel KRÁĽ, Ander LAMAISON VIDARTE and Josef Samuel MOHR. Quasirandom Latin squares. Random Structures & Algorithms. United Kingdom: John Wiley and Sons Ltd, 2022, vol. 61, No 2, p. 298-308. ISSN 1098-2418. Available from: https://dx.doi.org/10.1002/rsa.21060.

CHODIL, Miroslav, Antonín KUČERA and Jan KŘETÍNSKÝ. Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge. In Jean-Francois Raskin, Krishnendu Chatterjee, Laurent Doyen, and Rupak Majumdar. Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. New York, NY, United States: Springer, 2022, p. 364-387. ISBN 978-3-031-22336-5. Available from: https://dx.doi.org/10.1007/978-3-031-22337-2_18.

RAI, Ashutosh, Matej PIVOLUSKA, Souradeep SASMAL, Manik BANIK, Sibasish GHOSH and Martin PLESCH. Self-testing quantum states via nonmaximal violation in Hardy's test of nonlocality. PHYSICAL REVIEW A. UNITED STATES: AMER PHYSICAL SOC, 2022, vol. 105, No 5, p. 1-8. ISSN 2469-9926. Available from: https://dx.doi.org/10.1103/PhysRevA.105.052227.

DUFKA, Antonín, Vladimír SEDLÁČEK and Petr ŠVENDA. SHINE: Resilience via Practical Interoperability of Multi-party Schnorr Signature Schemes. Online. In Proceedings of the 19th International Conference on Security and Cryptography. Lisbon, Portugal: SCITEPRESS, 2022, p. 305-316. ISBN 978-989-758-590-6. Available from: https://dx.doi.org/10.5220/0011145600003283.

HENEK DLABOLOVÁ, Dita, Rita SANTOS and Tomáš FOLTÝNEK. Support for victims of academic misconduct: an interactive portal and support network. In European Conference on Academic Integrity and Plagiarism 2022. 2022.

CHALUPA, Marek, Vincent MIHALKOVIČ, Anna ŘECHTÁČKOVÁ, Lukáš ZAORAL and Jan STREJČEK. Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding. Online. In Dana Fisman and Grigore Rosu. Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II. Cham (Švýcarsko): Springer, Cham, 2022, p. 462-467. ISBN 978-3-030-99526-3. Available from: https://dx.doi.org/10.1007/978-3-030-99527-0_32.

CHALUPA, Marek, Jakub NOVÁK, Marek TRTÍK, Lukáš ZAORAL and Jan STREJČEK. Symbiotic 9.1. 2022.

AYAZIOVÁ, Paulína, Marek CHALUPA and Jan STREJČEK. Symbiotic-Witch: A Klee-Based Violation Witness Checker. Online. In Dana Fisman and Grigore Rosu. Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II. Cham (Švýcarsko): Springer, Cham, 2022, p. 468-473. ISBN 978-3-030-99526-3. Available from: https://dx.doi.org/10.1007/978-3-030-99527-0_33.

WALLETZKÝ, Leonard and Zuzana SCHWARZOVÁ. Teaching in multicontextual envirnoment. Online. In INTED2022 Proceedings. Valencia, Spain: IATED, 2022, p. 5616-5622. ISBN 978-84-09-37758-9. Available from: https://dx.doi.org/10.21125/inted.2022.1444.

FOLTÝNEK, Tomáš. The Agenda for Academic Integrity. In 10° Congreso de Integridad Académica. 2022.

JANČÁR, Ján, Marcel FOURNÉ, Daniel DE ALMEIDA BRAGA, Mohamed SABT, Peter SCHWABE, Gilles BARTHE, Pierre-Alain FOUQUE and Yasemin ACAR. “They’re not that hard to mitigate”: What Cryptographic Library Developers Think About Timing Attacks. Online. In 43rd IEEE Symposium on Security and Privacy. San Francisco: IEEE, 2022, p. 632-649. ISBN 978-1-6654-1316-9. Available from: https://dx.doi.org/10.1109/SP46214.2022.9833713.

DVORAK, Zdenek, Daniel KRÁĽ and Robin THOMAS. Three-coloring triangle-free graphs on surfaces VII. A linear-time algorithm. Journal of Combinatorial Theory. Series B. SAN DIEGO: ACADEMIC PRESS INC ELSEVIER SCIENCE, 2022, vol. 152, January, p. 483-504. ISSN 0095-8956. Available from: https://dx.doi.org/10.1016/j.jctb.2021.07.002.

BENDÍK, Jaroslav, Ahmet SENCAN, Ebru Aydin GOL and Ivana ČERNÁ. Timed Automata Robustness Analysis via Model Checking. Logical Methods in Computer Science. 2022, vol. 18, No 3, p. 1-32. ISSN 1860-5974. Available from: https://dx.doi.org/10.46298/lmcs-18(3:12)2022.

PELÁNEK, Radek, Tomáš EFFENBERGER and Adam KUKUČKA. Towards Design-Loop Adaptivity: Identifying Items for Revision. Journal of Educational Data Mining. International Educational Data Mining Society, 2022, vol. 14, No 3, p. 1-25. ISSN 2157-2100. Available from: https://dx.doi.org/10.5281/zenodo.7357331.

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.

KRAUS, Lydia, Matěj GRABOVSKÝ, Martin UKROP, Katarína GALANSKÁ and Václav MATYÁŠ. Usability Insights from Establishing TLS Connections. In IFIP International Conference on ICT Systems Security and Privacy Protection. Cham, Germany: Springer Verlag, 2022, p. 289-305. ISBN 978-3-031-06974-1. Available from: https://dx.doi.org/10.1007/978-3-031-06975-8_17.

FOLTÝNEK, Tomáš. Use of Technology to Assist in Identifying Potential Plagiarism Cases. In Emerging challenges in safeguarding academic integrity, Herceg Novi, Montenegro. 2022.

LAUKO, Henrich, Lukáš KORENČIK and Petr ROČKAI. Verification of Programs Sensitive to Heap Layout. ACM Transactions on Software Engineering and Methodology. 2022, vol. 31, No 4, p. 1-27. ISSN 1049-331X. Available from: https://dx.doi.org/10.1145/3508363.

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.

HENEK DLABOLOVÁ, Dita, Rita SANTOS, Sonja BJELOBABA, Tomáš FOLTÝNEK and Salim RAZI. What is the european network for academic integrity and what can it do for you? In European Conference on Academic Integrity and Plagiarism 2022. 2022.

HLINĚNÝ, Petr. A Short Proof of Euler–Poincaré Formula. In Nešetřil J., Perarnau G., Rué J., Serra O. Extended Abstracts EuroComb 2021. Trends in Mathematics. Cham: Birkhäuser, 2021, p. 92-96. ISBN 978-3-030-83822-5. Available from: https://dx.doi.org/10.1007/978-3-030-83823-2_15.

BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA and David ŠAFRÁNEK. Aeon 2021: Bifurcation Decision Trees in Boolean Networks. In Cinquemani et al. International Conference on Computational Methods in Systems Biology (CMSB 2021). Cham: Springer, 2021, p. 230-237. ISBN 978-3-030-85632-8. Available from: https://dx.doi.org/10.1007/978-3-030-85633-5_14.

BLUMENSATH, Achim. Algebraic Language Theory for Eilenberg–Moore Algebras. Logical Methods in Computer Science. Logical Methods in Computer Science e.V., 2021, vol. 17, No 2, p. 1-60. ISSN 1860-5974. Available from: https://dx.doi.org/10.23638/LMCS-17(2:6)2021.

KUČERA, Antonín. Algorithmic Analysis of Termination and Counter Complexity in Vector Addition Systems with States: A Survey of Recent Results. ACM SIGLOG News. New York, NY, United States: Association for Computing Machinery, 2021, vol. 8, No 4, p. 4-21. ISSN 2372-3491. Available from: https://dx.doi.org/10.1145/3527372.3527374.

CHALUPA, Marek and Jan STREJČEK. Backward Symbolic Execution with Loop Folding. Online. In Cezara Dragoi, Suvam Mukherjee, and Kedar S. Namjoshi. Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings. Cham (Switzerland): Springer, 2021, p. 49-76. ISBN 978-3-030-88805-3. Available from: https://dx.doi.org/10.1007/978-3-030-88806-0_3.

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

LÍŠKA, Martin, Dávid LUPTÁK, Vít STARÝ NOVOTNÝ, Michal RŮŽIČKA, Boris SHMINKE, Petr SOJKA, Michal ŠTEFÁNIK and Makarius WENZEL. CICM'21 Systems Entries. Online. In 978-3-030-81097-9. INTELLIGENT COMPUTER MATHEMATICS (CICM 2021). CHAM: SPRINGER INTERNATIONAL PUBLISHING AG, 2021, p. 245-248. ISBN 978-3-030-81096-2. Available from: https://dx.doi.org/10.1007/978-3-030-81097-9_20.

CANDELA, Pablo, Carlos CATALÁ, Robert Arthur HANCOCK, Adam KABELA, Daniel KRÁĽ, Ander LAMAISON VIDARTE and Lluís VENA. Coloring graphs by translates in the circle. European Journal of Combinatorics. LONDON: ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD, 2021, vol. 96, No 103346, p. 1-18. ISSN 0195-6698. Available from: https://dx.doi.org/10.1016/j.ejc.2021.103346.

PAULUS, Anselm, Michal ROLÍNEK, Vít MUSIL, Brandon AMOS and Georg MARTIUS. CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming Constraints. Online. In Meila, M; Zhang, T. INTERNATIONAL CONFERENCE ON MACHINE LEARNING, VOL 139. 139th ed. SAN DIEGO: JMLR-JOURNAL MACHINE LEARNING RESEARCH, 2021, p. 8443-8453. ISBN 978-1-7138-4506-5.

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.

BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA and David ŠAFRÁNEK. Computing Bottom SCCs Symbolically Using Transition Guided Reduction. Online. In Alexandra Silva, K. Rustan, M. Leino. Computer Aided Verification - 33rd International Conference, CAV 2021. Neuveden: Springer Nature, 2021, p. 505-528. ISBN 978-3-030-81684-1. Available from: https://dx.doi.org/10.1007/978-3-030-81685-8_24.

BENDÍK, Jaroslav and Kuldeep S. MEEL. Counting Maximal Satisfiable Subsets. Online. In 35th AAAI Conference on Artificial Intelligence (AAAI-21). Palo Alto: AAAI, 2021, p. 3651-3660. ISBN 978-1-57735-866-4.

BENDÍK, Jaroslav and Kuldeep S. MEEL. Counting Minimal Unsatisfiable Subsets. In Alexandra Silva, K. Rustan M. Leino. Computer Aided Verification - 33rd International Conference. Cham: Springer, 2021, p. 313-336. ISBN 978-3-030-81687-2. Available from: https://dx.doi.org/10.1007/978-3-030-81688-9_15.

XIE, Li, Li QIN, Fang YU, Xiaoping LOU and Cai ZHANG. Cryptanalysis and improvement of a semi-quantum private comparison protocol based on Bell states. Quantum Information Processing. NEW YORK: SPRINGER, 2021, vol. 20, No 7, p. 1-16. ISSN 1570-0755. Available from: https://dx.doi.org/10.1007/s11128-021-03178-x.

DVOŘÁK, Zdeněk, Michael HEBDIGE, Filip HLÁSEK, Daniel KRÁĽ and Jonathan NOEL. Cyclic coloring of plane graphs with maximum face size 16 and 17. European Journal of Combinatorics. LONDON: ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD, 2021, vol. 94, No 103287, p. 1-17. ISSN 0195-6698. Available from: https://dx.doi.org/10.1016/j.ejc.2020.103287.

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.

RAI, A., Matej PIVOLUSKA, Martin PLESCH, S. SASMAL, M. BANIK and S. GHOSH. Device-independent bounds from Cabello's nonlocality argument. Physical review A. New York: The American Physical Society, 2021, vol. 103, No 6, p. 1-7. ISSN 2469-9926. Available from: https://dx.doi.org/10.1103/PhysRevA.103.062219.

HAJNAL, Matej, Tatjana PETROV and David ŠAFRÁNEK. DiPS: A Tool for Data-Informed Parameter Synthesis for Markov Chains from Multiple-Property Specifications. In Ballarini et al. Performance Engineering and Stochastic Modeling. Cham: Springer, 2021, p. 79-95. ISBN 978-3-030-91824-8. Available from: https://dx.doi.org/10.1007/978-3-030-91825-5_5.

ROČKAI, Petr, Henrich LAUKO, Vladimír ŠTILL, Zuzana BARANOVÁ, Lukáš KORENČIK, Adam MATOUŠEK, Jiří BARNAT, Jakub ŠÁRNÍK, Jan MRÁZEK, Katarína KEJSTOVÁ and Tadeáš KUČERA. DIVINE 4.4. 2021.

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.

ČECHÁK, Jaroslav and Radek PELÁNEK. Experimental Evaluation of Similarity Measures for Educational Items. Online. In I-Han Hsiao, Shaghayegh Sahebi, François Bouchet, Jill-Jênn Vie. Proceedings of the 14th International Conference on Educational Data Mining. Neuveden: Neuveden, 2021, p. 553-558. ISBN 978-1-7336736-2-4.

CHALUPA, Marek, David KLAŠKA, Jan STREJČEK and Lukáš TOMOVIČ. Fast Computation of Strong Control Dependencies. In Alexandra Silva, K. Rustan M. Leino. Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II. Cham (Švýcarsko): Springer, Cham, 2021, p. 887-910. ISBN 978-3-030-81687-2. Available from: https://dx.doi.org/10.1007/978-3-030-81688-9_41.

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.

KRAUS, Lydia, Mária ŠVIDROŇOVÁ and Elizabeth STOBERT. How Do Users Chain Email Accounts Together? In Jøsang A., Futcher L., Hagen J. IFIP International Conference on ICT Systems Security and Privacy Protection. Switzerland: Springer International Publishing, 2021, p. 416-429. ISBN 978-3-030-78119-4. Available from: https://dx.doi.org/10.1007/978-3-030-78120-0_27.

GARBE, Frederik, Daniel KRÁĽ and Ander LAMAISON VIDARTE. Hypergraphs with Minimum Positive Uniform Turán Density. In Trends in Mathematics, Volume 14, Extended Abstracts of EuroComb 2021, European Conference on Combinatorics, Graph Theory and Applications. Barcelona: Birkhäuser, 2021, p. 148-153. ISBN 978-3-030-83822-5. Available from: https://dx.doi.org/10.1007/978-3-030-83823-2_24.

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.

DODA, M., Matej PIVOLUSKA and Martin PLESCH. Choice of mutually unbiased bases and outcome labeling affecting measurement outcome secrecy. Physical review A. New York: The American Physical Society, 2021, vol. 103, No 3, p. 032206-32213. ISSN 2469-9926. Available from: https://dx.doi.org/10.1103/PhysRevA.103.032206.

RUSSELL, Stuart J and Jiří ZLATUŠKA. Jako člověk : umělá inteligence a problém jejího ovládání. In Zip. První vydání v českém jazyce. 2021, 271 pp. Zip, svazek 76. ISBN 978-80-7363-810-8.

COOLEY, Oliver, Frederik GARBE, Eng Keat HNG, Mihyun KANG, Nicolás SANHUEZA-MATAMALA and Julian ZALLA. Longest Paths in Random Hypergraphs. SIAM Journal on Discrete Mathematics. 2021, vol. 35, No 4, p. 2430-2458. ISSN 0895-4801. Available from: https://dx.doi.org/10.1137/20M1345712.

ANASTOS, Michael, Ander LAMAISON VIDARTE, Raphael STEINER and Tibor SZABÓ. Majority colorings of sparse digraphs. Electronic Journal of Combinatorics. 2021, vol. 28, No 2, p. 1-17. ISSN 1077-8926. Available from: https://dx.doi.org/10.37236/10067.

LANG, Jan, Vít MUSIL, Miroslav OLŠÁK and Luboš PICK. Maximal Non-compactness of Sobolev Embeddings. Journal of Geometric Analysis. NEW YORK: Springer, 2021, vol. 31, No 9, p. 9406-9431. ISSN 1050-6926. Available from: https://dx.doi.org/10.1007/s12220-020-00522-y.

ANTOL, Matej, Miriama JÁNOŠOVÁ and Vlastislav DOHNAL. Metric hull as similarity-aware operator for representing unstructured data. Pattern Recognition Letters. Amsterdam: Elsevier, 2021, vol. 149, September 2021, p. 91-98. ISSN 0167-8655. Available from: https://dx.doi.org/10.1016/j.patrec.2021.05.011.

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.

HLINĚNÝ, Petr and Michal KORBELA. On 13-Crossing-Critical Graphs with Arbitrarily Large Degrees. In Nešetřil J., Perarnau G., Rué J., Serra O. Extended Abstracts EuroComb 2021. Trends in Mathematics. Cham: Birkhäuser, 2021, p. 50-56. ISBN 978-3-030-83822-5. Available from: https://dx.doi.org/10.1007/978-3-030-83823-2_9.

JÁNOŠOVÁ, Miriama, David PROCHÁZKA and Vlastislav DOHNAL. Organizing Similarity Spaces using Metric Hulls. In 14th International Conference on Similarity Search and Applications (SISAP 2021). Cham: Springer, 2021, p. 3-16. ISBN 978-3-030-89656-0. Available from: https://dx.doi.org/10.1007/978-3-030-89657-7_1.

CHATTERJEE, Krishnendu, Ehsan Kafshdar GOHARSHADY, Petr NOVOTNÝ and Djordje ŽIKELIĆ. Proving non-termination by program reversal. Online. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). New York, NY, USA: ACM, 2021, p. 1033-1048. ISBN 978-1-4503-8391-2. Available from: https://dx.doi.org/10.1145/3453483.3454093.

DODA, M., M. HUBER, G. MURTA, Matej PIVOLUSKA, Martin PLESCH and C. VLACHOU. Quantum Key Distribution Overcoming Extreme Noise: Simultaneous Subspace Coding Using High-Dimensional Entanglement. PHYSICAL REVIEW APPLIED. COLLEGE PK: AMER PHYSICAL SOC, 2021, vol. 15, No 3, p. 034003-34017. ISSN 2331-7019. Available from: https://dx.doi.org/10.1103/PhysRevApplied.15.034003.

HAHN-KLIMROTH, Max, Giulia S MAESAKA, Yannick MOGGE, Samuel MOHR and Olaf PARCZYK. Random perturbation of sparse graphs. Electronic Journal of Combinatorics. 2021, vol. 28, No 2, p. 1-12. ISSN 1077-8926. Available from: https://dx.doi.org/10.37236/9510.

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.

ŠTEFÁNIK, Michal, Vít NOVOTNÝ and Petr SOJKA. Regressive Ensemble for Machine Translation Quality Evaluation. Online. In Loïc Barrault et al. Proceedings of EMNLP 2021 Sixth Conference on Machine Translation (WMT 21). Online and Punta Cana, Dominican Republi: ACL, 2021, p. 1041-1048. ISBN 978-1-954085-94-7.

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.

ROČKAI, Petr, Zuzana BARANOVÁ, Jan MRÁZEK, Katarína KEJSTOVÁ and Jiří BARNAT. Reproducible execution of POSIX programs with DiOS. Software & Systems Modeling. Springer, 2021, vol. 20, No 2, p. 363-382. ISSN 1619-1366. Available from: https://dx.doi.org/10.1007/s10270-020-00837-y.

PIVOLUSKA, Matej, Martin PLESCH, M. FARKAS, Natália RUŽIČKOVÁ, C. FLEGEL, N.H. VALENCIA, W. MCCUTCHEON, M. MALIK and EA AGUILAR. Semi-device-independent random number generation with flexible assumptions. NPJ QUANTUM INFORMATION. BERLIN: NATURE RESEARCH, 2021, vol. 7, No 1, p. 1-12. ISSN 2056-6387. Available from: https://dx.doi.org/10.1038/s41534-021-00387-1.

CIANCHI, Andrea, Vít MUSIL and Luboš PICK. Sharp exponential inequalities for the Ornstein-Uhlenbeck operator. Journal of Functional Analysis. SAN DIEGO: Elsevier, 2021, vol. 281, No 11, 68 pp. ISSN 0022-1236. Available from: https://dx.doi.org/10.1016/j.jfa.2021.109217.

GRZESIK, Andrzej, Daniel KRÁĽ and Josef Samuel MOHR. Strong Modeling Limits of Graphs with Bounded Tree-Width. In Trends in Mathematics, Volume 14, Extended Abstracts of EuroComb 2021, European Conference on Combinatorics, Graph Theory and Applications. Barcelona: Birkhäuser, 2021, p. 273-279. ISBN 978-3-030-83822-5. Available from: https://dx.doi.org/10.1007/978-3-030-83823-2_43.

CHALUPA, Marek, Tomáš JAŠEK, Jakub NOVÁK, Anna ŘECHTÁČKOVÁ, Veronika ŠOKOVÁ and Jan STREJČEK. Symbiotic 8: Beyond Symbolic Execution. In Jan Friso Groote, Kim Guldstrand Larsen. Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II. Cham (Švýcarsko): Springer, Cham, 2021, p. 453-457. ISBN 978-3-030-72012-4. Available from: https://dx.doi.org/10.1007/978-3-030-72013-1_31.

CHALUPA, Marek, Jakub NOVÁK and Jan STREJČEK. Symbiotic 8: Parallel and Targeted Test Generation. In Esther Guerra and Mariëlle Stoelinga. Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings. Cham (Switzerland): Springer, 2021, p. 368-372. ISBN 978-3-030-71499-4. Available from: https://dx.doi.org/10.1007/978-3-030-71500-7_20.

CHALUPA, Marek, Martina VITOVSKÁ, Tomáš JAŠEK, Michael ŠIMÁČEK and Jan STREJČEK. Symbiotic 6: generating test cases by slicing and symbolic execution. International Journal on Software Tools for Technology Transfer. 2021, vol. 23, No 6, p. 875-877. ISSN 1433-2779. Available from: https://dx.doi.org/10.1007/s10009-020-00573-0.

CHALUPA, Marek, Tomáš JAŠEK, Jakub NOVÁK, Anna ŘECHTÁČKOVÁ, Veronika ŠOKOVÁ and Jan STREJČEK. Symbiotic 8. 2021.

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.

ZHENGWEI, Xie, Qiu DAOWEN, Cai GUANGYA, Jozef GRUSKA and Paulo MATEUS. Testing Boolean Functions Properties. Fundamenta Informaticae. AMSTERDAM: IOS PRESS, 2021, vol. 182, No 3, p. 321-344. ISSN 0169-2968. Available from: https://dx.doi.org/10.3233/FI-2021-2076.

CHODIL, Miroslav and Antonín KUČERA. The Satisfiability Problem for a Quantitative Fragment of PCTL. In Evripidis Bampis and Aris Pagourtzis. Fundamentals of Computation Theory. 23rd International Symposium, FCT 2021. Německo: Springer, 2021, p. 149-161. ISBN 978-3-030-86592-4. Available from: https://dx.doi.org/10.1007/978-3-030-86593-1_10.

ŠVÁBENSKÝ, Valdemar and Martin UKROP. The Stack: Unplugged Activities for Teaching Computer Science. In Proceedings of the 52nd ACM Technical Symposium on Computer Science Education (SIGCSE '21). 2021. ISBN 978-1-4503-8062-1. Available from: https://dx.doi.org/10.1145/3408877.3439569.

DVOŘÁK, Zdeněk, Daniel KRÁĽ and Robin THOMAS. Three-coloring triangle-free graphs on surfaces IV. Bounding face sizes of 4-critical graphs. Journal of Combinatorial Theory. Series B. SAN DIEGO: ACADEMIC PRESS INC ELSEVIER SCIENCE, 2021, vol. 150, September 2021, p. 270-304. ISSN 0095-8956. Available from: https://dx.doi.org/10.1016/j.jctb.2020.09.001.

DVOŘÁK, Zdeněk, Daniel KRÁĽ and Robin THOMAS. Three-coloring triangle-free graphs on surfaces V. Coloring planar graphs with distant anomalies. Journal of Combinatorial Theory. Series B. SAN DIEGO: ACADEMIC PRESS INC ELSEVIER SCIENCE, 2021, vol. 150, September 2021, p. 244-269. ISSN 0095-8956. Available from: https://dx.doi.org/10.1016/j.jctb.2020.04.006.

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.

ŠTEFÁNIK, Michal and Petr SOJKA. Towards Domain Robustness of Neural Language Models. In Horák, Rychlý, Rambousek. Recent Advances in Slavonic Natural Language Processing (RASLAN 2021). Brno: Tribun EU, 2021, p. 91-103. ISBN 978-80-263-1670-1.

BALABÁN, Jakub and Petr HLINĚNÝ. Twin-Width is Linear in the Poset Width. Online. In Golovach, Petr A. and Zehavi, Meirav. International Symposium on Parameterized and Exact Computation (IPEC). 214th ed. Dagstuhl: Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik, 2021, p. "6:1"-"6:13", 13 pp. ISBN 978-3-95977-216-7. Available from: https://dx.doi.org/10.4230/LIPIcs.IPEC.2021.6.

AGAOGLU, Deniz and Onur CAGIRICI. Unit Disk Visibility Graphs. Online. In Nešetřil, Jaroslav and Perarnau, Guillem and Rué, Juanjo and Serra, Oriol. Extended Abstracts EuroComb 2021. Cham: Springer International Publishing, 2021, p. 390-396. ISBN 978-3-030-83822-5. Available from: https://dx.doi.org/10.1007/978-3-030-83823-2_61.

MACÁK, Martin, Daniela KRÚŽELOVÁ, Stanislav CHREN and Barbora BÜHNOVÁ. Using Process Mining for Git Log Analysis of Projects in a Software Development Course. Education and Information Technologies. 2021, vol. 26, No 5, p. 5939-5969. ISSN 1360-2357. Available from: https://dx.doi.org/10.1007/s10639-021-10564-6.

GAJARSKÝ, Jakub, Petr HLINĚNÝ, Daniel LOKSHTANOV, Jan OBDRŽÁLEK and M S RAMANUJAN. A New Perspective on FO Model Checking of Dense Graph Classes. ACM Transactions on Computational Logic. New York, NY, USA: Association for Computing Machinery, 2020, vol. 21, No 4, p. "28:1"-"28:23", 23 pp. ISSN 1529-3785. Available from: https://dx.doi.org/10.1145/3383206.

LAUKO, Henrich, Martina OLLIARO, Agostino CORTESI and Petr ROČKAI. Abstracting Strings for Model Checking of C Programs. Applied Sciences. Multidisciplinary Digital Publishing Institute, 2020, vol. 10, No 21, p. 1-33. ISSN 2076-3417. Available from: https://dx.doi.org/10.3390/app10217853.

KLAŠKA, David, Antonín KUČERA and Vojtěch ŘEHÁK. Adversarial Patrolling with Drones. Online. In Proceedings of the 2020 International Conference on Autonomous Agents & Multiagent Systems. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, 2020, p. 629-637. ISBN 978-1-4503-7518-4. Available from: https://dx.doi.org/10.5555/3398761.3398837.

BENEŠ, Nikola, Luboš BRIM, Jakub KADLECAJ, Samuel PASTVA and David ŠAFRÁNEK. AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks. In Shuvendu K. Lahiri and Chao Wang. Computer Aided Verification. CAV 2020. LNCS 12224. Cham: Springer, Cham, 2020, p. 569-581. ISBN 978-3-030-53287-1. Available from: https://dx.doi.org/10.1007/978-3-030-53288-8_28.

BENDÍK, Jaroslav and Kuldeep S. MEEL. Approximate Counting of Minimal Unsatisfiable Subsets. In Shuvendu K. Lahiri and Chao Wang. Computer Aided Verification - 32nd International Conference, CAV 2020. Neuveden: Springer, Cham, 2020, p. 439-462. ISBN 978-3-030-53287-1. Available from: https://dx.doi.org/10.1007/978-3-030-53288-8_21.

DĘBSKI, Michał Karol, Jarosław GRYTCZUK, Barbara NAYAR, Urszula PASTWA, Joanna SOKÓŁ, Michał TUCZYŃSKI, Przemysław WENUS and Krzysztof WEΙSEK. Avoiding Multiple Repetitions in Euclidean Spaces. SIAM Journal on Discrete Mathematics. Philadelphia: SIAM, 2020, vol. 34, No 1, p. 40-52. ISSN 0895-4801. Available from: https://dx.doi.org/10.1137/18M1180347.

PELÁNEK, Radek and Tomáš EFFENBERGER. Beyond binary correctness: Classification of students’ answers in learning systems. User Modeling and User-Adapted Interaction. Springer, 2020, vol. 30, No 5, p. 867-893. ISSN 0924-1868. Available from: https://dx.doi.org/10.1007/s11257-020-09265-5.

BLUMENSATH, Achim and Felix WOLF. Bisimulation invariant monadic-second order logic in the finite. Theoretical Computer Science. Elsevier, 2020, vol. 823, No 1, p. 26-43. ISSN 0304-3975. Available from: https://dx.doi.org/10.1016/j.tcs.2020.03.001.

DĘBSKI, Michał Karol, Konstanty JUNOSZA-SZANIAWSKI and Zbigniew LONC. Bundling all shortest paths. Discrete Applied Mathematics. Elsevier Science, 2020, vol. 277, No 1, p. 82-91. ISSN 0166-218X. Available from: https://dx.doi.org/10.1016/j.dam.2019.08.027.

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.

BARANOVÁ, Zuzana and Petr ROČKAI. Compiling C and C++ Programs for Dynamic White-Box Analysis. In Nelma Moreira and Emil Sekerinski. Workshop on Practical Formal Verification for Software Dependability (AFFORD 2019). Cham: Springer International Publishing, 2020, p. 30-45. ISBN 978-3-030-54993-0. Available from: https://dx.doi.org/10.1007/978-3-030-54994-7_4.

DAŇA, Josef, Francesco CAPUTO and Jaroslav RÁČEK. Complex Network Analysis for Knowledge Management and Organizational Intelligence. Journal of the Knowledge Economy. Springer US, 2020, vol. 11, No 2, p. 405-424. ISSN 1868-7865. Available from: https://dx.doi.org/10.1007/s13132-018-0553-x.

DROSS, Francois, Florent FOUCAUD, Valia MITSOU, Pascal OCHEM and Théo PIERRON. Complexity of planar signed graph homomorphisms to cycles. Discrete Applied Mathematics. 2020, vol. 284, 30 September 2020, p. 166-178. ISSN 0166-218X. Available from: https://dx.doi.org/10.1016/j.dam.2020.03.029.

CHAN, Timothy F. N., Andrzej GRZESIK, Daniel KRÁĽ and Jonathan A. NOEL. Cycles of length three and four in tournaments. Journal of Combinatorial Theory, Series A. SAN DIEGO: ACADEMIC PRESS INC ELSEVIER SCIENCE, 2020, vol. 175, No 105276, p. 1-23. ISSN 0097-3165. Available from: https://dx.doi.org/10.1016/j.jcta.2020.105276.

ROLÍNEK, Michal, Paul SWOBODA, Dominik ZIETLOW, Anselm PAULUS, Vít MUSIL and Georg MARTIUS. Deep Graph Matching via Blackbox Differentiation of Combinatorial Solvers. Online. In Vedaldi A.Bischof H.Brox T.Frahm J. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 12373 LNCS. Springer Science and Business Media Deutschland GmbH, 2020, p. 407-424. ISBN 978-3-030-58603-4. Available from: https://dx.doi.org/10.1007/978-3-030-58604-1_25.

CHALUPA, Marek. DG: A program analysis library. Software Impacts. 2020, vol. 2020, No 6, p. 1-4. ISSN 2665-9638. Available from: https://dx.doi.org/10.1016/j.simpa.2020.100038.

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.

VLASTELICA, Marin, Anselm PAULUS, Vít MUSIL, Georg MARTIUS and Michal ROLÍNEK. Differentiation of Blackbox Combinatorial Solvers. Online. In 8th International Conference on Learning Representations, ICLR 2020. International Conference on Learning Representations, ICLR, 2020, p. 0-19, 19 pp.

BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA and David ŠAFRÁNEK. Digital Bifurcation Analysis of Internet Congestion Control Protocols. International Journal of Bifurcation and Chaos. 2020, vol. 30, No 13, p. 2030038-2030055. ISSN 0218-1274. Available from: https://dx.doi.org/10.1142/S0218127420300384.

UKROP, Martin. Don’t blame the developers: making security usable for IT professionals. In Red Hat Research Quarterly. Red Hat, 2020, p. 11-15. ISSN 2691-5278.

TROJÁK, Matej, David ŠAFRÁNEK, Lukrécia MERTOVÁ and Luboš BRIM. eBCSgen: A Software Tool for Biochemical Space Language. Online. In Abate A., Petrov T., Wolf V. 18th International Conference on Computational Methods in Systems Biology, CMSB 2020. LNBI 12314. Neuveden: Springer, 2020, p. 356-361. ISBN 978-3-030-60326-7. Available from: https://dx.doi.org/10.1007/978-3-030-60327-4_20.

KUČERA, Antonín, Jérôme LEROUX and Dominik VELAN. Efficient Analysis of VASS Termination Complexity. Online. In Holger Hermanns, Lijun Zhang, Naoki Kobayashi, Dale Miller. LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science. New York, USA: ACM, 2020, p. 676-688. ISBN 978-1-4503-7104-9. Available from: https://dx.doi.org/10.1145/3373718.3394751.

GRZESIK, Andrzej, Daniel KRÁĽ and Laszlo Miklos LOVASZ. Elusive extremal graphs. Proceedings of the London mathematical society. Cambridge: Cambridge University Press, 2020, vol. 121, No 6, p. 1685-1736. ISSN 0024-6115. Available from: https://dx.doi.org/10.1112/plms.12382.

KRAUS, Lydia, Martin UKROP, Václav MATYÁŠ and Tobias FIEBIG. Evolution of SSL/TLS Indicators and Warnings in Web Browsers. In Anderson, J., Stajano, F., Christianson, B., Matyáš, V. 27th International Workshop on Security Protocols (SPW 2019). Switzerland: Springer International Publishing, 2020, p. 267-280. ISBN 978-3-030-57042-2. Available from: https://dx.doi.org/10.1007/978-3-030-57043-9_25.

TROJÁK, Matej, David ŠAFRÁNEK, Lukrécia MERTOVÁ and Luboš BRIM. Executable Biochemical Space for Specification and Analysis of Biochemical Systems. PLOS ONE. Public Library of Science, 2020, vol. 15, No 9, p. 1-23, 24 pp. ISSN 1932-6203. Available from: https://dx.doi.org/10.1371/journal.pone.0238838.

TROJÁK, Matej, David ŠAFRÁNEK, Luboš BRIM, Jakub ŠALAGOVIČ and Jan ČERVENÝ. Executable Biochemical Space for Specification and Analysis of Biochemical Systems. Online. In Ankit Gupta, Tatjana Petrov. 9th International Workshop on Static Analysis and Systems Biology (SASB). ENTCS 350. Amsterdam: Elsevier, 2020, p. 91-116. ISSN 1571-0661. Available from: https://dx.doi.org/10.1016/j.entcs.2020.06.006.

TROJÁK, Matej, David ŠAFRÁNEK, Lukrécia MERTOVÁ and Luboš BRIM. Executable Biochemical Space for Specification and Analysis of Biochemical Systems. In 7th Workshop on Hybrid Systems and Biology. 2020.

HU, Xiao-Min, WB. XING, C. ZHANG, BH. LIU, Matej PIVOLUSKA, M. HUBER, YF. HUANG, CF. LI and GC. GUO. Experimental creation of multi-photon high-dimensional layered quantum states. NPJ QUANTUM INFORMATION. BERLIN: NATURE RESEARCH, 2020, vol. 6, No 1, p. 1-5. ISSN 2056-6387. Available from: https://dx.doi.org/10.1038/s41534-020-00318-6.

EFFENBERGER, Tomáš, Radek PELÁNEK and Jaroslav ČECHÁK. Exploration of the Robustness and Generalizability of the Additive Factors Model. Online. In Proceedings of the 10th International Conference on Learning Analytics and Knowledge. New York, NY, USA: Association for Computing Machinery, 2020, p. 472-479. ISBN 978-1-4503-7712-6. Available from: https://dx.doi.org/10.1145/3375462.3375491.

KRÁĽ, Daniel, Laszlo M. LOVASZ, Jonathan A. NOEL and Jakub SOSNOVEC. Finitely Forcible Graphons with an Almost Arbitrary Structure. Discrete Analysis. CAMBRIDGE: ALLIANCE DIAMOND OPEN ACCESS JOURNALS, 2020, vol. 2020, No 9, p. 1-36. ISSN 2397-3129. Available from: https://dx.doi.org/10.19086/da.12058.

VALENCIA, N.H., V. SRIVASTAV, Matej PIVOLUSKA, M. HUBER, N. FRIIS, W. MCCUTCHEON and M. MALIK. High-Dimensional Pixel Entanglement: Efficient Generation and Certification. QUANTUM. WIEN: VEREIN FORDERUNG OPEN ACCESS PUBLIZIERENS QUANTENWISSENSCHAF, 2020, vol. 4, December, p. 376-394. ISSN 2521-327X. Available from: https://dx.doi.org/10.22331/q-2020-12-24-376.

CHAN, Timothy F. N., Daniel KRÁĽ, Jonathan A. NOEL, Yanitsa PEHOVA, Maryam SHARIFZADEH and Jan VOLEC. Characterization of quasirandom permutations by a pattern sum. Random Structures and Algorithms. HOBOKEN: WILEY, 2020, vol. 57, No 4, p. 920-939. ISSN 1042-9832. Available from: https://dx.doi.org/10.1002/rsa.20956.

BLONDIN, Michael, Javier ESPARZA, Martin HELFRICH, Antonín KUČERA and Philipp MEYER. Checking Qualitative Liveness Properties of Replicated Systems with Stochastic Scheduling. In Shuvendu K. Lahiri, Chao Wang. Computer Aided Verification, CAV 2020. Cham, Německo: Springer International Publishing, 2020, p. 372-397. ISBN 978-3-030-53290-1. Available from: https://dx.doi.org/10.1007/978-3-030-53291-8_20.

SVOBODA, David and Tereza NEČASOVÁ. Image-based Simulations of Tubular Network Formation. Online. In 17th IEEE International Symposium on Biomedical Imaging. Neuveden: IEEE, 2020, p. 1608-1612. ISBN 978-1-5386-9330-8. Available from: https://dx.doi.org/10.1109/ISBI45749.2020.9098736.

DĘBSKI, Michał Karol, Stefan FELSNER, Piotr MICEK and Felix SCHRÖDER. Improved bounds for centered colorings. Online. In Shuchi Chawla. Proceedings of the 2020 ACM-SIAM Symposium on Discrete Algorithms. Not specified: SIAM, 2020, p. 2212-2226. ISBN 978-1-61197-599-4. Available from: https://dx.doi.org/10.1137/1.9781611975994.136.

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.

CHALUPA, Marek, Jan STREJČEK and Martina VITOVSKÁ. Joint Forces for Memory Safety Checking Revisited. International Journal on Software Tools for Technology Transfer (STTT). Springer, 2020, vol. 22, No 2, p. 115-133. ISSN 1433-2779. Available from: https://dx.doi.org/10.1007/s10009-019-00526-2.

PAVLATOVSKÁ, Barbora, Markéta MACHÁLKOVÁ, Petra BRISUDOVÁ, Adam PRUŠKA, Karel ŠTĚPKA, Jan MICHÁLEK, Tereza NEČASOVÁ, Petr BENEŠ, Jan ŠMARDA, Jan PREISLER, Michal KOZUBEK and Jarmila NAVRÁTILOVÁ. Lactic Acidosis Interferes With Toxicity of Perifosine to Colorectal Cancer Spheroids: Multimodal Imaging Analysis. Frontiers in Oncology. Lausanne: Frontiers Media S.A., 2020, vol. 10, December, p. 1-18. ISSN 2234-943X. Available from: https://dx.doi.org/10.3389/fonc.2020.581365.

BLAHOUDEK, František, Juraj MAJOR and Jan STREJČEK. LTL to self-loop alternating automata with generic acceptance and back. Theoretical Computer Science. AMSTERDAM: North Holland, 2020, vol. 840, Nov 2020, p. 122-142. ISSN 0304-3975. Available from: https://dx.doi.org/10.1016/j.tcs.2020.07.015.

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.

CHATTERJEE, Krishnendu, Martin CHMELÍK, Deep KARKHANIS, Petr NOVOTNÝ and Amélie ROYER. Multiple-Environment Markov Decision Processes: Efficient Analysis and Applications. Online. In Proceedings of the International Conference on Automated Planning and Scheduling. Palo Alto: AAAI Press, 2020, p. 48-56. ISBN 978-1-57735-824-4.

CHEN, Gang, Le WANG, Wei LI, Yang ZHAO, Shengmei ZHAO and Jozef GRUSKA. Multiple-pulse phase-matching quantum key distribution. Quantum Information Processing. 2020, vol. 19, No 11, p. "416:1"-"416:16", 16 pp. ISSN 1570-0755. Available from: https://dx.doi.org/10.1007/s11128-020-02920-1.

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.

CAGIRICI, Onur. On Embeddability of Unit Disk Graphs onto Straight Lines. Online. In Fernau, Henning. International Computer Science Symposium in Russia, CSR 2020. Yekaterinburg, Russia: Springer, Cham, 2020, p. 184-197. ISBN 978-3-030-50025-2. Available from: https://dx.doi.org/10.1007/978-3-030-50026-9_13.

KORENČIK, Lukáš, Petr ROČKAI, Henrich LAUKO and Jiří BARNAT. On Symbolic Execution of Decompiled Programs. In Proceedings - 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS 2020. Neuveden: IEEE Computer Society, 2020, p. 265-272. ISBN 978-1-7281-8914-7. Available from: https://dx.doi.org/10.1109/QRS51102.2020.00044.

ROLINEK, Michal, Vít MUSIL, Anselm PAULUS, Marin VLASTELICA, Claudio MICHAELIS and Georg MARTIUS. Optimizing Rank-based Metrics with Blackbox Differentiation. Online. In 978-1-7281-7168-5. 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR 2020). Los Alamitos: IEEE COMPUTER SOC, 2020, p. 7617-7627. ISSN 1063-6919. Available from: https://dx.doi.org/10.1109/CVPR42600.2020.00764.

BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA and David ŠAFRÁNEK. Parallel parameter synthesis algorithm for hybrid CTL. Science of Computer Programming. 2020, vol. 185, No 102321, p. 1-19. ISSN 0167-6423. Available from: https://dx.doi.org/10.1016/j.scico.2019.102321.

ŠMIJÁKOVÁ, Eva, Samuel PASTVA, David ŠAFRÁNEK and Luboš BRIM. Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications. (Parallel Parameter Synthesis for Multi-affine Hybrid Systems from Hybrid CTL Specifications). Online. In Abate A., Petrov T., Wolf V. Computational Methods in Systems Biology. CMSB 2020. Lecture Notes in Computer Science, vol 12314. Cham: Springer, Cham, 2020, p. 280-297. ISBN 978-3-030-60326-7. Available from: https://dx.doi.org/10.1007/978-3-030-60327-4_15.

TROJÁK, Matej, David ŠAFRÁNEK, Lukrécia MERTOVÁ and Luboš BRIM. Parameter Synthesis and Robustness Analysis of Rule-Based Models. In Ritchie Lee, Susmit Jha, Anastasia Mavridou. 12th International Symposium on NASA Formal Methods, NFM 2020. LNCS 12229. Moffett Field, CA, USA: Springer, 2020, p. 41-59. ISBN 978-3-030-55753-9. Available from: https://dx.doi.org/10.1007/978-3-030-55754-6_3.

KENYON, Richard, Daniel KRÁĽ, Charles RADIN and Peter WINKLER. Permutations with fixed pattern densities. Random Structures and Algorithms. HOBOKEN: WILEY, 2020, vol. 56, No 1, p. 220-250. ISSN 1042-9832. Available from: https://dx.doi.org/10.1002/rsa.20882.

MRÓZEK, Jan, Tereza NEČASOVÁ, Michal SVOBODA, Iveta ŠIMKOVÁ and Pavel JANSA. Prediction Score for persisting perfusion defects after pulmonary embolism. Biomedical Papers. Olomouc: Univerzita Palackého v Olomouci, 2020, vol. 164, No 4, p. 394-400. ISSN 1213-8118. Available from: https://dx.doi.org/10.5507/bp.2019.033.

BLAHOUDEK, František, Tomáš BRÁZDIL, Petr NOVOTNÝ, Melkior ORNIK, Pranay THANGEDA and Ufuk TOPCU. Qualitative Controller Synthesis for Consumption Markov Decision Processes. In Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}. Cham: Springer, 2020, p. 421-447. ISBN 978-3-030-53290-1. Available from: https://dx.doi.org/10.1007/978-3-030-53291-8_22.

BLUMENSATH, Achim. Regular Tree Algebras. Logical Methods in Computer Science. Technical University of Braunschweig, 2020, vol. 16, No 1, p. 1-25. ISSN 1860-5974. Available from: https://dx.doi.org/10.23638/LMCS-16(1:16)2020.

BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Petr NOVOTNÝ and Jiří VAHALA. Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes. Online. In The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020. Palo Alto, California, USA: AAAI Press, 2020, p. 9794-9801. ISBN 978-1-57735-823-7. Available from: https://dx.doi.org/10.1609/aaai.v34i06.6531.

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.

YU, Fang, Daowen QIU, Xiaominf WANG, Qin LI, Lvzhou LI and Jozef GRUSKA. Security improvements of several basic quantum private query protocols with O(log N) communication complexity. Theoretical Computer Science. Amsterdam: Elsevier, 2020, vol. 807, 6 February 2020, p. 330-340. ISSN 0304-3975. Available from: https://dx.doi.org/10.1016/j.tcs.2019.12.008.

BLAHOUDEK, František, Alexandre DURET-LUTZ and Jan STREJČEK. Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization. Online. In Shuvendu K. Lahiri and Chao Wang. Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II. Cham (Switzerland): Springer, 2020, p. 15-27. ISBN 978-3-030-53290-1. Available from: https://dx.doi.org/10.1007/978-3-030-53291-8_2.

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.

DĘBSKI, Michał Karol, Kontanty JUNOSZA-SZANIAWSKI and Małgorzata ŚLESZYŃSKA-NOWAK. Strong chromatic index of K-1,t-free graphs. Discrete Applied Mathematics. 2020, vol. 284, No 1, p. 53-60. ISSN 0166-218X. Available from: https://dx.doi.org/10.1016/j.dam.2020.03.024.

CHALUPA, Marek, Tomáš JAŠEK, Lukáš TOMOVIČ, Martin HRUŠKA, Veronika ŠOKOVÁ, Paulína AYAZIOVÁ, Jan STREJČEK and Tomáš VOJNAR. Symbiotic 7: Integration of Predator and More (Competition Contribution). In Armin Biere, David Parker. Tools and Algorithms for the Construction and Analysis of Systems. Německo: Springer, 2020, p. 413-417. ISBN 978-3-030-45236-0. Available from: https://dx.doi.org/10.1007/978-3-030-45237-7_31.

UKROP, Martin, Valdemar ŠVÁBENSKÝ and Imrich NAGY. Teaching Lab: Training Novice Computer Science Teachers. In Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE ’20). 2020. ISBN 978-1-4503-6874-2. Available from: https://dx.doi.org/10.1145/3341525.3393967.

CHATTERJEE, Krishnendu, Hongfei FU and Petr NOVOTNÝ. Termination Analysis of Probabilistic Programs with Martingales. In Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva. Foundations of Probabilistic Programming. Cambridge, UK: Cambridge University Press, 2020, p. 221-258. ISBN 978-1-108-48851-8. Available from: https://dx.doi.org/10.1017/9781108770750.008.

DVORAK, Zdeněk, Daniel KRÁĽ and Robin THOMAS. Three-coloring triangle-free graphs on surfaces III. Graphs of girth five. Journal of Combinatorial Theory. Series B. SAN DIEGO: ACADEMIC PRESS INC ELSEVIER SCIENCE, 2020, vol. 145, November 2020, p. 376-432. ISSN 0095-8956. Available from: https://dx.doi.org/10.1016/j.jctb.2020.06.005.

CHIMANI, Markus, Petr HLINĚNÝ and Gelasio SALAZAR. Toroidal grid minors and stretch in embedded graphs. JOURNAL OF COMBINATORIAL THEORY SERIES B. SAN DIEGO: ACADEMIC PRESS INC ELSEVIER SCIENCE, 2020, vol. 140, No 1, p. 323-371. ISSN 0095-8956. Available from: https://dx.doi.org/10.1016/j.jctb.2019.05.009.

HAJNAL, Matej and Samuel PASTVA. Toward Model Selection by Formal Methods. Online. In Ankit Gupta, Tatjana Petrov. Proceedings of SASB 2018, the Ninth International Workshop on Static Analysis and Systems Biology, ENTCS, vol. 350. Freiburg im Breisgau, Germany: Elsevier, 2020, p. 57-71. ISSN 1571-0661. Available from: https://dx.doi.org/10.1016/j.entcs.2020.06.004.

MULLER, Jerry Z and Jiří ZLATUŠKA. Tyranie metrik. In XXI. století. Vydání první. 2020, 188 pp. XXI. století, sv. 54. ISBN 978-80-200-3074-0.

UKROP, Martin, Lydia KRAUS and Václav MATYÁŠ. Will You Trust This TLS Certificate? Perceptions of People Working in IT (Extended Version). Digital Threats: Research and Practice. New York, NY, USA: Association for Computing Machinery, 2020, vol. 1, No 4, p. 1-29. ISSN 2692-1626. Available from: https://dx.doi.org/10.1145/3419472.

KRÁĽ, Daniel, Sergey NORIN and Jan VOLEC. A bound on the inducibility of cycles. Journal of Combinatorial Theory, Series A. SAN DIEGO: ACADEMIC PRESS INC ELSEVIER SCIENCE, 2019, vol. 161, January 2019, p. 359-363. ISSN 0097-3165.

VODÁK, Rostislav, Michal BÍL, Tomáš SVOBODA, Zuzana KŘIVÁNKOVÁ, Jan KUBEČEK, Tomáš REBOK and Petr HLINĚNÝ. A deterministic approach for rapid identification of the critical links in networks. PLOS ONE. United States: Public Library of Science, 2019, vol. 14, No 7, p. 1-18. ISSN 1932-6203. Available from: https://dx.doi.org/10.1371/journal.pone.0219658.

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.

HU, Kang, Le WANG, Qianping MAO, Zhigang SHEN, Shengmei ZHAO and Jozef GRUSKA. A quantum secret sharing scheme without monitoring signal disturbance. Optik. Munich: Elsevier, 2019, vol. 181, March 2019, p. 810-815. ISSN 0030-4026. Available from: https://dx.doi.org/10.1016/j.ijleo.2018.12.139.

ROČKAI, Petr and Jiří BARNAT. A Simulator for LLVM Bitcode. In K. G. Larsen, T. Willemse. 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019. Scham: Springer Verlag, 2019, p. 127-142. ISBN 978-3-030-27007-0. Available from: https://dx.doi.org/10.1007/978-3-030-27008-7_8.

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.

BENEŠ, Nikola, Luboš BRIM, Martin GELETKA, Samuel PASTVA and David ŠAFRÁNEK. Accelerating Parameter Synthesis Using Semi-algebraic Constraints. Online. In Ahrendt, Wolfgang and Tapia Tarifa, Silvia Lizeth. Integrated Formal Methods. LNCS 11918. Cham: Springer International Publishing, 2019, p. 27-45. ISBN 978-3-030-34967-7. Available from: https://dx.doi.org/10.1007/978-3-030-34968-4_2.

GRZESIK, Andrzej and Daniel KRÁĽ. Analytic representations of large graphs. In Surveys in Combinatorics 2019. Cambridge: Cambridge University Press, 2019, p. 57-88. ISBN 978-1-108-64909-4. Available from: https://dx.doi.org/10.1017/9781108649094.003.

ŠAFRÁNEK, David, Matej TROJÁK, Vojtěch BRŮŽA, Tomáš VEJPUSTEK, Jan PAPOUŠEK, Martin DEMKO, Samuel PASTVA, Aleš PEJZNOCH and Luboš BRIM. Barbaric Robustness Monitoring Revisited for STL* in Parasim. In Bortolussi L., Sanguinetti G. Computational Methods in Systems Biology (CMSB 2019). LNBI 11773. Neuveden: Springer, 2019, p. 356-359. ISBN 978-3-030-31303-6. Available from: https://dx.doi.org/10.1007/978-3-030-31304-3_26.

AVNI, Guy, Thomas A. HENZINGER, Rasmus IBSEN-JENSEN and Petr NOVOTNÝ. Bidding Games on Markov Decision Processes. In Emmanuel Filiot, Raphaël M. Jungers, Igor Potapov. Reachability Problems - 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019, Proceedings. Cham: Springer, 2019, p. 1-12. ISBN 978-3-030-30805-6. Available from: https://dx.doi.org/10.1007/978-3-030-30806-3_1.

EFFENBERGER, Tomáš. Blockly Programming Dataset. Online. In 3rd Educational Data Mining in Computer Science Education (CSEDM) Workshop. 2019, 3 pp.

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.

GLEBOV, Roman, Daniel KRÁĽ and Jan VOLEC. Compactness and finite forcibility of graphons. Journal of the European Mathematical Society. ZURICH: Springer, 2019, vol. 21, No 10, p. 3199-3223. ISSN 1435-9855. Available from: https://dx.doi.org/10.4171/JEMS/901.

TROJÁK, Matej, David ŠAFRÁNEK, Jan ČERVENÝ, Marek HAVLÍK, Lukrécia MERTOVÁ, Matej HAJNAL, Jakub HRABEC and Jakub ŠALAGOVIČ. Comprehensive Modelling Platform. In 6th Workshop on Hybrid Systems & Biology. 2019.

DEMKO, Martin, Lukáš CHRÁST, Pavel DVOŘÁK, Jiří DAMBORSKÝ and David ŠAFRÁNEK. Computational Modelling of Metabolic Burden and Substrate Toxicity in Escherichia coli Carrying a Synthetic Metabolic Pathway. Microorganisms. Basel: MDPI, 2019, vol. 7, No 11, p. 553-581. ISSN 2076-2607. Available from: https://dx.doi.org/10.3390/microorganisms7110553.

EIBEN, Eduard, Robert GANIAN, Kustaa KANGAS and Sebastian ORDYNIAK. Counting Linear Extensions: Parameterizations by Treewidth. Algorithmica. Springer, 2019, vol. 81, No 4, p. 1657-1683. ISSN 0178-4617. Available from: https://dx.doi.org/10.1007/s00453-018-0496-4.

CHAN, Timothy Fong Nam, Andrzej GRZESIK, Daniel KRÁĽ and Jonathan Andrew NOEL. CYCLES OF LENGTH THREE AND FOUR IN TOURNAMENTS. Acta Mathematica Universitatis Comenianae. Bratislava: Comenius University, 2019, vol. 88, No 3, p. 533-539. ISSN 0231-6986.

HAJNAL, Matej, Nouvian MORGANE, Tatjana PETROV and David ŠAFRÁNEK. Data-Informed Parameter Synthesis for Population Markov Chains. In Bortolussi, L. and Sanguinetti, G. 17th International Conference on Computational Methods in Systems Biology (CMSB 2019). LNBI 11773. Neuveden: Springer Nature, 2019, p. 383-386. ISBN 978-3-030-31303-6. Available from: https://dx.doi.org/10.1007/978-3-030-31304-3_32.

HAJNAL, Matej, Morgan NOUVIAN, David ŠAFRÁNEK and Tatjana PETROV. Data-Informed Parameter Synthesis for Population Markov Chains. In Ceska, M et al. Hybrid Systems Biology (HSB 2019). LNCS 11705. Cham: Springer International Publishing, 2019, p. 147-164. ISBN 978-3-030-28041-3. Available from: https://dx.doi.org/10.1007/978-3-030-28042-0_10.

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.

KRÁĽ, Daniel, B LIDICKY, TL MARTINS and Y PEHOVA. Decomposing Graphs into Edges and Triangles. COMBINATORICS PROBABILITY & COMPUTING. NEW YORK: CAMBRIDGE UNIV PRESS, 2019, vol. 28, No 3, p. 465-472. ISSN 0963-5483. Available from: https://dx.doi.org/10.1017/S0963548318000421.

EFFENBERGER, Tomáš, Jaroslav ČECHÁK and Radek PELÁNEK. Difficulty and Complexity of Introductory Programming Problems. Online. In 3rd Educational Data Mining in Computer Science Education Workshop. 2019, 8 pp.

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.

DIWAN, Ajit Arvind, Bodhayan ROY and Subir Kumar GHOSH. Drawing Bipartite Graphs in Two Layers with Specified Crossings. In 5th International Conference of Algorithms and Discrete Applied Mathematics (CALDAM 2019). New York City: Springer, 2019, p. 97-108. ISBN 978-3-030-11508-1. Available from: https://dx.doi.org/10.1007/978-3-030-11509-8_9.

MACHÁLKOVÁ, Markéta, Barbora PAVLATOVSKÁ, Jan MICHÁLEK, Adam PRUŠKA, Karel ŠTĚPKA, Tereza NEČASOVÁ, Katarzyna Anna RADASZKIEWICZ, Michal KOZUBEK, Jan ŠMARDA, Jan PREISLER and Jarmila NAVRÁTILOVÁ. Drug Penetration Analysis in 3D Cell Cultures Using Fiducial-Based Semiautomatic Coregistration of MALDI MSI and Immunofluorescence Images. Analytical Chemistry. American Chemical Society, 2019, vol. 91, No 21, p. 13475-13484. ISSN 0003-2700. Available from: https://dx.doi.org/10.1021/acs.analchem.9b02462.

DĘBSKI, Michał Karol. Edge colorings avoiding patterns. Acta Mathematica Universitatis Comenianae. Bratislava: Comenius University, 2019, vol. 88, No 3, p. 619-623. ISSN 0231-6986.

DU, Shiping, Daowen QIU, Paulo MATEUS and Jozef GRUSKA. Enhanced double random phase encryption of quantum images. Results in Physics. Amsterdam: Elsevier, 2019, vol. 13, No 102161, p. 1-11. ISSN 2211-3797. Available from: https://dx.doi.org/10.1016/j.rinp.2019.102161.

PAN, Minghua, Daowen QIU, Paulo MATEUS and Jozef GRUSKA. Entangling and disentangling in Grover's search algorithm. Theoretical Computer Science. Amsterdam: Elsevier, 2019, vol. 773, 14 June 2019, p. 138-152. ISSN 0304-3975. Available from: https://dx.doi.org/10.1016/j.tcs.2018.10.001.

CHALUPA, Marek and Jan STREJČEK. Evaluation of Program Slicing in Software Verification. In Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa. Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings. Cham (Switzerland): Springer, 2019, p. 101-119. ISBN 978-3-030-34967-7. Available from: https://dx.doi.org/10.1007/978-3-030-34968-4_6.

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.

LAUKO, Henrich, Vladimír ŠTILL, Petr ROČKAI and Jiří BARNAT. Extending DIVINE with Symbolic Verification Using SMT. In Beyer, Dirkand Huisman, Mariekeand Kordon, Fabriceand Steffen, Bernhard. Tools and Algorithms for the Construction and Analysis of Systems. Cham: Springer International Publishing, 2019, p. 204-208. ISBN 978-3-030-17501-6. Available from: https://dx.doi.org/10.1007/978-3-030-17502-3_14.

BENEŠ, Nikola, Luboš BRIM, Jana DRAŽANOVÁ, Samuel PASTVA and David ŠAFRÁNEK. Facetal Abstraction for Non-linear Dynamical Systems Based on delta-decidable SMT. In Proceedings of the 22Nd ACM International Conference on Hybrid Systems: Computation and Control. New York, NY, USA: ACM, 2019, p. 99-108. ISBN 978-1-4503-6282-5. Available from: https://dx.doi.org/10.1145/3302504.3311793.

MAMULA, Ondřej, David HRYCEJ, Martin STŘELEC, Tomáš PITNER, František KASL, Václav STUPKA and Filip PROCHÁZKA. Flexibilita známá a neznámá (Flexibility known and unknown). All for Power. Praha: AF POWER agency, a.s., 2019, vol. 13, No 4, p. 57-61. ISSN 1802-8535.

HLINĚNÝ, Petr, Filip POKRÝVKA and Bodhayan ROY. FO model checking on geometric graphs. Computational geometry. Amsterdam: ELSEVIER SCIENCE BV, 2019, vol. 78, No 1, p. 1-19. ISSN 0925-7721. Available from: https://dx.doi.org/10.1016/j.comgeo.2018.10.001.

BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA, Jakub POLÁČEK and David ŠAFRÁNEK. Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks. In Ait Ameur et al. Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings. Heidelberg: Springer, 2019, p. 353-369. ISBN 978-3-030-32408-7. Available from: https://dx.doi.org/10.1007/978-3-030-32409-4_22.

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.

GLEBOV, Roman, Tereza KLIMOŠOVÁ and Daniel KRÁĽ. Infinite-dimensional finitely forcible graphon. Proceedings of the London mathematical society. Cambridge: Cambridge University Press, 2019, vol. 118, No 4, p. 826-856. ISSN 0024-6115. Available from: https://dx.doi.org/10.1112/plms.12203.

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.

CAI, Xing Shi, Cecilia HOLMGREN, Luc DEVROYE and Fiona SKERMAN. K-cut on paths and some trees. Electronic Journal of Probability. Seattle: University of Washington, 2019, vol. 24, No 53, p. 1-22. ISSN 1083-6489. Available from: https://dx.doi.org/10.1214/19-EJP318.

ŠTILL, Vladimír and Jiří BARNAT. Local Nontermination Detection for Parallel C++ Programs. In Ölveczky P., Salaün G. International Conference on Software Engineering and Formal Methods. Cham: Springer, 2019, p. 373-390. ISBN 978-3-030-30445-4. Available from: https://dx.doi.org/10.1007/978-3-030-30446-1_20.

BLAHOUDEK, František, Juraj MAJOR and Jan STREJČEK. LTL to Smaller Self-Loop Alternating Automata and Back. Online. In Robert Mark Hierons, Mohamed Mosbah. Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings. Cham (Switzerland): Springer, 2019, p. 152-171. ISBN 978-3-030-32504-6. Available from: https://dx.doi.org/10.1007/978-3-030-32505-3_10.

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.

BAIER, Christel, Clemens DUBSLAFF, Ľuboš KORENČIAK, Antonín KUČERA and Vojtěch ŘEHÁK. Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms. ACM Transactions on Modeling and Computer Simulation (TOMACS). ACM, 2019, vol. 29, No 4, p. "28:1"-"28:26", 26 pp. ISSN 1049-3301. Available from: https://dx.doi.org/10.1145/3310225.

EFFENBERGER, Tomáš and Radek PELÁNEK. Measuring Students’ Performance on Programming Tasks. Online. In Proceedings of the Sixth (2019) ACM Conference on Learning @ Scale (L@S '19). New York: ACM, 2019, p. "26:1"-"26:4", 4 pp. ISBN 978-1-4503-6804-9. Available from: https://dx.doi.org/10.1145/3330430.3333639.

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.

ELAVSKY, Steriani, Lenka KNAPOVÁ, Adam KLOCEK and David ŠMAHEL. Mobile Health Interventions for Physical Activity, Sedentary Behavior, and Sleep in Adults Aged 50+ : A Systematic Literature Review. Journal of Aging and Physical Activity. Champaign, IL: Human Kinetics Publication, 2019, vol. 27, No 4, p. 565-593. ISSN 1063-8652. Available from: https://dx.doi.org/10.1123/japa.2017-0410.

JENSEN, Lasse S., Isabella KAUFMANN, Kim G. LARSEN, Soeren M. NIELSEN and Jiří SRBA. Model Checking and Synthesis for Branching Multi-Weighted Logics. Journal of Logical and Algebraic Methods in Programming. 2019, vol. 105, June 2019, p. 28-46. ISSN 2352-2208. Available from: https://dx.doi.org/10.1016/j.jlamp.2019.02.001.

BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA and David ŠAFRÁNEK. Model Checking Approach to the Analysis of Biological Systems. Online. In Pietro Liò, Paolo Zuliani. Automated Reasoning for Systems Biology and Medicine. Cham: Springer, Cham, 2019, p. 3-35. Computational Biology. ISBN 978-3-030-17296-1. Available from: https://dx.doi.org/10.1007/978-3-030-17297-8_1.

ENEVOLDSEN, Soeren, Kim G. LARSEN and Jiří SRBA. Model Verification Through Dependency Graphs. In Proceedings of the 26th International SPIN Symposium on Model Checking of Software (SPIN'19). The Nederlands: Springer, 2019, p. 1-19. ISBN 978-3-030-30922-0. Available from: https://dx.doi.org/10.1007/978-3-030-30923-7_1.

KOPEČEK, Ivan and Josef SPURNÝ. Modeling and Simulating Communication, Stress, and Productivity in Socio-Economic Structures. In Aleš Horák, Adam Rambousek, Pavel Rychlý. Slavonic Natural Language Processing in the 21st Century. Brno: Tribun EU, 2019, p. 151-155. ISBN 978-80-263-1545-2.

HUBAI, Tamás, Daniel KRÁĽ, Olaf PARCZYK and Yuri PERSON. MORE NON-BIPARTITE FORCING PAIRS. Acta Mathematica Universitatis Comenianae. Bratislava: Comenius University, 2019, vol. 88, No 3, p. 819-825. ISSN 0231-6986.

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.

CAGIRICI, Onur, Subir GHOSH, Petr HLINĚNÝ and Bodhayan ROY. On conflict-free chromatic guarding of simple polygons. Online. In 13th Annual International Conference on Combinatorial Optimization and Applications (COCOA'19). Cham: Springer, Lecture Notes in Computer Science, volume 11949, 2019, p. 601-612. ISBN 978-3-030-36411-3. Available from: https://dx.doi.org/10.1007/978-3-030-36412-0_49.

BOKAL, Drago, Mojca BRACIC, Marek DERŇÁR and Petr HLINĚNÝ. On Degree Properties of Crossing-Critical Families of Graphs. Electronic Journal of Combinatorics. internet: -, 2019, vol. 26, No 1, p. 1-28. ISSN 1077-8926. Available from: https://dx.doi.org/10.37236/7753.

WIESNER, David, Tereza NEČASOVÁ and David SVOBODA. On Generative Modeling of Cell Shape Using 3D GANs. Online. In Ricci Elisa, Rota Buló Samuel, Snoek Cees, Lanz Oswald, Messelodi Stefano, Sebe Nicu. Image Analysis and Processing – ICIAP 2019. LNCS 11752. Trento: Springer, 2019, p. 672-682. ISBN 978-3-030-30644-1. Available from: https://dx.doi.org/10.1007/978-3-030-30645-8_61.

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.

HLINĚNÝ, Petr and Michal KORBELA. On the achievable average degrees in 2-crossing-critical graphs. Acta Math. Univ. Comenianae. 2019, vol. 88, No 3, p. 787-793. ISSN 0231-6986.

GANIAN, Robert, N. S. NARAYANASWAMY, Sebastian ORDYNIAK, C. S. RAHUL and M. S. RAMANUJAN. On the Complexity Landscape of Connected f-Factor Problems. Algorithmica. Springer, 2019, vol. 81, No 6, p. 2606-2632. ISSN 0178-4617. Available from: https://dx.doi.org/10.1007/s00453-019-00546-z.

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.

ASHOK, Pranav, Jan KŘETÍNSKÝ and Maximilian WEININGER. PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games. In Computer Aided Verification (CAV 2019). Cham: Springer, 2019, p. 497-519. ISBN 978-3-030-25539-8. Available from: https://dx.doi.org/10.1007/978-3-030-25540-4_29.

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.

GANIAN, Robert, Martin KRONEGGER, Andreas PFANDLER and Alexandru POPA. Parameterized Complexity of Asynchronous Border Minimization. Algorithmica. Springer, 2019, vol. 81, No 1, p. 201-223. ISSN 0178-4617. Available from: https://dx.doi.org/10.1007/s00453-018-0442-5.

FOUCAUD, Florent, Hervé HOCQUARD, Dimitry LAJOU, Valia MITSOU and Théo PIERRON. Parameterized complexity of edge-coloured and signed graph homomorphism problems. Online. In 14th International Symposium on Parameterized and Exact Computation (IPEC 2019). Munich: Dagstuhl, 2019, p. "15:1"-"15:16", 16 pp. ISBN 978-3-95977-129-0. Available from: https://dx.doi.org/10.4230/LIPIcs.IPEC.2019.15.

GAJARSKÝ, Jakub, Petr HLINĚNÝ, Martin KOUTECKÝ and Shmuel ONN. Parameterized shifted combinatorial optimization. Journal of Computer and System Sciences. SAN DIEGO: Academic Press, 2019, vol. 99, No 1, p. 53-71. ISSN 0022-0000. Available from: https://dx.doi.org/10.1016/j.jcss.2018.06.002.

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.

PATNAIK, Milan, V. KAMAKOTI, Václav MATYÁŠ and Vojtěch ŘEHÁK. PROLEMus: A Proactive Learning-Based MAC Protocol Against PUEA and SSDF Attacks in Energy Constrained Cognitive Radio Networks. IEEE Transactions on Cognitive Communications and Networking. 2019, vol. 5, No 2, p. 400-412. ISSN 2332-7731. Available from: https://dx.doi.org/10.1109/TCCN.2019.2913397.

PANČÍK, Juraj and Vít BAISA. Propaganda web crawler. 2019.

ZHAO, Shengmei, Wenhao ZHANG, Le WANG, Wei LI, Longyan GONG, Weiwen CHENG, Hanwu CHEN and Jozef GRUSKA. Propagation and self-healing properties of Bessel-Gaussian beam carrying orbital angular momentum in an underwater environment. Scientific reports. London: Nature Publishing Group, 2019, vol. 9, No 2025, p. 1-8. ISSN 2045-2322. Available from: https://dx.doi.org/10.1038/s41598-018-38409-2.

JONÁŠ, Martin and Jan STREJČEK. Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors. Online. In Isil Dillig, Serdar Tasiran. CAV 2019: Computer Aided Verification. Cham (Switzerland): Springer, 2019, p. 64-73. ISBN 978-3-030-25542-8. Available from: https://dx.doi.org/10.1007/978-3-030-25543-5_4.

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.

ROČKAI, Petr, Zuzana BARANOVÁ, Jan MRÁZEK, Katarína KEJSTOVÁ and Jiří BARNAT. Reproducible Execution of POSIX Programs with DiOS. In Peter Csaba Ölveczky and Gwen Salaün. Software Engineering and Formal Methods. 17th ed. Cham: Springer International Publishing, 2019, p. 333-349. ISBN 978-3-030-30445-4. Available from: https://dx.doi.org/10.1007/978-3-030-30446-1_18.

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-7281-4004-9. Available from: https://dx.doi.org/10.1109/IROS40897.2019.8968167.

KARRA, Shyam Lal, Kim G. LARSEN, Florian LORBER and Jiří SRBA. Safe and Time-Optimal Control for Railway Games. In RSSRail 2019: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. The Netherlands: Springer, 2019, p. 106-122. ISBN 978-3-030-18743-9. Available from: https://dx.doi.org/10.1007/978-3-030-18744-6_7.

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.

GANIAN, Robert, Petr HLINĚNÝ, Jaroslav NEŠETŘIL, Jan OBDRŽÁLEK and Patrice OSSONA DE MENDEZ. Shrub-depth: Capturing Height of Dense Graphs. Logical Methods in Computer Science. BRAUNSCHWEIG: LOGICAL METHODS COMPUTER SCIENCE E V, 2019, vol. 15, No 1, p. "7:1"-"7:25", 25 pp. ISSN 1860-5974. Available from: https://dx.doi.org/10.23638/LMCS-15(1:7)2019.

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.

ČELEDA, Pavel, Jakub ČEGAN, Kamil ANDONIADIS, Milan ČERMÁK, Jan DUDA, Vlastimil HOLER, Ľuboš HYŽÁK, Boris JADUŠ, Jakub KADAŠI, David LEŠKA, Martin MACHÁČ, Ivo NUTÁR, Radek OŠLEJŠEK, Dominik PILÁR, Tomáš PLESNÍK, Michal PROCHÁZKA, Tomáš REBOK, Vít RUSŇÁK, Miloslav STANĚK, Pavel ŠEDA, Valdemar ŠVÁBENSKÝ, Daniel TOVARŇÁK, Petr VELAN, Martin VIZVÁRY, Jan VYKOPAL and Tatiana ZBONČÁKOVÁ. Software pro simulaci obecných i kritických informačních infrastruktur (Software for simulation of generic and critical information infrastructures). 2019.

GANIAN, Robert and Sebastian ORDYNIAK. Solving Integer Linear Programs by Exploiting Variable-Constraint Interactions: A Survey. Algorithms. 2019, vol. 12, No 12, p. 1-14. ISSN 1999-4893. Available from: https://dx.doi.org/10.3390/A12120248.

EIBEN, Eduard, Robert GANIAN, Dusan KNOP and Sebastian ORDYNIAK. Solving Integer Quadratic Programming via Explicit and Structural Restrictions. Online. In Peter Stone. Proceedings of the AAAI Conference on Artificial Intelligence. USA: AAAI Press, 2019, p. 1477-1484. ISBN 978-1-57735-809-1. Available from: https://dx.doi.org/10.1609/aaai.v33i01.33011477.

ASHOK, Pranav, Tomáš BRÁZDIL, Krishnendu CHATTERJEE, Jan KŘETÍNSKÝ, Christoph LAMPERT and Viktor TOMAN. Strategy Representation by Decision Trees with Linear Classifiers. In Quantitative Evaluation of Systems (QEST 2019). Cham: Springer, 2019, p. 109-128. ISBN 978-3-030-30280-1. Available from: https://dx.doi.org/10.1007/978-3-030-30281-8_7.

ROČKAI, Petr, Henrich LAUKO, Martina OLLIARO and Agostino CORTESI. String Abstraction for Model Checking of C Programs. Online. In Fabrizio Biondi, Thomas Given-Wilson, Axel Legay. Model Checking Software. Cham: Springer International Publishing, 2019, p. 74-93. ISBN 978-3-030-30922-0. Available from: https://dx.doi.org/10.1007/978-3-030-30923-7_5.

BOENNELAND, Frederik M., Jacob DYHR, Peter G. JENSEN, Mads JOHANNSEN and Jiří SRBA. Stubborn Versus Structural Reductions for Petri Nets. Journal of Logical and Algebraic Methods in Programming. 2019, vol. 102, January 2019, p. 46-63. ISSN 2352-2208. Available from: https://dx.doi.org/10.1016/j.jlamp.2018.09.002.

DU, Shiping, Daowen QIU, Jozef GRUSKA and Paulo MATEUS. Synthesis of quantum images using phase rotation. Quantum Information Processing. New York: Springer, 2019, vol. 18, No 9, p. 1-28. ISSN 1570-0755. Available from: https://dx.doi.org/10.1007/s11128-019-2396-1.

KUNC, Michal and Jan MEITNER. The generalized rank of trace languages. International Journal of Foundations of Computer Science. Singapore: World Scientific Publishing Co Pte Ltd, 2019, vol. 30, No 1, p. 135-169. ISSN 0129-0541. Available from: https://dx.doi.org/10.1142/S0129054119400070.

EIBEN, Eduard, Robert GANIAN, Iyad KANJ and Stefan SZEIDER. The Parameterized Complexity of Cascading Portfolio Scheduling. Online. In Hanna M. Wallach and Hugo Larochelle and Alina Beygelzimer and Florence d'Alche-Buc and Emily B. Fox and Roman Garnett. Advances in Neural Information Processing Systems 32 (NIPS 2019). USA: Neural Information Processing Systems Foundation, Inc., 2019, p. 7666-7676. ISBN 978-1-7281-1044-8.

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.

KRÁĽ, Daniel, Taísa MARTINS, Péter Pál PACH and Marcin WROCHNA. The step Sidorenko property and non-norming edge-transitive graphs. Journal of Combinatorial Theory, Series A. San Diego: Academic Press, Elsevier, 2019, vol. 162, No 1, p. 34-54. ISSN 0097-3165. Available from: https://dx.doi.org/10.1016/j.jcta.2018.09.012.

GARBE, Frederik, Robert Arthur HANCOCK, Jan HLADKY and Maryam SHARIFZADEH PHD. Theory of limits of sequences of Latin squares. Acta Mathematica Universitatis Comenianae. Bratislava: Comenius University, 2019, vol. 88, No 3, p. 709-716. ISSN 0231-6986.

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.

EFFENBERGER, Tomáš. Towards Adaptive Hour of Code. Online. In Isotani S., Millán E., Ogan A., Hastings P., McLaren B., Luckin R. International Conference on Artificial Intelligence in Education. Cham: Springer, 2019, p. 339-343. ISBN 978-3-030-23206-1. Available from: https://dx.doi.org/10.1007/978-3-030-23207-8_62.

SLESZYNSKA-NOWAK, Malgorzata and Michał Karol DĘBSKI. t-Strong cliques and the degree-diameter problem. Acta Mathematica Universitatis Comenianae. Bratislava: Comenius University, 2019, vol. 88, No 3, p. 1057-1061. ISSN 0231-6986.

KNAPOVÁ, Lenka and Agáta KRUŽÍKOVÁ. User Perceptions of Usability and Security of Authentication Methods for Mobile Banking on Smartphones. In Cyberspace 2019. 2019.

NEČASOVÁ, Tereza and David SVOBODA. Visual and Quantitative Comparison of Real and Simulated Biomedical Image Data. In Laura Leal-Taixé, Stefan Roth. Computer Vision – ECCV 2018 Workshops. LNCS 11134. Munich, Germany: Springer, 2019, p. 385-394. ISBN 978-3-030-11023-9. Available from: https://dx.doi.org/10.1007/978-3-030-11024-6_28.

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.

DALSGAARD, Andreas E., Søren ENEVOLDSEN, Peter FOGH, Lasse S. JENSEN, Peter G. JENSEN, Tobias S. JEPSEN, Isabella KAUFMANN, Kim G. LARSEN, Søren M. NIELSEN, Mads Chr. OLESEN, Samuel PASTVA and Jiří SRBA. A Distributed Fixed-Point Algorithm for Extended Dependency Graphs. Fundamenta Informaticae. 2018, vol. 161, No 4, p. 351-381. ISSN 0169-2968. Available from: https://dx.doi.org/10.3233/FI-2018-1707.

KUČERA, Antonín and Richard MAYR. A generic framework for checking semantic equivalences between pushdown automata and finite-state automata. Journal of Computer and System Sciences. Academic Press, 2018, vol. 91, No 1, p. 82-103. ISSN 0022-0000. Available from: https://dx.doi.org/10.1016/j.jcss.2017.09.004.

ŠŤAVOVÁ, Vlasta, Lenka DĚDKOVÁ, Martin UKROP and Václav MATYÁŠ. A large-scale comparative study of beta testers and regular users. Communications of the ACM. New York, NY, USA: ACM, 2018, vol. 61, No 2, p. 64-71. ISSN 0001-0782. Available from: https://dx.doi.org/10.1145/3173570.

HLINĚNÝ, Petr. A Simpler Self-reduction Algorithm for Matroid Path-width. SIAM Journal on Discrete Mathematics. Philadelphia: SIAM, 2018, vol. 32, No 2, p. 1425-1440. ISSN 0895-4801. Available from: https://dx.doi.org/10.1137/17M1120129.

EIBEN, Eduard, Robert GANIAN and O-joung KWON. A single-exponential fixed-parameter algorithm for distance-hereditary vertex deletion. Journal of Computer and System Sciences. Academic Press, 2018, vol. 97, No 1, p. 121-146. ISSN 0022-0000. Available from: https://dx.doi.org/10.1016/j.jcss.2018.05.005.

EIBEN, Eduard, Robert GANIAN and Sebastian ORDYNIAK. A Structural Approach to Activity Selection. Online. In Jerome Lang. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI). USA: ijcai.org, 2018, p. 203-209. ISBN 978-0-9992411-2-7. Available from: https://dx.doi.org/10.24963/ijcai.2018/28.

JONÁŠ, Martin and Jan STREJČEK. Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers. In Bernd Fischer, Tarmo Uustalu. Theoretical Aspects of Computing – ICTAC 2018. Cham (Switzerland): Springer, 2018, p. 273-291. ISBN 978-3-030-02507-6. Available from: https://dx.doi.org/10.1007/978-3-030-02508-3_15.

NĚMEC, Lukáš, Radim OŠŤÁDAL, Václav MATYÁŠ and Petr ŠVENDA. Adaptive Secrecy Amplification with Radio Channel Key Extraction (Adaptive secrecy amplification with radio channel key extraction). Online. In Lisa O’Conner. 2018 14th International Conference on Distributed Computing in Sensor Systems (DCOSS). New York, NY, USA: IEEE, 2018, p. 123-130. ISBN 978-1-5386-5470-5. Available from: https://dx.doi.org/10.1109/DCOSS.2018.00028.

CHATTERJEE, Krishnendu, Hongfei FU, Petr NOVOTNÝ and Rouzbeh HASHEMINEZHAD. Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS (TOPLAS). NEW YORK: ACM, 2018, vol. 40, No 2, 45 pp. ISSN 0164-0925. Available from: https://dx.doi.org/10.1145/3174800.

IVANOV, Dmitry, Kim G. LARSEN, Sibylle SCHUPP and Jiří SRBA. Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems. In Proceedings of the 15th International Conference on Quantitative Evaluation of SysTems (QEST'18). Netherlands: Springer, 2018, p. 173-189. ISBN 978-3-319-99153-5. Available from: https://dx.doi.org/10.1007/978-3-319-99154-2_11.

KLAŠKA, David, Antonín KUČERA, Tomáš LAMSER and Vojtěch ŘEHÁK. Automatic Synthesis of Efficient Regular Strategies in Adversarial Patrolling Games. Online. In Proceedings of the 2018 International Conference on Autonomous Agents & Multiagent Systems. Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems, 2018, p. 659-666. ISBN 978-1-5108-6808-3. Available from: https://dx.doi.org/10.5555/3237383.3237481.

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.

BLONDIN, Michael, Javier ESPARZA, Stefan JAAX and Antonín KUČERA. Black Ninjas in the Dark: Formal Analysis of Population Protocols. In Anuj Dawar, Erich Gradel. 2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Oxford, England: ACM, 2018, p. 1-10. ISBN 978-1-4503-5583-4. Available from: https://dx.doi.org/10.1145/3209108.3209110.

KŘETÍNSKÝ, Jan and Tobias MEGGENDORFER. Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes. Online. In Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '18). New York, NY, USA: ACM, 2018, p. 609-618. ISBN 978-1-4503-5583-4. Available from: https://dx.doi.org/10.1145/3209108.3209176.

ROY, Bodhayan, Kamyar KHODAMORADI and Ramesh KRISHNAMURTI. Consistent Subset Problem with Two Labels. In Algorithms and Discrete Applied Mathematics, CALDAM 2018. CALDAM 2018. Cham: Springer, 2018, p. 131-142. ISBN 978-3-319-74179-6. Available from: https://dx.doi.org/10.1007/978-3-319-74180-2_11.

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.

CHALUPA, Marek, Krishnendu CHATTERJEE, Andreas PAVLOGIANNIS, Nishant SINHA and Kapil VAIDYA. Data-centric Dynamic Partial Order Reduction. In Proceedings of Symposium on Principles of Programming Languages 2018. New York: ACM, 2018, p. 1-30. ISSN 2475-1421. Available from: https://dx.doi.org/10.1145/3158119.

HLINĚNÝ, Petr and Carsten THOMASSEN. Deciding Parity of Graph Crossing Number. SIAM Journal on Discrete Mathematics. Philadelphia: SIAM, 2018, vol. 32, No 3, p. 1962-1965. ISSN 0895-4801. Available from: https://dx.doi.org/10.1137/17M1137231.

JENSEN, Peter G., Kim G. LARSEN and Jiří SRBA. Discrete and Continuous Strategies for Timed-Arc Petri Net Games. International Journal on Software Tools for Technology Transfer (STTT). Springer, 2018, vol. 20, No 5, p. 529-546. ISSN 1433-2779. Available from: https://dx.doi.org/10.1007/s10009-017-0473-2.

ROČKAI, Petr, Vladimír ŠTILL, Ivana ČERNÁ and Jiří BARNAT. DiVM: Model checking with LLVM and graph memory. Journal of Systems and Software. Elsevier, 2018, vol. 143, Oct, p. 1-13. ISSN 0164-1212. Available from: https://dx.doi.org/10.1016/j.jss.2018.04.026.

TROJÁK, Matej, David ŠAFRÁNEK, Jakub HRABEC, Jakub ŠALAGOVIČ, Jan ČERVENÝ, Matej HAJNAL, Lukrécia MERTOVÁ, Katarína PALUBOVÁ and Marek HAVLÍK. E-cyanobacterium.org: A Web-based Platform for Systems Biology of Cyanobacteria. In 16th International Conference on Computational Methods in Systems Biology. 2018.

REN, Hongdou, Shengmei ZHAO and Jozef GRUSKA. Edge detection based on single-pixel imaging. Optics Express. 2018, vol. 26, No 5, p. 5501-5511. ISSN 1094-4087. Available from: https://dx.doi.org/10.1364/OE.26.005501.

BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Antonín KUČERA, Petr NOVOTNÝ, Dominik VELAN and Florian ZULEGER. Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. In Anuj Dawar, Erich Gradel. 2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Oxford, England: ACM, 2018, p. 185-194. ISBN 978-1-4503-5583-4. Available from: https://dx.doi.org/10.1145/3209108.3209191.

NĚMEC, Lukáš, Radim OŠŤÁDAL, Václav MATYÁŠ and Petr ŠVENDA. Entropy crowdsourcing - protocols for link key updates in wireless sensor networks. In Security Protocols XXVI: 26th International Workshop. Cham, Switzerland: Springer International Publishing, 2018, p. 84-92. ISBN 978-3-030-03250-0. Available from: https://dx.doi.org/10.1007/978-3-030-03251-7_9.

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.

CHATTERJEE, Krishnendu, Adrián ELGYUTT, Petr NOVOTNÝ and Owen ROUILLÉ. Expectation Optimization with Probabilistic Guarantees in POMDPs with Discounted-Sum Objectives. Online. In Jerome Lang. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI 2018). ijcai.org, 2018, p. 4692--4699, 7 pp. ISBN 978-0-9992411-2-7. Available from: https://dx.doi.org/10.24963/ijcai.2018/652.

ŠŤAVOVÁ, Vlasta, Lenka DĚDKOVÁ, Václav MATYÁŠ, Mike JUST, David ŠMAHEL and Martin UKROP. Experimental large-scale review of attractors for detection of potentially unwanted applications. Computers & Security. Oxford: Elsevier, 2018, vol. 76, July, p. 92-100. ISSN 0167-4048. Available from: https://dx.doi.org/10.1016/j.cose.2018.02.017.

BENDÍK, Jaroslav, Nikola BENEŠ and Ivana ČERNÁ. Finding Regressions in Projects under Version Control Systems. In Leszek A. Maciaszek and Marten van Sinderen. 13th International Conference on Software Technologies. Porto: SciTePress, 2018, p. 152-163. ISBN 978-989-758-320-9. Available from: https://dx.doi.org/10.5220/0006864401520163.

COOPER, Jacob, Daniel KRÁĽ and TL MARTINS. Finitely forcible graph limits are universal. Advances in Mathematics. SAN DIEGO: ACADEMIC PRESS INC ELSEVIER SCIENCE, 2018, vol. 340, December, p. 819-854. ISSN 0001-8708. Available from: https://dx.doi.org/10.1016/j.aim.2018.10.019.

HLINĚNÝ, Petr, Filip POKRÝVKA and Bodhayan ROY. FO model checking of geometric graphs. Online. In 12th International Symposium on Parameterized and Exact Computation (IPEC 2017). LIPIcs 89. Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2018, p. "19:1"-"19:12", 12 pp. ISBN 978-3-95977-051-4. Available from: https://dx.doi.org/10.4230/LIPIcs.IPEC.2017.19.

BENEŠ, Nikola, Luboš BRIM, Jan ČERVENÝ, Samuel PASTVA, David ŠAFRÁNEK, Jakub ŠALAGOVIČ and Matej TROJÁK. Fully Automated Attractor Analysis of Cyanobacteria Models. In Marian Barbu, Răzvan Şolea, Adrian Filipescu. 22nd International Conference on System Theory, Control and Computing. Neuveden: IEEE, 2018, p. 354-359. ISBN 978-1-5386-4444-7. Available from: https://dx.doi.org/10.1109/ICSTCC.2018.8540762.

XU, Guoliang, Daowen QIU, Xiangfu ZOU and Jozef GRUSKA. Improving the Success Probability for Shor’s Factorization Algorithm. In Reversibility and Universality. Cham, Switzerland: Springer, 2018, p. 447-462. ISBN 978-3-319-73215-2. Available from: https://dx.doi.org/10.1007/978-3-319-73216-9_21.

BISHOI, Susil Kumar and Václav MATYÁŠ. Investigating results and performance of search and construction algorithms for word-based LFSRs, \sigma-LFSRs. Discrete Applied Mathematics. Elsevier B.V., 2018, vol. 243, July, p. 90-98. ISSN 0166-218X. Available from: https://dx.doi.org/10.1016/j.dam.2018.01.010.

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.

CHOMSKY, Noam+ and Jiří ZLATUŠKA. Jakými tvory jsme? (What kind of creatures are we?). Praha: Academia, 2018, 141 pp. XXI. století. ISBN 978-80-200-2804-4.

CHALUPA, Marek, Jan STREJČEK and Martina VITOVSKÁ. Joint Forces for Memory Safety Checking. In María-del-Mar Gallardo and Pedro Merino. Model Checking Software. SPIN 2018. Cham, Švýcarsko: Springer, 2018, p. 115-132. ISBN 978-3-319-94110-3. Available from: https://dx.doi.org/10.1007/978-3-319-94111-0_7.

PIVOLUSKA, Matej, Marcus HUBER and Mehul MALIK. Layered quantum key distribution. Physical Review A. 2018, vol. 97, No 3, p. "032312:1"-"032312:10", 10 pp. ISSN 2469-9926. Available from: https://dx.doi.org/10.1103/PhysRevA.97.032312.

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.

AGRAWAL, Sheshansh, Krishnendu CHATTERJEE and Petr NOVOTNÝ. Lexicographic ranking supermartingales: an efficient approach to termination of probabilistic programs. In PACMPL (Proceedings of POPL'18). New York, NY, USA: ACM, 2018, p. "34:1--34:32", 32 pp. ISSN 2475-1421.

KORDON, F., H. GARAVEL, L.-M. HILLAH, E. PAVIOT-ADET, L. JEZEQUEL, F. HULIN-HUBARD, E.G. AMPARORE, M. BECCUTI, B. BERTOMIEU, H. EVRARD, P. JENSEN, D. LE BOTLAN, T. LIEBKE, J. MEIJER, Jiří SRBA, Y. THIERRY-MIEG, J. van de POL and K. WOLF. MCC'2017 - The Seventh Model Checking Contest. In Transactions on Petri Nets and Other Models of Concurrency XIII. Berlin, Heidelberg: Springer, 2018, p. 181-209. ISBN 978-3-662-58380-7. Available from: https://dx.doi.org/10.1007/978-3-662-58381-4_9.

EIBEN, Eduard, Robert GANIAN and Stefan SZEIDER. Meta-kernelization using well-structured modulators. Discrete Applied Mathematics. Elsevier Science, 2018, vol. 248, No 1, p. 153-167. ISSN 0166-218X. Available from: https://dx.doi.org/10.1016/j.dam.2017.09.018.

ŠTILL, Vladimír and Jiří BARNAT. Model Checking of C++ Programs Under the x86-TSO Memory Model. In Jing Sun, Meng Sun. Formal Methods and Software Engineering. Cham: Springer, 2018, p. 124-140. ISBN 978-3-030-02449-9. Available from: https://dx.doi.org/10.1007/978-3-030-02450-5_8.

DAŇA, Josef and Jaroslav RÁČEK. Modeling and Simulating Cooperation in Organizations. Online. In Jan Ministr, Milena Tvrdíková. Proceedings of the 21 stInternational Conference on Information Technology for Practice. Ostrava: VŠB, 2018, p. 79-84. ISBN 978-80-248-4196-0.

ASHOK, Pranav, Tomáš BRÁZDIL, Jan KŘETÍNSKÝ and Ondřej SLÁMEČKA. Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes. In Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018). Cham: Springer, 2018, p. 322-335. ISBN 978-3-030-03420-7. Available from: https://dx.doi.org/10.1007/978-3-030-03421-4_21.

BEZDĚK, Peter, Nikola BENEŠ, Ivana ČERNÁ and Jiří BARNAT. On clock-aware LTL parameter synthesis of timed automata. Journal of Logical and Algebraic Methods in Programming. ELSEVIER SCIENCE INC, 360 PARK AVE SOUTH: Elsevier, 2018, vol. 99, Oct, p. 114-142. ISSN 2352-2208. Available from: https://dx.doi.org/10.1016/j.jlamp.2018.05.004.

CAGIRICI, Onur, Petr HLINĚNÝ and Bodhayan ROY. On Colourability of Polygon Visibility Graphs. Online. In 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017). LIPIcs 93. Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2018, p. "21:1"-"21:14", 14 pp. ISBN 978-3-95977-055-2. Available from: https://dx.doi.org/10.4230/LIPIcs.FSTTCS.2017.21.

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.

EIBEN, Eduard, Robert GANIAN and Juho LAURI. On the complexity of rainbow coloring problems. Discrete Applied Mathematics. Elsevier Science, 2018, vol. 246, No 1, p. 38-48. ISSN 0166-218X. Available from: https://dx.doi.org/10.1016/j.dam.2016.10.021.

JONÁŠ, Martin and Jan STREJČEK. On the complexity of the quantified bit-vector arithmetic with binary encoding. Information Processing Letters. Elsevier, 2018, vol. 135, červenec 2018, p. 57-61. ISSN 0020-0190. Available from: https://dx.doi.org/10.1016/j.ipl.2018.02.018.

BENDÍK, Jaroslav, Elaheh GHASSABANI, Michael WHALEN and Ivana ČERNÁ. Online Enumeration of All Minimal Inductive Validity Cores. In Einar Broch Johnsen and Ina Schaefer. Software Engineering and Formal Methods - 16th International Conference. LNCS 10886. Neuveden: Springer International Publishing, 2018, p. 189-204. ISBN 978-3-319-92969-9. Available from: https://dx.doi.org/10.1007/978-3-319-92970-5_12.

COOPER, Jacob, Andrzej GRZESIK and Daniel KRÁĽ. Optimal-size clique transversals in chordal graphs. Journal of Graph Theory. Wiley, 2018, vol. 89, No 4, p. 479-493. ISSN 0364-9024. Available from: https://dx.doi.org/10.1002/jgt.22362.

GANIAN, Robert, Iyad KANJ, Sebastian ORDYNIAK and Stefan SZEIDER. Parameterized Algorithms for the Matrix Completion Problem. Online. In Jennifer G. Dy, Andreas Krause. Proceedings of the 35th International Conference on Machine Learning (ICML). USA: PMLR, 2018, p. 1642-1651. ISBN 978-1-5108-6796-3.

GAJARSKÝ, Jakub, Petr HLINĚNÝ and Hans Raj TIWARY. Parameterized Extension Complexity of Independent Set and Related Problems. Discrete Applied Mathematics. Elsevier Science, 2018, vol. 248, SI, p. 56-67. ISSN 0166-218X. Available from: https://dx.doi.org/10.1016/j.dam.2017.04.042.

DEMKO, Martin, Samuel PASTVA, David ŠAFRÁNEK, Nikola BENEŠ and Luboš BRIM. PITHYA. 2018.

SCHMID, Stefan and Jiří SRBA. Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks. Online. In IEEE International Conference on Computer Communications (INFOCOM'18). USA: IEEE, 2018, p. 1799-1807. ISBN 978-1-5386-4128-6. Available from: https://dx.doi.org/10.1109/INFOCOM.2018.8486261.

BROŽ, Milan, Mikuláš PATOČKA and Václav MATYÁŠ. Practical Cryptographic Data Integrity Protection with Full Disk Encryption. In Janczewski L., Kutyłowski M. 2018 IFIP International Conference on ICT Systems Security and Privacy Protection. Cham: Springer, 2018, p. 79-93. ISBN 978-3-319-99827-5. Available from: https://dx.doi.org/10.1007/978-3-319-99828-2_6.

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.

MATYÁŠ, Václav, Petr ŠVENDA, Frank STAJANO, Bruce CHRISTIANSON and Jonathan ANDERSON. Security Protocols XXVI: 26th International Workshop. Cham: Springer, 2018. ISBN 978-3-030-03250-0. Available from: https://dx.doi.org/10.1007/978-3-030-03251-7.

BOENNELAND, F.M., J. DYHR, P.G. JENSEN, M. JOHANNSEN and Jiří SRBA. Simplification of CTL Formulae for Efficient Model Checking of Petri Nets. In Proceedings of the 39th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets'18). Holland: Springer-Verlag, 2018, p. 143-163. ISBN 978-3-319-91267-7. Available from: https://dx.doi.org/10.1007/978-3-319-91268-4_8.

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áš, Antonín KUČERA and Vojtěch ŘEHÁK. Solving Patrolling Problems in the Internet Environment. Online. In Jerome Lang. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden. Neuveden: International Joint Conferences on Artificial Intelligence, 2018, p. 121-127. ISBN 978-0-9992411-2-7. Available from: https://dx.doi.org/10.24963/ijcai.2018/17.

EIBEN, Eduard, Robert GANIAN and Stefan SZEIDER. Solving Problems on Graphs of High Rank-Width. Algorithmica. Springer, 2018, vol. 80, No 2, p. 742-771. ISSN 0178-4617. Available from: https://dx.doi.org/10.1007/s00453-017-0290-8.

BOENNELAND, Frederik M., Peter G. JENSEN, Kim G. LARSEN, Marco MUNIZ and Jiří SRBA. Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems. In Proceedings of the 30th International Conference on Computer Aided Verification (CAV'18). Netherlands: Springer, 2018, p. 527-546. ISBN 978-3-319-96144-6. Available from: https://dx.doi.org/10.1007/978-3-319-96145-3_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.

GANIAN, Robert, Eunjung KIM, Friedrich SLIVOVSKY and Stefan SZEIDER. Sum-of-Products with Default Values: Algorithms and Complexity Results. Online. In Lefteri H. Tsoukalas, Eric Gregoire, Miltiadis Alamaniotis. IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI). USA: IEEE, 2018, p. 733-737. ISBN 978-1-5386-7449-9. Available from: https://dx.doi.org/10.1109/ICTAI.2018.00115.

CHALUPA, Marek, Martina VITOVSKÁ and Jan STREJČEK. Symbiotic 5: Boosted Instrumentation (Competition Contribution). In Dirk Beyer and Marieke Huisman. Tools and Algorithms for the Construction and Analysis of Systems, 24th International Conference, Proceedings, Part II. Berlin: Springer, 2018, p. 442-446. ISBN 978-3-319-89963-3. Available from: https://dx.doi.org/10.1007/978-3-319-89963-3_29.

LAUKO, Henrich, Petr ROČKAI and Jiří BARNAT. Symbolic Computation via Program Transformation. In Bernd Fischer, Tarmo Uustalu. Theoretical Aspects of Computing – ICTAC 2018. Cham (Switzerland): Springer, 2018, p. 313-332. ISBN 978-3-030-02507-6. Available from: https://dx.doi.org/10.1007/978-3-030-02508-3_17.

GANIAN, Robert and Sebastian ORDYNIAK. The complexity landscape of decompositional parameters for ILP. ARTIFICIAL INTELLIGENCE. Elsevier Science, 2018, vol. 257, No 1, p. 61-71. ISSN 0004-3702. Available from: https://dx.doi.org/10.1016/j.artint.2017.12.006.

ALMEIDA, Jorge, Ondřej KLÍMA and Michal KUNC. The omega-inequality problem for concatenation hierarchies of star-free languages. Forum Mathematicum. 2018, vol. 30, No 3, p. 663-679. ISSN 0933-7741. Available from: https://dx.doi.org/10.1515/forum-2016-0028.

KRÁĽ, Daniel, R THOMAS and Zdenek DVORAK. Three-coloring triangle-free graphs on surfaces II. 4-critical graphs in a disk. JOURNAL OF COMBINATORIAL THEORY SERIES B. SAN DIEGO: ACADEMIC PRESS INC ELSEVIER SCIENCE, 2018, vol. 132, p. 1-46. ISSN 0095-8956. Available from: https://dx.doi.org/10.1016/j.jctb.2018.03.001.

ALMEIDA, Jorge and Ondřej KLÍMA. Towards a pseudoequational proof theory. Portugaliae mathematica. Lisboa, 2018, vol. 75, No 2, p. 79-119. ISSN 0032-5155. Available from: https://dx.doi.org/10.4171/PM/2012.

EIBEN, Eduard, Robert GANIAN, Dusan KNOP and Sebastian ORDYNIAK. Unary Integer Linear Programming with Structural Restrictions. Online. In Jerome Lang. Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. USA: ijcai.org, 2018, p. 1284-1290. ISBN 978-0-9992411-2-7. Available from: https://dx.doi.org/10.24963/ijcai.2018/179.

ZLATUŠKA, Jiří. University-Industry Co-operation. In SMU Global Forum 2018. 2018.

ŠTĚPÁNEK, Petr and Mouzhi GE. Validation and Extension of the Smart City Ontology. Online. In Proceedings of the 20th International Conference on Enterprise Information Systems - Volume 2: ICEIS. Madeira, Portugal: SciTePress, 2018, p. 406-413. ISBN 978-989-758-298-1. Available from: https://dx.doi.org/10.5220/0006818304060413.

KELMENDI, Edon, Julia KRÄMER, Jan KŘETÍNSKÝ and Maximilian WEININGER. Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm. In Computer Aided Verification (CAV 2018). Cham: Springer, 2018, p. 623-642. ISBN 978-3-319-96144-6. Available from: https://dx.doi.org/10.1007/978-3-319-96145-3_36.

COOPER, Jacob, Tomáš KAISER, Daniel KRÁĽ and Jonathan NOEL. Weak regularity and finitely forcible graph limits. Transactions of the American Mathematical Society. American Mathematical Society, 2018, vol. 370, No 6, p. 3833-3864. ISSN 0002-9947. Available from: https://dx.doi.org/10.1090/tran/7066.

UKROP, Martin and Václav MATYÁŠ. Why Johnny the Developer Can't Work with Public Key Certificates: An Experimental Study of OpenSSL Usability. In Nigel P. Smart. Topics in Cryptology – CT-RSA 2018: The Cryptographers' Track at the RSA Conference 2018. Švýcarsko: Springer International Publishing, 2018, p. 45-64. ISBN 978-3-319-76952-3. Available from: https://dx.doi.org/10.1007/978-3-319-76953-0_3.

CHIMANI, Markus and Petr HLINĚNÝ. A tighter insertion-based approximation of the crossing number. Journal of Combinatorial Optimization. Springer, 2017, vol. 33, No 4, p. 1183-1225. ISSN 1382-6905. Available from: https://dx.doi.org/10.1007/s10878-016-0030-z.

SÝS, Marek, Zdeněk ŘÍHA and Václav MATYÁŠ. Algorithm 970: Optimizing the NIST Statistical Test Suite and the Berlekamp-Massey Algorithm. ACM Transactions on Mathematical Software. Association for Computing Machinery, 2017, vol. 43, No 3, p. 27-37. ISSN 0098-3500. Available from: https://dx.doi.org/10.1145/2988228.

JANKŮJOVÁ, Marie, David POTĚŠIL, Zbyněk ZDRÁHAL, Martin DEMKO, Jan OPPELT, Martin KAŠNÝ and Jaroslav VADLEJCH. Analysis of gene expression and protein synthesis related to hypobiosis of Teladorsagia circumcincta. In The 26th International Conference of the World Association for the Advancement of Veterinary Parasitology. 2017.

BYSTRÝ, Vojtěch, Tomáš REIGL, Adam KREJČÍ, Martin DEMKO, Barbora HANÁKOVÁ, Andrea GRIONI, Henrik KNECHT, Max SCHLITT, Peter DREGER, Leopold SELLNER, Dietrich HERRMANN, Marine PINGEON, Myriam BOUDJOGHRA, Jos RIJNTJES, Christiane POTT, Anton W. LANGERAK, Patricia J. T. A. GROENEN, Frederic DAVI, Monika BRUGGEMANN and Nikos DARZENTAS. ARResT/Interrogate: an interactive immunoprofiler for IG/TR NGS data. Bioinformatics. Oxford: Oxford University Press, 2017, vol. 33, No 3, p. 435-437. ISSN 1367-4803. Available from: https://dx.doi.org/10.1093/bioinformatics/btw634.

STEHLÍK, Martin, Václav MATYÁŠ and Andriy STETSKO. Attack Detection Using Evolutionary Computation. In Abraham, Ajith, Falcon, Rafael, Koeppen, Mario. Computational Intelligence in Wireless Sensor Networks. Germany: Springer International Publishing, 2017, p. 99-129. Studies in Computational Intelligence. ISBN 978-3-319-47713-8. Available from: https://dx.doi.org/10.1007/978-3-319-47715-2_5.

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.

TROJÁK, Matej, David ŠAFRÁNEK and Jakub ŠALAGOVIČ. BCSgen: Biochemical Space language software tool. 2017.

TROJÁK, Matej, David ŠAFRÁNEK, Jakub ŠALAGOVIČ, Františka ROMANOVSKÁ and Matej HAJNAL. Biochemical Space: A framework for formal description and annotation of complex biological processes. In Computational Modeling in Biology Network meeting (COMBINE 2017). 2017.

TROJÁK, Matej, David ŠAFRÁNEK, Jakub ŠALAGOVIČ, Františka ROMANOVSKÁ and Matej HAJNAL. Biochemical Space: A Framework for Formal Description and Annotation of Complex Biological Processes. In The 8th International Workshop on Static Analysis for Systems Biology. 2017.

MAJENZ, Christian, Mario BERTA, Frédéric DUPONT DUPUIS, Renato RENNER and Matthias CHRISTANDL. Catalytic decoupling of quantum information. Physical Review Letters. American Physical Society, 2017, vol. 118, No 8, p. 1-6. ISSN 0031-9007. Available from: https://dx.doi.org/10.1103/PhysRevLett.118.080503.

SEDLÁČEK, Vladimír. Circular units of real abelian fields with four ramified primes. Archivum Mathematicum. Brno: Masaryk University, 2017, vol. 53, No 4, p. 221-252. ISSN 1212-5059. Available from: https://dx.doi.org/10.5817/AM2017-4-221.

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.

BENDÍK, Jaroslav. Consistency Checking in Requirements Analysis. Online. In Tevfik Bultan, Koushik Sen. Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2017. 26th ed. NY, USA: ACM New York, 2017, p. 408-411. ISBN 978-1-4503-5076-1. Available from: https://dx.doi.org/10.1145/3092703.3098239.

BRIM, Luboš, Jiří BARNAT, David ŠAFRÁNEK, Nikola BENEŠ, Martin DEMKO, Samuel PASTVA and Matej HAJNAL. Detecting Attractors in Biological Models with Uncertain Parameters. In Jérôme Feret and Heinz Koeppl. Computational Methods in Systems Biology. CMSB 2017. LNCS 10545. Cham: Springer International Publishing, 2017, p. 40-56. ISBN 978-3-319-67470-4. Available from: https://dx.doi.org/10.1007/978-3-319-67471-1_3.

GANIAN, Robert, Stefan SZEIDER and M.S. RAMANUJAN. Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting. ACM Transactions on Algorithms. USA: ACM, 2017, vol. 13, No 2, p. 1-32. ISSN 1549-6325. Available from: https://dx.doi.org/10.1145/3014587.

PASTVA, Samuel. Discrete Bifurcation Analysis of Reactive Systems. In FMCAD. 2017.

BENEŠ, Nikola, Luboš BRIM, Martin DEMKO, Matej HAJNAL, Samuel PASTVA and David ŠAFRÁNEK. Discrete Bifurcation Analysis with Pithya. In Feret J. et al. 15th International Conference on Computational Methods in Systems Biology (CMSB). LNCS 10545. Cham: Springer, 2017, p. 319-320. ISBN 978-3-319-67470-4.

FILIPPOV, Sergey N., Yirki PIILO, Sabrina MANISCALCO and Mário ZIMAN. Divisibility of quantum dynamical maps and collision models. Physical Review A. 2017, vol. 96, No 3, p. "032111-1"-"032111-13", 13 pp. ISSN 2469-9926. Available from: https://dx.doi.org/10.1103/PhysRevA.96.032111.

TROJÁK, Matej, David ŠAFRÁNEK, Jakub HRABEC, Jakub ŠALAGOVIČ, Františka ROMANOVSKÁ, Matej HAJNAL and Jan ČERVENÝ. E-cyanobacterium.org: A Web-based Platform for Systems Biology of Cyanobacteria. In International Conference on Systems Biology 2017. 2017.

TROJÁK, Matej, David ŠAFRÁNEK, Jakub HRABEC, Jakub ŠALAGOVIČ, Františka ROMANOVSKÁ, Matej HAJNAL and Jan ČERVENÝ. E-cyanobacterium.org: A Web-based Platform for Systems Biology of Cyanobacteria. In The Biomania Student Scientific Meeting 2017. 2017.

TROJÁK, Matej, David ŠAFRÁNEK, Jakub HRABEC, Jakub ŠALAGOVIČ, Františka ROMANOVSKÁ, Matej HAJNAL and Jan ČERVENÝ. E-cyanobacterium.org: A Web-based Platform for Systems Biology of Cyanobacteria. In Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 2017.

RÁČEK, Jaroslav and Josef DAŇA. Expert System for Insurance Data Fraud Detection. In Jan Ministr, Milena Tvrdíková. Proeceedings of the 20th International Conference on Information Technology for Practice. Ostrava: VŠB - Technical University Ostrava, 2017, p. 167-171. ISBN 978-80-248-4089-5.

DALSGAARD, Andreas E., Søren ENEVOLDSEN, Peter FOGH, Lasse S. JENSEN, Tobias S. JEPSEN, Isabella KAUFMANN, Kim G. LARSEN, Søren M. NIELSEN, Mads Chr. OLESEN, Samuel PASTVA and Jiří SRBA. Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation. In van der Aalst, Wil and Best, Eike. Petri Nets 2017. Holandsko: Springer International Publishing, 2017, p. 139-158. ISBN 978-3-319-57860-6. Available from: https://dx.doi.org/10.1007/978-3-319-57861-3_10.

ŠŤAVOVÁ, Vlasta, Václav MATYÁŠ, Mike JUST and Martin UKROP. Factors Influencing the Purchase of Security Software for Mobile Devices - Case Study. Infocommunications Journal. Scientific Association for Infocommunications, 2017, vol. 9, No 1, p. 18-23. ISSN 2061-2079.

GAJARSKÝ, Jakub, Petr HLINĚNÝ, Tomáš KAISER, Daniel KRÁĽ, Martin KUPEC, Jan OBDRŽÁLEK, Sebastian ORDYNIAK and Vojtěch TŮMA. First order limits of sparse graphs: Plane trees and path-width. Random Structures & Algorithms. Wiley, 2017, vol. 50, No 4, p. 612-635. ISSN 1042-9832. Available from: https://dx.doi.org/10.1002/rsa.20676.

KEJSTOVÁ, Katarína, Petr ROČKAI and Jiří BARNAT. From Model Checking to Runtime Verification and Back. In Shuvendu Lahiri, Giles Reger. Runtime Verification - 17th International Conference, RV 2017. neuvedeno: Springer, 2017, p. 225-240. ISBN 978-3-319-67530-5. Available from: https://dx.doi.org/10.1007/978-3-319-67531-2_14.

GRUSKA, Jozef, Daowen QIU and Shenggen ZHENG. Generalizations of the distributed Deutsch-Jozsa promise problem. Mathematical Structures in Computer Science. Cambridge University Press, 2017, vol. 27, No 3, p. 311-331. ISSN 0960-1295. Available from: https://dx.doi.org/10.1017/S0960129515000158.

PÁL, Karol, Vojtěch BYSTRÝ, Tomáš REIGL, Martin DEMKO, Adam KREJČÍ, T. TOULOUMENIDOU, E. STALIKA, Boris TICHÝ, P. GHIA, K. STAMATOPOULOS, Šárka POSPÍŠILOVÁ, Jitka MALČÍKOVÁ and Nikos DARZENTAS. GLASS. 2017.

PÁL, Karol, Vojtěch BYSTRÝ, Tomáš REIGL, Martin DEMKO, Adam KREJČÍ, T. TOULOUMENIDOU, E. STALIKA, Boris TICHÝ, P. GHIA, K. STAMATOPOULOS, Šárka POSPÍŠILOVÁ, Jitka MALČÍKOVÁ and Nikos DARZENTAS. GLASS: assisted and standardized assessment of gene variations from Sanger sequence trace data. Bioinformatics. Oxford: Oxford University Press, 2017, vol. 33, No 23, p. 3802-3804. ISSN 1367-4803. Available from: https://dx.doi.org/10.1093/bioinformatics/btx423.

PÁL, Karol, Vojtěch BYSTRÝ, Tomáš REIGL, Martin DEMKO, Adam KREJČÍ, Boris TICHÝ, Šárka POSPÍŠILOVÁ, Jitka MALČÍKOVÁ and Nikos DARZENTAS. GLASS: assisted and standardized assessment of gene variations from Sanger sequence trace data. In CEITEC PHD RETREAT II, Telč. 2017.

PÁL, Karol, Vojtěch BYSTRÝ, Tomáš REIGL, Martin DEMKO, Adam KREJČÍ, Boris TICHÝ, Šárka POSPÍŠILOVÁ, Jitka MALČÍKOVÁ and Nikos DARZENTAS. GLASS:assisted and standardized assessment of gene variations from Sanger sequence trace data. (GLASS: assisted and standardized assessment of gene variations from Sanger sequence trace data.). In Curie-Pasteur-CEITEC joint young scientist retreat. 2017.

GANIAN, Robert, M.S. RAMANUJAN and Sebastian ORDYNIAK. Going Beyond Primal Treewidth for {(M)ILP}. Online. In Satinder P. Singh; Shaul Markovitch. Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA. USA: AAAI, 2017, p. 815-821. ISBN 978-1-57735-781-0.

ŠTĚPÁNEK, Petr, Mouzhi GE and Leonard WALLETZKÝ. IT-enabled Digital Service Design Principles - Lessons Learned from Digital Cities. Online. In Themistocleous, Marinos, Morabito, Vincenzo. Proceedings of the 14th European Mediterranean & Middle Eastern Conference on Information Systems. Coimbra, Portugal: Springer, 2017, p. 186-196. ISBN 978-3-319-65929-9. Available from: https://dx.doi.org/10.1007/978-3-319-65930-5_15.

GAJARSKÝ, Jakub, Petr HLINĚNÝ, Jan OBDRŽÁLEK, Sebastian ORDYNIAK, Felix REIDL, Peter ROSSMANITH, Fernando VILLAAMIL and Somnath SIKDAR. Kernelization using structural parameters on sparse graph classes. Journal of Computer and System Sciences. SAN DIEGO: Elsevier, 2017, vol. 84, No 1, p. 219-242. ISSN 0022-0000. Available from: https://dx.doi.org/10.1016/j.jcss.2016.09.002.

ANTLOVÁ, Klára, Petra RYDVALOVÁ and Lubomír POPELÍNSKÝ. Knowledge-based System for Assessing Vitality of Family Businesses in the Czech Republic. In Aleš Kocourek. Proceedings of 13th Liberec Economic Forum. Liberec: Technical University of Liberec, 2017, p. 181-187. ISBN 978-80-7494-349-2.

BAIER, Christel, Clemens DUBSLAFF, Ľuboš KORENČIAK, Antonín KUČERA and Vojtěch ŘEHÁK. Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms. In Nathalie Bertrand, Luca Bortolussi. Quantitative Evaluation of Systems. Cham: Springer, 2017, p. 190-206. ISBN 978-3-319-66334-0. Available from: https://dx.doi.org/10.1007/978-3-319-66335-7_12.

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.

BENEŠ, Nikola, Luboš BRIM, Martin DEMKO, David ŠAFRÁNEK, Samuel PASTVA and Matej HAJNAL. Model Checking Approach to Discrete Bifurcation Analysis. In Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 2017.

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.

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.

CAGIRICI, Onur, Leonardo CASUSO, Medina CAROLINA, Miguel RAGGI, Edgardo ROLDAN-PENSADO, Gelasio SALAZAR and Jorge URRUTIA. On upward straight-line embeddings of oriented paths. In EGC 2017, XVII Spanish Meeting on Computational Geometry. 2017, p. 49-52.

MRÁZEK, Jan, Martin JONÁŠ, Vladimír ŠTILL, Henrich LAUKO and Jiří BARNAT. Optimizing and Caching SMT Queries in SymDIVINE (Competition Contribution). In Axel Legay, Tiziana Margaria. Tools and Algorithms for the Construction and Analysis of Systems, 23rd International Conference, TACAS 2017, Part II. Berlin, Heidelberg: Springer, 2017, p. 390-393. ISBN 978-3-662-54579-9. Available from: https://dx.doi.org/10.1007/978-3-662-54580-5_29.

PASTVA, Samuel. Parallel Algorithm for Terminal Components Detection in Parametrised Transition Systems. In YR-CONCUR. 2017.

BRIM, Luboš, David ŠAFRÁNEK, Nikola BENEŠ, Martin DEMKO, Samuel PASTVA and Matej HAJNAL. Parameter Synthesis of Biological Models by Model Checking: A Case Study. In 4th International Synthetic & Systems Biology Summer School. SSBSS 2017. 2017.

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.

BENEŠ, Nikola, Luboš BRIM, Martin DEMKO, Samuel PASTVA and David ŠAFRÁNEK. Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-Affine Dynamical Systems. In Rupak Majumdar and Viktor Kunčak. Computer Aided Verification. CAV 2017. LNCS 10426. Cham: Springer International Publishing, 2017, p. 591-598. ISBN 978-3-319-63386-2. Available from: https://dx.doi.org/10.1007/978-3-319-63387-9_29.

BRIM, Luboš, Nikola BENEŠ, David ŠAFRÁNEK, Martin DEMKO, Samuel PASTVA and Matej HAJNAL. PITHYA: High-Performance Parameter Synthesis for Biological Models. In Intelligent Systems for Molecular Biology and European Conference on Computational Biology. ISMB/ECCB 2017. 2017.

BRÁZDIL, Tomáš, Ezio BARTOCCI, Dimitrios MILIOS, Guido SANGUINETTI and Luca BORTOLUSSI. Policy learning in continuous-time Markov decision processes using Gaussian Processes. Performance Evaluation. 2017, vol. 116, No 1, p. 84-100. ISSN 0166-5316. Available from: https://dx.doi.org/10.1016/j.peva.2017.08.007.

ČEŠKA, Milan, Frits DANNENBERG, Nicola PAOLETTI, Marta KWIATKOWSKA and Luboš BRIM. Precise parameter synthesis for stochastic biochemical systems. Acta informatica. Berlin: Springer-Verlag, 2017, vol. 54, No 6, p. 589-623. ISSN 0001-5903. Available from: https://dx.doi.org/10.1007/s00236-016-0265-2.

ČEŠKA, Milan, Frits DANNENBERG, Marta KWIATKOWSKA and Luboš BRIM. Precise parameter synthesis for stochastic biochemical systems. Acta informatica. Springer, 2017, vol. 54, No 6, p. 589-623. ISSN 0001-5903. Available from: https://dx.doi.org/10.1007/s00236-016-0265-2.

GRUSKA, Jozef, Daowen QIU, Lvzhou LI and Sheggen ZHENG. Promise problems solved by quantum and classical finite automata. Theoretical Computer Science. North Holland, 2017, vol. 666, No 646, p. 48-64. ISSN 0304-3975. Available from: https://dx.doi.org/10.1016/j.tcs.2016.12.025.

JENSEN, Peter G., Kim G. LARSEN and Jiří SRBA. PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing. In Proceedings of the 14th International Colloquium on Theoretical Aspects of Computing (ICTAC'17). Holland: Springer, 2017, p. 248-265. ISBN 978-3-319-67728-6. Available from: https://dx.doi.org/10.1007/978-3-319-67729-3_15.

SEDLÁK, Jan and Lubomír POPELÍNSKÝ. Rapid automatic vehicle manufacturer recognition using Random forest. Online. In Bipin C. Desai and Jun Hong and Richard McClatchey. Proceedings of the 21st International Database Engineering Applications Symposium, IDEAS. Bristol: ACM, 2017, p. 161-168. ISBN 978-1-4503-5220-8. Available from: https://dx.doi.org/10.1145/3105831.3105869.

OŠŤÁDAL, Radim, Petr ŠVENDA and Václav MATYÁŠ. Reconsidering Attacker Models in Ad-Hoc Networks. In J Anderson, V Matyáš, B Christianson, F Stajano. Security Protocols XXIV - 24th International Workshop. LNCS 10368. Heidelberg: Springer International Publishing AG, 2017, p. 219-227. ISBN 978-3-319-62032-9. Available from: https://dx.doi.org/10.1007/978-3-319-62033-6_25.

ANDERSON, Jonathan, Václav MATYÁŠ, Bruce CHRISTIANSON and Frank STAJANO. Security Protocols XXIV - 24th International Workshop. Švýcarsko: Springer International Publishing, 2017, 233 pp. ISBN 978-3-319-62032-9.

STAJANO, Frank, Jonathan ANDERSON, Bruce CHRISTIANSON, and Václav MATYÁŠ. Security Protocols XXV - 25th International Workshop, Cambridge, UK, March 20–22, 2017, Revised Selected Papers. Switzerland: Springer International Publishing AG, 2017. ISBN 978-3-319-71074-7.

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.

DVORAK, Pavel, Eduard EIBEN, Robert GANIAN, Dusan KNOP and Sebastian ORDYNIAK. Solving Integer Linear Programs with a Small Number of Global Variables and Constraints. Online. In Carles Sierra. Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August 19-25, 2017. USA: ijcai.org, 2017, p. 607-613. ISBN 978-0-9992411-0-3. Available from: https://dx.doi.org/10.24963/ijcai.2017/85.

BROŽ, Milan, Mikuláš PATOČKA and Václav MATYÁŠ. Support for authenticated encryption in Linux dm-crypt disk encryption. 2017.

CHALUPA, Marek, Martina VITOVSKÁ, Martin JONÁŠ, Jiří SLABÝ and Jan STREJČEK. Symbiotic 4: Beyond Reachability (Competition Contribution). In Axel Legay, Tiziana Margaria. Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference. Berlin: Springer Berlin Heidelberg, 2017, p. 385-389. ISBN 978-3-662-54580-5. Available from: https://dx.doi.org/10.1007/978-3-662-54580-5_28.

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.

SVOREŇOVÁ, Mária, Jan KŘETÍNSKÝ, Martin CHMELÍK, Krishnendu CHATTERJEE, Ivana ČERNÁ and Calin BELTA. Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Nonlinear Analysis: Hybrid Systems. Elsevier, 2017, vol. 23, February 2017, p. 230-253. ISSN 1751-570X. Available from: https://dx.doi.org/10.1016/j.nahs.2016.04.006.

KUNC, Michal and Jan MEITNER. The generalized rank of trace languages. In Émilie Charlier, Julien Leroy, Michel Rigo. Developments in Language Theory. 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings. Cham, Švýcarsko: Springer, 2017, p. 247-259. ISBN 978-3-319-62808-0. Available from: https://dx.doi.org/10.1007/978-3-319-62809-7_18.

NEMEC, Matúš, Marek SÝS, Petr ŠVENDA, Dušan KLINEC and Václav MATYÁŠ. The Return of Coppersmith's Attack: Practical Factorization of Widely Used RSA Moduli. Online. In Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. New York, NY, USA: ACM, 2017, p. 1631-1648. ISBN 978-1-4503-4946-8. Available from: https://dx.doi.org/10.1145/3133956.3133969.

GRUSKA, Jozef. Time-space complexity advantages for quantum computing. In Carlos Martín-Vide, Roman Neruda, Miguel A. Vega-Rodríguez. Lecture Notes in Computer Science, Volume 10687: 6th International Conference on Theory and Practice of Natural Computing, TPNC 2017. Cham, Switzerland: Springer, 2017, p. 305-317. ISBN 978-3-319-71068-6. Available from: https://dx.doi.org/10.1007/978-3-319-71069-3_24.

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.

BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Vojtěch FOREJT and Antonín KUČERA. Trading performance for stability in Markov decision processes. Journal of Computer and System Sciences. SAN DIEGO: Elsevier, 2017, vol. 84, No 2017, p. 144-170. ISSN 0022-0000. Available from: https://dx.doi.org/10.1016/j.jcss.2016.09.009.

DIWAN, Ajit Arvind, Bodhayan ROY and Subir Kumar GHOSH. Two-layer Drawings of Bipartite Graphs. Eurocomb 2017. 2017, p. 351-357.

ŠTILL, Vladimír, Petr ROČKAI and Jiří BARNAT. Using Off-the-Shelf Exception Support Components in C++ Verification. Online. In IEEE International Conference on Software Quality, Reliability and Security - QRS 2017. Neuveden: IEEE, 2017, p. 54-64. ISBN 978-1-5386-0592-9. Available from: https://dx.doi.org/10.1109/QRS.2017.15.

VACULÍK, Karel and Lubomír POPELÍNSKÝ. WalDis: Mining Discriminative Patterns within Dynamic Graphs. In MEMICS 2017. 12th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 2017.

MATYSKA, Luděk. Winning an Unwinnable Game. In Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 2017.

PLESCH, Martin, Marcin PAWLOWSKI and Matej PIVOLUSKA. 1-out-of-2 oblivious transfer using a flawed bit-string quantum protocol. Physical Review A. 2017, vol. 95, No 4, p. "042324-1"-"042324-6", 6 pp. ISSN 2469-9926. Available from: https://dx.doi.org/10.1103/PhysRevA.95.042324.

BYDŽOVSKÁ, Hana. A Comparative Analysis of Techniques for Predicting Student Performance. Online. In Tiffany Barnes, Min Chi, Mingyu Feng. Proceedings of the 9th International Conference on Educational Data Mining. Raleigh, NC, USA: International Educational Data Mining Society, 2016, p. 306-311.

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.

GAJARSKÝ, Jakub, Petr HLINĚNÝ, Daniel LOKSHTANOV, Jan OBDRŽÁLEK and M S RAMANUJAN. A New Perspective on FO Model Checking of Dense Graph Classes. In Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science LICS2016. New York, NY, USA: ACM, 2016, p. 176-184. ISBN 978-1-4503-4391-6. Available from: https://dx.doi.org/10.1145/2933575.2935314.

GRIONI, Andrea, Gabriele FAZIO, Tomáš REIGL, S. RIGAMONTI, Vojtěch BYSTRÝ, S. SONGIA, A. BIONDI, Nikos DARZENTAS and G. CAZZANIGA. A platform for detection of fusion genes in all from target capture next-generation sequencing of DNA and RNA. In Haematologica (2016); 101(s1): 26-27. (21st Congress of the EHA). 2016.

BOUSIOS, Alexandros, Concepcion M. DIEZ, Shohei TAKUNO, Vojtěch BYSTRÝ, Nikos DARZENTAS and Brandon S. GAUT. A role for palindromic structures in the cis-region of maize Sirevirus LTRs in transposable element evolution and host epigenetic response. Genome research. COLD SPRING HARBOR: COLD SPRING HARBOR LAB PRESS, PUBLICATIONS DEPT, 2016, vol. 26, No 2, p. 226-237. ISSN 1088-9051. Available from: https://dx.doi.org/10.1101/gr.193763.115.

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.

SAVIANO, Marialuisa, Francesco POLESE, Francesco CAPUTO and Leonard WALLETZKÝ. A T-shaped model for rethinking higher education programs. In 19th Toulon-Verona International Conference Excellence in Services. Spain: University of Huelva, 2016, p. 425-440. ISBN 978-88-904327-6-7.

BAUCH, Petr, Vojtěch HAVEL and Jiří BARNAT. Accelerating Temporal Verification of Simulink Diagrams Using Satisfiability Modulo Theories. Software Quality Journal. Springer, 2016, vol. 24, No 1, p. 37-63. ISSN 0963-9314. Available from: https://dx.doi.org/10.1007/s11219-014-9259-x.

DUPONT DUPUIS, Frédéric, Serge FEHR, Philippe LAMONTAGNE and Louis SALVAIL. Adaptive versus non-adaptive strategies in the quantum setting with applications. Online. In Robshaw, Matthew and Katz, Jonathan. Proceedings of CRYPTO 2016. Santa Barbara, CA: Springer Berlin Heidelberg, 2016, p. 33-59. ISBN 978-3-662-53014-6. Available from: https://dx.doi.org/10.1007/978-3-662-53015-3_2.

PIVOLUSKA, Matej and Martin PLESCH. An explicit classical strategy for winning a CHSHq game. New Journal of Physics. IOP publishing, 2016, vol. 18, FEB 11 2016, p. nestránkováno, 10 pp. ISSN 1367-2630. Available from: https://dx.doi.org/10.1088/1367-2630/18/2/025013.

BARNAT, Jiří, Petr BAUCH, Nikola BENEŠ, Luboš BRIM, Jan BERAN and Tomáš KRATOCHVÍLA. Analysing Sanity of Requirements for Avionics Systems. Formal Aspects of Computing. 2016, vol. 28, No 1, p. 45-63. ISSN 0934-5043. Available from: https://dx.doi.org/10.1007/s00165-015-0348-9.

RUDOLECKÝ, Tomáš. Anomaly detection for aircraft engine fault prediction. In Mária Bieliková, Ivan Srba. Proceedings in Informatics and Information Technologies. Bratislava: WIKT & DaZ. Bratislava: Nakladatel’stvo STU, 2016, p. 85-88. ISBN 978-80-227-4619-9.

GANIAN, Robert, Petr HLINĚNÝ, Jan OBDRŽÁLEK, Joachim KNEIS, Daniel MEISTER, Somnath SIKDAR and Peter ROSSMANITH. Are there any good digraph width measures? Journal of Combinatorial Theory, Ser B. Academic Press, 2016, vol. 116, No 1, p. 250-286. ISSN 0095-8956. Available from: https://dx.doi.org/10.1016/j.jctb.2015.09.001.

KOMENDA, Martin, Matěj KAROLYI, Andrea POKORNÁ, Martin VÍTA and Vincent KRÍŽ. Automatic Keyword Extraction from Medical and Healthcare Curriculum. In Maria Ganzha, Leszek Maciaszek, Marcin Paprzycki. Annals of Computer Science and Information Systems, Volume 8 : Proceedings of the 2016 Federated Conference on Computer Science and Information Systems. Warzaw; Los Alamitos: Polskie Towarzystwo Informatyczne; Institute of Electrical and Electronics Engineers, 2016, p. 287-290. ISBN 978-83-60810-90-3. Available from: https://dx.doi.org/10.15439/2016F156.

UKROP, Martin and Petr ŠVENDA. Avalanche Effect in Improperly Initialized CAESAR Candidates. Online. In Jan Bouda, Lukáš Holík, Jan Kofroň, Jan Strejček, Adam Rambousek. Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Telč, Czech Republic, 21st-23rd October 2016. 233rd ed. Online: Open Publishing Association, 2016, p. 72-81. ISSN 2075-2180. Available from: https://dx.doi.org/10.4204/EPTCS.233.7.

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.

HELFERT, Markus and Mouzhi GE. Big Data Quality - Towards an Explanation Model in a Smart City Context. In Proceedings of the 21st International Conference on Information Quality. Ciudad Real, Spain: MIT, 2016.

TROJÁK, Matej, Tadeáš DĚD, David ŠAFRÁNEK, Matej KLEMENT, Jan ČERVENÝ and Františka ROMANOVSKÁ. Biochemical Space: A Language for Formal Description and Annotation of Complex Biological Processes. In MEMICS 2016. 2016.

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.

BAUCH, Petr, Vojtěch HAVEL and Jiří BARNAT. Control Explicit-Data Symbolic Model Checking. ACM Transactions on Software Engineering and Methodology. 2016, vol. 25, No 2, p. 15-62. ISSN 1049-331X. Available from: https://dx.doi.org/10.1145/2888393.

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.

BYDŽOVSKÁ, Hana. Course Enrollment Recommender System. Online. In Tiffany Barnes, Min Chi, Mingyu Feng. Proceedings of the 9th International Conference on Educational Data Mining. Raleigh, NC, USA: International Educational Data Mining Society, 2016, p. 312-317.

BYDŽOVSKÁ, Hana. Course Similarity Analysis. Online. In Mária Bieliková, Ivan Srba. Proceedings in Informatics and Information Technologies. Bratislava: WIKT & DaZ 2016, 2016, p. 65-68. ISBN 978-80-227-4619-9.

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.

ŠKORPÍKOVÁ, Lucie, Jana ILGOVÁ, David POTĚŠIL, Zbyněk ZDRÁHAL, Martin DEMKO, Jan OPPELT, Milan GELNAR and Martin KAŠNÝ. Deep insight into secretome and transcriptome of Trichinella spiralis and Trichinela pseudospiralis. In EMOP XII – the 12th European Multicolloquium of Parasitology. 2016.

KHALILIJAFARABAD, Ahmad, Markus HELFERT and Mouzhi GE. Developing a Data Quality Research Taxonomy – an organizational perspective. In Proceedings of the 21st International Conference on Information Quality. Ciudad Real, Spain: MIT, 2016.

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.

DALSGAARD, Andreas E., Soeren ENEVOLDSEN, Kim G. LARSEN and Jiří SRBA. Distributed Computation of Fixed Points on Dependency Graphs. In Proceedings of Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA'16). Netherlands: Springer, 2016, p. 197-212. ISBN 978-3-319-47676-6. Available from: https://dx.doi.org/10.1007/978-3-319-47677-3_13.

ŠTILL, Vladimír, Petr ROČKAI and Jiří BARNAT. DIVINE: Explicit-State LTL Model Checker. In M. Chechik and J.-F. Raskin. Proceedings of the 22Nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems. New York, NY, USA: Springer-Verlag New York, Inc., 2016, p. 920-922. ISBN 978-3-662-49673-2. Available from: https://dx.doi.org/10.1007/978-3-662-49674-9_60.

TROJÁK, Matej, David ŠAFRÁNEK, Jakub HRABEC, Jakub ŠALAGOVIČ, Jan ČERVENÝ and Matej HAJNAL. E-cyanobacterium.org: A Web-based Platform for Systems Biology of Cyanobacteria. 2016.

TROJÁK, Matej, David ŠAFRÁNEK, Jakub HRABEC, Jakub ŠALAGOVIČ, Františka ROMANOVSKÁ and Jan ČERVENÝ. E-Cyanobacterium.org: A Web-Based Platform for Systems Biology of Cyanobacteria. In Ezio Bartocci et al. Computational Methods in Systems Biology. CMSB 2016. Heidelberg: Springer, 2016, p. 316-322. ISBN 978-3-319-45176-3. Available from: https://dx.doi.org/10.1007/978-3-319-45177-0_20.

JENSEN, Jonnas F., Kim G. LARSEN, Jiří SRBA and Lars OESTERGAARD. Efficient Model Checking of Weighted CTL with Upper-Bound Constraints. International Journal on Software Tools for Technology Transfer (STTT). Springer-Verlag GmbH, 2016, vol. 18, No 4, p. 409-426. ISSN 1433-2779. Available from: https://dx.doi.org/10.1007/s10009-014-0359-5.

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.

FOREJT, Vojtěch, Marta KWIATKOWSKA, Gethin NORMAN and Ashutosh TRIVEDI. Expected Reachability-Time Games. Theoretical Computer Science. North Holland, 2016, vol. 631, June, p. 139-160. ISSN 0304-3975. Available from: https://dx.doi.org/10.1016/j.tcs.2016.04.021.

KORENČIAK, Ľuboš, Vojtěch ŘEHÁK and Adrian FARMADIN. Extension of PRISM by Synthesis of Optimal Timeouts in Fixed-Delay CTMC. In Erika Ábrahám, Marieke Huisman. Integrated Formal Methods. Switzerland: Springer International Publishing, 2016, p. 130-138. ISBN 978-3-319-33692-3. Available from: https://dx.doi.org/10.1007/978-3-319-33693-0_9.

BENDÍK, Jaroslav, Nikola BENEŠ, Jiří BARNAT and Ivana ČERNÁ. Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis (Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis). In Rocco De Nicola, Eva K{\"{u}}hn. Software Engineering and Formal Methods - 14th International Conference, SEFM 2016. Berlin: Lecture Notes in Computer Sciences in Computer Science, 9763, 2016, p. 121-136. ISBN 978-3-319-41590-1. Available from: https://dx.doi.org/10.1007/978-3-319-41591-8_9.

DĚD, Tadeáš, David ŠAFRÁNEK, Matej TROJÁK, Matej KLEMENT, Jakub ŠALAGOVIČ and Luboš BRIM. Formal Biochemical Space with Semantics in Kappa and BNGL. Online. In Loic Pauleve et al. The 6th International Workshop on Static Analysis and Systems Biology, SASB 2015. ENTCS 326. Neuveden: Elsevier, 2016, p. 27-49. ISSN 1571-0661. Available from: https://dx.doi.org/10.1016/j.entcs.2016.09.017.

VACULÍK, Karel. Graph Mining: Applications (invited talk). In Mária Bieliková, Ivan Srba. Proceedings in Informatics and Information Technologies. Bratislava: WIKT & DaZ. Bratislava: Nakladatel’stvo STU, 2016, p. 31-34. ISBN 978-80-227-4619-9.

DEMKO, Martin, Nikola BENEŠ, Luboš BRIM, Samuel PASTVA and David ŠAFRÁNEK. High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study. In Ezio Bartocci et al. Computational Methods in Systems Biology. CMSB 2016. LNBI 9859. Neuveden: Springer International Publishing, 2016, p. 82-97. ISBN 978-3-319-45176-3. Available from: https://dx.doi.org/10.1007/978-3-319-45177-0_6.

BEZEK, Matúš. Characterizing DAG-depth of Directed Graphs. In ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE. SYDNEY: OPEN PUBL ASSOC, 2016, p. 23-32. ISSN 2075-2180. Available from: https://dx.doi.org/10.4204/EPTCS.233.3.

SEDLÁK, Michal, Daniel REITZNER, Giulio CHIRIBELLA and Mário ZIMAN. Incompatible measurements on quantum causal networks. Physical Review A. 2016, vol. 93, No 5, p. 1-23. ISSN 2469-9926. Available from: https://dx.doi.org/10.1103/PhysRevA.93.052323.

GRUSKA, Jozef and Calude CRISTIAN S. Informatics, physics and mathematics. In The human face of computing. London: Imperial Colledge press, 2016, p. 225-252. ADVANCES IN COMPUTER SCIENCE AND ENGINEERING: TEXTS 9. ISBN 978-1-78326-643-2.

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.

ZLATUŠKA, Jiří. Kyber není kybernetika (Cyber is not Cybernetics). Vesmír, 2016. ISSN 1214-4029.

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.

BEZDĚK, Peter, Nikola BENEŠ, Jiří BARNAT and Ivana ČERNÁ. LTL Parameter Synthesis of Parametric Timed Automata. In Rocco De Nicola, Eva K{\"{u}}hn. Software Engineering and Formal Methods - 14th International Conference, SEFM 2016. Berlin: Lecture Notes in Computer Sciences in Computer Science, 9763, 2016, p. 172-187. ISBN 978-3-319-41590-1. Available from: https://dx.doi.org/10.1007/978-3-319-41591-8_12.

BOUDA, Jan, Lukáš HOLÍK, Jan KOFROŇ, Jan STREJČEK and Adam RAMBOUSEK. MEMICS 2016. 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 1., elektronické vyd. Brno: Masarykova univerzita, 2016. ISBN 978-80-210-8362-2.

GANIAN, Robert, Stefan SZEIDER and Friedrich SLIVOVSKY. Meta-kernelization with structural parameters. Journal of Computer and System Sciences. Academic Press, 2016, vol. 82, No 2, p. 333-346. ISSN 0022-0000. Available from: https://dx.doi.org/10.1016/j.jcss.2015.08.003.

ROČKAI, Petr, Jiří BARNAT and Luboš BRIM. Model checking C++ programs with exceptions. Science of Computer Programming. Elsevier B.V., 2016, vol. 128, 15 October 2016, p. 68-85. ISSN 0167-6423. Available from: https://dx.doi.org/10.1016/j.scico.2016.05.007.

GANIAN, Robert, Stefan SZEIDER and Simone BOVA. Model Checking Existential Logic on Partially Ordered Sets. ACM Trans. Comput. Log. USA: ACM, 2016, vol. 17, No 2, p. 1-35. ISSN 1529-3785. Available from: https://dx.doi.org/10.1145/2814937.

TYC, Tomáš, T. CIZMAR and M. PLOSCHNER. MULTIMODE FIBRES: SEEING THROUGH CHAOS. In Mika, F. RECENT TRENDS IN CHARGED PARTICLE OPTICS AND SURFACE PHYSICS INSTRUMENTATION. BRNO: ACAD SCIENCES, CZECH REPUBLIC, INST SCIENTIFIC INSTRUMENTS ASCR, V V I, 2016, p. 74-75. ISBN 978-80-87441-17-6.

KUBÍČEK, Karel, Jiří NOVOTNÝ, Petr ŠVENDA and Martin UKROP. New results on reduced-round Tiny Encryption Algorithm using genetic programming. Infocommunications Journal. Budapest: Scientific Association for Infocommunications, 2016, vol. 8, No 1, p. 2-9. ISSN 2061-2079.

TYC, Tomáš, Stephen OXBURGH, Euan N COWIE, Gregory C CHAPLAIN, Gavin MACAULEY, C D WHITE and Johannes Klaus COURTIAL. Omnidirectional transformation-optics cloak made from lenses and glenses. Journal of the Optical Society of America A. 2016, vol. 33, No 6, p. 1032-1040. ISSN 1084-7529. Available from: https://dx.doi.org/10.1364/JOSAA.33.001032.

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.

XU, Lin, Huanyang CHEN, Tomáš TYC, Yangbo XIE and S A CUMMER. Perfect conformal invisible device with feasible refractive indexes. Physical Review B. 2016, vol. 93, No 4, p. "nestrankovano", 7 pp. ISSN 2469-9950. Available from: https://dx.doi.org/10.1103/PhysRevB.93.041406.

BRÁZDIL, Tomáš, Ezio BARTOCCI, Dimitrios MILIOS, Guido SANGUINETTI and Luca BORTOLUSSI. Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent. In Proceedings of QEST 2016. Quebec City: Springer, 2016, p. 244-259. ISBN 978-3-319-43424-7. Available from: https://dx.doi.org/10.1007/978-3-319-43425-4_17.

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.

HLINĚNÝ, Petr and Ondřej SLÁMEČKA. Practical Exhaustive Generation of Small Multiway Cuts in Sparse Graphs. In Jan Kofroň, Tomáš Vojnar. Mathematical and Engineering Methods in Computer Science, Lecture Notes in Computer Science 9548. Switzerland: Springer, 2016, p. 54-66. ISBN 978-3-319-29816-0. Available from: https://dx.doi.org/10.1007/978-3-319-29817-7_6.

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

COURTIAL, J., S. OXBURGH, E.N. COWIE, G. CHAPLAIN, J. BELIN, G. MACAULEY, C.D. WHITE and Tomáš TYC. Progress towards omnidirectional transformation optics with lenses. Online. In Engheta, N Noginov, MA Zheludev, NI. METAMATERIALS, METADEVICES, AND METASYSTEMS 2016. BELLINGHAM: SPIE-INT SOC OPTICAL ENGINEERING, 2016, p. "SPIE"-"4", 5 pp. ISBN 978-1-5106-0227-4. Available from: https://dx.doi.org/10.1117/12.2237843.

BOVA, Simone, Robert GANIAN and Stefan SZEIDER. Quantified conjunctive queries on partially ordered sets. Theoretical Computer Science. Amsterdam: Elsevier, 2016, vol. 618, No 1, p. 72-84. ISSN 0304-3975. Available from: https://dx.doi.org/10.1016/j.tcs.2016.01.010.

CHAPLAIN, Gregory J, Gavin MACAULEY, Jakub BĚLÍN, Tomáš TYC, Euan N COWIE and Johannes Klaus COURTIAL. Ray optics of generalised lenses. Jornal of the Optical Society of America A. 2016, vol. 33, No 5, p. 962-969. ISSN 1084-7529. Available from: https://dx.doi.org/10.1364/JOSAA.33.000962.

JENSEN, Peter G., Kim G. LARSEN and Jiří SRBA. Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization. In Proceedings of the 23rd International SPIN Symposium on Model Checking of Software (SPIN'16). Netherlands: Springer, 2016, p. 129-146. ISBN 978-3-319-32581-1. Available from: https://dx.doi.org/10.1007/978-3-319-32582-8_9.

KUČERA, Antonín and Tomáš LAMSER. Regular Strategies and Strategy Improvement: Efficient Tools for Solving Large Patrolling Problems. In Catholijn M. Jonker, Stacy Marsella, John Thangarajah, Karl Tuyls. Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems. New York: ACM, 2016, p. 1171-1179. ISBN 978-1-4503-4239-1.

SEDLÁK, Jan. Rozpoznání atributů vozidel pomocí metod strojového učení (Zvaná přednáška) (Automatic recognition of vehicle attributes using machine learning (Invited talk)). In Mária Bieliková, Ivan Srba. Proceedings in Informatics and Information Technologies. Bratislava: WIKT & DaZ. Bratislava: Nakladatel’stvo STU, 2016, p. 49-52. ISBN 978-80-227-4619-9.

GRUSKA, Jozef. Rusins Martins Freivalds Remarkable scholar, unique teacher and great man. RIGA: UNIV LATVIA, 2016. Available from: https://dx.doi.org/10.22364/bjmc.2016.4.4.03.

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.

BRÁZDIL, Tomáš, Petr NOVOTNÝ, Krishnendu CHATTERJEE, Martin CHMELÍK and Anchit GUPTA. Stochastic Shortest Path with Energy Constraints in POMDPs: (Extended Abstract). In Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems. Singapur: ACM, 2016, p. 1465-1466. ISBN 978-1-4503-4239-1.

MICHÁLIK, Juraj, Lubomír POPELÍNSKÝ, Klára ANTLOVÁ and Petra RYDVALOVÁ. Strojové učení pro analýzu rodinného podnikání (Machine learning for family business analysis). In Mária Bieliková, Ivan Srba. Proceedings in Informatics and Information Technologies. Bratislava: WIKT & DaZ. Bratislava: Nakladatel’stvo STU, 2016, p. 81-84. ISBN 978-80-227-4619-9.

DAŇA, Josef. Suggestions for Knowledge Management based on Complex Network Analysis. In 4th International Symposium of Business Systems Laboratory. 2016. ISBN 978-88-908242-3-4.

DUPONT DUPUIS, Frédéric and Mark M WILDE. Swiveled Rényi entropies. Quantum Information Processing. 2016, vol. 15, No 3, p. 1309-1345. ISSN 1570-0755. Available from: https://dx.doi.org/10.1007/s11128-015-1211-x.

CHALUPA, Marek, Martin JONÁŠ, Jiří SLABÝ, Jan STREJČEK and Martina VITOVSKÁ. Symbiotic 3: New Slicer and Error-Witness Generation (Competition Contribution). In Marsha Chechik and Jean-Francois Raskin. Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016. Berlin, Heidelberg: Springer, 2016, p. 946-949. ISBN 978-3-662-49673-2. Available from: https://dx.doi.org/10.1007/978-3-662-49674-9_67.

MRÁZEK, Jan, Petr BAUCH, Henrich LAUKO and Jiří BARNAT. SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration. In Dragan Bošnački and Anton Wijs. Model Checking Software. Neuveden: Springer International Publishing, 2016, p. 208-213. ISBN 978-3-319-32581-1. Available from: https://dx.doi.org/10.1007/978-3-319-32582-8_14.

JENSEN, Jonas F., Thomas NIELSEN, Jiří SRBA and Lars K. OESTERGAARD. TAPAAL and Reachability Analysis of P/T Nets. In TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY XI. Berlin: Springer, 2016, p. 307-318. ISBN 978-3-662-53400-7. Available from: https://dx.doi.org/10.1007/978-3-662-53401-4_16.

GANIAN, Robert and Sebastian ORDYNIAK. The Complexity Landscape of Decompositional Parameters for ILP. Online. In Dale Schuurmans, Michael P. Wellman. Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence. USA: AAAI Press, 2016, p. 710-716. ISBN 978-1-57735-760-5.

PIVOLUSKA, Matej, Marcin PAWLOWSKI and Martin PLESCH. Tight bound on the classical value of generalized Clauser-Horne-Shimony-Holt games. Physical Review A. 2016, vol. 94, No 2, p. 022338-22342. ISSN 2469-9926. Available from: https://dx.doi.org/10.1103/PhysRevA.94.022338.

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

AGESEN, Mads K., Kim G. LARSEN, Marius MIKUCIONIS, Marco MUNIZ, Petur OLSEN, Thomas PEDERSEN, Jiří SRBA and Arne SKOU. Toolchain for User-Centered Intelligent Floor Heating Control. Online. In Proceedings of the 42nd Annual Conference of the IEEE Industrial Electronics Society (IECON'16). Itally: IEEE, 2016, p. 5296-5301. ISBN 978-1-5090-3474-1. Available from: https://dx.doi.org/10.1109/IECON.2016.7794040.

RÁČEK, Jaroslav and Josef DAŇA. Tools for Fraud Detection in Insurance Image Data. In Jan Ministr. Proceedings of the 19th International Conference on Information Technology for Practice. Ostrava: VŠB – Technical University of Ostrava, 2016, p. 179-183. ISBN 978-80-248-3970-7.

HAJNAL, Matej, David ŠAFRÁNEK, Martin DEMKO, Samuel PASTVA, Pavel KREJČÍ and Luboš BRIM. Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways. In Eugenio Cinquemani. Hybrid Systems Biology. HSB 2016. LNBI 9957. Neuveden: Springer International Publishing, 2016, p. 57-66. ISBN 978-3-319-47150-1. Available from: https://dx.doi.org/10.1007/978-3-319-47151-8_4.

HLINĚNÝ, Petr, O-joung KWON, Jan OBDRŽÁLEK and Sebastian ORDYNIAK. Tree-depth and Vertex-minors. European Journal of Combinatorics. Elsevier, 2016, vol. 56, No 1, p. 46-56. ISSN 0195-6698. Available from: https://dx.doi.org/10.1016/j.ejc.2016.03.001.

DAŇA, Josef. T-Shaped professional concept as an optimal knowledge network stabilizing team structure and project environment. In NetSci-X Wroclaw 2016. 2016.

BENDÍK, Jaroslav, Nikola BENEŠ, Ivana ČERNÁ and Jiří BARNAT. Tunable Online MUS/MSS Enumeration. In Akash Lal, S. Akshay, Saket Saurabh, Sandeep Sen. Foundations of Software Technology and Theoretical Computer Science - 36th International Conference, FSTTCS 2016. 65th ed. Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2016, p. 661-673. ISBN 978-3-95977-027-9. Available from: https://dx.doi.org/10.4230/LIPIcs.FSTTCS.2016.50.

PLÖSCHNER, Martin, Tomáš TYC and Tomáš ČIŽMÁR. Untangled modes in multimode waveguides. In Gluckstad, J Andrews, DL Galvez, EJ. COMPLEX LIGHT AND OPTICAL FORCES X. BELLINGHAM: SPIE-INT SOC OPTICAL ENGINEERING, 2016, p. "SPIE, ICOAM"-"5", 6 pp. ISBN 978-1-62841-999-3. Available from: https://dx.doi.org/10.1117/12.2216205.

GANIAN, Robert, Sebastian ORDYNIAK and Eduard EIBEN. Using Decomposition-Parameters for QBF: Mind the Prefix!. Online. In Dale Schuurmans, Michael P. Wellman. Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence. USA: AAAI Press, 2016, p. 964-970. ISBN 978-1-57735-760-5.

ULMAN, Vladimír, David SVOBODA, Matti NYKTER, Michal KOZUBEK and Pekka RUUSUVUORI. Virtual cell imaging: A review on simulation methods employed in image cytometry. Cytometry Part A. John Wiley & Sons, 2016, 89A, No 12, p. 1057-1072. ISSN 1552-4922. Available from: https://dx.doi.org/10.1002/cyto.a.23031.

GÉRYK, Jan, Lubomír POPELÍNSKÝ and Jozef TRIŠČÍK. Visual Anomaly Detection in Educational Data. Online. In Christo Dichev, Gennady Agre. Artificial Intelligence: Methodology, Systems, and Applications: 17th International Conference, AIMSA 2016, Varna, Bulgaria, September 7-10, 2016, Proceedings. Bulgaria: Springer International Publishing, 2016, p. 99-108. ISBN 978-3-319-44747-6. Available from: https://dx.doi.org/10.1007/978-3-319-44748-310.

DANNER, Aaron James and Tomáš TYC. Visual defects when extending two-dimensional invisible lenses with circular symmetry into the third dimension. Journal of Optics. IOP Pub., 2016, vol. 18, No 4, p. "nestrankovano", 5 pp. ISSN 2040-8978. Available from: https://dx.doi.org/10.1088/2040-8978/18/4/044013.

ŠTILL, Vladimír, Petr ROČKAI and Jiří BARNAT. Weak Memory Models as LLVM-to-LLVM Transformations. Online. In Jan Kofroň and Tomáš Vojnar. Mathematical and Engineering Methods in Computer Science - 10th International Doctoral Workshop. Neuveden: Springer, 2016, p. 144-155. ISBN 978-3-319-29816-0. Available from: https://dx.doi.org/10.1007/978-3-319-29817-7_13.

VÍTA, Martin and Vincent KRÍŽ. Word2vec Based System for Recognizing Partial Textual Entailment. Online. In Ganzha, M Maciaszek, L Paprzycki, M. PROCEEDINGS OF THE 2016 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS). NEW YORK: IEEE, 2016, p. 513-516. ISBN 978-83-60810-90-3. Available from: https://dx.doi.org/10.15439/2016F419.

VÍTA, Martin. A short note on t-filters, I-filters and extended filters on residuated lattices. Fuzzy Sets and Systems. Elsevier, 2015, vol. 271, No 1, p. 168-171. ISSN 0165-0114. Available from: https://dx.doi.org/10.1016/j.fss.2014.10.032.

LEONHARDT, Ulf, Sahar SAHEBDIVAN, Alex KOGAN and Tomáš TYC. A simple model for perfect imaging. New Journal of Physics. Institute of Physics, 2015, vol. 17, MAY, p. "nestránkováno", 7 pp. ISSN 1367-2630. Available from: https://dx.doi.org/10.1088/1367-2630/17/5/053007.

VACULÍK, Karel. A Versatile Algorithm for Predictive Graph Rule Mining. Online. In Jakub Yaghob. Proceedings ITAT 2015: Information Technologies - Applications and Theory. 1. vydání. Praha: CEUR-WS.org, 2015, p. 51-58. ISBN 978-1-5151-2065-0.

TYC, Tomáš, H L DAO and Aaron James DANNER. Absolute optical instruments without spherical symmetry. Phys. Rev. A. USA: The American Phys. Society, 2015, vol. 92, No 5, p. "nestránkováno", 6 pp. ISSN 1050-2947. Available from: https://dx.doi.org/10.1103/PhysRevA.92.053827.

HORSLEY, Simon, Robert FOSTER, Tomáš TYC and Thomas PHILBIN. Active absorption of electromagnetic pulses in a cavity. New Journal of Physics. Institute of Physics, 2015, vol. 17, MAY, p. "nestrankovano", 9 pp. ISSN 1367-2630. Available from: https://dx.doi.org/10.1088/1367-2630/17/5/053050.

ABATE, Alessandro, Milan ČEŠKA, Luboš BRIM and Marta KWIATKOWSKA. Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks. In 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings. LNCS 9206. Berlin: Springer International Publishing, 2015, p. 195-213. ISBN 978-3-319-21689-8. Available from: https://dx.doi.org/10.1007/978-3-319-21690-4_12.

PAPOUŠEK, Jan, Radek PELÁNEK, Jiří ŘIHÁK and Vít STANISLAV. An Analysis of Response Times in Adaptive Practice of Geography Facts. Online. In Proceedings of the 8th International Conference on Educational Data Mining. Madrid: International Educational Data Mining Society, 2015, p. 562-563. ISBN 978-84-606-9425-0.

DAŇA, Josef and Jaroslav RÁČEK. Analysis of Czech actors' cooperation network using Gephi. Ostrava, 2015, p. 33-38. ISBN 978-80-248-3820-5.

ADAMASZEK, Anna, G. BLIN and Alexandru POPA. Approximation and hardness results for the maximum edges in transitive closure problem. In 25th International Workshop on Combinatorial Algorithms, IWOCA 2014, LNCS 8986. Duluth; United States: Springer, 2015, p. 13-23. ISBN 978-3-319-19314-4. Available from: https://dx.doi.org/10.1007/978-3-319-19315-1_2.

BYDŽOVSKÁ, Hana. Are Collaborative Filtering Methods Suitable for Student Performance Prediction? In Francisco Pereira, Penousal Machado, Ernesto Costa, Amílcar Cardoso. Progress in Artificial Intelligence - 17th Portuguese Conference on Artificial Inteligence - EPIA 2015. Portugal: Springer International Publishing, 2015, p. 425-430. ISBN 978-3-319-23484-7. Available from: https://dx.doi.org/10.1007/978-3-319-23485-4_42.

BYSTRÝ, Vojtěch, Andreas AGATHANGELIDIS, Vasileios BIKOS, Lesley Ann SUTTON, Panagiotis BALIAKAS, Anastasia HADZIDIMITRIOU, Kostas STAMATOPOULOS and Nikos DARZENTAS. ARResT/AssignSubsets: a novel application for robust subclassification of chronic lymphocytic leukemia based on B cell receptor IG stereotypy. Bioinformatics. Oxford: Oxford University Press, 2015, vol. 31, No 23, p. 3844-3846. ISSN 1367-4803. Available from: https://dx.doi.org/10.1093/bioinformatics/btv456.

RÁČEK, Jaroslav, Josef DAŇA and Petr ŠTĚPÁNEK. ASSESSMENT OF PROJECT BASED LEARNING IN SOFTWARE ENGINEERING. Online. In INTED2015 Proceedings. Madrid, Spain: IATED, 2015, p. 5516-5521. ISBN 978-84-606-5763-7.

TROJÁK, Matej, Tadeáš DĚD, David ŠAFRÁNEK, Matej KLEMENT, Jan ČERVENÝ and Luboš BRIM. Biochemical Space: A Language for Formal Description and Annotation of Complex Biological Processes. In 13th Conference on Computational Methods in Systems Biology. 2015.

TROJÁK, Matej, David ŠAFRÁNEK, Matej KLEMENT, Tadeáš DĚD, Jan ČERVENÝ and Luboš BRIM. Biochemical Space: A Language for Formal Description and Annotation of Complex Biological Processes. In Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 2015.

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.

ŠTĚPÁNEK, Petr. CO-AUTHORSHIP NETWORK ANALYSIS AT FACULTY OF INFORMATICS. In ICERI2015 Proceedings. Seville, SPAIN: IATED, 2015, p. 2308-2317. ISBN 978-84-608-2657-6.

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.

BRIM, Luboš, Martin DEMKO, Samuel PASTVA and David ŠAFRÁNEK. Coloured Model Checking Approach to Parameter Synthesis for Executable Models in Synthetic Biology. In Verification of Engineered Molecular Devices and Programs. 2015.

BRIM, Luboš, Juraj NIŽNAN and David ŠAFRÁNEK. Compact Representation of Photosynthesis Dynamics by Rule-based Models. Online. In 5th International Workshop on Static Analysis and Systems Biology (SASB 2014). 316th ed. Neuveden: Elsevier, 2015, p. 17-27. ISSN 1571-0661. Available from: https://dx.doi.org/10.1016/j.entcs.2015.06.008.

BENEŠ, Nikola, Przemysław DACA, Thomas A. HENZINGER, Jan KŘETÍNSKÝ and Dejan NIČKOVIĆ. Complete Composition Operators for IOCO-Testing Theory. Online. In Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering. New York, NY, USA: ACM, 2015, p. 101-110. ISBN 978-1-4503-3471-6. Available from: https://dx.doi.org/10.1145/2737166.2737175.

BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Martin CHMELÍK, Andreas FELLNER and Jan KŘETÍNSKÝ. Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. In Daniel Kroening, Corina Pasareanu. Computer Aided Verification: 27th International Conference, CAV 2015. Cham: Springer, 2015, p. 158-177. ISBN 978-3-319-21689-8. Available from: https://dx.doi.org/10.1007/978-3-319-21690-4_10.

KOMENDA, Martin, Martin VÍTA, Christos VAITSIS, Daniel SCHWARZ, Andrea POKORNÁ, Nabil ZARY and Ladislav DUŠEK. Curriculum Mapping with Academic Analytics in Medical and Healthcare Education. Plos One. San Francisco: Public Library Science, 2015, vol. 10, No 12, p. 1-18. ISSN 1932-6203. Available from: https://dx.doi.org/10.1371/journal.pone.0143748.

COURTIAL, Johannes Klaus, Stephen OXBURGH and Tomáš TYC. Direct stigmatic imaging with curved surfaces. Journal of the Optical Society of America A. Optical Society of America, 2015, vol. 32, No 3, p. 478-481. ISSN 1084-7529. Available from: https://dx.doi.org/10.1364/JOSAA.32.000478.

VÍTA, Martin. Discovering communities of similar R&D projects. In Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2015) - Volume 3: KMIS. Lisbon; Portugal: SciTePress, 2015, p. 460-465. ISBN 978-989-758-158-8. Available from: https://dx.doi.org/10.5220/0005663004600465.

KLEMENT, Matej, David ŠAFRÁNEK, Jan ČERVENÝ, Tadeáš DĚD, Matej TROJÁK, Luboš BRIM and Stefan MUELLER. E-cyanobacterium.org: A Web-based Platform for Systems Biology of Cyanobacteria. In Fourth International Workshop on Hybrid Systems Biology. 2015.

RENES, Joseph, David SUTTER, Frédéric DUPONT DUPUIS and Renato RENNER. Efficient Quantum Polar Codes Requiring No Preshared Entanglement. IEEE TRANSACTIONS ON INFORMATION THEORY. PISCATAWAY: IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2015, vol. 61, No 11, p. 6395-6414. ISSN 0018-9448. Available from: https://dx.doi.org/10.1109/TIT.2015.2468084.

DUPONT DUPUIS, Frédéric, Omar FAWZI and Stephanie WEHNER. Entanglement Sampling and Applications. IEEE TRANSACTIONS ON INFORMATION THEORY. PISCATAWAY: IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2015, vol. 61, No 2, p. 1093-1112. ISSN 0018-9448. Available from: https://dx.doi.org/10.1109/TIT.2014.2371464.

AMBAINIS, Andris, Jozef GRUSKA and Shenggen ZHENG. Exact quantum algorithms have advantage for almost all Boolean functions. Quantum Information & Computation. 2015, vol. 15, 5-6, p. 435-452. ISSN 1533-7146.

PUCHAŁA, Zbigniew, Anna JENCOVA, Michal SEDLÁK and Mário ZIMAN. Exploring boundaries of quantum convex structures: special role of unitary processes. Phys. Rev. A. USA: The American Phys. Society, 2015, vol. 92, No 1, p. 012304-12310. ISSN 1050-2947. Available from: https://dx.doi.org/10.1103/PhysRevA.92.012304.

VÍTA, Martin, Martin KOMENDA and Andrea POKORNÁ. Exploring Medical Curricula Using Social Network Analysis Methods. Online. In Maria Ganzha, Leszek Maciaszek, Marcin Paprzycki. Proceedings of the 2015 Federated Conference on Computer Science and Information Systems. Warsaw, Los Alamitos: Polskie Towarzystwo Informatyczne, IEEE, 2015, p. 297-302. ISBN 978-83-60810-66-8. Available from: https://dx.doi.org/10.15439/2015F312.

NIŽNAN, Juraj, Jan PAPOUŠEK and Radek PELÁNEK. Exploring the Role of Small Differences in Predictive Accuracy using Simulated Data. Online. In Second Workshop on Simulated Learners. Proceedings of the Workshops at the 17th International Conference on Artificial Intelligence in Education. Madrid: Sun SITE Central Europe, 2015, p. 21-30. ISSN 1613-0073.

BARNAT, Jiří, Petr ROČKAI, Vladimír ŠTILL and Jiří WEISER. Fast, Dynamically-Sized Concurrent Hash Table. In Bernd Fischer, Jaco Geldenhuys. Model Checking Software. Neuveden: Springer International Publishing, 2015, p. 49-65. ISBN 978-3-319-23403-8. Available from: https://dx.doi.org/10.1007/978-3-319-23404-5_5.

GAJARSKÝ, Jakub, Petr HLINĚNÝ, Jan OBDRŽÁLEK and Sebastian ORDYNIAK. Faster Existential FO Model Checking on Posets. Logical Methods in Computer Science. Německo: Logical Methods in Computer Science e.V., 2015, vol. 11, No 4, p. 1-13. ISSN 1860-5974. Available from: https://dx.doi.org/10.2168/LMCS-11(4:8)2015.

GANIAN, Robert, Petr HLINĚNÝ, Daniel KRÁĽ, Jan OBDRŽÁLEK, Jarett SCHWARTZ and Jakub TESKA. FO Model Checking of Interval Graphs. Logical Methods in Computer Science. Německo: Logical Methods in Computer Science e.V., 2015, vol. 11, 4:11, p. 1-20. ISSN 1860-5974. Available from: https://dx.doi.org/10.2168/LMCS-11(4:11)2015.

GAJARSKÝ, Jakub, Petr HLINĚNÝ, Jan OBDRŽÁLEK, Sebastian ORDYNIAK, M.S. RAMANUJAN, Daniel LOKSHTANOV and Saket SAURABH. FO Model Checking on Posets of Bounded Width. Online. In Venkatesan Guruswami. 56th Annual Symposium on Foundations of Computer Science, FOCS 2015. Berkeley, CA, USA: IEEE Computer Society, 2015, p. 963-974. ISBN 978-1-4673-8191-8. Available from: https://dx.doi.org/10.1109/FOCS.2015.63.

KUBALÍK, Jiří, Jaroslav POKORNÝ, Martin VÍTA and Peter VOJTÁŠ. Generic Private Social Network for Knowledge Management. In Web Information Systems Engineering – WISE 2014 Workshops, LNCS 9051. Thessaloniki, Greece: Springer, 2015, p. 27-41. ISBN 978-3-319-20369-0. Available from: https://dx.doi.org/10.1007/978-3-319-20370-6_3.

KOTRBČÍK, Michal and Tomaz PISANSKI. Genus of the cartesian product of triangles. Electronic Journal of Combinatorics. Newark, USA, 2015, vol. 22, No 4, p. 1-20. ISSN 1077-8926.

AGATHANGELIDIS, A., Vojtěch BYSTRÝ, A HADZIDIMITRIOU, LA. SUTTON, E. MINGA, D. KIENLE, Z. DAVIS, XJ. YAN, T. SHANAFELT, M. BOUDJOGRA, Karla PLEVOVÁ, M. GOUNARI, M. FACCO, Vasileios BIKOS, T. KARAN-DJURASEVIC, AW. LANGERAK, Šárka POSPÍŠILOVÁ, MP. LEFRANC, P. GHIA, Nikos DARZENTAS and K. STAMATOPOULOS. Higher-order immunoglobulin sequence relations for major subsets of chronic lymophocytic leukemia: uniqueness versus equivalence. In 20th Congress of the European Hematology Association in Haematologica. 2015.

BRIM, Luboš, Martin DEMKO, Samuel PASTVA and David ŠAFRÁNEK. High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems. In Alessandro Abate, David Šafránek. Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers. LNCS 9271. Neuveden: Springer International Publishing, 2015, p. 58-74. ISBN 978-3-319-26915-3. Available from: https://dx.doi.org/10.1007/978-3-319-26916-0_4.

DUPONT DUPUIS, Frédéric. Chain rules for quantum Renyi entropies. Journal of Mathematical Physics. USA: American Institute of Physics, 2015, vol. 56, No 2, p. 1-10. ISSN 0022-2488. Available from: https://dx.doi.org/10.1063/1.4907981.

LEONHARDT, Ulf, Tomáš TYC, Michael LIPSON and Lucas GABRIELLI. Imaging device and method. 2015.

LEONHARDT, Ulf, Tomáš TYC, Michael LIPSON and Lucas GABRIELLI. Imaging device and method. 2015.

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.

BRUGGEMANN, M., H. KNECHT, J. BARTRAM, Vojtěch BYSTRÝ, G. CAZZANIGA, G. FAZIO, S. FERRERO, Eva FROŇKOVÁ, R. GARCÍA-SANZ, A. GRIONI, James Andrew HANCOCK, C. JIMINEZ, M. KOTROVÁ, M. LADETTO, J. MOPPETT, S. SONGIA, Jan TRKA, AW. LANGERAK, Nikos DARZENTAS, D. HERRMANN and C. POTT. International multi-laboratory next-generation sequencing for MRD analysis in ALL. A pilot study by the Euroclonality-NGS consortium. In 20th Congress of the European Hematology Association in Haematologica. 2015.

GAJARSKÝ, Jakub and Petr HLINĚNÝ. Kernelizing MSO Properties of Trees of Fixed Height, and Some Consequences. Logical Methods in Computer Science. Německo: Logical Methods in Computer Science e.V., 2015, vol. 11, No 1, p. 1-26. ISSN 1860-5974. Available from: https://dx.doi.org/10.2168/LMCS-11(1:19)2015.

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.

PANOVSKÝ, Roman, M. PLEVA, V. FEITOVÁ, P. KRUZLIAK, Jaroslav MELUZÍN, Vladimír KINCL, Petr NOVOTNÝ and Jiří VANÍČEK. Left atrium assessment: The evolving role of MRI. Journal of Cardiovascular Medicine. Philadelphia: Lippincott Williams & Wilkins, 2015, vol. 16, No 10, p. 1-10. ISSN 1558-2027. Available from: https://dx.doi.org/10.2459/JCM.0000000000000155.

BRÁZDIL, Tomáš, Stefan KIEFER, Antonín KUČERA and Petr NOVOTNÝ. Long-Run Average Behaviour of Probabilistic Vector Addition Systems. In Neuveden. 30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015. Neuveden: IEEE, 2015, p. 44-55. ISBN 978-1-4799-8875-4. Available from: https://dx.doi.org/10.1109/LICS.2015.15.

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.

PLÖSCHNER, Martin, Tomáš TYC and Tomáš ČIŽMÁR. Multimode fibre: a pathway towards deep tissue fluorescence microscopy. Online. In Eggleton, B. J.; Palomba, S. MICRO+NANO MATERIALS, DEVICES, AND SYSTEMS. BELLINGHAM: SPIE-INT SOC OPTICAL ENGINEERING, 2015, p. 1-6. ISBN 978-1-62841-890-3. Available from: https://dx.doi.org/10.1117/12.2202355.

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.

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.

BLAHOUDEK, František, Alexandre DURET-LUTZ, Vojtěch RUJBR and Jan STREJČEK. On Refinement of Büchi Automata for Explicit Model Checking. In Fischer, Bernd and Geldenhuys, Jaco. 2015 International SPIN Symposium on Model Checking of Software. Heidelberg, New York, Dordrecht, London: Springer International Publishing, 2015, p. 66-83. ISBN 978-3-319-23403-8. Available from: https://dx.doi.org/10.1007/978-3-319-23404-5_6.

KUČERA, Antonín. On the Existence and Computability of Long-Run Average Properties in Probabilistic VASS. In Adrian Kosowski, Igor Walukiewicz. Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings. Heidelberg: Springer, 2015, p. 12-24. ISBN 978-3-319-22176-2. Available from: https://dx.doi.org/10.1007/978-3-319-22177-9_2.

DAMGÅRD, Ivan, Frédéric DUPONT DUPUIS and Jesper NIELSEN. On the orthogonal vector problem and the feasibility of unconditionally secure Leakage-Resilient computation. In 8th International Conference on Information Theoretic Security, ICITS 2015 ; LNCS 9063. Lugano; Switzerland: Springer, 2015, p. 87-104. ISBN 978-3-319-17469-3. Available from: https://dx.doi.org/10.1007/978-3-319-17470-9_6.

SVOREŇOVÁ, Mária, Ivana ČERNÁ and Calin BELTA. Optimal Temporal Logic Control for Deterministic Transition Systems with Probabilistic Penalties. IEEE Transactions on Automatic Control. IEEE Control Systems Society, 2015, vol. 60, No 6, p. 1528-1541. ISSN 0018-9286. Available from: https://dx.doi.org/10.1109/TAC.2014.2381451.

BRÁZDIL, Tomáš, Ľuboš KORENČIAK, Jan KRČÁL, Petr NOVOTNÝ and Vojtěch ŘEHÁK. Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis. In Javier Campos, Boudewijn R. Haverkort. Quantitative Evaluation of Systems. BERLIN: SPRINGER-VERLAG BERLIN, 2015, p. 141-159. ISBN 978-3-319-22263-9. Available from: https://dx.doi.org/10.1007/978-3-319-22264-6_10.

BRIM, Luboš, Milan ČEŠKA, Martin DEMKO, Samuel PASTVA and David ŠAFRÁNEK. Parameter Synthesis by Parallel Coloured CTL Model Checking. In Roux, Olivier and Bourdon, Jérémie. Computational Methods in Systems Biology. Neuveden: Springer International Publishing, 2015, p. 251-263. ISBN 978-3-319-23400-7. Available from: https://dx.doi.org/10.1007/978-3-319-23401-4_21.

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.

RÁČEK, Jaroslav, Josef DAŇA and Matúš FRIŠTIK. Personal Relationships Identification in Unstructured data. In Radek Němec, František Zapletal. Proceedings of the 11th international conference on Strategic Management and its Support by Information Systems 2015. Ostrava: VŠB - Faculty of Economics, 2015, p. 478-483. ISBN 978-80-248-3741-3.

DERKA, Martin and Petr HLINĚNÝ. Planar Emulators Conjecture Is Nearly True for Cubic Graphs. European Journal of Combinatorics. Elsevier, 2015, vol. 48, No 1, p. 63-70. ISSN 0195-6698. Available from: https://dx.doi.org/10.1016/j.ejc.2015.02.009.

GRUSKA, Jozef, Daowen QIU and Shenggen ZHENG. Potential of Quantum Finite Automata with Exact Acceptance. International Journal of Foundations of Computer Science. 2015, vol. 26, No 3, p. 381-398. ISSN 0129-0541. Available from: https://dx.doi.org/10.1142/S0129054115500215.

ZHENG, Shenggen and Daowen QIU. Power of the interactive proof systems with verifiers modeled by semi-quantum two-way finite automata (Power of the interactive proof systems with verifiers modeled by semi-quantum two-way finite automata). Information and computation. Academic Press, 2015. ISSN 0890-5401. Available from: https://dx.doi.org/10.1016/j.ic.2015.02.003.

ZHENG, Shenggen, Daowen QIU and Jozef GRUSKA. Power of the interactive proof systems with verifiers modeled by semi-quantum two-way finite automata. Information and computation. Academic Press, 2015, vol. 241, April 2015, p. 197-214. ISSN 0890-5401. Available from: https://dx.doi.org/10.1016/j.ic.2015.02.003.

RYBÁR, Tomáš and Mário ZIMAN. Process estimation in the presence of time-invariant memory effects. Phys. Rev. A. 2015, vol. 92, No 4, p. 042315-42321. ISSN 1050-2947. Available from: https://dx.doi.org/10.1103/PhysRevA.92.042315.

TYC, Tomáš and Jan VLACH. Quantum marginal problems. The European Physical Journal D. Springer Berlin Heidelberg, 2015, vol. 69, No 9, p. 209-214. ISSN 1434-6060. Available from: https://dx.doi.org/10.1140/epjd/e2015-60191-7.

BARNAT, Jiří. Quo Vadis Explicit-State Model Checking. In Giuseppe F. Italiano and Tiziana Margaria-Steffen and Jaroslav Pokorný and Jean-Jacques Quisquater and Roger Wattenhofer. SOFSEM 2015: Theory and Practice of Computer Science - 41st International Conference on Current Trends in Theory and Practice of Computer Science. Neuveden: Springer, 2015, p. 46-57. ISBN 978-3-662-46077-1. Available from: https://dx.doi.org/10.1007/978-3-662-46078-8_5.

BENEŠ, Nikola, Jan KŘETÍNSKÝ, Kim G. LARSEN, Mikael H. MOLLER, Salomon SICKERT and Jiří SRBA. Refinement checking on parametric modal transition systems. Acta Informatica. Springer, 2015, vol. 52, 2-3, p. 269-297. ISSN 0001-5903. Available from: https://dx.doi.org/10.1007/s00236-015-0215-4.

TRIGO, Luis, Martin VÍTA, Rui SARMENTO and Pavel BRÁZDIL. Retrieval, visualization and validation of affinities between documents. In Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2015) - Volume 3: KMIS. Lisbon; Portugal: SciTePress, 2015, p. 452-459. ISBN 978-989-758-158-8. Available from: https://dx.doi.org/10.5220/0005662904520459.

BRÁZDIL, Tomáš, Stefan KIEFER, Antonín KUČERA and Ivana HUTAŘOVÁ VAŘEKOVÁ. Runtime analysis of probabilistic programs with unbounded recursion. Journal of Computer and System Sciences. Academic Press, 2015, vol. 81, No 1, p. 288-310. ISSN 0022-0000. Available from: https://dx.doi.org/10.1016/j.jcss.2014.06.005.

MRÁKOVÁ, Eva and Lubomír POPELÍNSKÝ. Sbírka řešených úloh z logiky pro informatiky (Introduction to Logic for Computer Science: Tasks and Solutions). Vydání první. Brno: Masarykova univerzita, 2015, 82 pp. ISBN 978-80-210-7843-7.

MRÁKOVÁ, Eva and Lubomír POPELÍNSKÝ. Sbírka řešených úloh z logiky pro informatiky. 1. vyd. Brno: Masarykova univerzita, 2015, 80 pp. ISBN 978-80-210-7843-7.

PLÖSCHNER, Martin, Tomáš TYC and Tomáš ČIŽMÁR. Seeing through chaos in multimode fibres. Nature Photonics. 2015, vol. 9, No 8, p. 529-538. ISSN 1749-4885. Available from: https://dx.doi.org/10.1038/NPHOTON.2015.112.

ČEŠKA, Milan, Caroline SCHNEIDER, Abate ALESSANDRO, David ŠAFRÁNEK, Louis MAHADEVAN and Marta KWIATKOWSKA. Stochastic Modelling of the Interface between Regulatory Enzymes and Transcription Initiation at Inducible Genes. In Fourth International Workshop on Hybrid Systems Biology. 2015.