Výpis publikací

SCHWARZOVÁ, Zuzana, Leonard WALLETZKÝ, Patrik PROCHÁZKA, Klára KUBÍČKOVÁ a 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 a Vojtěch SPIWOK. Acceleration of Molecular Simulations by Parametric Time-Lagged tSNE Metadynamics. The Journal of Physical Chemistry B. 2024. ISSN 1520-6106. Dostupné z: https://dx.doi.org/10.1021/acs.jpcb.3c05669.

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

SCHWARZOVÁ, Zuzana, Leonard WALLETZKÝ, Mouzhi GE a 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 s. Dostupné z: https://dx.doi.org/10.1051/itmconf/20246201002.

ŘECHTÁČKOVÁ, Anna, Radek PELÁNEK a 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, s. 59-65. ISBN 979-8-4007-0600-4. Dostupné z: https://dx.doi.org/10.1145/3649217.3653638.

HLINĚNÝ, Petr a 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, s. "61:1"-"61:16", 16 s. ISBN 978-3-95977-335-5. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.MFCS.2024.61.

BALABÁN, Jakub, Robert GANIAN a 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, s. 1-19. ISBN 978-3-95977-311-9. Dostupné z: 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, s. 826-827. ISBN 979-8-4007-0603-5. Dostupné z: https://dx.doi.org/10.1145/3649405.3659536.

JONÁŠ, Martin, Jan STREJČEK, Marek TRTÍK a 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, s. 309-313. ISBN 978-3-031-57258-6. Dostupné z: https://dx.doi.org/10.1007/978-3-031-57259-3_17.

HASHEMI, Vahid, Jan KŘETÍNSKÝ, Sabine RIEDER, Torsten SCHÖN a 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, s. 218-228. ISBN 978-3-031-74234-7. Dostupné z: https://dx.doi.org/10.1007/978-3-031-74234-7_14.

JONÁŠ, Martin, Jan STREJČEK, Marek TRTÍK a 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, s. 90-109. ISBN 978-3-031-57255-5. Dostupné z: https://dx.doi.org/10.1007/978-3-031-57256-2_5.

BRIAŃSKI, Marcin, Martin KOUTECKÝ, Daniel KRÁĽ, Kristýna PEKÁRKOVÁ a Felix SCHRÖDER. Characterization of Matrices with Bounded Graver Bases and Depth Parameters and Applications to Integer Programming. MATHEMATICAL PROGRAMMING. Berlin, Germany: SPRINGER HEIDELBERG, 2024, roč. 208, 1-2, s. 497-531. ISSN 0025-5610. Dostupné z: https://dx.doi.org/10.1007/s10107-023-02048-x.

SUCHÁČEK, Petr. Inspirace z nenásilné komunikace pro lidi na školách. In Festival inspiruj! 2024.

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

PROCHÁZKOVÁ, Ingrid a Petr SUCHÁČEK. Jak podpořit učení studujících? 2024.

TUŠIL, Jan a 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 s.

AZEEM, Muqsit, Sudeep KANAV, Jan KŘETÍNSKÝ, Stefanie MOHR a 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. Dostupné z: 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 a 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, s. 20143-20150. ISBN 978-1-57735-887-9. Dostupné z: https://dx.doi.org/10.1609/aaai.v38i18.29993.

PELÁNEK, Radek, Tomáš EFFENBERGER a 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 s. ISSN 0924-1868. Dostupné z: https://dx.doi.org/10.1007/s11257-024-09396-z.

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

WALLETZKÝ, Leonard, Zuzana SCHWARZOVÁ, Janka MARSCHALKOVÁ a 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. Dostupné z: https://dx.doi.org/10.54941/ahfe1005088.

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

BHATI, Amit Singh, Antonín DUFKA, Elena ANDREEVA, Arnab ROY a 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, s. 1082-1098. ISBN 979-8-4007-0482-6. Dostupné z: https://dx.doi.org/10.1145/3634737.3637673.

AYAZIOVÁ, Paulína, Dirk BEYER, Marian LINGSCH-ROSENFELD, Martin SPIESSL a 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, s. 184-203. ISBN 978-3-031-66148-8. Dostupné z: 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Á a 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, s. 406-411. ISBN 978-3-031-57255-5. Dostupné z: https://dx.doi.org/10.1007/978-3-031-57256-2_29.

ZAORAL, Lukáš, Antonín DUFKA a 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, s. 169-189. ISBN 978-3-031-54408-8. Dostupné z: https://dx.doi.org/10.1007/978-3-031-54409-5_9.

CHODIL, Miroslav a Antonín KUČERA. The Finite Satisfiability Problem for PCTL is Undecidable. In Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science. 2024, s. 1-14. ISBN 979-8-4007-0660-8. Dostupné z: https://dx.doi.org/10.1145/3661814.3662145.

CHODIL, Miroslav a Antonín KUČERA. The Satisfiability Problem for a Quantitative Fragment of PCTL. Journal of Computer and System Sciences. Elsevier, 2024, roč. 139, č. 103478, s. 1-16. ISSN 0022-0000. Dostupné z: 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 a 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, s. 6705-6722. ISBN 978-1-939133-44-1.

DVORAK, Zdenek, Daniel KRÁĽ a 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, roč. 164, č. 1, s. 517-548. ISSN 0095-8956. Dostupné z: https://dx.doi.org/10.1016/j.jctb.2023.11.001.

JANKOLA, Marek a 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, s. 234-255. ISBN 978-3-031-57227-2. Dostupné z: 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Č a 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, s. 714-734. ISSN 2569-2925. Dostupné z: https://dx.doi.org/10.46586/tches.v2024.i2.714-734.

ONDIKA, Patrick, Jan MRÁZEK a 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Ý a Jan JEDELSKÝ. Twin-Width and Transductions of Proper k-Mixed-Thin Graphs. DISCRETE MATHEMATICS. NETHERLANDS: ELSEVIER, 2024, roč. 347, č. 8, 20 s. ISSN 0012-365X. Dostupné z: https://dx.doi.org/10.1016/j.disc.2024.113876.

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

KRÁĽ, Daniel, Kristýna PEKÁRKOVÁ a 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, s. 66:1-66:15, 15 s. ISBN 978-3-95977-335-5.

KRUŽÍKOVÁ, Agáta, Jakub SUCHÁNEK, Milan BROŽ, Martin UKROP a 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, s. 1-11. ISBN 979-8-4007-1718-5. Dostupné z: https://dx.doi.org/10.1145/3664476.3670885.

LANG, Matěj, Adam ŠTĚPÁNEK, Róbert ZVARA, Vojtěch ŘEHÁK a 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.

AYAZIOVÁ, Paulína a 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, s. 341-346. ISBN 978-3-031-57255-5. Dostupné z: 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Á a Michael KRONE. A multimodal smartwatch-based interaction concept for immersive environments. Computers & Graphics. Oxford: Elsevier, 2023, roč. 117, December, s. 85-95. ISSN 0097-8493. Dostupné z: 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Ý a Petra URBANOVÁ. A.D.A.P.T. Software. 2023.

JUENGERMANN, Florian, Jan KŘETÍNSKÝ a 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, roč. 25, č. 3, s. 249-266. ISSN 1433-2779. Dostupné z: https://dx.doi.org/10.1007/s10009-023-00716-z.

WALLETZKÝ, Leonard, Mouzhi GE, Odonchimeg BAYARSAIKHAN a 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, s. 47-67. Communications in Computer and Information Science (CCIS, volume 1843). ISBN 978-3-031-37469-2. Dostupné z: 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 a 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, s. "12:1"-"12:16", 16 s. ISBN 978-3-95977-299-0. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.CONCUR.2023.12.

BENEŠ, Nikola, Luboš BRIM, Ondřej HUVAR, Samuel PASTVA a David ŠAFRÁNEK. Boolean network sketches: a unifying framework for logical model inference. Bioinformatics. 2023, roč. 39, č. 4, s. "btad158", 8 s. ISSN 1367-4803. Dostupné z: https://dx.doi.org/10.1093/bioinformatics/btad158.

ŠIGUT, Petr a 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, s. 35-43. ISBN 978-80-263-1793-7.

TUŠIL, Jan, Traian SERBANUTA a 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, s. 405-456. ISSN 2398-7340. Dostupné z: https://dx.doi.org/10.29007/1874.

CAGIRICI, Onur, Petr HLINĚNÝ, Filip POKRÝVKA a Abhisekh SANKARAN. Clique-Width of Point Configurations. Journal of Combinatorial Theory, Ser B. Amsterdam: Elsevier B.V., 2023, roč. 158, č. 1, s. 43-73. ISSN 0095-8956. Dostupné z: https://dx.doi.org/10.1016/j.jctb.2021.09.001.

GRZESIK, Andrzej, Daniel KRÁĽ, Laszlo M LOVASZ a Jan VOLEC. Cycles of a given length in tournaments. Journal of Combinatorial Theory. Series B. SAN DIEGO: ACADEMIC PRESS INC ELSEVIER SCIENCE, 2023, roč. 158, č. 1, s. 117-145. ISSN 0095-8956. Dostupné z: 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 a 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, roč. 107, L050402, s. 1-5. ISSN 2469-9926. Dostupné z: https://dx.doi.org/10.1103/PhysRevA.107.L050402.

AGAOGLU CAGIRICI, Deniz a Petr HLINĚNÝ. Efficient Isomorphism for Sd-Graphs and T-Graphs. ALGORITHMICA. UNITED STATES: SPRINGER, 2023, roč. 85, č. 2, s. 352-383. ISSN 0178-4617. Dostupné z: https://dx.doi.org/10.1007/s00453-022-01033-8.

BLAHOUDEK, Fratišek, Petr NOVOTNÝ, Melkior ORNIK, Pranay THANGEDA a Ufuk TOPCU. Efficient Strategy Synthesis for MDPs With Resource Constraints. IEEE Transactions on Automatic Control. 2023, roč. 68, č. 8, s. 4586 - 4601. ISSN 0018-9286. Dostupné z: https://dx.doi.org/10.1109/TAC.2022.3209612.

DUFKA, Antonín a 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, s. 1-10. ISBN 979-8-4007-0772-8. Dostupné z: https://dx.doi.org/10.1145/3600160.3600180.

FOLTÝNEK, Tomáš, Sonja BJELOBABA, Irene GLENDINNING, Zeenat Reza KHAN, Rita SANTOS, Pegi PAVELTIC a Július KRAVJAR. ENAI Recommendations on the ethical use of Artificial Intelligence in Education. International Journal for Educational Integrity. Springer, 2023, roč. 19, č. 1, s. 1-4. ISSN 1833-2595. Dostupné z: 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 a Jefferson MAINARDES. Entrevista com lideranças na promoção da ética em pesquisa e da integridade acadêmica e científica. Praxis Educativa. Universidade Estadual de Ponta Grossa, 2023, roč. 2023, č. 18, s. 1-30. ISSN 1809-4031. Dostupné z: https://dx.doi.org/10.5212/PraxEduc.v.18.22915.087.

FOLTÝNEK, Tomáš a 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 a 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, s. 1-8. ISBN 979-8-3503-2069-5. Dostupné z: https://dx.doi.org/10.1109/CASE56687.2023.10260364.

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

KŘETÍNSKÝ, Jan, Tobias MEGGENDORFER, Maximilian PROKOP a 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, s. 390-414. ISBN 978-3-031-37705-1. Dostupné z: https://dx.doi.org/10.1007/978-3-031-37706-8_20.

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

CHIMANI, Markus a Petr HLINĚNÝ. Inserting Multiple Edges into a Planar Graph. Journal of Graph Algorithms and Applications. USA: Brown University, 2023, roč. 27, č. 6, s. 489-522. ISSN 1526-1719. Dostupné z: https://dx.doi.org/10.7155/jgaa.00631.

TUŠIL, Jan, Bereczky PÉTER a 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, s. 139-157. ISBN 978-3-031-47962-5. Dostupné z: https://dx.doi.org/10.1007/978-3-031-47963-2_10.

GRIGGIO, Alberto a 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, s. 429-436. ISBN 978-3-031-37708-2. Dostupné z: https://dx.doi.org/10.1007/978-3-031-37709-9_20.

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

GARBE, Frederik, Robert Arthur HANCOCK, Jan HLADKY a Maryam SHARIFZADEH. Limits of Latin Squares. Discrete Analysis. CAMBRIDGE: ALLIANCE DIAMOND OPEN ACCESS JOURNALS, 2023, roč. 2023, č. 8, s. 1-66. ISSN 2397-3129. Dostupné z: https://dx.doi.org/10.19086/da.83253.

KLAŠKA, David, Antonín KUČERA, Vít MUSIL a 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, s. 5386-5393. ISBN 978-1-956792-03-4. Dostupné z: https://dx.doi.org/10.24963/ijcai.2023/598.

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

KIESBYE, Jonis, Kush GROVER a 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 s. ISSN 1095-323X. Dostupné z: 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Á a 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, s. 1-11. ISSN 2271-2097. Dostupné z: https://dx.doi.org/10.1051/itmconf/20235101001.

HANCOCK, Robert Arthur, Adam KABELA, Daniel KRÁĽ, Taisa MARTINS, Roberto PARENTE, Fiona SKERMAN a Jan VOLEC. No additional tournaments are quasirandom-forcing. European Journal of Combinatorics. 2023, roč. 108, č. 1, s. 1-10. ISSN 0195-6698. Dostupné z: 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 a Rupert URSIN. Nonlocal Temporal Interferometry for Highly Resilient Free-Space Quantum Communication. Physical Review X. College Park: American Physical Society, 2023, roč. 13, č. 2, s. 1-12. ISSN 2160-3308. Dostupné z: https://dx.doi.org/10.1103/PhysRevX.13.021001.

CHATTERJEE, Krishnendu, Ehsan Kafshdar GOHARSHADY, Petr NOVOTNÝ, Jiří ZÁREVÚCKY a Djordje ŽIKELIĆ. On Lexicographic Proof Rules for Probabilistic Termination. Formal Aspects of Computing. 2023, roč. 35, č. 2, s. "11:1"-"11:25", 25 s. ISSN 0934-5043. Dostupné z: 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 a Yuval ELOVICI. Optical Cryptanalysis: Recovering Cryptographic Keys from Power LED Light Fluctuations. Online. In 30th ACM Conference on Computer and Communications Security (CCS'2023). New York, NY, USA: Association for Computing Machinery, 2023, s. 268-280. ISBN 979-8-4007-0050-7. Dostupné z: https://dx.doi.org/10.1145/3576915.3616620.

CIANCHI, Andrea, Vít MUSIL a Luboš PICK. Optimal Sobolev embeddings for the Ornstein-Uhlenbeck operator. Journal of Differential Equations. San Diego, CA USA: ACADEMIC PRESS INC ELSEVIER SCIENCE, 2023, roč. 359, č. 1, s. 414-475. ISSN 0022-0396. Dostupné z: https://dx.doi.org/10.1016/j.jde.2023.02.035.

MUSIL, Vít, Luboš PICK a Jakub TAKÁČ. Optimality problems in Orlicz spaces. Advances in Mathematics. SAN DIEGO: ACADEMIC PRESS INC ELSEVIER SCIENCE, 2023, roč. 432, November 1, s. 1-58. ISSN 0001-8708. Dostupné z: https://dx.doi.org/10.1016/j.aim.2023.109273.

BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA, David ŠAFRÁNEK a 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, s. 18-35. ISBN 978-3-031-42696-4. Dostupné z: 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 a Tomáš BRÁZDIL. Privacy risks of whole-slide image sharing in digital pathology. Nature Communications. 2023, roč. 14, č. 2577, s. 1-15. ISSN 2041-1723. Dostupné z: https://dx.doi.org/10.1038/s41467-023-37991-y.

ARAUJO, Mateus, Marcus HUBER, Miguel NAVASCUES, Matej PIVOLUSKA a Armin TAVAKOLI. Quantum key distribution rates from semidefinite programming. QUANTUM. WIEN: VEREIN FORDERUNG OPEN ACCESS PUBLIZIERENS QUANTENWISSENSCHAF, 2023, roč. 7, č. 1, s. 1-18. ISSN 2521-327X. Dostupné z: https://dx.doi.org/10.22331/Q-2023-05-24-1019.

GRZESIK, Andrzej, Daniel IĽKOVIČ, Bartłomiej KIELAK a Daniel KRÁĽ. Quasirandom-Forcing Orientations of Cycles. SIAM JOURNAL ON DISCRETE MATHEMATICS. UNITED STATES: SIAM PUBLICATIONS, 2023, roč. 37, č. 4, s. 2689-2716. ISSN 0895-4801. Dostupné z: https://dx.doi.org/10.1137/23M1548700.

BALOGH, Jozsef a Ander LAMAISON VIDARTE. Ramsey upper density of infinite graph factors. Illinois Journal of Mathematics. DURHAM: Duke University Press, 2023, roč. 67, č. 1, s. 171-184. ISSN 0019-2082. Dostupné z: 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, roč. 32, č. 5, s. 703-723. ISSN 0963-5483. Dostupné z: https://dx.doi.org/10.1017/S0963548323000093.

AGAOGLU CAGIRICI, Deniz, Onur CAGIRICI, Jan DERBISZ, Tim HARTMANN, Petr HLINĚNÝ, Jan KRATOCHVÍL, Tomasz KRAWCZYK a 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, s. "8:1"-"8:14", 14 s. ISBN 978-3-95977-292-1. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.MFCS.2023.8.

SCHWARZOVÁ, Tereza, Jan STREJČEK a 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, s. 1-20. ISBN 978-3-95977-286-0. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.SAT.2023.23.

MRÁZEK, Jan a 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, s. 1-8. ISBN 979-8-3503-2069-5. Dostupné z: https://dx.doi.org/10.1109/CASE56687.2023.10260586.

TROJÁK, Matej, David ŠAFRÁNEK, Samuel PASTVA a Luboš BRIM. Rule-based Modelling of Biological Systems Using Regulated Rewriting. Biosystems. Elsevier, 2023, roč. 225, č. 104843, s. 1-15. ISSN 0303-2647. Dostupné z: https://dx.doi.org/10.1016/j.biosystems.2023.104843.

HASHEMI, Vahid, Jan KŘETÍNSKÝ, Sabine RIEDER a 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, s. 622-634. ISBN 978-3-031-27480-0. Dostupné z: https://dx.doi.org/10.1007/978-3-031-27481-7_36.

GALLO, Matej, Vojtěch KRAJŇANSKÝ, Rudolf NENUTIL, Petr HOLUB a 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, roč. 78, December, s. 52-67. ISSN 1871-6784. Dostupné z: https://dx.doi.org/10.1016/j.nbt.2023.09.008.

AJDARÓW, Michal, Šimon BRLEJ a 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, s. 14674-14682. ISBN 978-1-57735-880-0. Dostupné z: https://dx.doi.org/10.1609/aaai.v37i12.26715.

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

HLINĚNÝ, Petr a 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, s. 601-606. ISSN 2788-3116. Dostupné z: https://dx.doi.org/10.5817/CZ.MUNI.EUROCOMB23-083.

KŘETÍNSKÝ, Jan, Tobias MEGGENDORFER a 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, s. 1-14. ISBN 979-8-3503-3587-3. Dostupné z: https://dx.doi.org/10.1109/LICS56636.2023.10175771.

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

AYAZIOVÁ, Paulína a 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, s. 523-528. ISBN 978-3-031-30819-2. Dostupné z: https://dx.doi.org/10.1007/978-3-031-30820-8_30.

CHAU, Calvin, Jan KŘETÍNSKÝ a 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, s. 401-421. ISBN 978-3-031-45328-1. Dostupné z: 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Ý a 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, s. 171-179. ISBN 978-1-956792-03-4. Dostupné z: https://dx.doi.org/10.24963/ijcai.2023/20.

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

MRÁZEK, Jan, Patrick ONDIKA, Ivana ČERNÁ a 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, s. 11894-11900. ISBN 979-8-3503-2365-8. Dostupné z: 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 a 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 a Lorna WADDINGTON. Testing of detection tools for AI-generated text. International Journal for Educational Integrity. 2023, roč. 19, č. 26, s. 1-39. ISSN 1833-2595. Dostupné z: https://dx.doi.org/10.1007/s40979-023-00146-z.

GARBE, Frederik, Daniel KRÁĽ, Alexandru MALEKSHAHIAN a 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, s. 471-477. ISSN 2788-3116. Dostupné z: https://dx.doi.org/10.5817/CZ.MUNI.EUROCOMB23-065.

PELÁNEK, Radek a Tomáš EFFENBERGER. The Landscape of Computational Thinking Problems for Practice and Assessment. ACM TRANSACTIONS ON COMPUTING EDUCATION. UNITED STATES: ASSOC COMPUTING MACHINERY, 2023, roč. 23, č. 2, s. 1-29. ISSN 1946-6226. Dostupné z: 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, roč. 19, č. 4, s. 1-47. ISSN 1860-5974. Dostupné z: https://dx.doi.org/10.46298/lmcs-19(4:9)2023.

HANCOCK, Robert Arthur, Daniel KRÁĽ, Matjaz KRNC a Jan VOLEC. Toward characterizing locally common graphs. RANDOM STRUCTURES & ALGORITHMS. HOBOKEN: WILEY, 2023, roč. 62, č. 1, s. 181-218. ISSN 1042-9832. Dostupné z: 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, s. 595-600. ISSN 2788-3116. Dostupné z: https://dx.doi.org/10.5817/CZ.MUNI.EUROCOMB23-082.

HLINĚNÝ, Petr a 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, s. "75:1"-"75:18", 18 s. ISBN 978-3-95977-278-5. Dostupné z: 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 a David Munha CORREIA. UNIFORM TURAN DENSITY OF CYCLES. Transactions of the American Mathematical Society. Providence (USA): American Mathematical Society, 2023, roč. 376, č. 7, s. 4765-4809. ISSN 0002-9947. Dostupné z: 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 a Vít RUSŇÁK. xOpat: eXplainable Open Pathology Analysis Tool. COMPUTER GRAPHICS FORUM. England: Wiley, 2023, roč. 42, č. 3, s. 63-73. ISSN 0167-7055. Dostupné z: 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 a 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 a Eva ŠMIJÁKOVÁ. AEON.py: Python library for attractor analysis in asynchronous Boolean networks. BIOINFORMATICS. UK: OXFORD UNIV PRESS, 2022, roč. 38, č. 21, s. 4978-4980. ISSN 1367-4803. Dostupné z: 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 a 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, s. 131-144. ISBN 978-1-4503-9700-1. Dostupné z: https://dx.doi.org/10.1145/3549015.3554296.

BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA a David ŠAFRÁNEK. BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs. Logical Methods in Computer Science. Episciences, 2022, roč. 18, č. 1, s. 1-27. ISSN 1860-5974. Dostupné z: https://dx.doi.org/10.46298/LMCS-18(1:38)2022.

BOKAL, Drago, Zdeněk DVOŘÁK, Petr HLINĚNÝ, Jesus LEANOS, Bojan MOHAR a Tilo WIEDERA. Bounded degree conjecture holds precisely for c-crossing-critical graphs with c<=12. COMBINATORICA. GERMANY: SPRINGER HEIDELBERG, 2022, roč. 42, č. 5, s. 701-728. ISSN 0209-9683. Dostupné z: https://dx.doi.org/10.1007/s00493-021-4285-3.

BEYER, Dirk a 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, s. 160-174. ISBN 978-3-031-22307-5. Dostupné z: 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áš a 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, s. 941-947. ISBN 978-1-4503-9070-5. Dostupné z: https://dx.doi.org/10.1145/3478431.3499415.

PELÁNEK, Radek, Tomáš EFFENBERGER a Jaroslav ČECHÁK. Complexity and Difficulty of Items in Learning Systems. International Journal of Artificial Intelligence in Education. 2022, roč. 32, č. 1, s. 196-232. ISSN 1560-4292. Dostupné z: https://dx.doi.org/10.1007/s40593-021-00252-4.

KABELA, Adam, Daniel KRÁĽ, Jon Andrew NOEL a Théo PIERRON. Density maximizers of layered permutations. Electronic Journal of Combinatorics. 2022, roč. 29, č. 3, s. 1-21. ISSN 1077-8926. Dostupné z: https://dx.doi.org/10.37236/10781.

PELÁNEK, Radek a Tomáš EFFENBERGER. Design and analysis of microworlds and puzzles for block-based programming. Computer Science Education. Routledge, 2022, roč. 32, č. 1, s. 66-104. ISSN 0899-3408. Dostupné z: 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 a 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, s. 493-517. ISBN 978-3-031-17432-2. Dostupné z: https://dx.doi.org/10.1007/978-3-031-17433-9_21.

ROČKAI, Petr a Jiří BARNAT. DivSIM , an interactive simulator for LLVM bitcode. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER. GERMANY: SPRINGER HEIDELBERG, 2022, roč. 24, č. 3, s. 493-510. ISSN 1433-2779. Dostupné z: 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 a Tomáš HRADSKÝ. Dohledové centrum pro monitorování výrobních informačních systémů. 2022.

TROJÁK, Matej, David ŠAFRÁNEK, Branislav BROZMANN a 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, s. 302-309. ISBN 978-3-031-15033-3. Dostupné z: 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 a 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, s. 56-65. ISBN 978-989-758-572-2. Dostupné z: https://dx.doi.org/10.5220/0011074900003203.

KONIARIK, Jan, Daniel DLHOPOLČEK a 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, s. 386-392. ISBN 978-1-4503-9201-3. Dostupné z: https://dx.doi.org/10.1145/3502718.3524821.

BENEŠ, Nikola, Luboš BRIM, Jakub KADLECAJ, Samuel PASTVA a David ŠAFRÁNEK. Exploring attractor bifurcations in Boolean networks. BMC Bioinformatics. 2022, roč. 23, č. 173, s. 1-18. ISSN 1471-2105. Dostupné z: 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 a Giuseppe VITAGLIANO. Finite-Function-Encoding Quantum States. QUANTUM. WIEN: VEREIN FORDERUNG OPEN ACCESS PUBLIZIERENS QUANTENWISSENSCHAF, 2022, roč. 6, č. 708, s. 1-34. ISSN 2521-327X. Dostupné z: 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 a 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, s. 174-187. ISBN 978-3-031-13187-5. Dostupné z: https://dx.doi.org/10.1007/978-3-031-13188-2_9.

KLAŠKA, David, Antonín KUČERA, Vít MUSIL a 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, s. 4642-4648. ISBN 978-1-956792-00-3. Dostupné z: https://dx.doi.org/10.24963/ijcai.2022/644.

BEKOS, Michael A., Giordano DA LOZZO, Petr HLINĚNÝ a 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, s. "23:1"-"23:15", 15 s. ISBN 978-3-95977-258-7. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.ISAAC.2022.23.

BRIAŃSKI, Marcin, Martin KOUTECKÝ, Daniel KRÁĽ, Kristýna PEKÁRKOVÁ a Felix SCHRÖDER. Characterization of Matrices with Bounded Graver Bases and Depth Parameters and Applications to Integer Programming. 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, s. "29:1"-"29:20", 20 s. ISBN 978-3-95977-235-8. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.ICALP.2022.29.

PIVOLUSKA, Matej a Martin PLESCH. Implementation of quantum compression on IBM quantum computers. Nature Scientific Reports. USA: NATURE PUBLISHING GROUP, 2022, roč. 12, č. 1, s. 5841-5849. ISSN 2045-2322. Dostupné z: https://dx.doi.org/10.1038/s41598-022-09881-8.

PELÁNEK, Radek a Tomáš EFFENBERGER. Improving Learning Environments: Avoiding Stupidity Perspective. IEEE TRANSACTIONS ON LEARNING TECHNOLOGIES. UNITED STATES: IEEE COMPUTER SOC, 2022, roč. 15, č. 1, s. 64-77. ISSN 1939-1382. Dostupné z: https://dx.doi.org/10.1109/TLT.2022.3154936.

CHAN, Timothy, F. N., Daniel KRÁĽ, Bojan MOHAR a David R. WOOD. Inducibility and universality for trees. Combinatorial Theory. 2022, roč. 2, 3.2, s. 1-31. ISSN 2766-1334. Dostupné z: https://dx.doi.org/10.5070/C62359150.

AGAOGLU CAGIRICI, Deniz a 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, s. 239-250. ISBN 978-3-030-96730-7. Dostupné z: https://dx.doi.org/10.1007/978-3-030-96731-4_20.

LAUKO, Henrich. LART. 2022.

LAUKO, Henrich a 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, s. 457-461. ISBN 978-3-030-99526-3. Dostupné z: https://dx.doi.org/10.1007/978-3-030-99527-0_31.

KRÁSNIČAN, Veronika, Tomáš FOLTÝNEK a 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, s. 29-42. ISBN 978-3-031-12679-6. Dostupné z: 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, roč. 31, č. 2, s. 304-319. ISSN 0963-5483. Dostupné z: https://dx.doi.org/10.1017/S0963548321000298.

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

CHAN, Timothy Fong Nam, Jacob COOPER, Martin KOUTECKÝ, Daniel KRÁĽ a Kristýna PEKÁRKOVÁ. Matrices of Optimal Tree-Depth and a Row-Invariant Parameterized Algorithm for Integer Programming. SIAM JOURNAL ON COMPUTING. UNITED STATES: SIAM PUBLICATIONS, 2022, roč. 51, č. 3, s. 664-700. ISSN 0097-5397. Dostupné z: https://dx.doi.org/10.1137/20M1353502.

KLAŠKA, David, Antonín KUČERA, Vít MUSIL a 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, s. 1660-1662. ISBN 978-1-4503-9213-6. Dostupné z: https://dx.doi.org/10.5555/3535850.3536068.

TROJÁK, Matej, Helge HECHT, Martin ČECH a Elliott James PRICE. MSMetaEnhancer: A Python package for mass spectra metadata annotation. Journal of Open Source Software. 2022, roč. 7, č. 79. Dostupné z: https://dx.doi.org/10.21105/joss.04494.

KRÁĽ, Daniel, Jonathan A NOEL, Sergey NORIN, Jan VOLEC a Fan WEI. Non-Bipartite K-Common Graphs. COMBINATORICA. GERMANY: SPRINGER HEIDELBERG, 2022, roč. 42, č. 1, s. 87-114. ISSN 0209-9683. Dostupné z: https://dx.doi.org/10.1007/s00493-020-4499-9.

LAMAISON VIDARTE, Ander, Alp MUYESSER a Michael TAIT. On a colored Turan problem of Diwan and Mubayi. Discrete Mathematics. Elsevier B. V., 2022, roč. 345, č. 10, s. 1-8. ISSN 0012-365X. Dostupné z: https://dx.doi.org/10.1016/j.disc.2022.113003.

CIANCHI, Andrea, Vít MUSIL a Luboš PICK. On the Existence of Extremals for Moser-Type Inequalities in Gauss Space. INTERNATIONAL MATHEMATICS RESEARCH NOTICES. ENGLAND: OXFORD UNIV PRESS, 2022, roč. 2022, č. 2, s. 1494-1537. ISSN 1073-7928. Dostupné z: https://dx.doi.org/10.1093/imrn/rnaa165.

BRÁZDIL, Tomáš, David KLAŠKA, Antonín KUČERA, Vít MUSIL, Petr NOVOTNÝ a Vojtěch ŘEHÁK. On-the-fly Adaptation of Patrolling Strategies in Changing Environments. 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, s. 244-254. ISBN 978-1-7138-6329-8.

COOPER, Jacob, Andrzej GRZESIK, Adam KABELA a Daniel KRÁĽ. Packing and covering directed triangles asymptotically. European Journal of Combinatorics. LONDON: ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD, 2022, roč. 101, č. 103462, s. 1-9. ISSN 0195-6698. Dostupné z: https://dx.doi.org/10.1016/j.ejc.2021.103462.

HAMM, Thekla a 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, s. "46:1"-"46:15", 15 s. ISBN 978-3-95977-227-3. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.SoCG.2022.46.

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

COOPER, Jacob, Daniel KRÁĽ, Ander LAMAISON VIDARTE a Josef Samuel MOHR. Quasirandom Latin squares. Random Structures & Algorithms. United Kingdom: John Wiley and Sons Ltd, 2022, roč. 61, č. 2, s. 298-308. ISSN 1098-2418. Dostupné z: https://dx.doi.org/10.1002/rsa.21060.

CHODIL, Miroslav, Antonín KUČERA a 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, s. 364-387. ISBN 978-3-031-22336-5. Dostupné z: https://dx.doi.org/10.1007/978-3-031-22337-2_18.

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

DUFKA, Antonín, Vladimír SEDLÁČEK a 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, s. 305-316. ISBN 978-989-758-590-6. Dostupné z: https://dx.doi.org/10.5220/0011145600003283.

HENEK DLABOLOVÁ, Dita, Rita SANTOS a 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 a 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, s. 462-467. ISBN 978-3-030-99526-3. Dostupné z: https://dx.doi.org/10.1007/978-3-030-99527-0_32.

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

AYAZIOVÁ, Paulína, Marek CHALUPA a 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, s. 468-473. ISBN 978-3-030-99526-3. Dostupné z: https://dx.doi.org/10.1007/978-3-030-99527-0_33.

WALLETZKÝ, Leonard a Zuzana SCHWARZOVÁ. Teaching in multicontextual envirnoment. Online. In INTED2022 Proceedings. Valencia, Spain: IATED, 2022, s. 5616-5622. ISBN 978-84-09-37758-9. Dostupné z: 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 a 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, s. 632-649. ISBN 978-1-6654-1316-9. Dostupné z: https://dx.doi.org/10.1109/SP46214.2022.9833713.

DVORAK, Zdenek, Daniel KRÁĽ a 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, roč. 152, January, s. 483-504. ISSN 0095-8956. Dostupné z: https://dx.doi.org/10.1016/j.jctb.2021.07.002.

BENDÍK, Jaroslav, Ahmet SENCAN, Ebru Aydin GOL a Ivana ČERNÁ. Timed Automata Robustness Analysis via Model Checking. Logical Methods in Computer Science. 2022, roč. 18, č. 3, s. 1-32. ISSN 1860-5974. Dostupné z: https://dx.doi.org/10.46298/lmcs-18(3:12)2022.

PELÁNEK, Radek, Tomáš EFFENBERGER a Adam KUKUČKA. Towards Design-Loop Adaptivity: Identifying Items for Revision. Journal of Educational Data Mining. International Educational Data Mining Society, 2022, roč. 14, č. 3, s. 1-25. ISSN 2157-2100. Dostupné z: https://dx.doi.org/10.5281/zenodo.7357331.

BALABÁN, Jakub, Petr HLINĚNÝ a Jan JEDELSKÝ. Twin-Width and Transductions of Proper k-Mixed-Thin Graphs. In Michael A. Bekos and Michael Kaufmann. WG 2022: Graph-Theoretic Concepts in Computer Science. LNCS 13453. Cham: Springer Nature, 2022, s. 43-55. ISBN 978-3-031-15913-8. Dostupné z: https://dx.doi.org/10.1007/978-3-031-15914-5_4.

KRAUS, Lydia, Matěj GRABOVSKÝ, Martin UKROP, Katarína GALANSKÁ a 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, s. 289-305. ISBN 978-3-031-06974-1. Dostupné z: 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 a Petr ROČKAI. Verification of Programs Sensitive to Heap Layout. ACM Transactions on Software Engineering and Methodology. 2022, roč. 31, č. 4, s. 1-27. ISSN 1049-331X. Dostupné z: https://dx.doi.org/10.1145/3508363.

GANIAN, Robert, Filip POKRÝVKA, André SCHIDLER, Kirill SIMONOV a 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, s. "15:1"-"15:17", 17 s. ISBN 978-3-95977-242-6. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.SAT.2022.15.

HENEK DLABOLOVÁ, Dita, Rita SANTOS, Sonja BJELOBABA, Tomáš FOLTÝNEK a 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, s. 92-96. ISBN 978-3-030-83822-5. Dostupné z: https://dx.doi.org/10.1007/978-3-030-83823-2_15.

BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA a 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, s. 230-237. ISBN 978-3-030-85632-8. Dostupné z: 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, roč. 17, č. 2, s. 1-60. ISSN 1860-5974. Dostupné z: 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, roč. 8, č. 4, s. 4-21. ISSN 2372-3491. Dostupné z: https://dx.doi.org/10.1145/3527372.3527374.

CHALUPA, Marek a 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, s. 49-76. ISBN 978-3-030-88805-3. Dostupné z: https://dx.doi.org/10.1007/978-3-030-88806-0_3.

ČECHÁK, Jaroslav a Radek PELÁNEK. Better Model, Worse Predictions: The Dangers in Student Model Comparisons. In Roll, Ido and McNamara, Danielle and Sosnovsky, Sergey and Luckin, Rose and Dimitrova, Vania. International Conference on Artificial Intelligence in Education. Cham: Springer, 2021, s. 500-511. ISBN 978-3-030-78291-7. Dostupné z: 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 a Makarius WENZEL. CICM'21 Systems Entries. Online. In 978-3-030-81097-9. INTELLIGENT COMPUTER MATHEMATICS (CICM 2021). CHAM: SPRINGER INTERNATIONAL PUBLISHING AG, 2021, s. 245-248. ISBN 978-3-030-81096-2. Dostupné z: 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 a Lluís VENA. Coloring graphs by translates in the circle. European Journal of Combinatorics. LONDON: ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD, 2021, roč. 96, č. 103346, s. 1-18. ISSN 0195-6698. Dostupné z: https://dx.doi.org/10.1016/j.ejc.2021.103346.

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

BOK, Jan, Jiří FIALA, Petr HLINĚNÝ, Nikola JEDLIČKOVÁ a 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, s. "21:1"-"21:15", 15 s. ISBN 978-3-95977-201-3. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.MFCS.2021.21.

BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA a 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, s. 505-528. ISBN 978-3-030-81684-1. Dostupné z: https://dx.doi.org/10.1007/978-3-030-81685-8_24.

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

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

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

DVOŘÁK, Zdeněk, Michael HEBDIGE, Filip HLÁSEK, Daniel KRÁĽ a 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, roč. 94, č. 103287, s. 1-17. ISSN 0195-6698. Dostupné z: https://dx.doi.org/10.1016/j.ejc.2020.103287.

AJDARÓW, Michal a 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, s. "30:1"-"30:15", 15 s. ISBN 978-3-95977-203-7. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.CONCUR.2021.30.

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

HAJNAL, Matej, Tatjana PETROV a 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, s. 79-95. ISBN 978-3-030-91824-8. Dostupné z: 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Á a Tadeáš KUČERA. DIVINE 4.4. 2021.

SÍČ, Juraj a 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, s. 535-544. ISBN 978-3-030-80222-6. Dostupné z: https://dx.doi.org/10.1007/978-3-030-80223-3_36.

ČECHÁK, Jaroslav a 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, s. 553-558. ISBN 978-1-7336736-2-4.

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

BLUMENSATH, Achim a 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, s. 1-21. ISBN 978-3-95977-201-3. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.MFCS.2021.19.

BLAHOUDEK, František, Murat CUBUKTEPE, Petr NOVOTNÝ, Melkior ORNIK, Pranay THANGEDA a Ufuk TOPCU. Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption. Online. In 24th International Symposium on Formal Methods, FM 2021. Cham, Switzerland: Springer, 2021, s. 640-656. ISBN 978-3-030-90869-0. Dostupné z: https://dx.doi.org/10.1007/978-3-030-90870-6_34.

KRAUS, Lydia, Mária ŠVIDROŇOVÁ a 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, s. 416-429. ISBN 978-3-030-78119-4. Dostupné z: https://dx.doi.org/10.1007/978-3-030-78120-0_27.

GARBE, Frederik, Daniel KRÁĽ a 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, s. 148-153. ISBN 978-3-030-83822-5. Dostupné z: https://dx.doi.org/10.1007/978-3-030-83823-2_24.

RIESE, Emma, Madeleine LORÅS, Martin UKROP a 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, s. 547-553. ISBN 978-1-4503-8214-4. Dostupné z: https://dx.doi.org/10.1145/3430665.3456304.

DODA, M., Matej PIVOLUSKA a Martin PLESCH. Choice of mutually unbiased bases and outcome labeling affecting measurement outcome secrecy. Physical review A. New York: The American Physical Society, 2021, roč. 103, č. 3, s. 032206-32213. ISSN 2469-9926. Dostupné z: https://dx.doi.org/10.1103/PhysRevA.103.032206.

RUSSELL, Stuart J a 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 s. Zip, svazek 76. ISBN 978-80-7363-810-8.

COOLEY, Oliver, Frederik GARBE, Eng Keat HNG, Mihyun KANG, Nicolás SANHUEZA-MATAMALA a Julian ZALLA. Longest Paths in Random Hypergraphs. SIAM Journal on Discrete Mathematics. 2021, roč. 35, č. 4, s. 2430-2458. ISSN 0895-4801. Dostupné z: https://dx.doi.org/10.1137/20M1345712.

ANASTOS, Michael, Ander LAMAISON VIDARTE, Raphael STEINER a Tibor SZABÓ. Majority colorings of sparse digraphs. Electronic Journal of Combinatorics. 2021, roč. 28, č. 2, s. 1-17. ISSN 1077-8926. Dostupné z: https://dx.doi.org/10.37236/10067.

LANG, Jan, Vít MUSIL, Miroslav OLŠÁK a Luboš PICK. Maximal Non-compactness of Sobolev Embeddings. Journal of Geometric Analysis. NEW YORK: Springer, 2021, roč. 31, č. 9, s. 9406-9431. ISSN 1050-6926. Dostupné z: https://dx.doi.org/10.1007/s12220-020-00522-y.

ANTOL, Matej, Miriama JÁNOŠOVÁ a Vlastislav DOHNAL. Metric hull as similarity-aware operator for representing unstructured data. Pattern Recognition Letters. Amsterdam: Elsevier, 2021, roč. 149, September 2021, s. 91-98. ISSN 0167-8655. Dostupné z: https://dx.doi.org/10.1016/j.patrec.2021.05.011.

CHATTERJEE, Krishnendu, Ehsan Kafshdar GOHARSHADY, Petr NOVOTNÝ, Jiří ZÁREVÚCKY a Djordje ŽIKELIĆ. On Lexicographic Proof Rules for Probabilistic Termination. Online. In 24th International Symposium on Formal Methods, FM 2021. Cham, Switzerland: Springer, 2021, s. 619-639. ISBN 978-3-030-90869-0. Dostupné z: https://dx.doi.org/10.1007/978-3-030-90870-6_33.

HLINĚNÝ, Petr a 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, s. 50-56. ISBN 978-3-030-83822-5. Dostupné z: https://dx.doi.org/10.1007/978-3-030-83823-2_9.

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

CHATTERJEE, Krishnendu, Ehsan Kafshdar GOHARSHADY, Petr NOVOTNÝ a 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, s. 1033-1048. ISBN 978-1-4503-8391-2. Dostupné z: https://dx.doi.org/10.1145/3453483.3454093.

DODA, M., M. HUBER, G. MURTA, Matej PIVOLUSKA, Martin PLESCH a C. VLACHOU. Quantum Key Distribution Overcoming Extreme Noise: Simultaneous Subspace Coding Using High-Dimensional Entanglement. PHYSICAL REVIEW APPLIED. COLLEGE PK: AMER PHYSICAL SOC, 2021, roč. 15, č. 3, s. 034003-34017. ISSN 2331-7019. Dostupné z: https://dx.doi.org/10.1103/PhysRevApplied.15.034003.

HAHN-KLIMROTH, Max, Giulia S MAESAKA, Yannick MOGGE, Samuel MOHR a Olaf PARCZYK. Random perturbation of sparse graphs. Electronic Journal of Combinatorics. 2021, roč. 28, č. 2, s. 1-12. ISSN 1077-8926. Dostupné z: https://dx.doi.org/10.37236/9510.

MRÁZEK, Jan, Martin JONÁŠ a 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, s. 6935-6940. ISBN 978-1-6654-1714-3. Dostupné z: https://dx.doi.org/10.1109/IROS51168.2021.9636534.

ŠTEFÁNIK, Michal, Vít NOVOTNÝ a 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, s. 1041-1048. ISBN 978-1-954085-94-7.

KLAŠKA, David, Antonín KUČERA, Vojtěch ŘEHÁK a 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, s. 471-481. ISSN 2640-3498.

ROČKAI, Petr, Zuzana BARANOVÁ, Jan MRÁZEK, Katarína KEJSTOVÁ a Jiří BARNAT. Reproducible execution of POSIX programs with DiOS. Software & Systems Modeling. Springer, 2021, roč. 20, č. 2, s. 363-382. ISSN 1619-1366. Dostupné z: 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 a EA AGUILAR. Semi-device-independent random number generation with flexible assumptions. NPJ QUANTUM INFORMATION. BERLIN: NATURE RESEARCH, 2021, roč. 7, č. 1, s. 1-12. ISSN 2056-6387. Dostupné z: https://dx.doi.org/10.1038/s41534-021-00387-1.

CIANCHI, Andrea, Vít MUSIL a Luboš PICK. Sharp exponential inequalities for the Ornstein-Uhlenbeck operator. Journal of Functional Analysis. SAN DIEGO: Elsevier, 2021, roč. 281, č. 11, 68 s. ISSN 0022-1236. Dostupné z: https://dx.doi.org/10.1016/j.jfa.2021.109217.

GRZESIK, Andrzej, Daniel KRÁĽ a 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, s. 273-279. ISBN 978-3-030-83822-5. Dostupné z: 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Á a 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, s. 453-457. ISBN 978-3-030-72012-4. Dostupné z: https://dx.doi.org/10.1007/978-3-030-72013-1_31.

CHALUPA, Marek, Jakub NOVÁK a 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, s. 368-372. ISBN 978-3-030-71499-4. Dostupné z: https://dx.doi.org/10.1007/978-3-030-71500-7_20.

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

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

BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA a 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, s. 64-83. ISBN 978-3-030-72012-4. Dostupné z: https://dx.doi.org/10.1007/978-3-030-72013-1_4.

ZHENGWEI, Xie, Qiu DAOWEN, Cai GUANGYA, Jozef GRUSKA a Paulo MATEUS. Testing Boolean Functions Properties. Fundamenta Informaticae. AMSTERDAM: IOS PRESS, 2021, roč. 182, č. 3, s. 321-344. ISSN 0169-2968. Dostupné z: https://dx.doi.org/10.3233/FI-2021-2076.

CHODIL, Miroslav a 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, s. 149-161. ISBN 978-3-030-86592-4. Dostupné z: https://dx.doi.org/10.1007/978-3-030-86593-1_10.

ŠVÁBENSKÝ, Valdemar a 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. Dostupné z: https://dx.doi.org/10.1145/3408877.3439569.

DVOŘÁK, Zdeněk, Daniel KRÁĽ a 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, roč. 150, September 2021, s. 270-304. ISSN 0095-8956. Dostupné z: https://dx.doi.org/10.1016/j.jctb.2020.09.001.

DVOŘÁK, Zdeněk, Daniel KRÁĽ a 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, roč. 150, September 2021, s. 244-269. ISSN 0095-8956. Dostupné z: https://dx.doi.org/10.1016/j.jctb.2020.04.006.

BENDÍK, Jaroslav, Ahmet SENCAN, Ebru Aydin GOL a Ivana ČERNÁ. Timed Automata Relaxation for Reachability. In Friso Groote and Kim Guldstrand Larsen. 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'21). Part I vol. 12651. Heidelberg: Springer, 2021, s. 291-310. ISBN 978-3-030-72015-5. Dostupné z: https://dx.doi.org/10.1007/978-3-030-72016-2_16.

ŠTEFÁNIK, Michal a 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, s. 91-103. ISBN 978-80-263-1670-1.

BALABÁN, Jakub a 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). 214. vyd. Dagstuhl: Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik, 2021, s. "6:1"-"6:13", 13 s. ISBN 978-3-95977-216-7. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.IPEC.2021.6.

AGAOGLU, Deniz a 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, s. 390-396. ISBN 978-3-030-83822-5. Dostupné z: https://dx.doi.org/10.1007/978-3-030-83823-2_61.

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

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

LAUKO, Henrich, Martina OLLIARO, Agostino CORTESI a Petr ROČKAI. Abstracting Strings for Model Checking of C Programs. Applied Sciences. Multidisciplinary Digital Publishing Institute, 2020, roč. 10, č. 21, s. 1-33. ISSN 2076-3417. Dostupné z: https://dx.doi.org/10.3390/app10217853.

KLAŠKA, David, Antonín KUČERA a 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, s. 629-637. ISBN 978-1-4503-7518-4. Dostupné z: https://dx.doi.org/10.5555/3398761.3398837.

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

BENDÍK, Jaroslav a Kuldeep S. MEEL. Approximate Counting of Minimal Unsatisfiable Subsets. In Shuvendu K. Lahiri and Chao Wang. Computer Aided Verification - 32nd International Conference, CAV 2020. Neuveden: Springer, Cham, 2020, s. 439-462. ISBN 978-3-030-53287-1. Dostupné z: 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 a Krzysztof WEΙSEK. Avoiding Multiple Repetitions in Euclidean Spaces. SIAM Journal on Discrete Mathematics. Philadelphia: SIAM, 2020, roč. 34, č. 1, s. 40-52. ISSN 0895-4801. Dostupné z: https://dx.doi.org/10.1137/18M1180347.

PELÁNEK, Radek a Tomáš EFFENBERGER. Beyond binary correctness: Classification of students’ answers in learning systems. User Modeling and User-Adapted Interaction. Springer, 2020, roč. 30, č. 5, s. 867-893. ISSN 0924-1868. Dostupné z: https://dx.doi.org/10.1007/s11257-020-09265-5.

BLUMENSATH, Achim a Felix WOLF. Bisimulation invariant monadic-second order logic in the finite. Theoretical Computer Science. Elsevier, 2020, roč. 823, č. 1, s. 26-43. ISSN 0304-3975. Dostupné z: https://dx.doi.org/10.1016/j.tcs.2020.03.001.

DĘBSKI, Michał Karol, Konstanty JUNOSZA-SZANIAWSKI a Zbigniew LONC. Bundling all shortest paths. Discrete Applied Mathematics. Elsevier Science, 2020, roč. 277, č. 1, s. 82-91. ISSN 0166-218X. Dostupné z: https://dx.doi.org/10.1016/j.dam.2019.08.027.

CAGIRICI, Onur, Petr HLINĚNÝ, Filip POKRÝVKA a Abhisekh SANKARAN. Clique-Width of Point Configurations. In Graph-Theoretic Concepts in Computer Science, WG 2020. Cham: Springer, Lecture Notes in Computer Science, 2020, s. 54-66. ISBN 978-3-030-60439-4. Dostupné z: https://dx.doi.org/10.1007/978-3-030-60440-0_5.

BARANOVÁ, Zuzana a 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, s. 30-45. ISBN 978-3-030-54993-0. Dostupné z: https://dx.doi.org/10.1007/978-3-030-54994-7_4.

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

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

CHAN, Timothy F. N., Andrzej GRZESIK, Daniel KRÁĽ a 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, roč. 175, č. 105276, s. 1-23. ISSN 0097-3165. Dostupné z: https://dx.doi.org/10.1016/j.jcta.2020.105276.

CHALUPA, Marek. DG: A program analysis library. Software Impacts. 2020, roč. 2020, č. 6, s. 1-4. ISSN 2665-9638. Dostupné z: 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, s. 557-563. ISBN 978-3-030-59151-9. Dostupné z: https://dx.doi.org/10.1007/978-3-030-59152-6_33.

BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA a David ŠAFRÁNEK. Digital Bifurcation Analysis of Internet Congestion Control Protocols. International Journal of Bifurcation and Chaos. 2020, roč. 30, č. 13, s. 2030038-2030055. ISSN 0218-1274. Dostupné z: 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, s. 11-15. ISSN 2691-5278.

TROJÁK, Matej, David ŠAFRÁNEK, Lukrécia MERTOVÁ a 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, s. 356-361. ISBN 978-3-030-60326-7. Dostupné z: https://dx.doi.org/10.1007/978-3-030-60327-4_20.

KUČERA, Antonín, Jérôme LEROUX a 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, s. 676-688. ISBN 978-1-4503-7104-9. Dostupné z: https://dx.doi.org/10.1145/3373718.3394751.

GRZESIK, Andrzej, Daniel KRÁĽ a Laszlo Miklos LOVASZ. Elusive extremal graphs. Proceedings of the London mathematical society. Cambridge: Cambridge University Press, 2020, roč. 121, č. 6, s. 1685-1736. ISSN 0024-6115. Dostupné z: https://dx.doi.org/10.1112/plms.12382.

KRAUS, Lydia, Martin UKROP, Václav MATYÁŠ a 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, s. 267-280. ISBN 978-3-030-57042-2. Dostupné z: https://dx.doi.org/10.1007/978-3-030-57043-9_25.

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

TROJÁK, Matej, David ŠAFRÁNEK, Luboš BRIM, Jakub ŠALAGOVIČ a 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, s. 91-116. ISSN 1571-0661. Dostupné z: https://dx.doi.org/10.1016/j.entcs.2020.06.006.

TROJÁK, Matej, David ŠAFRÁNEK, Lukrécia MERTOVÁ a 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 a GC. GUO. Experimental creation of multi-photon high-dimensional layered quantum states. NPJ QUANTUM INFORMATION. BERLIN: NATURE RESEARCH, 2020, roč. 6, č. 1, s. 1-5. ISSN 2056-6387. Dostupné z: https://dx.doi.org/10.1038/s41534-020-00318-6.

EFFENBERGER, Tomáš, Radek PELÁNEK a 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, s. 472-479. ISBN 978-1-4503-7712-6. Dostupné z: https://dx.doi.org/10.1145/3375462.3375491.

KRÁĽ, Daniel, Laszlo M. LOVASZ, Jonathan A. NOEL a Jakub SOSNOVEC. Finitely Forcible Graphons with an Almost Arbitrary Structure. Discrete Analysis. CAMBRIDGE: ALLIANCE DIAMOND OPEN ACCESS JOURNALS, 2020, roč. 2020, č. 9, s. 1-36. ISSN 2397-3129. Dostupné z: https://dx.doi.org/10.19086/da.12058.

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

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

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

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

DĘBSKI, Michał Karol, Stefan FELSNER, Piotr MICEK a 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, s. 2212-2226. ISBN 978-1-61197-599-4. Dostupné z: https://dx.doi.org/10.1137/1.9781611975994.136.

AGAOGLU, Deniz a 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, s. "4:1"-"4:14", 14 s. ISBN 978-3-95977-159-7. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.MFCS.2020.4.

CHALUPA, Marek, Jan STREJČEK a Martina VITOVSKÁ. Joint Forces for Memory Safety Checking Revisited. International Journal on Software Tools for Technology Transfer (STTT). Springer, 2020, roč. 22, č. 2, s. 115-133. ISSN 1433-2779. Dostupné z: 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 a 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, roč. 10, December, s. 1-18. ISSN 2234-943X. Dostupné z: https://dx.doi.org/10.3389/fonc.2020.581365.

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

CHAN, Timothy Fong Nam, Jacob COOPER, Martin KOUTECKÝ, Daniel KRÁĽ a Kristýna PEKÁRKOVÁ. Matrices of optimal tree-depth and a row-invariant parameterized algorithm for integer programming. 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, s. "26:1"-"26:19", 19 s. ISBN 978-3-95977-138-2. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.ICALP.2020.26.

CHATTERJEE, Krishnendu, Martin CHMELÍK, Deep KARKHANIS, Petr NOVOTNÝ a 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, s. 48-56. ISBN 978-1-57735-824-4.

CHEN, Gang, Le WANG, Wei LI, Yang ZHAO, Shengmei ZHAO a Jozef GRUSKA. Multiple-pulse phase-matching quantum key distribution. Quantum Information Processing. 2020, roč. 19, č. 11, s. "416:1"-"416:16", 16 s. ISSN 1570-0755. Dostupné z: https://dx.doi.org/10.1007/s11128-020-02920-1.

BENDÍK, Jaroslav a Ivana ČERNÁ. MUST: Minimal Unsatisfiable Subsets Enumeration Tool. In Armin Biere and David Parker. Tools and Algorithms for the Construction and Analysis of Systems. Neuveden: Springer International Publishing, 2020, s. 135-152. ISBN 978-3-030-45189-9. Dostupné z: 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, s. 184-197. ISBN 978-3-030-50025-2. Dostupné z: https://dx.doi.org/10.1007/978-3-030-50026-9_13.

KORENČIK, Lukáš, Petr ROČKAI, Henrich LAUKO a 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, s. 265-272. ISBN 978-1-7281-8914-7. Dostupné z: https://dx.doi.org/10.1109/QRS51102.2020.00044.

BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA a David ŠAFRÁNEK. Parallel parameter synthesis algorithm for hybrid CTL. Science of Computer Programming. 2020, roč. 185, č. 102321, s. 1-19. ISSN 0167-6423. Dostupné z: https://dx.doi.org/10.1016/j.scico.2019.102321.

ŠMIJÁKOVÁ, Eva, Samuel PASTVA, David ŠAFRÁNEK a Luboš BRIM. 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, s. 280-297. ISBN 978-3-030-60326-7. Dostupné z: https://dx.doi.org/10.1007/978-3-030-60327-4_15.

TROJÁK, Matej, David ŠAFRÁNEK, Lukrécia MERTOVÁ a 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, s. 41-59. ISBN 978-3-030-55753-9. Dostupné z: https://dx.doi.org/10.1007/978-3-030-55754-6_3.

KENYON, Richard, Daniel KRÁĽ, Charles RADIN a Peter WINKLER. Permutations with fixed pattern densities. Random Structures and Algorithms. HOBOKEN: WILEY, 2020, roč. 56, č. 1, s. 220-250. ISSN 1042-9832. Dostupné z: https://dx.doi.org/10.1002/rsa.20882.

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

BLAHOUDEK, František, Tomáš BRÁZDIL, Petr NOVOTNÝ, Melkior ORNIK, Pranay THANGEDA a Ufuk TOPCU. Qualitative Controller Synthesis for Consumption Markov Decision Processes. In Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {II}. Cham: Springer, 2020, s. 421-447. ISBN 978-3-030-53290-1. Dostupné z: 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, roč. 16, č. 1, s. 1-25. ISSN 1860-5974. Dostupné z: https://dx.doi.org/10.23638/LMCS-16(1:16)2020.

BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Petr NOVOTNÝ a 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, s. 9794-9801. ISBN 978-1-57735-823-7. Dostupné z: https://dx.doi.org/10.1609/aaai.v34i06.6531.

BENDÍK, Jaroslav a Ivana ČERNÁ. Replication-Guided Enumeration of Minimal Unsatisfiable Subsets. In Helmut Simonis. 26th International Conference on Principles and Practice of Constraint Programming. Neuveden: Springer, Cham, 2020, s. 37-54. ISBN 978-3-030-58474-0. Dostupné z: https://dx.doi.org/10.1007/978-3-030-58475-7_3.

BENDÍK, Jaroslav a 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, s. 120-137. ISSN 2398-7340. Dostupné z: https://dx.doi.org/10.29007/8btb.

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

BLAHOUDEK, František, Alexandre DURET-LUTZ a 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, s. 15-27. ISBN 978-3-030-53290-1. Dostupné z: https://dx.doi.org/10.1007/978-3-030-53291-8_2.

JONÁŠ, Martin a 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, s. 378-393. ISBN 978-3-030-51824-0. Dostupné z: https://dx.doi.org/10.1007/978-3-030-51825-7_27.

DĘBSKI, Michał Karol, Kontanty JUNOSZA-SZANIAWSKI a Małgorzata ŚLESZYŃSKA-NOWAK. Strong chromatic index of K-1,t-free graphs. Discrete Applied Mathematics. 2020, roč. 284, č. 1, s. 53-60. ISSN 0166-218X. Dostupné z: 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 a 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, s. 413-417. ISBN 978-3-030-45236-0. Dostupné z: https://dx.doi.org/10.1007/978-3-030-45237-7_31.

UKROP, Martin, Valdemar ŠVÁBENSKÝ a 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. Dostupné z: https://dx.doi.org/10.1145/3341525.3393967.

CHATTERJEE, Krishnendu, Hongfei FU a 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, s. 221-258. ISBN 978-1-108-48851-8. Dostupné z: https://dx.doi.org/10.1017/9781108770750.008.

DVORAK, Zdeněk, Daniel KRÁĽ a 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, roč. 145, November 2020, s. 376-432. ISSN 0095-8956. Dostupné z: https://dx.doi.org/10.1016/j.jctb.2020.06.005.

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

HAJNAL, Matej a 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, s. 57-71. ISSN 1571-0661. Dostupné z: https://dx.doi.org/10.1016/j.entcs.2020.06.004.

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

UKROP, Martin, Lydia KRAUS a 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, roč. 1, č. 4, s. 1-29. ISSN 2692-1626. Dostupné z: https://dx.doi.org/10.1145/3419472.

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

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

GANIAN, Robert, Sebastian ORDYNIAK a 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, s. 195-212. ISBN 978-3-030-30047-0. Dostupné z: https://dx.doi.org/10.1007/978-3-030-30048-7_12.

HU, Kang, Le WANG, Qianping MAO, Zhigang SHEN, Shengmei ZHAO a Jozef GRUSKA. A quantum secret sharing scheme without monitoring signal disturbance. Optik. Munich: Elsevier, 2019, roč. 181, March 2019, s. 810-815. ISSN 0030-4026. Dostupné z: https://dx.doi.org/10.1016/j.ijleo.2018.12.139.

ROČKAI, Petr a 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, s. 127-142. ISBN 978-3-030-27007-0. Dostupné z: https://dx.doi.org/10.1007/978-3-030-27008-7_8.

ENEVOLDSEN, Soeren, Kim G. LARSEN a Jiří SRBA. Abstract Dependency Graphs and Their Application to Model Checking. In Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19). The Netherlands: Springer, 2019, s. 316-333. ISBN 978-3-030-17461-3. Dostupné z: https://dx.doi.org/10.1007/978-3-030-17462-0_18.

BENEŠ, Nikola, Luboš BRIM, Martin GELETKA, Samuel PASTVA a 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, s. 27-45. ISBN 978-3-030-34967-7. Dostupné z: https://dx.doi.org/10.1007/978-3-030-34968-4_2.

GRZESIK, Andrzej a Daniel KRÁĽ. Analytic representations of large graphs. In Surveys in Combinatorics 2019. Cambridge: Cambridge University Press, 2019, s. 57-88. ISBN 978-1-108-64909-4. Dostupné z: 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 a 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, s. 356-359. ISBN 978-3-030-31303-6. Dostupné z: https://dx.doi.org/10.1007/978-3-030-31304-3_26.

AVNI, Guy, Thomas A. HENZINGER, Rasmus IBSEN-JENSEN a 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, s. 1-12. ISBN 978-3-030-30805-6. Dostupné z: 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 s.

BOKAL, Drago, Zdeněk DVOŘÁK, Petr HLINĚNÝ, Jesus LEANOS, Bojan MOHAR a Tilo WIEDERA. Bounded degree conjecture holds precisely for c-crossing-critical graphs with c<=12. Online. In 35th International Symposium on Computational Geometry, SoCG 2019. Dagstuhl: Leibniz International Proceedings in Informatics, LIPIcs, 2019, s. "14:1"-"14:15", 15 s. ISBN 978-3-95977-104-7. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.SoCG.2019.14.

GLEBOV, Roman, Daniel KRÁĽ a Jan VOLEC. Compactness and finite forcibility of graphons. Journal of the European Mathematical Society. ZURICH: Springer, 2019, roč. 21, č. 10, s. 3199-3223. ISSN 1435-9855. Dostupné z: 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 a Jakub ŠALAGOVIČ. Comprehensive Modelling Platform. In 6th Workshop on Hybrid Systems & Biology. 2019.

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

EIBEN, Eduard, Robert GANIAN, Kustaa KANGAS a Sebastian ORDYNIAK. Counting Linear Extensions: Parameterizations by Treewidth. Algorithmica. Springer, 2019, roč. 81, č. 4, s. 1657-1683. ISSN 0178-4617. Dostupné z: https://dx.doi.org/10.1007/s00453-018-0496-4.

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

HAJNAL, Matej, Nouvian MORGANE, Tatjana PETROV a 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, s. 383-386. ISBN 978-3-030-31303-6. Dostupné z: https://dx.doi.org/10.1007/978-3-030-31304-3_32.

HAJNAL, Matej, Morgan NOUVIAN, David ŠAFRÁNEK a 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, s. 147-164. ISBN 978-3-030-28041-3. Dostupné z: https://dx.doi.org/10.1007/978-3-030-28042-0_10.

BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Antonín KUČERA, Petr NOVOTNÝ a Dominik VELAN. Deciding Fast Termination for Probabilistic VASS with Nondeterminism. In Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza. Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Proceedings. Cham: Springer, 2019, s. 462-478. ISBN 978-3-030-31783-6. Dostupné z: https://dx.doi.org/10.1007/978-3-030-31784-3_27.

KRÁĽ, Daniel, B LIDICKY, TL MARTINS a Y PEHOVA. Decomposing Graphs into Edges and Triangles. COMBINATORICS PROBABILITY & COMPUTING. NEW YORK: CAMBRIDGE UNIV PRESS, 2019, roč. 28, č. 3, s. 465-472. ISSN 0963-5483. Dostupné z: https://dx.doi.org/10.1017/S0963548318000421.

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

BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA a David ŠAFRÁNEK. Digital Bifurcation Analysis of TCP Dynamics. In Tomáš Vojnar and Lijun Zhang. Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019. LNCS, volume 11428. Cham: Springer International Publishing, 2019, s. 339-356. ISBN 978-3-030-17464-4. Dostupné z: https://dx.doi.org/10.1007/978-3-030-17465-1_19.

DIWAN, Ajit Arvind, Bodhayan ROY a 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, s. 97-108. ISBN 978-3-030-11508-1. Dostupné z: 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 a 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, roč. 91, č. 21, s. 13475-13484. ISSN 0003-2700. Dostupné z: 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, roč. 88, č. 3, s. 619-623. ISSN 0231-6986.

DU, Shiping, Daowen QIU, Paulo MATEUS a Jozef GRUSKA. Enhanced double random phase encryption of quantum images. Results in Physics. Amsterdam: Elsevier, 2019, roč. 13, č. 102161, s. 1-11. ISSN 2211-3797. Dostupné z: https://dx.doi.org/10.1016/j.rinp.2019.102161.

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

CHALUPA, Marek a 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, s. 101-119. ISBN 978-3-030-34967-7. Dostupné z: https://dx.doi.org/10.1007/978-3-030-34968-4_6.

HLINĚNÝ, Petr a Abhisekh SANKARAN. Exact Crossing Number Parameterized by Vertex Cover. In GD 2019: Graph Drawing and Network Visualization. Cham: Springer, Lecture Notes in Computer Science, volume 11904, 2019, s. 307-319. ISBN 978-3-030-35801-3. Dostupné z: https://dx.doi.org/10.1007/978-3-030-35802-0_24.

LAUKO, Henrich, Vladimír ŠTILL, Petr ROČKAI a 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, s. 204-208. ISBN 978-3-030-17501-6. Dostupné z: https://dx.doi.org/10.1007/978-3-030-17502-3_14.

BENEŠ, Nikola, Luboš BRIM, Jana DRAŽANOVÁ, Samuel PASTVA a 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, s. 99-108. ISBN 978-1-4503-6282-5. Dostupné z: https://dx.doi.org/10.1145/3302504.3311793.

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

HLINĚNÝ, Petr, Filip POKRÝVKA a Bodhayan ROY. FO model checking on geometric graphs. Computational geometry. Amsterdam: ELSEVIER SCIENCE BV, 2019, roč. 78, č. 1, s. 1-19. ISSN 0925-7721. Dostupné z: https://dx.doi.org/10.1016/j.comgeo.2018.10.001.

BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA, Jakub POLÁČEK a 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, s. 353-369. ISBN 978-3-030-32408-7. Dostupné z: 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 a 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, s. 445-461. ISBN 978-3-030-31783-6. Dostupné z: https://dx.doi.org/10.1007/978-3-030-31784-3_26.

GANIAN, Robert, Sebastian ORDYNIAK a 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, s. 1-16. ISBN 978-3-95977-124-5. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.ESA.2019.48.

GLEBOV, Roman, Tereza KLIMOŠOVÁ a Daniel KRÁĽ. Infinite-dimensional finitely forcible graphon. Proceedings of the London mathematical society. Cambridge: Cambridge University Press, 2019, roč. 118, č. 4, s. 826-856. ISSN 0024-6115. Dostupné z: https://dx.doi.org/10.1112/plms.12203.

EIBEN, Eduard, Robert GANIAN, Dusan KNOP, Sebastian ORDYNIAK, Michal PILIPCZUK a 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, s. 194-204. ISBN 978-3-030-17952-6. Dostupné z: https://dx.doi.org/10.1007/978-3-030-17953-3_15.

CAI, Xing Shi, Cecilia HOLMGREN, Luc DEVROYE a Fiona SKERMAN. K-cut on paths and some trees. Electronic Journal of Probability. Seattle: University of Washington, 2019, roč. 24, č. 53, s. 1-22. ISSN 1083-6489. Dostupné z: https://dx.doi.org/10.1214/19-EJP318.

ŠTILL, Vladimír a 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, s. 373-390. ISBN 978-3-030-30445-4. Dostupné z: https://dx.doi.org/10.1007/978-3-030-30446-1_20.

BLAHOUDEK, František, Juraj MAJOR a 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, s. 152-171. ISBN 978-3-030-32504-6. Dostupné z: https://dx.doi.org/10.1007/978-3-030-32505-3_10.

MAJOR, Juraj, František BLAHOUDEK, Jan STREJČEK, Miriama JÁNOŠOVÁ a Tatiana ZBONČÁKOVÁ. ltl3tela: LTL to Small Deterministic or Nondeterministic Emerson-Lei Automata. 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, s. 357-365. ISBN 978-3-030-31783-6. Dostupné z: https://dx.doi.org/10.1007/978-3-030-31784-3_21.

BAIER, Christel, Clemens DUBSLAFF, Ľuboš KORENČIAK, Antonín KUČERA a 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, roč. 29, č. 4, s. "28:1"-"28:26", 26 s. ISSN 1049-3301. Dostupné z: https://dx.doi.org/10.1145/3310225.

EFFENBERGER, Tomáš a 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, s. "26:1"-"26:4", 4 s. ISBN 978-1-4503-6804-9. Dostupné z: https://dx.doi.org/10.1145/3330430.3333639.

EIBEN, Eduard, Robert GANIAN, Thekla HAMM a 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, s. 1-15. ISBN 978-3-95977-117-7. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.MFCS.2019.42.

ELAVSKY, Steriani, Lenka KNAPOVÁ, Adam KLOCEK a 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, roč. 27, č. 4, s. 565-593. ISSN 1063-8652. Dostupné z: https://dx.doi.org/10.1123/japa.2017-0410.

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

BENEŠ, Nikola, Luboš BRIM, Samuel PASTVA a 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, s. 3-35. Computational Biology. ISBN 978-3-030-17296-1. Dostupné z: https://dx.doi.org/10.1007/978-3-030-17297-8_1.

ENEVOLDSEN, Soeren, Kim G. LARSEN a 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, s. 1-19. ISBN 978-3-030-30922-0. Dostupné z: https://dx.doi.org/10.1007/978-3-030-30923-7_1.

KOPEČEK, Ivan a 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, s. 151-155. ISBN 978-80-263-1545-2.

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

KŘETÍNSKÝ, Jan a 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, s. 1-17. ISBN 978-3-95977-121-4. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.CONCUR.2019.5.

CAGIRICI, Onur, Subir GHOSH, Petr HLINĚNÝ a 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, s. 601-612. ISBN 978-3-030-36411-3. Dostupné z: https://dx.doi.org/10.1007/978-3-030-36412-0_49.

BOKAL, Drago, Mojca BRACIC, Marek DERŇÁR a Petr HLINĚNÝ. On Degree Properties of Crossing-Critical Families of Graphs. Electronic Journal of Combinatorics. internet: -, 2019, roč. 26, č. 1, s. 1-28. ISSN 1077-8926. Dostupné z: https://dx.doi.org/10.37236/7753.

WIESNER, David, Tereza NEČASOVÁ a 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, s. 672-682. ISBN 978-3-030-30644-1. Dostupné z: https://dx.doi.org/10.1007/978-3-030-30645-8_61.

FORSTER, Henry, Robert GANIAN, Fabian KLUTE a 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, s. 147-161. ISBN 978-3-030-35801-3. Dostupné z: https://dx.doi.org/10.1007/978-3-030-35802-0_12.

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

GANIAN, Robert, N. S. NARAYANASWAMY, Sebastian ORDYNIAK, C. S. RAHUL a M. S. RAMANUJAN. On the Complexity Landscape of Connected f-Factor Problems. Algorithmica. Springer, 2019, roč. 81, č. 6, s. 2606-2632. ISSN 0178-4617. Dostupné z: https://dx.doi.org/10.1007/s00453-019-00546-z.

BALAJI, Nikhil, Stefan KIEFER, Petr NOVOTNÝ, Guillermo A. PÉREZ a 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, s. "102:1"-"102:15", 15 s. ISBN 978-3-95977-109-2. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.ICALP.2019.102.

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

BHORE, Sujoy, Robert GANIAN, Fabrizio MONTECCHIANI a 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, s. 365-378. ISBN 978-3-030-35801-3. Dostupné z: https://dx.doi.org/10.1007/978-3-030-35802-0_28.

GANIAN, Robert, Martin KRONEGGER, Andreas PFANDLER a Alexandru POPA. Parameterized Complexity of Asynchronous Border Minimization. Algorithmica. Springer, 2019, roč. 81, č. 1, s. 201-223. ISSN 0178-4617. Dostupné z: https://dx.doi.org/10.1007/s00453-018-0442-5.

FOUCAUD, Florent, Hervé HOCQUARD, Dimitry LAJOU, Valia MITSOU a 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, s. "15:1"-"15:16", 16 s. ISBN 978-3-95977-129-0. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.IPEC.2019.15.

GAJARSKÝ, Jakub, Petr HLINĚNÝ, Martin KOUTECKÝ a Shmuel ONN. Parameterized shifted combinatorial optimization. Journal of Computer and System Sciences. SAN DIEGO: Academic Press, 2019, roč. 99, č. 1, s. 53-71. ISSN 0022-0000. Dostupné z: https://dx.doi.org/10.1016/j.jcss.2018.06.002.

BOENNELAND, Frederik M., Peter G. JENSEN, Kim G. LARSEN, Marco MUNIZ a 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, s. 1-15. ISBN 978-3-95977-121-4. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.CONCUR.2019.23.

PATNAIK, Milan, V. KAMAKOTI, Václav MATYÁŠ a 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, roč. 5, č. 2, s. 400-412. ISSN 2332-7731. Dostupné z: https://dx.doi.org/10.1109/TCCN.2019.2913397.

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

ZHAO, Shengmei, Wenhao ZHANG, Le WANG, Wei LI, Longyan GONG, Weiwen CHENG, Hanwu CHEN a 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, roč. 9, č. 2025, s. 1-8. ISSN 2045-2322. Dostupné z: https://dx.doi.org/10.1038/s41598-018-38409-2.

JONÁŠ, Martin a 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, s. 64-73. ISBN 978-3-030-25542-8. Dostupné z: https://dx.doi.org/10.1007/978-3-030-25543-5_4.

UKROP, Martin, Valdemar ŠVÁBENSKÝ a 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, s. 1088-1094. ISBN 978-1-4503-5890-3. Dostupné z: https://dx.doi.org/10.1145/3287324.3287448.

ROČKAI, Petr, Zuzana BARANOVÁ, Jan MRÁZEK, Katarína KEJSTOVÁ a 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, s. 333-349. ISBN 978-3-030-30445-4. Dostupné z: https://dx.doi.org/10.1007/978-3-030-30446-1_18.

MRÁZEK, Jan a Jiří BARNAT. RoFICoM - First Open-Hardware Connector for Metamorphic Robots. In 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). Neuveden: IEEE, 2019, s. 2720-2725. ISBN 978-1-7281-4004-9. Dostupné z: https://dx.doi.org/10.1109/IROS40897.2019.8968167.

KARRA, Shyam Lal, Kim G. LARSEN, Florian LORBER a 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, s. 106-122. ISBN 978-3-030-18743-9. Dostupné z: https://dx.doi.org/10.1007/978-3-030-18744-6_7.

GANIAN, Robert, Neha LODHA, Sebastian ORDYNIAK a Stefan SZEIDER. SAT-Encodings for Treecut Width and Treedepth. Online. In Stephen G. Kobourov and Henning Meyerhenke. ALENEX 2019. USA: SIAM, 2019, s. 117-129. ISBN 978-1-61197-549-9. Dostupné z: https://dx.doi.org/10.1137/1.9781611975499.10.

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

DAŇA, Josef, Ivan KOPEČEK, Radek OŠLEJŠEK a Jaromír PLHÁK. Simulating the Impact of Cooperation and Management Strategies on Stress and Economic Performance. Online. In Tung Bui. Proceedings of the 52nd Hawaii International Conference on System Sciences. USA: University of Hawaii at Manoa, 2019, s. 6569-6578. ISBN 978-0-9981331-2-6. Dostupné z: 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 a Tatiana ZBONČÁKOVÁ. Software pro simulaci obecných i kritických informačních infrastruktur. 2019.

GANIAN, Robert a Sebastian ORDYNIAK. Solving Integer Linear Programs by Exploiting Variable-Constraint Interactions: A Survey. Algorithms. 2019, roč. 12, č. 12, s. 1-14. ISSN 1999-4893. Dostupné z: https://dx.doi.org/10.3390/A12120248.

EIBEN, Eduard, Robert GANIAN, Dusan KNOP a 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, s. 1477-1484. ISBN 978-1-57735-809-1. Dostupné z: https://dx.doi.org/10.1609/aaai.v33i01.33011477.

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

ROČKAI, Petr, Henrich LAUKO, Martina OLLIARO a 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, s. 74-93. ISBN 978-3-030-30922-0. Dostupné z: https://dx.doi.org/10.1007/978-3-030-30923-7_5.

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

DU, Shiping, Daowen QIU, Jozef GRUSKA a Paulo MATEUS. Synthesis of quantum images using phase rotation. Quantum Information Processing. New York: Springer, 2019, roč. 18, č. 9, s. 1-28. ISSN 1570-0755. Dostupné z: https://dx.doi.org/10.1007/s11128-019-2396-1.

KUNC, Michal a Jan MEITNER. The generalized rank of trace languages. International Journal of Foundations of Computer Science. Singapore: World Scientific Publishing Co Pte Ltd, 2019, roč. 30, č. 1, s. 135-169. ISSN 0129-0541. Dostupné z: https://dx.doi.org/10.1142/S0129054119400070.

EIBEN, Eduard, Robert GANIAN, Iyad KANJ a 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, s. 7666-7676. ISBN 978-1-7281-1044-8.

GANIAN, Robert a 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, s. 190-204. ISBN 978-3-030-30785-1. Dostupné z: https://dx.doi.org/10.1007/978-3-030-30786-8_15.

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

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

MAŠKA, Martin, Tereza NEČASOVÁ, David WIESNER, Dmitry SOROKIN, Igor PETERLÍK, Vladimír ULMAN a 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, s. 819-823. ISBN 978-1-5386-6249-6. Dostupné z: 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, s. 339-343. ISBN 978-3-030-23206-1. Dostupné z: https://dx.doi.org/10.1007/978-3-030-23207-8_62.

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

KNAPOVÁ, Lenka a 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 a 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, s. 385-394. ISBN 978-3-030-11023-9. Dostupné z: https://dx.doi.org/10.1007/978-3-030-11024-6_28.

UKROP, Martin, Lydia KRAUS, Václav MATYÁŠ a 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, s. 718-731. ISBN 978-1-4503-7628-0. Dostupné z: 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 a Jiří SRBA. A Distributed Fixed-Point Algorithm for Extended Dependency Graphs. Fundamenta Informaticae. 2018, roč. 161, č. 4, s. 351-381. ISSN 0169-2968. Dostupné z: https://dx.doi.org/10.3233/FI-2018-1707.

KUČERA, Antonín a 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, roč. 91, č. 1, s. 82-103. ISSN 0022-0000. Dostupné z: https://dx.doi.org/10.1016/j.jcss.2017.09.004.

ŠŤAVOVÁ, Vlasta, Lenka DĚDKOVÁ, Martin UKROP a Václav MATYÁŠ. A large-scale comparative study of beta testers and regular users. Communications of the ACM. New York, NY, USA: ACM, 2018, roč. 61, č. 2, s. 64-71. ISSN 0001-0782. Dostupné z: 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, roč. 32, č. 2, s. 1425-1440. ISSN 0895-4801. Dostupné z: https://dx.doi.org/10.1137/17M1120129.

EIBEN, Eduard, Robert GANIAN a O-joung KWON. A single-exponential fixed-parameter algorithm for distance-hereditary vertex deletion. Journal of Computer and System Sciences. Academic Press, 2018, roč. 97, č. 1, s. 121-146. ISSN 0022-0000. Dostupné z: https://dx.doi.org/10.1016/j.jcss.2018.05.005.

EIBEN, Eduard, Robert GANIAN a 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, s. 203-209. ISBN 978-0-9992411-2-7. Dostupné z: https://dx.doi.org/10.24963/ijcai.2018/28.

JONÁŠ, Martin a 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, s. 273-291. ISBN 978-3-030-02507-6. Dostupné z: https://dx.doi.org/10.1007/978-3-030-02508-3_15.

NĚMEC, Lukáš, Radim OŠŤÁDAL, Václav MATYÁŠ a Petr ŠVENDA. 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, s. 123-130. ISBN 978-1-5386-5470-5. Dostupné z: https://dx.doi.org/10.1109/DCOSS.2018.00028.

CHATTERJEE, Krishnendu, Hongfei FU, Petr NOVOTNÝ a 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, roč. 40, č. 2, 45 s. ISSN 0164-0925. Dostupné z: https://dx.doi.org/10.1145/3174800.

IVANOV, Dmitry, Kim G. LARSEN, Sibylle SCHUPP a 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, s. 173-189. ISBN 978-3-319-99153-5. Dostupné z: https://dx.doi.org/10.1007/978-3-319-99154-2_11.

KLAŠKA, David, Antonín KUČERA, Tomáš LAMSER a 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, s. 659-666. ISBN 978-1-5108-6808-3. Dostupné z: https://dx.doi.org/10.5555/3237383.3237481.

BLUMENSATH, Achim a 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, s. 1-13. ISBN 978-3-95977-076-7. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.ICALP.2018.117.

BLONDIN, Michael, Javier ESPARZA, Stefan JAAX a 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, s. 1-10. ISBN 978-1-4503-5583-4. Dostupné z: https://dx.doi.org/10.1145/3209108.3209110.

KŘETÍNSKÝ, Jan a 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, s. 609-618. ISBN 978-1-4503-5583-4. Dostupné z: https://dx.doi.org/10.1145/3209108.3209176.

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

ASHOK, Pranav, Yuliya BUTKOVA, Holger HERMANNS a Jan KŘETÍNSKÝ. Continuous-Time Markov Decisions Based on Partial Exploration. In Automated Technology for Verification and Analysis. ATVA 2018. Cham: Springer, 2018, s. 317-334. ISBN 978-3-030-01089-8. Dostupné z: https://dx.doi.org/10.1007/978-3-030-01090-4_19.

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

HLINĚNÝ, Petr a Carsten THOMASSEN. Deciding Parity of Graph Crossing Number. SIAM Journal on Discrete Mathematics. Philadelphia: SIAM, 2018, roč. 32, č. 3, s. 1962-1965. ISSN 0895-4801. Dostupné z: https://dx.doi.org/10.1137/17M1137231.

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

ROČKAI, Petr, Vladimír ŠTILL, Ivana ČERNÁ a Jiří BARNAT. DiVM: Model checking with LLVM and graph memory. Journal of Systems and Software. Elsevier, 2018, roč. 143, Oct, s. 1-13. ISSN 0164-1212. Dostupné z: 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Á a 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 a Jozef GRUSKA. Edge detection based on single-pixel imaging. Optics Express. 2018, roč. 26, č. 5, s. 5501-5511. ISSN 1094-4087. Dostupné z: https://dx.doi.org/10.1364/OE.26.005501.

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

NĚMEC, Lukáš, Radim OŠŤÁDAL, Václav MATYÁŠ a 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, s. 84-92. ISBN 978-3-030-03250-0. Dostupné z: https://dx.doi.org/10.1007/978-3-030-03251-7_9.

BENDÍK, Jaroslav a 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, s. 131-142. ISSN 2398-7340. Dostupné z: https://dx.doi.org/10.29007/sxzb.

MRÁZEK, Vojtěch, Marek SÝS, Zdenek VASICEK, Lukáš SEKANINA a Václav MATYÁŠ. Evolving boolean functions for fast and efficient randomness testing. In Proceedings of the Genetic and Evolutionary Computation Conference 2018. USA: Association for Computing Machinery, 2018, s. 1302-1309. ISBN 978-1-4503-5618-3. Dostupné z: https://dx.doi.org/10.1145/3205455.3205518.

CHATTERJEE, Krishnendu, Adrián ELGYUTT, Petr NOVOTNÝ a 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, s. 4692--4699, 7 s. ISBN 978-0-9992411-2-7. Dostupné z: https://dx.doi.org/10.24963/ijcai.2018/652.

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

BENDÍK, Jaroslav, Nikola BENEŠ a 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, s. 152-163. ISBN 978-989-758-320-9. Dostupné z: https://dx.doi.org/10.5220/0006864401520163.

COOPER, Jacob, Daniel KRÁĽ a TL MARTINS. Finitely forcible graph limits are universal. Advances in Mathematics. SAN DIEGO: ACADEMIC PRESS INC ELSEVIER SCIENCE, 2018, roč. 340, December, s. 819-854. ISSN 0001-8708. Dostupné z: https://dx.doi.org/10.1016/j.aim.2018.10.019.

HLINĚNÝ, Petr, Filip POKRÝVKA a 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, s. "19:1"-"19:12", 12 s. ISBN 978-3-95977-051-4. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.IPEC.2017.19.

BENEŠ, Nikola, Luboš BRIM, Jan ČERVENÝ, Samuel PASTVA, David ŠAFRÁNEK, Jakub ŠALAGOVIČ a 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, s. 354-359. ISBN 978-1-5386-4444-7. Dostupné z: https://dx.doi.org/10.1109/ICSTCC.2018.8540762.

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

BISHOI, Susil Kumar a 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, roč. 243, July, s. 90-98. ISSN 0166-218X. Dostupné z: https://dx.doi.org/10.1016/j.dam.2018.01.010.

JONÁŠ, Martin a 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, s. 488-497. ISSN 2398-7340. Dostupné z: https://dx.doi.org/10.29007/spnx.

CHOMSKY, Noam+ a Jiří ZLATUŠKA. Jakými tvory jsme? Praha: Academia, 2018, 141 s. XXI. století. ISBN 978-80-200-2804-4.

CHALUPA, Marek, Jan STREJČEK a 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, s. 115-132. ISBN 978-3-319-94110-3. Dostupné z: https://dx.doi.org/10.1007/978-3-319-94111-0_7.

PIVOLUSKA, Matej, Marcus HUBER a Mehul MALIK. Layered quantum key distribution. Physical Review A. 2018, roč. 97, č. 3, s. "032312:1"-"032312:10", 10 s. ISSN 2469-9926. Dostupné z: https://dx.doi.org/10.1103/PhysRevA.97.032312.

KŘETÍNSKÝ, Jan, Guillermo PEREZ a 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, s. 1-18. ISBN 978-3-95977-087-3. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.CONCUR.2018.8.

AGRAWAL, Sheshansh, Krishnendu CHATTERJEE a 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, s. "34:1--34:32", 32 s. 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 a K. WOLF. MCC'2017 - The Seventh Model Checking Contest. In Transactions on Petri Nets and Other Models of Concurrency XIII. Berlin, Heidelberg: Springer, 2018, s. 181-209. ISBN 978-3-662-58380-7. Dostupné z: https://dx.doi.org/10.1007/978-3-662-58381-4_9.

EIBEN, Eduard, Robert GANIAN a Stefan SZEIDER. Meta-kernelization using well-structured modulators. Discrete Applied Mathematics. Elsevier Science, 2018, roč. 248, č. 1, s. 153-167. ISSN 0166-218X. Dostupné z: https://dx.doi.org/10.1016/j.dam.2017.09.018.

ŠTILL, Vladimír a 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, s. 124-140. ISBN 978-3-030-02449-9. Dostupné z: https://dx.doi.org/10.1007/978-3-030-02450-5_8.

DAŇA, Josef a 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, s. 79-84. ISBN 978-80-248-4196-0.

ASHOK, Pranav, Tomáš BRÁZDIL, Jan KŘETÍNSKÝ a 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, s. 322-335. ISBN 978-3-030-03420-7. Dostupné z: https://dx.doi.org/10.1007/978-3-030-03421-4_21.

BEZDĚK, Peter, Nikola BENEŠ, Ivana ČERNÁ a 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, roč. 99, Oct, s. 114-142. ISSN 2352-2208. Dostupné z: https://dx.doi.org/10.1016/j.jlamp.2018.05.004.

CAGIRICI, Onur, Petr HLINĚNÝ a 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, s. "21:1"-"21:14", 14 s. ISBN 978-3-95977-055-2. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.FSTTCS.2017.21.

GANIAN, Robert, Fabian KLUTE a Sebastian ORDYNIAK. On Structural Parameterizations of the Bounded-Degree Vertex Deletion Problem. Online. In Rolf Niedermeier, Brigitte Vallee. STACS 2018. Nemecko: Dagstuhl, 2018, s. 1-14. ISBN 978-3-95977-062-0. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.STACS.2018.33.

EIBEN, Eduard, Robert GANIAN a Juho LAURI. On the complexity of rainbow coloring problems. Discrete Applied Mathematics. Elsevier Science, 2018, roč. 246, č. 1, s. 38-48. ISSN 0166-218X. Dostupné z: https://dx.doi.org/10.1016/j.dam.2016.10.021.

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

BENDÍK, Jaroslav, Elaheh GHASSABANI, Michael WHALEN a 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, s. 189-204. ISBN 978-3-319-92969-9. Dostupné z: https://dx.doi.org/10.1007/978-3-319-92970-5_12.

COOPER, Jacob, Andrzej GRZESIK a Daniel KRÁĽ. Optimal-size clique transversals in chordal graphs. Journal of Graph Theory. Wiley, 2018, roč. 89, č. 4, s. 479-493. ISSN 0364-9024. Dostupné z: https://dx.doi.org/10.1002/jgt.22362.

GANIAN, Robert, Iyad KANJ, Sebastian ORDYNIAK a 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, s. 1642-1651. ISBN 978-1-5108-6796-3.

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

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

SCHMID, Stefan a 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, s. 1799-1807. ISBN 978-1-5386-4128-6. Dostupné z: https://dx.doi.org/10.1109/INFOCOM.2018.8486261.

BROŽ, Milan, Mikuláš PATOČKA a 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, s. 79-93. ISBN 978-3-319-99827-5. Dostupné z: 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 a Marc T. THORGERSEN. P-Rex: Fast Verification of MPLS Networks with Multiple Link Failures. In Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies (CoNEXT'18). USA: ACM, 2018, s. 217-227. ISBN 978-1-4503-6080-7. Dostupné z: https://dx.doi.org/10.1145/3281411.3281432.

BENDÍK, Jaroslav, Ivana ČERNÁ a Nikola BENEŠ. Recursive Online Enumeration of All Minimal Unsatisfiable Subsets. In Shuvendu Lahiri and Chao Wang. Automated Technology for Verification and Analysis - 16th International Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings}. Los Angeles: Springer, 2018, s. 143-159. ISBN 978-3-030-01089-8. Dostupné z: https://dx.doi.org/10.1007/978-3-030-01090-4_9.

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

BOENNELAND, F.M., J. DYHR, P.G. JENSEN, M. JOHANNSEN a 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, s. 143-163. ISBN 978-3-319-91267-7. Dostupné z: https://dx.doi.org/10.1007/978-3-319-91268-4_8.

EIBEN, Eduard, Robert GANIAN a Sebastian ORDYNIAK. Small Resolution Proofs for QBF using Dependency Treewidth. Online. In Rolf Niedermeier, Brigitte Vallee. STACS 2018. Nemecko: Dagstuhl, 2018, s. 1-15. ISBN 978-3-95977-062-0. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.STACS.2018.28.

BRÁZDIL, Tomáš, Antonín KUČERA a 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, s. 121-127. ISBN 978-0-9992411-2-7. Dostupné z: https://dx.doi.org/10.24963/ijcai.2018/17.

EIBEN, Eduard, Robert GANIAN a Stefan SZEIDER. Solving Problems on Graphs of High Rank-Width. Algorithmica. Springer, 2018, roč. 80, č. 2, s. 742-771. ISSN 0178-4617. Dostupné z: https://dx.doi.org/10.1007/s00453-017-0290-8.

BOENNELAND, Frederik M., Peter G. JENSEN, Kim G. LARSEN, Marco MUNIZ a Jiří SRBA. Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems. In Proceedings of the 30th International Conference on Computer Aided Verification (CAV'18). Netherlands: Springer, 2018, s. 527-546. ISBN 978-3-319-96144-6. Dostupné z: https://dx.doi.org/10.1007/978-3-319-96145-3_28.

BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Jan KŘETÍNSKÝ a Viktor TOMAN. Strategy Representation by Decision Trees in Reactive Synthesis. In 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018). Cham: Springer, 2018, s. 385-407. ISBN 978-3-319-89959-6. Dostupné z: https://dx.doi.org/10.1007/978-3-319-89960-2_21.

DVOŘÁK, Zdeněk, Petr HLINĚNÝ a 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, s. "33:1"-"33:14", 14 s. ISBN 978-3-95977-066-8. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.SoCG.2018.33.

GANIAN, Robert, Eunjung KIM, Friedrich SLIVOVSKY a 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, s. 733-737. ISBN 978-1-5386-7449-9. Dostupné z: https://dx.doi.org/10.1109/ICTAI.2018.00115.

CHALUPA, Marek, Martina VITOVSKÁ a 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, s. 442-446. ISBN 978-3-319-89963-3. Dostupné z: https://dx.doi.org/10.1007/978-3-319-89963-3_29.

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

GANIAN, Robert a Sebastian ORDYNIAK. The complexity landscape of decompositional parameters for ILP. ARTIFICIAL INTELLIGENCE. Elsevier Science, 2018, roč. 257, č. 1, s. 61-71. ISSN 0004-3702. Dostupné z: https://dx.doi.org/10.1016/j.artint.2017.12.006.

ALMEIDA, Jorge, Ondřej KLÍMA a Michal KUNC. The omega-inequality problem for concatenation hierarchies of star-free languages. Forum Mathematicum. 2018, roč. 30, č. 3, s. 663-679. ISSN 0933-7741. Dostupné z: https://dx.doi.org/10.1515/forum-2016-0028.

KRÁĽ, Daniel, R THOMAS a 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, roč. 132, s. 1-46. ISSN 0095-8956. Dostupné z: https://dx.doi.org/10.1016/j.jctb.2018.03.001.

ALMEIDA, Jorge a Ondřej KLÍMA. Towards a pseudoequational proof theory. Portugaliae mathematica. Lisboa, 2018, roč. 75, č. 2, s. 79-119. ISSN 0032-5155. Dostupné z: https://dx.doi.org/10.4171/PM/2012.

EIBEN, Eduard, Robert GANIAN, Dusan KNOP a 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, s. 1284-1290. ISBN 978-0-9992411-2-7. Dostupné z: 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 a 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, s. 406-413. ISBN 978-989-758-298-1. Dostupné z: https://dx.doi.org/10.5220/0006818304060413.

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

COOPER, Jacob, Tomáš KAISER, Daniel KRÁĽ a Jonathan NOEL. Weak regularity and finitely forcible graph limits. Transactions of the American Mathematical Society. American Mathematical Society, 2018, roč. 370, č. 6, s. 3833-3864. ISSN 0002-9947. Dostupné z: https://dx.doi.org/10.1090/tran/7066.

UKROP, Martin a 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, s. 45-64. ISBN 978-3-319-76952-3. Dostupné z: https://dx.doi.org/10.1007/978-3-319-76953-0_3.

CHIMANI, Markus a Petr HLINĚNÝ. A tighter insertion-based approximation of the crossing number. Journal of Combinatorial Optimization. Springer, 2017, roč. 33, č. 4, s. 1183-1225. ISSN 1382-6905. Dostupné z: https://dx.doi.org/10.1007/s10878-016-0030-z.

SÝS, Marek, Zdeněk ŘÍHA a 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, roč. 43, č. 3, s. 27-37. ISSN 0098-3500. Dostupné z: https://dx.doi.org/10.1145/2988228.

JANKŮJOVÁ, Marie, David POTĚŠIL, Zbyněk ZDRÁHAL, Martin DEMKO, Jan OPPELT, Martin KAŠNÝ a 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 a Nikos DARZENTAS. ARResT/Interrogate: an interactive immunoprofiler for IG/TR NGS data. Bioinformatics. Oxford: Oxford University Press, 2017, roč. 33, č. 3, s. 435-437. ISSN 1367-4803. Dostupné z: https://dx.doi.org/10.1093/bioinformatics/btw634.

STEHLÍK, Martin, Václav MATYÁŠ a 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, s. 99-129. Studies in Computational Intelligence. ISBN 978-3-319-47713-8. Dostupné z: https://dx.doi.org/10.1007/978-3-319-47715-2_5.

GANIAN, Robert, M.S. RAMANUJAN a 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. 10491. vyd. Nemecko: Springer, 2017, s. 20-37. ISBN 978-3-319-66262-6. Dostupné z: https://dx.doi.org/10.1007/978-3-319-66263-3_2.

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

TROJÁK, Matej, David ŠAFRÁNEK, Jakub ŠALAGOVIČ, Františka ROMANOVSKÁ a 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Á a 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 a Matthias CHRISTANDL. Catalytic decoupling of quantum information. Physical Review Letters. American Physical Society, 2017, roč. 118, č. 8, s. 1-6. ISSN 0031-9007. Dostupné z: 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, roč. 53, č. 4, s. 221-252. ISSN 1212-5059. Dostupné z: https://dx.doi.org/10.5817/AM2017-4-221.

GANIAN, Robert, M.S. RAMANUJAN a 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, s. 1-17. ISBN 978-3-95977-028-6. Dostupné z: 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. 26. vyd. NY, USA: ACM New York, 2017, s. 408-411. ISBN 978-1-4503-5076-1. Dostupné z: https://dx.doi.org/10.1145/3092703.3098239.

BRIM, Luboš, Jiří BARNAT, David ŠAFRÁNEK, Nikola BENEŠ, Martin DEMKO, Samuel PASTVA a 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, s. 40-56. ISBN 978-3-319-67470-4. Dostupné z: https://dx.doi.org/10.1007/978-3-319-67471-1_3.

GANIAN, Robert, Stefan SZEIDER a M.S. RAMANUJAN. Discovering Archipelagos of Tractability for Constraint Satisfaction and Counting. ACM Transactions on Algorithms. USA: ACM, 2017, roč. 13, č. 2, s. 1-32. ISSN 1549-6325. Dostupné z: 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 a 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, s. 319-320. ISBN 978-3-319-67470-4.

FILIPPOV, Sergey N., Yirki PIILO, Sabrina MANISCALCO a Mário ZIMAN. Divisibility of quantum dynamical maps and collision models. Physical Review A. 2017, roč. 96, č. 3, s. "032111-1"-"032111-13", 13 s. ISSN 2469-9926. Dostupné z: https://dx.doi.org/10.1103/PhysRevA.96.032111.

TROJÁK, Matej, David ŠAFRÁNEK, Jakub HRABEC, Jakub ŠALAGOVIČ, Františka ROMANOVSKÁ, Matej HAJNAL a 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 a 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 a 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 a 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, s. 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 a 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, s. 139-158. ISBN 978-3-319-57860-6. Dostupné z: https://dx.doi.org/10.1007/978-3-319-57861-3_10.

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

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

KEJSTOVÁ, Katarína, Petr ROČKAI a 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, s. 225-240. ISBN 978-3-319-67530-5. Dostupné z: https://dx.doi.org/10.1007/978-3-319-67531-2_14.

GRUSKA, Jozef, Daowen QIU a Shenggen ZHENG. Generalizations of the distributed Deutsch-Jozsa promise problem. Mathematical Structures in Computer Science. Cambridge University Press, 2017, roč. 27, č. 3, s. 311-331. ISSN 0960-1295. Dostupné z: 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Á a 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Á a Nikos DARZENTAS. GLASS: assisted and standardized assessment of gene variations from Sanger sequence trace data. Bioinformatics. Oxford: Oxford University Press, 2017, roč. 33, č. 23, s. 3802-3804. ISSN 1367-4803. Dostupné z: 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Á a 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Á a Nikos DARZENTAS. 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 a 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, s. 815-821. ISBN 978-1-57735-781-0.

ŠTĚPÁNEK, Petr, Mouzhi GE a 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, s. 186-196. ISBN 978-3-319-65929-9. Dostupné z: 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 a Somnath SIKDAR. Kernelization using structural parameters on sparse graph classes. Journal of Computer and System Sciences. SAN DIEGO: Elsevier, 2017, roč. 84, č. 1, s. 219-242. ISSN 0022-0000. Dostupné z: https://dx.doi.org/10.1016/j.jcss.2016.09.002.

ANTLOVÁ, Klára, Petra RYDVALOVÁ a 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, s. 181-187. ISBN 978-80-7494-349-2.

BAIER, Christel, Clemens DUBSLAFF, Ľuboš KORENČIAK, Antonín KUČERA a 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, s. 190-206. ISBN 978-3-319-66334-0. Dostupné z: https://dx.doi.org/10.1007/978-3-319-66335-7_12.

NEMEC, Matúš, Dušan KLINEC, Petr ŠVENDA, Peter SEKAN a 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, s. 162-175. ISBN 978-1-4503-5345-8. Dostupné z: https://dx.doi.org/10.1145/3134600.3134612.

BENEŠ, Nikola, Luboš BRIM, Martin DEMKO, David ŠAFRÁNEK, Samuel PASTVA a 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 a Vladimír ŠTILL. Model Checking of C and C++ with DIVINE 4. In Deepak D'Souza, K. Narayan Kumar. Automated Technology for Verification and Analysis. Cham: Springer International Publishing, 2017, s. 201-207. ISBN 978-3-319-68166-5. Dostupné z: https://dx.doi.org/10.1007/978-3-319-68167-2_14.

GANIAN, Robert a 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, s. 38-52. ISBN 978-3-319-66262-6. Dostupné z: https://dx.doi.org/10.1007/978-3-319-66263-3_3.

JONÁŠ, Martin a Jan STREJČEK. On Simplification of Formulas with Unconstrained Variables and Quantifiers. In Serge Gaspers, Toby Walsh. Theory and Applications of Satisfiability Testing – SAT 2017. Cham (Switzerland): Springer, 2017, s. 364-379. ISBN 978-3-319-66262-6. Dostupné z: https://dx.doi.org/10.1007/978-3-319-66263-3_23.

GANIAN, Robert, Sebastian ORDYNIAK a 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. 92. vyd. Nemecko: LIPIcs, 2017, s. 1-13. ISBN 978-3-95977-054-5. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.ISAAC.2017.36.

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

MRÁZEK, Jan, Martin JONÁŠ, Vladimír ŠTILL, Henrich LAUKO a 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, s. 390-393. ISBN 978-3-662-54579-9. Dostupné z: 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 a 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Ý a Shmuel ONN. Parameterized Shifted Combinatorial Optimization. In Y. Cao and J. Chen. International Computing and Combinatorics Conference COCOON 2017 (LNCS, volume 10392). Hong Kong: Springer International Publishing AG, 2017, s. 224-236. ISBN 978-3-319-62388-7. Dostupné z: https://dx.doi.org/10.1007/978-3-319-62389-4_19.

ALDEGHERI, Stefano, Jiří BARNAT, Nicola BOMBIERI, Federico BUSATO a Milan ČEŠKA. Parametric multi-step scheme for GPU-accelerated graph decomposition into strongly connected components. In 22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016. Cham: Springer Verlag, 2017, s. 519-531. ISBN 978-3-319-58942-8. Dostupné z: https://dx.doi.org/10.1007/978-3-319-58943-5_42.

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

BRIM, Luboš, Nikola BENEŠ, David ŠAFRÁNEK, Martin DEMKO, Samuel PASTVA a 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 a Luca BORTOLUSSI. Policy learning in continuous-time Markov decision processes using Gaussian Processes. Performance Evaluation. 2017, roč. 116, č. 1, s. 84-100. ISSN 0166-5316. Dostupné z: https://dx.doi.org/10.1016/j.peva.2017.08.007.

ČEŠKA, Milan, Frits DANNENBERG, Nicola PAOLETTI, Marta KWIATKOWSKA a Luboš BRIM. Precise parameter synthesis for stochastic biochemical systems. Acta informatica. Berlin: Springer-Verlag, 2017, roč. 54, č. 6, s. 589-623. ISSN 0001-5903. Dostupné z: https://dx.doi.org/10.1007/s00236-016-0265-2.

ČEŠKA, Milan, Frits DANNENBERG, Marta KWIATKOWSKA a Luboš BRIM. Precise parameter synthesis for stochastic biochemical systems. Acta informatica. Springer, 2017, roč. 54, č. 6, s. 589-623. ISSN 0001-5903. Dostupné z: https://dx.doi.org/10.1007/s00236-016-0265-2.

GRUSKA, Jozef, Daowen QIU, Lvzhou LI a Sheggen ZHENG. Promise problems solved by quantum and classical finite automata. Theoretical Computer Science. North Holland, 2017, roč. 666, č. 646, s. 48-64. ISSN 0304-3975. Dostupné z: https://dx.doi.org/10.1016/j.tcs.2016.12.025.

JENSEN, Peter G., Kim G. LARSEN a 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, s. 248-265. ISBN 978-3-319-67728-6. Dostupné z: https://dx.doi.org/10.1007/978-3-319-67729-3_15.

SEDLÁK, Jan a 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, s. 161-168. ISBN 978-1-4503-5220-8. Dostupné z: https://dx.doi.org/10.1145/3105831.3105869.

OŠŤÁDAL, Radim, Petr ŠVENDA a 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, s. 219-227. ISBN 978-3-319-62032-9. Dostupné z: https://dx.doi.org/10.1007/978-3-319-62033-6_25.

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

STAJANO, Frank, Jonathan ANDERSON, Bruce CHRISTIANSON, a 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Ý a 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, s. 356-367. ISSN 2398-7340. Dostupné z: https://dx.doi.org/10.29007/k5nl.

DVORAK, Pavel, Eduard EIBEN, Robert GANIAN, Dusan KNOP a 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, s. 607-613. ISBN 978-0-9992411-0-3. Dostupné z: https://dx.doi.org/10.24963/ijcai.2017/85.

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

CHALUPA, Marek, Martina VITOVSKÁ, Martin JONÁŠ, Jiří SLABÝ a 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, s. 385-389. ISBN 978-3-662-54580-5. Dostupné z: https://dx.doi.org/10.1007/978-3-662-54580-5_28.

BAIER, Christel, Clemens DUBSLAFF, Ľuboš KORENČIAK, Antonín KUČERA a Vojtěch ŘEHÁK. Synthesis of Optimal Resilient Control Strategies. In Deepak D'Souza, K. Narayan Kumar. Automated Technology for Verification and Analysis. Cham: Springer International Publishing, 2017, s. 417-434. ISBN 978-3-319-68166-5. Dostupné z: 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Á a Calin BELTA. Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games. Nonlinear Analysis: Hybrid Systems. Elsevier, 2017, roč. 23, February 2017, s. 230-253. ISSN 1751-570X. Dostupné z: https://dx.doi.org/10.1016/j.nahs.2016.04.006.

KUNC, Michal a 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, s. 247-259. ISBN 978-3-319-62808-0. Dostupné z: https://dx.doi.org/10.1007/978-3-319-62809-7_18.

NEMEC, Matúš, Marek SÝS, Petr ŠVENDA, Dušan KLINEC a Václav MATYÁŠ. The Return of Coppersmith's Attack: Practical Factorization of Widely Used RSA Moduli. Online. In Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. New York, NY, USA: ACM, 2017, s. 1631-1648. ISBN 978-1-4503-4946-8. Dostupné z: 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, s. 305-317. ISBN 978-3-319-71068-6. Dostupné z: https://dx.doi.org/10.1007/978-3-319-71069-3_24.

EIBEN, Eduard, Sebastian ORDYNIAK, M.S. RAMANUJAN, Benjamin BERGOUGNOUX a 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. 83. vyd. Nemecko: LIPIcs, 2017, s. 1-15. ISBN 978-3-95977-046-0. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.MFCS.2017.36.

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

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

ŠTILL, Vladimír, Petr ROČKAI a 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, s. 54-64. ISBN 978-1-5386-0592-9. Dostupné z: https://dx.doi.org/10.1109/QRS.2017.15.

VACULÍK, Karel a 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 a Matej PIVOLUSKA. 1-out-of-2 oblivious transfer using a flawed bit-string quantum protocol. Physical Review A. 2017, roč. 95, č. 4, s. "042324-1"-"042324-6", 6 s. ISSN 2469-9926. Dostupné z: 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, s. 306-311.

BENEŠ, Nikola, Luboš BRIM, Martin DEMKO, Samuel PASTVA a David ŠAFRÁNEK. A Model Checking Approach to Discrete Bifurcation Analysis. In John S. Fitzgerald et al. Formal Methods. FM 2016. LNCS 9995. Neuveden: Springer International Publishing, 2016, s. 85-101. ISBN 978-3-319-48988-9. Dostupné z: https://dx.doi.org/10.1007/978-3-319-48989-6_6.

GAJARSKÝ, Jakub, Petr HLINĚNÝ, Daniel LOKSHTANOV, Jan OBDRŽÁLEK a M S RAMANUJAN. A New Perspective on FO Model Checking of Dense Graph Classes. In Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science LICS2016. New York, NY, USA: ACM, 2016, s. 176-184. ISBN 978-1-4503-4391-6. Dostupné z: 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 a 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 a 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, roč. 26, č. 2, s. 226-237. ISSN 1088-9051. Dostupné z: https://dx.doi.org/10.1101/gr.193763.115.

GANIAN, Robert, Eduard EIBEN a 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, s. "34:1"-"34:14", 14 s. ISBN 978-3-95977-016-3. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.MFCS.2016.34.

SAVIANO, Marialuisa, Francesco POLESE, Francesco CAPUTO a 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, s. 425-440. ISBN 978-88-904327-6-7.

BAUCH, Petr, Vojtěch HAVEL a Jiří BARNAT. Accelerating Temporal Verification of Simulink Diagrams Using Satisfiability Modulo Theories. Software Quality Journal. Springer, 2016, roč. 24, č. 1, s. 37-63. ISSN 0963-9314. Dostupné z: https://dx.doi.org/10.1007/s11219-014-9259-x.

DUPONT DUPUIS, Frédéric, Serge FEHR, Philippe LAMONTAGNE a 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, s. 33-59. ISBN 978-3-662-53014-6. Dostupné z: https://dx.doi.org/10.1007/978-3-662-53015-3_2.

PIVOLUSKA, Matej a Martin PLESCH. An explicit classical strategy for winning a CHSHq game. New Journal of Physics. IOP publishing, 2016, roč. 18, FEB 11 2016, s. nestránkováno, 10 s. ISSN 1367-2630. Dostupné z: https://dx.doi.org/10.1088/1367-2630/18/2/025013.

BARNAT, Jiří, Petr BAUCH, Nikola BENEŠ, Luboš BRIM, Jan BERAN a Tomáš KRATOCHVÍLA. Analysing Sanity of Requirements for Avionics Systems. Formal Aspects of Computing. 2016, roč. 28, č. 1, s. 45-63. ISSN 0934-5043. Dostupné z: 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, s. 85-88. ISBN 978-80-227-4619-9.

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

KOMENDA, Martin, Matěj KAROLYI, Andrea POKORNÁ, Martin VÍTA a 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, s. 287-290. ISBN 978-83-60810-90-3. Dostupné z: https://dx.doi.org/10.15439/2016F156.

UKROP, Martin a 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. 233. vyd. Online: Open Publishing Association, 2016, s. 72-81. ISSN 2075-2180. Dostupné z: https://dx.doi.org/10.4204/EPTCS.233.7.

GANIAN, Robert, M.S. RAMANUJAN a Stefan SZEIDER. Backdoors to Tractable Valued CSP. In Rueher, M. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016. CHAM: SPRINGER INT PUBLISHING AG, 2016, s. 233-250. ISBN 978-3-319-44952-4. Dostupné z: https://dx.doi.org/10.1007/978-3-319-44953-1_16.

HELFERT, Markus a 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Ý a 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 a Ming-Hsien TSAI. Complementing Semi-deterministic Büchi Automata. In Marsha Chechik, Jean-François Raskin. Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016. Berlin: Springer Berlin Heidelberg, 2016, s. 770-787. ISBN 978-3-662-49673-2. Dostupné z: https://dx.doi.org/10.1007/978-3-662-49674-9_49.

BAUCH, Petr, Vojtěch HAVEL a Jiří BARNAT. Control Explicit-Data Symbolic Model Checking. ACM Transactions on Software Engineering and Methodology. 2016, roč. 25, č. 2, s. 15-62. ISSN 1049-331X. Dostupné z: https://dx.doi.org/10.1145/2888393.

GANIAN, Robert, Sebastian ORDYNIAK, Eduard EIBEN a 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, s. 1-18. ISBN 978-3-95977-015-6. Dostupné z: 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, s. 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, s. 65-68. ISBN 978-80-227-4619-9.

DERŇÁR, Marek a 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, s. "42:1"-"42:10", 10 s. ISBN 978-3-95977-009-5. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.SoCG.2016.42.

BRENGUIER, Romain a Vojtěch FOREJT. Decidability Results for Multi-objective Stochastic Games. In Artho C., Legay A., Peled D. International Symposium on Automated Technology for Verification and Analysis. Germany: Springer, 2016, s. 227-243. ISBN 978-3-319-46519-7. Dostupné z: 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 a 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 a 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 a Lubomír POPELÍNSKÝ. DGRMiner: Anomaly Detection and Explanation in Dynamic Graphs. In Boström, H., Knobbe, A., Soares, C., Papapetrou, P. Advances in Intelligent Data Analysis XV - 15th International Symposium, IDA 2016. Neuveden: LNCS 9897, Springer, 2016, s. 308-319. ISBN 978-3-319-46348-3. Dostupné z: https://dx.doi.org/10.1007/978-3-319-46349-0_27.

DALSGAARD, Andreas E., Soeren ENEVOLDSEN, Kim G. LARSEN a 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, s. 197-212. ISBN 978-3-319-47676-6. Dostupné z: https://dx.doi.org/10.1007/978-3-319-47677-3_13.

ŠTILL, Vladimír, Petr ROČKAI a 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, s. 920-922. ISBN 978-3-662-49673-2. Dostupné z: https://dx.doi.org/10.1007/978-3-662-49674-9_60.

TROJÁK, Matej, David ŠAFRÁNEK, Jakub HRABEC, Jakub ŠALAGOVIČ, Jan ČERVENÝ a 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Á a 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, s. 316-322. ISBN 978-3-319-45176-3. Dostupné z: https://dx.doi.org/10.1007/978-3-319-45177-0_20.

JENSEN, Jonnas F., Kim G. LARSEN, Jiří SRBA a 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, roč. 18, č. 4, s. 409-426. ISSN 1433-2779. Dostupné z: https://dx.doi.org/10.1007/s10009-014-0359-5.

KORENČIAK, Ľuboš, Antonín KUČERA a Vojtěch ŘEHÁK. Efficient Timeout Synthesis in Fixed-Delay CTMC Using Policy Iteration. In 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems. London: IEEE Computer Society, 2016, s. 367-372. ISBN 978-1-5090-3431-4. Dostupné z: https://dx.doi.org/10.1109/MASCOTS.2016.34.

FOREJT, Vojtěch, Marta KWIATKOWSKA, Gethin NORMAN a Ashutosh TRIVEDI. Expected Reachability-Time Games. Theoretical Computer Science. North Holland, 2016, roč. 631, June, s. 139-160. ISSN 0304-3975. Dostupné z: https://dx.doi.org/10.1016/j.tcs.2016.04.021.

KORENČIAK, Ľuboš, Vojtěch ŘEHÁK a 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, s. 130-138. ISBN 978-3-319-33692-3. Dostupné z: https://dx.doi.org/10.1007/978-3-319-33693-0_9.

BENDÍK, Jaroslav, Nikola BENEŠ, Jiří BARNAT a Ivana ČERNÁ. 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, s. 121-136. ISBN 978-3-319-41590-1. Dostupné z: 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Č a 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, s. 27-49. ISSN 1571-0661. Dostupné z: 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, s. 31-34. ISBN 978-80-227-4619-9.

DEMKO, Martin, Nikola BENEŠ, Luboš BRIM, Samuel PASTVA a 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, s. 82-97. ISBN 978-3-319-45176-3. Dostupné z: 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, s. 23-32. ISSN 2075-2180. Dostupné z: https://dx.doi.org/10.4204/EPTCS.233.3.

SEDLÁK, Michal, Daniel REITZNER, Giulio CHIRIBELLA a Mário ZIMAN. Incompatible measurements on quantum causal networks. Physical Review A. 2016, roč. 93, č. 5, s. 1-23. ISSN 2469-9926. Dostupné z: https://dx.doi.org/10.1103/PhysRevA.93.052323.

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

CHIMANI, Markus a 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, s. "30:1"-"30:15", 15 s. ISBN 978-3-95977-009-5. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.SoCG.2016.30.

ZLATUŠKA, Jiří. Kyber není kybernetika. Vesmír, 2016. ISSN 1214-4029.

BALÁŽIA, Michal a 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, s. 901-906. ISBN 978-1-5090-4847-2. Dostupné z: https://dx.doi.org/10.1109/ICPR.2016.7899750.

BEZDĚK, Peter, Nikola BENEŠ, Jiří BARNAT a 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, s. 172-187. ISBN 978-3-319-41590-1. Dostupné z: https://dx.doi.org/10.1007/978-3-319-41591-8_12.

BOUDA, Jan, Lukáš HOLÍK, Jan KOFROŇ, Jan STREJČEK a 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 a Friedrich SLIVOVSKY. Meta-kernelization with structural parameters. Journal of Computer and System Sciences. Academic Press, 2016, roč. 82, č. 2, s. 333-346. ISSN 0022-0000. Dostupné z: https://dx.doi.org/10.1016/j.jcss.2015.08.003.

ROČKAI, Petr, Jiří BARNAT a Luboš BRIM. Model checking C++ programs with exceptions. Science of Computer Programming. Elsevier B.V., 2016, roč. 128, 15 October 2016, s. 68-85. ISSN 0167-6423. Dostupné z: https://dx.doi.org/10.1016/j.scico.2016.05.007.

GANIAN, Robert, Stefan SZEIDER a Simone BOVA. Model Checking Existential Logic on Partially Ordered Sets. ACM Trans. Comput. Log. USA: ACM, 2016, roč. 17, č. 2, s. 1-35. ISSN 1529-3785. Dostupné z: https://dx.doi.org/10.1145/2814937.

TYC, Tomáš, T. CIZMAR a 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, s. 74-75. ISBN 978-80-87441-17-6.

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

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

BLUMENSATH, Achim, Thomas COLCOMBET a 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, s. 1-14. ISBN 978-3-95977-001-9. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.STACS.2016.19.

GANIAN, Robert, Ronald DE HAAN, Stefan SZEIDER a 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, s. "42:1"-"42:14", 14 s. ISBN 978-3-95977-016-3. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.MFCS.2016.42.

GANIAN, Robert, N. S. NARAYANASWAMY, Sebastian ORDYNIAK, C. S. RAHUL a 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, s. "41:1"-"41:14", 14 s. ISBN 978-3-95977-016-3. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.MFCS.2016.41.

BARNAT, Jiří, Ivana ČERNÁ, Petr ROČKAI, Vladimír ŠTILL a Kristína ZÁKOPČANOVÁ. 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, s. 1238-1243. ISBN 978-1-4503-3739-7. Dostupné z: https://dx.doi.org/10.1145/2851613.2851721.

LARSEN, Kim G., Marius MIKUCIONIS, Marco MUNIZ, Jiří SRBA a Jakob H. TAANKVIST. Online and Compositional Learning of Controllers with Application to Floor Heating. In Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'16). Nizozemsko: Springer, 2016, s. 244-259. ISBN 978-3-662-49673-2. Dostupné z: https://dx.doi.org/10.1007/978-3-662-49674-9_14.

TESAŘOVÁ, Eva, Mária SVOREŇOVÁ, Jiří BARNAT a Ivana ČERNÁ. Optimal observation mode scheduling for systems under temporal constraints. In 2016 American Control Conference (ACC). Boston: IEEE Conference Publications, 2016, s. 1099-1104. ISBN 978-1-4673-8682-1. Dostupné z: https://dx.doi.org/10.1109/ACC.2016.7525062.

BRÁZDIL, Tomáš, Antonín KUČERA a Petr NOVOTNÝ. Optimizing the Expected Mean Payoff in Energy Markov Decision Processes. In Cyrille Artho, Axel Legay, Doron Peled. Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016. Heidelberg: Springer, 2016, s. 32-49. ISBN 978-3-319-46519-7. Dostupné z: https://dx.doi.org/10.1007/978-3-319-46520-3_3.

BENEŠ, Nikola, Luboš BRIM, Martin DEMKO, Samuel PASTVA a David ŠAFRÁNEK. Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems. In Cyrille Artho et al. Automated Technology for Verification and Analysis. ATVA 2016. LNCS 9938. Neuveden: Springer International Publishing, 2016, s. 192-208. ISBN 978-3-319-46519-7. Dostupné z: https://dx.doi.org/10.1007/978-3-319-46520-3_13.

XU, Lin, Huanyang CHEN, Tomáš TYC, Yangbo XIE a S A CUMMER. Perfect conformal invisible device with feasible refractive indexes. Physical Review B. 2016, roč. 93, č. 4, s. "nestrankovano", 7 s. ISSN 2469-9950. Dostupné z: https://dx.doi.org/10.1103/PhysRevB.93.041406.

BRÁZDIL, Tomáš, Ezio BARTOCCI, Dimitrios MILIOS, Guido SANGUINETTI a 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, s. 244-259. ISBN 978-3-319-43424-7. Dostupné z: https://dx.doi.org/10.1007/978-3-319-43425-4_17.

GANIAN, Robert, Martin KALANY, Stefan SZEIDER a 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, s. 638-647. ISBN 978-1-5090-2140-6. Dostupné z: https://dx.doi.org/10.1109/IPDPS.2016.13.

HLINĚNÝ, Petr a 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, s. 54-66. ISBN 978-3-319-29816-0. Dostupné z: https://dx.doi.org/10.1007/978-3-319-29817-7_6.

ČEŠKA, Milan, Petr PILAŘ, Nikola PAOLETTI, Luboš BRIM a Marta KWIATKOWSKA. PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. In Marsha Chechik, Jean-François Raskin. 22nd International Conference, TACAS 2016. LNCS 9636. Berlin: Springer International Publishing, 2016, s. 367-384. ISBN 978-3-662-49673-2. Dostupné z: 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 a 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, s. "SPIE"-"4", 5 s. ISBN 978-1-5106-0227-4. Dostupné z: https://dx.doi.org/10.1117/12.2237843.

BOVA, Simone, Robert GANIAN a Stefan SZEIDER. Quantified conjunctive queries on partially ordered sets. Theoretical Computer Science. Amsterdam: Elsevier, 2016, roč. 618, č. 1, s. 72-84. ISSN 0304-3975. Dostupné z: 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 a Johannes Klaus COURTIAL. Ray optics of generalised lenses. Jornal of the Optical Society of America A. 2016, roč. 33, č. 5, s. 962-969. ISSN 1084-7529. Dostupné z: https://dx.doi.org/10.1364/JOSAA.33.000962.

JENSEN, Peter G., Kim G. LARSEN a 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, s. 129-146. ISBN 978-3-319-32581-1. Dostupné z: https://dx.doi.org/10.1007/978-3-319-32582-8_9.

KUČERA, Antonín a Tomáš LAMSER. Regular Strategies and Strategy Improvement: Efficient Tools for Solving Large Patrolling Problems. In Catholijn M. Jonker, Stacy Marsella, John Thangarajah, Karl Tuyls. Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems. New York: ACM, 2016, s. 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). In Mária Bieliková, Ivan Srba. Proceedings in Informatics and Information Technologies. Bratislava: WIKT & DaZ. Bratislava: Nakladatel’stvo STU, 2016, s. 49-52. ISBN 978-80-227-4619-9.

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

JONÁŠ, Martin a Jan STREJČEK. Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams. In Nadia Creignou and Daniel Le Berre. Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference. Berlin, Heidelberg: Springer, 2016, s. 267-283. ISBN 978-3-319-40969-6. Dostupné z: https://dx.doi.org/10.1007/978-3-319-40970-2_17.

BRÁZDIL, Tomáš, Vojtěch FOREJT, Antonín KUČERA a 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, s. 1-14. ISBN 978-3-95977-017-0. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.CONCUR.2016.10.

BRÁZDIL, Tomáš, Petr NOVOTNÝ, Krishnendu CHATTERJEE, Martin CHMELÍK a 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, s. 1465-1466. ISBN 978-1-4503-4239-1.

MICHÁLIK, Juraj, Lubomír POPELÍNSKÝ, Klára ANTLOVÁ a Petra RYDVALOVÁ. Strojové učení pro analýzu rodinného podnikání. In Mária Bieliková, Ivan Srba. Proceedings in Informatics and Information Technologies. Bratislava: WIKT & DaZ. Bratislava: Nakladatel’stvo STU, 2016, s. 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 a Mark M WILDE. Swiveled Rényi entropies. Quantum Information Processing. 2016, roč. 15, č. 3, s. 1309-1345. ISSN 1570-0755. Dostupné z: https://dx.doi.org/10.1007/s11128-015-1211-x.

CHALUPA, Marek, Martin JONÁŠ, Jiří SLABÝ, Jan STREJČEK a 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, s. 946-949. ISBN 978-3-662-49673-2. Dostupné z: https://dx.doi.org/10.1007/978-3-662-49674-9_67.

MRÁZEK, Jan, Petr BAUCH, Henrich LAUKO a 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, s. 208-213. ISBN 978-3-319-32581-1. Dostupné z: https://dx.doi.org/10.1007/978-3-319-32582-8_14.

JENSEN, Jonas F., Thomas NIELSEN, Jiří SRBA a 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, s. 307-318. ISBN 978-3-662-53400-7. Dostupné z: https://dx.doi.org/10.1007/978-3-662-53401-4_16.

GANIAN, Robert a 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, s. 710-716. ISBN 978-1-57735-760-5.

PIVOLUSKA, Matej, Marcin PAWLOWSKI a Martin PLESCH. Tight bound on the classical value of generalized Clauser-Horne-Shimony-Holt games. Physical Review A. 2016, roč. 94, č. 2, s. 022338-22342. ISSN 2469-9926. Dostupné z: https://dx.doi.org/10.1103/PhysRevA.94.022338.

ČADEK, Pavel, Jan STREJČEK a Marek TRTÍK. Tighter Loop Bound Analysis. In Cyrille Artho and Axel Legay and Doron Peled. Automated Technology for Verification and Analysis - 14th International Symposium, ATVA 2016. Berlin, Heidelberg: Springer, 2016, s. 512-527. ISBN 978-3-319-46519-7. Dostupné z: 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 a 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, s. 5296-5301. ISBN 978-1-5090-3474-1. Dostupné z: https://dx.doi.org/10.1109/IECON.2016.7794040.

RÁČEK, Jaroslav a 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, s. 179-183. ISBN 978-80-248-3970-7.

HAJNAL, Matej, David ŠAFRÁNEK, Martin DEMKO, Samuel PASTVA, Pavel KREJČÍ a 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, s. 57-66. ISBN 978-3-319-47150-1. Dostupné z: https://dx.doi.org/10.1007/978-3-319-47151-8_4.

HLINĚNÝ, Petr, O-joung KWON, Jan OBDRŽÁLEK a Sebastian ORDYNIAK. Tree-depth and Vertex-minors. European Journal of Combinatorics. Elsevier, 2016, roč. 56, č. 1, s. 46-56. ISSN 0195-6698. Dostupné z: 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Á a 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. 65. vyd. Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2016, s. 661-673. ISBN 978-3-95977-027-9. Dostupné z: https://dx.doi.org/10.4230/LIPIcs.FSTTCS.2016.50.

PLÖSCHNER, Martin, Tomáš TYC a 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, s. "SPIE, ICOAM"-"5", 6 s. ISBN 978-1-62841-999-3. Dostupné z: https://dx.doi.org/10.1117/12.2216205.

GANIAN, Robert, Sebastian ORDYNIAK a 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, s. 964-970. ISBN 978-1-57735-760-5.

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

GÉRYK, Jan, Lubomír POPELÍNSKÝ a 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, s. 99-108. ISBN 978-3-319-44747-6. Dostupné z: https://dx.doi.org/10.1007/978-3-319-44748-310.

DANNER, Aaron James a Tomáš TYC. Visual defects when extending two-dimensional invisible lenses with circular symmetry into the third dimension. Journal of Optics. IOP Pub., 2016, roč. 18, č. 4, s. "nestrankovano", 5 s. ISSN 2040-8978. Dostupné z: https://dx.doi.org/10.1088/2040-8978/18/4/044013.

ŠTILL, Vladimír, Petr ROČKAI a 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, s. 144-155. ISBN 978-3-319-29816-0. Dostupné z: https://dx.doi.org/10.1007/978-3-319-29817-7_13.

VÍTA, Martin a 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, s. 513-516. ISBN 978-83-60810-90-3. Dostupné z: 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, roč. 271, č. 1, s. 168-171. ISSN 0165-0114. Dostupné z: https://dx.doi.org/10.1016/j.fss.2014.10.032.

LEONHARDT, Ulf, Sahar SAHEBDIVAN, Alex KOGAN a Tomáš TYC. A simple model for perfect imaging. New Journal of Physics. Institute of Physics, 2015, roč. 17, MAY, s. "nestránkováno", 7 s. ISSN 1367-2630. Dostupné z: 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, s. 51-58. ISBN 978-1-5151-2065-0.

TYC, Tomáš, H L DAO a Aaron James DANNER. Absolute optical instruments without spherical symmetry. Phys. Rev. A. USA: The American Phys. Society, 2015, roč. 92, č. 5, s. "nestránkováno", 6 s. ISSN 1050-2947. Dostupné z: https://dx.doi.org/10.1103/PhysRevA.92.053827.

HORSLEY, Simon, Robert FOSTER, Tomáš TYC a Thomas PHILBIN. Active absorption of electromagnetic pulses in a cavity. New Journal of Physics. Institute of Physics, 2015, roč. 17, MAY, s. "nestrankovano", 9 s. ISSN 1367-2630. Dostupné z: https://dx.doi.org/10.1088/1367-2630/17/5/053050.

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

PAPOUŠEK, Jan, Radek PELÁNEK, Jiří ŘIHÁK a 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, s. 562-563. ISBN 978-84-606-9425-0.

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

ADAMASZEK, Anna, G. BLIN a 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, s. 13-23. ISBN 978-3-319-19314-4. Dostupné z: 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, s. 425-430. ISBN 978-3-319-23484-7. Dostupné z: 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 a 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, roč. 31, č. 23, s. 3844-3846. ISSN 1367-4803. Dostupné z: https://dx.doi.org/10.1093/bioinformatics/btv456.

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

TROJÁK, Matej, Tadeáš DĚD, David ŠAFRÁNEK, Matej KLEMENT, Jan ČERVENÝ a 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Ý a 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 a 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, s. 193-204. ISBN 978-3-319-24464-8. Dostupné z: 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, s. 2308-2317. ISBN 978-84-608-2657-6.

KLIMOŠ, Miroslav a Antonín KUČERA. Cobra: A Tool for Solving General Deductive Games. In Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov. Proceedings of 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2015). Heidelberg: Springer, 2015, s. 31-47. ISBN 978-3-662-48898-0. Dostupné z: https://dx.doi.org/10.1007/978-3-662-48899-7_3.

BRIM, Luboš, Martin DEMKO, Samuel PASTVA a 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 a 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). 316. vyd. Neuveden: Elsevier, 2015, s. 17-27. ISSN 1571-0661. Dostupné z: https://dx.doi.org/10.1016/j.entcs.2015.06.008.

BENEŠ, Nikola, Przemysław DACA, Thomas A. HENZINGER, Jan KŘETÍNSKÝ a 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, s. 101-110. ISBN 978-1-4503-3471-6. Dostupné z: https://dx.doi.org/10.1145/2737166.2737175.

BRÁZDIL, Tomáš, Krishnendu CHATTERJEE, Martin CHMELÍK, Andreas FELLNER a Jan KŘETÍNSKÝ. Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. In Daniel Kroening, Corina Pasareanu. Computer Aided Verification: 27th International Conference, CAV 2015. Cham: Springer, 2015, s. 158-177. ISBN 978-3-319-21689-8. Dostupné z: 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 a Ladislav DUŠEK. Curriculum Mapping with Academic Analytics in Medical and Healthcare Education. Plos One. San Francisco: Public Library Science, 2015, roč. 10, č. 12, s. 1-18. ISSN 1932-6203. Dostupné z: https://dx.doi.org/10.1371/journal.pone.0143748.

COURTIAL, Johannes Klaus, Stephen OXBURGH a Tomáš TYC. Direct stigmatic imaging with curved surfaces. Journal of the Optical Society of America A. Optical Society of America, 2015, roč. 32, č. 3, s. 478-481. ISSN 1084-7529. Dostupné z: 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, s. 460-465. ISBN 978-989-758-158-8. Dostupné z: https://dx.doi.org/10.5220/0005663004600465.

KLEMENT, Matej, David ŠAFRÁNEK, Jan ČERVENÝ, Tadeáš DĚD, Matej TROJÁK, Luboš BRIM a 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 a Renato RENNER. Efficient Quantum Polar Codes Requiring No Preshared Entanglement. IEEE TRANSACTIONS ON INFORMATION THEORY. PISCATAWAY: IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2015, roč. 61, č. 11, s. 6395-6414. ISSN 0018-9448. Dostupné z: https://dx.doi.org/10.1109/TIT.2015.2468084.

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

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

PUCHAŁA, Zbigniew, Anna JENCOVA, Michal SEDLÁK a Mário ZIMAN. Exploring boundaries of quantum convex structures: special role of unitary processes. Phys. Rev. A. USA: The American Phys. Society, 2015, roč. 92, č. 1, s. 012304-12310. ISSN 1050-2947. Dostupné z: https://dx.doi.org/10.1103/PhysRevA.92.012304.

VÍTA, Martin, Martin KOMENDA a 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, s. 297-302. ISBN 978-83-60810-66-8. Dostupné z: https://dx.doi.org/10.15439/2015F312.

NIŽNAN, Juraj, Jan PAPOUŠEK a 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, s. 21-30. ISSN 1613-0073.

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

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

GANIAN, Robert, Petr HLINĚNÝ, Daniel KRÁĽ, Jan OBDRŽÁLEK, Jarett SCHWARTZ a Jakub TESKA. FO Model Checking of Interval Graphs. Logical Methods in Computer Science. Německo: Logical Methods in Computer Science e.V., 2015, roč. 11, 4:11, s. 1-20. ISSN 1860-5974. Dostupné z: 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 a 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, s. 963-974. ISBN 978-1-4673-8191-8. Dostupné z: https://dx.doi.org/10.1109/FOCS.2015.63.

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

KOTRBČÍK, Michal a Tomaz PISANSKI. Genus of the cartesian product of triangles. Electronic Journal of Combinatorics. Newark, USA, 2015, roč. 22, č. 4, s. 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 a 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 a 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, s. 58-74. ISBN 978-3-319-26915-3. Dostupné z: 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, roč. 56, č. 2, s. 1-10. ISSN 0022-2488. Dostupné z: https://dx.doi.org/10.1063/1.4907981.

LEONHARDT, Ulf, Tomáš TYC, Michael LIPSON a Lucas GABRIELLI. Imaging device and method. 2015. Patent. Číslo: CN102834757. Vydavatel: State Intellectual Property Office of PRC. Místo vydání: Peking, Čína. Název vlastníka: University of St Andrews; Masarykova univerzita; Cornell University. Datum registrace: 3. 9. 2010. Datum přijetí: 25. 2. 2015.

LEONHARDT, Ulf, Tomáš TYC, Michael LIPSON a Lucas GABRIELLI. Imaging device and method. 2015. Patent. Číslo: JP5723885. Vydavatel: JPO Japonský patentový úřad. Místo vydání: Tokio, Japonsko. Název vlastníka: University of St Andrews; Masarykova univerzita; Cornell University. Datum registrace: 3. 9. 2010. Datum přijetí: 3. 4. 2015.

PAPOUŠEK, Jan a Radek PELÁNEK. Impact of Adaptive Educational System Behaviour on Student Motivation. In Artificial Intelligence in Education. Madrid: Springer International Publishing, 2015, s. 348-357. ISBN 978-3-319-19772-2. Dostupné z: 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 a 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 a 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, roč. 11, č. 1, s. 1-26. ISSN 1860-5974. Dostupné z: https://dx.doi.org/10.2168/LMCS-11(1:19)2015.

BENEŠ, Nikola, Peter BEZDĚK, Kim G. LARSEN a Jiří SRBA. Language Emptiness of Continuous-Time Parametric Timed Automata. In Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann. Automata, Languages, and Programming. Neuveden: Springer Berlin Heidelberg, 2015, s. 69-81. ISBN 978-3-662-47665-9. Dostupné z: 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Ý a Jiří VANÍČEK. Left atrium assessment: The evolving role of MRI. Journal of Cardiovascular Medicine. Philadelphia: Lippincott Williams & Wilkins, 2015, roč. 16, č. 10, s. 1-10. ISSN 1558-2027. Dostupné z: https://dx.doi.org/10.2459/JCM.0000000000000155.

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

BRÁZDIL, Tomáš, Chatterjee KRISHNENDU, Vojtěch FOREJT a Antonín KUČERA. MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives. In Christel Baier, Cesare Tinelli. Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings. Heidelberg: Springer, 2015, s. 181-187. ISBN 978-3-662-46680-3. Dostupné z: https://dx.doi.org/10.1007/978-3-662-46681-0_12.

PLÖSCHNER, Martin, Tomáš TYC a 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, s. 1-6. ISBN 978-1-62841-890-3. Dostupné z: https://dx.doi.org/10.1117/12.2202355.

BOKAL, Drago, Mojca BRAČIČ, Marek DERŇÁR a Petr HLINĚNÝ. On Degree Properties of Crossing-critical Families of Graphs. In Emilio Di Giacomo, Anna Lubiw. Graph Drawing and Network Visualization 2015, Lecture Notes in Computer Science 9411. LNCS 9411. Berlin: Springer Verlag, 2015, s. 75-86. ISBN 978-3-319-27260-3. Dostupné z: https://dx.doi.org/10.1007/978-3-319-27261-0_7.

HLINĚNÝ, Petr a Gelasio SALAZAR. On Hardness of the Joint Crossing Number. In Khaled Elbassioni, Kazuhisa Makino. International Symposium on Algorithms and Computation (ISAAC 2015), Lecture Notes in Computer Science 9472. LNCS 9472. Berlin: Springer Verlag, 2015, s. 603-613. ISBN 978-3-662-48970-3. Dostupné z: https://dx.doi.org/10.1007/978-3-662-48971-0_51.

BLAHOUDEK, František, Alexandre DURET-LUTZ, Vojtěch RUJBR a 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, s. 66-83. ISBN 978-3-319-23403-8. Dostupné z: 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, s. 12-24. ISBN 978-3-319-22176-2. Dostupné z: https://dx.doi.org/10.1007/978-3-319-22177-9_2.

DAMGÅRD, Ivan, Frédéric DUPONT DUPUIS a 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, s. 87-104. ISBN 978-3-319-17469-3. Dostupné z: https://dx.doi.org/10.1007/978-3-319-17470-9_6.

SVOREŇOVÁ, Mária, Ivana ČERNÁ a Calin BELTA. Optimal Temporal Logic Control for Deterministic Transition Systems with Probabilistic Penalties. IEEE Transactions on Automatic Control. IEEE Control Systems Society, 2015, roč. 60, č. 6, s. 1528-1541. ISSN 0018-9286. Dostupné z: https://dx.doi.org/10.1109/TAC.2014.2381451.

BRÁZDIL, Tomáš, Ľuboš KORENČIAK, Jan KRČÁL, Petr NOVOTNÝ a 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, s. 141-159. ISBN 978-3-319-22263-9. Dostupné z: https://dx.doi.org/10.1007/978-3-319-22264-6_10.

BRIM, Luboš, Milan ČEŠKA, Martin DEMKO, Samuel PASTVA a 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, s. 251-263. ISBN 978-3-319-23400-7. Dostupné z: https://dx.doi.org/10.1007/978-3-319-23401-4_21.

GAJARSKÝ, Jakub, Sebastian ORDYNIAK, Michael LAMPIS, Valia MITSOU a Kazuhisa MAKINO. Parameterized Algorithms for Parity Games. Online. In Italiano, Giuseppe F. , Pighizzini, Giovanni, Sannella, Donald T. MFCS 2015, LNCS 9235. 9235. vyd. Berlin: Springer, 2015, s. 336-347. ISBN 978-3-662-48053-3. Dostupné z: https://dx.doi.org/10.1007/978-3-662-48054-0_28.

RÁČEK, Jaroslav, Josef DAŇA a 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, s. 478-483. ISBN 978-80-248-3741-3.

DERKA, Martin a Petr HLINĚNÝ. Planar Emulators Conjecture Is Nearly True for Cubic Graphs. European Journal of Combinatorics. Elsevier, 2015, roč. 48, č. 1, s. 63-70. ISSN 0195-6698. Dostupné z: https://dx.doi.org/10.1016/j.ejc.2015.02.009.

GRUSKA, Jozef, Daowen QIU a Shenggen ZHENG. Potential of Quantum Finite Automata with Exact Acceptance. International Journal of Foundations of Computer Science. 2015, roč. 26, č. 3, s. 381-398. ISSN 0129-0541. Dostupné z: https://dx.doi.org/10.1142/S0129054115500215.

ZHENG, Shenggen a Daowen QIU. 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. Dostupné z: https://dx.doi.org/10.1016/j.ic.2015.02.003.

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

RYBÁR, Tomáš a Mário ZIMAN. Process estimation in the presence of time-invariant memory effects. Phys. Rev. A. 2015, roč. 92, č. 4, s. 042315-42321. ISSN 1050-2947. Dostupné z: https://dx.doi.org/10.1103/PhysRevA.92.042315.

TYC, Tomáš a Jan VLACH. Quantum marginal problems. The European Physical Journal D. Springer Berlin Heidelberg, 2015, roč. 69, č. 9, s. 209-214. ISSN 1434-6060. Dostupné z: 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, s. 46-57. ISBN 978-3-662-46077-1. Dostupné z: 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 a Jiří SRBA. Refinement checking on parametric modal transition systems. Acta Informatica. Springer, 2015, roč. 52, 2-3, s. 269-297. ISSN 0001-5903. Dostupné z: https://dx.doi.org/10.1007/s00236-015-0215-4.

TRIGO, Luis, Martin VÍTA, Rui SARMENTO a 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, s. 452-459. ISBN 978-989-758-158-8. Dostupné z: https://dx.doi.org/10.5220/0005662904520459.

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

MRÁKOVÁ, Eva a Lubomír POPELÍNSKÝ. Sbírka řešených úloh z logiky pro informatiky. Vydání první. Brno: Masarykova univerzita, 2015, 82 s. ISBN 978-80-210-7843-7.

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

PLÖSCHNER, Martin, Tomáš TYC a Tomáš ČIŽMÁR. Seeing through chaos in multimode fibres. Nature Photonics. 2015, roč. 9, č. 8, s. 529-538. ISSN 1749-4885. Dostupné z: https://dx.doi.org/10.1038/NPHOTON.2015.112.

ČEŠKA, Milan, Caroline SCHNEIDER, Abate ALESSANDRO, David ŠAFRÁNEK, Louis MAHADEVAN a 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.

BYDŽOVSKÁ, Hana. Student Performance Prediction Using Collaborative Filtering Methods. In Conati, Heffernan, Mitrovic, Verdejo. 17th International Conference on Artificial Inteligence in Education - AIED 2015. Madrid: Springer International Publishing, 2015, s. 550-553. ISBN 978-3-319-19772-2. Dostupné z: https://dx.doi.org/10.1007/978-3-319-19773-9_59.

ROČKAI, Petr, Vladimír ŠTILL a Jiří BARNAT. Techniques for Memory-Efficient Model Checking of C and C++ Code. In Radu Calinescu, Bernhard Rumpe. Software Engineering and Formal Methods. Neuveden: Springer International Publishing, 2015, s. 268-282. ISBN 978-3-319-22968-3. Dostupné z: https://dx.doi.org/10.1007/978-3-319-22969-0_19.

SVOREŇOVÁ, Mária, Jan KŘETÍNSKÝ, Martin CHMELÍK, Krishnendu CHATTERJEE, Ivana ČERNÁ a Calin BELTA. Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games. Online. In Proceedings of ACM international conference on Hybrid Systems: Computation and Control. Seattle, Washington, USA: Association for Computing Machinery (ACM), 2015, s. 259-268. ISBN 978-1-4503-3433-4. Dostupné z: https://dx.doi.org/10.1145/2728606.2728608.

SVOREŇOVÁ, Mária, Martin CHMELÍK, Kevin LEAHY, Hasan Ferit ENISER, Krishnendu CHATTERJEE, Ivana ČERNÁ a Calin BELTA. Temporal Logic Motion Planning using POMDPs with Parity Objectives. Online. In Proceedings of ACM international conference on Hybrid Systems: Computation and Control. Seattle, Washington, USA: Association for Computing Machinery (ACM), 2015, s. 233-238. ISBN 978-1-4503-3433-4. Dostupné z: https://dx.doi.org/10.1145/2728606.2728617.

BABIAK, Tomáš, František BLAHOUDEK, Alexandre DURET-LUTZ, Joachim KLEIN, Jan KŘETÍNSKÝ, David MÜLLER, David PARKER a Jan STREJČEK. The Hanoi Omega-Automata Format. In Daniel Kroening, Corina Pasareanu. Computer Aided Verification: 27th International Conference, CAV 2015. Cham: Springer, 2015, s. 479-486. ISBN 978-3-319-21689-8. Dostupné z: https://dx.doi.org/10.1007/978-3-319-21690-4_31.

DANNER, Aaron James, H. L. DAO a Tomáš TYC. The Lissajous Lens: A Three-Dimensional Absolute Optical Instrument without Spherical Symmetry. Optics Express. elektronicky: Optical Society of America, 2015, roč. 23, č. 5, s. 5716-5722. ISSN 1094-4087. Dostupné z: https://dx.doi.org/10.1364/OE.23.005716.