Department of Intelligent Systems

2026

  • ABDULLA, P.; CHEN, Y.; HEČKO, M.; HOLÍK, L.; LENGÁL, O.; LIN, J.; THINNIYAM, R. Parameterized Verification of Quantum Circuits. Proceedings of the ACM on Programming Languages-PACMPL, 2026, vol. 10, iss. 1, p. 2021-2050. Detail
  • RYDLO, Š.; ORSÁG, F.; GOLDMANN, T.; KOLÁŘ, D. Finger Vein Identification Using Pretrained Feature Matching Networks. IEEE Access, 2026, iss. VOLUME 14, 2026, p. 23814-23823. Detail
  • VEIGEND, P.; ŠÁTEK, V.; NEČASOVÁ, G. Effective solution of nonlinear DAEs problems using Taylor series method. Demonstratio Mathematica, 2026, vol. 59, iss. 1, p. 1-19. Detail
  • VOJNAR, T.; ZHANG, L. Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2019. International Journal on Software Tools for Technology Transfer, 2026, vol. 24, iss. 1, p. 29-31. Detail

2025

  • ABDULLA, P.; CHEN, Y.; CHEN, Y.; HOLÍK, L.; LENGÁL, O.; LIN, J.; LO, F.; TSAI, W. Verifying Quantum Circuits with Level-Synchronized Tree Automata. Proceedings of the ACM on Programming Languages-PACMPL, 2025, vol. 9, iss. 1, p. 923-953. Detail
  • ADAM, R.; KOZÁK, D.; VOJNAR, T.; ČERNÝ, T.; GOULIS, G. SAVAT: A Tool for Visualizing the Impact of Changes in Microservices. In Lecture Notes in Computer Science. Springer, 2025. p. 3-11. ISBN: 978-3-032-04402-0. Detail
  • ANDRIUSHCHENKO, R.; ČEŠKA, M.; CHAKRABORTY, D.; JUNGES, S.; KRETINSKY, J.; MACÁK, F. Symbiotic Local Search for Small Decision Tree Policies in MDPs. In Proceedings of the Forty-first Conference on Uncertainty in Artificial Intelligence. Proceedings of Machine Learning Research. ML Research Press, 2025. p. 132-142. Detail
  • ANDRIUSHCHENKO, R.; ČEŠKA, M.; JUNGES, S.; MACÁK, F. Small Decision Trees for MDPs with Deductive Synthesis. In Computer Aided Verification. Springer Cham, 2025. p. 169-192. ISBN: 978-3-031-98678-9. Detail
  • ANDRIUSHCHENKO, R.; ČEŠKA, M.; MACÁK, F.; FRANCESCO, P.; MICHELE, C. Decentralized Planning Using Probabilistic Hyperproperties. In Proc. of the 24th International Conference on Autonomous Agents and Multiagent Systems. Detroit: 2025. p. 1688-1697. ISBN: 979-8-4007-1426-9. Detail
  • ANDRIUSHCHENKO, R.; ČEŠKA, M.; MACÁK, F.; JUNGES, S. Policies Grow on Trees: Model Checking Families of MDPs. In Proceeding of 22nd International Symposium on Automated Technology for Verification and Analysis. Cham: Springer Verlag, 2025. p. 51-75. ISBN: 978-3-031-78749-2. Detail
  • CHEN, Y.; HAVLENA, V.; HEČKO, M.; HOLÍK, L.; LENGÁL, O. A Uniform Framework for Handling Position Constraints in String Solving. Proceedings of the ACM on Programming Languages-PACMPL, 2025, vol. 9, iss. PLDI, p. 550-575. ISSN: 2475-1421. Detail
  • CHOCHOLATÝ, D.; HAVLENA, V.; HOLÍK, L.; HRANIČKA, J.; LENGÁL, O.; SÍČ, J. Z3-Noodler 1.3: Shepherding Decision Procedures for Strings with Model Generation. Proceedings of TACAS'25. Lecture Notes in Computer Science. Hamilton: Springer Verlag, 2025. iss. 1, p. 23.ISSN: 0302-9743. Detail
  • DACÍK, T.; VOJNAR, T. RacerF: Data Race Detection with Frama-C (Competition Contribution). In Proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, part 3. Lecture Notes in Computer Science. Hamilton: Springer Nature Switzerland AG, 2025. p. 248-253. ISBN: 978-3-031-90659-6. Detail
  • DACÍK, T.; VOJNAR, T. RacerF: Lightweight Static Data Race Detection for C Code. In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025. p. 37.1-37.19. ISBN: 978-3-95977-373-7. Detail
  • FIEDOR, T.; PAVELA, J.; ROGALEWICZ, A.; VOJNAR, T. Efficient Manipulation of Control Flow Models in Evolving Software. In Eurocast 2024 -- Computer Aided Systems Theory: Extended Abstracts. Lecture Notes in Computer Science. Las Palmas de Gran Canaria: Springer International Publishing, 2025. p. 412-427. ISBN: 978-3-031-82949-9. Detail
  • FIRC, A.; CHHIBBER, M.; MISHRA, J.; SINGH, V.; KINNUNEN, T.; MALINKA, K. STOPA: A Database of Systematic VariaTion Of DeePfake Audio for Source Tracing and Attribution. In Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH 2025. Interspeech. Rotterdam, The Netherlands: International Speech Communication Association, 2025. p. 1553-1557. Detail
  • FIRC, A.; KLUSÁČEK, J.; MALINKA, K. Hiding in Plain Sight: Query Obfuscation via Random Multilingual Searches. In Coppens, B., Volckaert, B., Naessens, V., De Sutter, B. (eds) Availability, Reliability and Security. Ghent: Springer Nature Switzerland AG, 2025. p. 253-268. ISBN: 978-3-032-00633-2. Detail
  • FIRC, A.; MALINKA, K.; HANÁČEK, P. Evaluation Framework for Deepfake Speech Detection: A Comparative Study of State-of-the-art Deepfake Speech Detectors. Cybersecurity, 2025, vol. 8, iss. 50, p. 1-24. ISSN: 2523-3246. Detail
  • FLORIAN, S.; ROGALEWICZ, A.; VOJNAR, T.; ZULEGER, F. Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration. In Programming Languages and Systems - 34th European Symposium on Programming, ESOP 2025. Lecture Notes in Computer Science. Springer, 2025. p. 230-257. ISBN: 978-3-031-91121-7. Detail
  • GALESLOOT, M.; ANDRIUSHCHENKO, R.; ČEŠKA, M.; JUNGES, S.; JANSEN, N. Robust Finite-Memory Policy Gradients for Hidden-Model POMDPs. In Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, 2025. p. 8518-8526. ISBN: 978-1-956792-06-5. Detail
  • GOLDSCHMIDT, P.; CHUDÁ, D. Network Intrusion Datasets: A Survey, Limitations, and Recommendations. COMPUTERS & SECURITY, 2025, vol. 2025, iss. 156, p. 104510-104543. Detail
  • HAVLENA, V.; CHOCHOLATÝ, D.; LENGÁL, O.; HOLÍK, L.; SÍČ, J.; BLAHOUDEK, F.; CHEN, Y. Word equations in synergy with regular constraints (extended version). Constraints, 2025, vol. 30, iss. May, p. 1-34. Detail
  • HAVLENA, V.; HEČKO, M.; HOLÍK, L.; LENGÁL, O. Negated String Containment is Decidable. Leibniz International Proceedings in Informatics. Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2025. p. 1. Detail
  • HAVLENA, V.; LENGÁL, O.; ŠMAHLÍKOVÁ, B. Complementation of Emerson-Lei Automata. Proceedings of FoSSaCS'25. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2025. iss. 1, p. 88.ISSN: 0302-9743. Detail
  • HOLÍK, L.; LENGÁL, O.; ŠTĚPKOVÁ, A.; MAJOR, J.; STREJČEK, J. On Complementation of Nondeterministic Finite Automata without Full Determinization. 25th International Symposium on Fundamentals of Computation Theory. Lecture Notes in Computer Science. Wroclaw: Springer Verlag, 2025. p. 221.ISBN: 978-3-032-04700-7. Detail
  • JOBRANOVÁ, S.; LENGÁL, O.; CHEN, Y.; CHEN, T.; JIANG, J. Accelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarization. In IEEE/ACM International Conference on Computer-Aided Design (ICCAD '24), October 27--31, 2024, New York, NY, USA. New York: Association for Computing Machinery, 2025. p. 1-9. ISBN: 979-8-4007-1077-3. Detail
  • KOČÍ, R. On the Keeping Models in the System Design and Implementation. ICSEA 2025, The Twentieth International Conference on Software Engineering Advances. Lisbon, Portugal: Xpert Publishing Services, 2025. p. 66.ISBN: 978-1-68558-296-8. Detail
  • KOZÁK, D.; STANCU, C.; VOJNAR, T.; WIMMER, C. SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges. In Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization. New York: Association for Computing Machinery, 2025. p. 347-361. ISBN: 979-8-4007-1275-3. Detail
  • LENGÁL, O.; CHEN, Y.; LIN, J.; TSAI, W.; HSIEH, M.; HUANG, W.; CHUNG, K. AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs. In Proceedings of TACAS'25. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2025. iss. 15698, p. 87-108. ISSN: 0302-9743. Detail
  • LENGÁL, O.; CHEN, Y.; TSAI, W.; LIN, J.; CHUNG, K.; YEN, D. An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits. COMMUNICATIONS OF THE ACM, 2025, vol. 68, iss. 6, p. 85-93. Detail
  • MACÁK, F.; ANDRIUSHCHENKO, R.; ČEŠKA, M.; JUNGES, S.; KATOEN, J. An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty. The journal of artificial intelligence research, 2025, vol. 2025, iss. 82, p. 433-469. Detail
  • Michal Rozsíval, Petr Matoušek, Jaromír Kotala. Poster: Multi-Agent LLM System for Cisco Router Configuration. In 2025 23rd International Symposium on Network Computing and Applications (NCA). Lisbon, Portugal: IEEE, 2025. p. 306-307. ISBN: 979-8-3315-7842-8. Detail
  • PLEŠKO, F.; GOLDMANN, T.; MALINKA, K. Reconstruction and enhancement techniques for overcoming occlusion in facial recognition. EURASIP Journal on Image and Video Processing, 2025, vol. 2025, iss. 1, p. 1-21. Detail
  • ŠEDÝ, M.; HOLÍK, L. Automata Size Reduction by Procedure Finding. In Proceedings of NFM'25. Lecture Notes in Computer Science. Williamsburg: Springer Nature Switzerland AG, 2025. iss. 15682, p. 421-440. Detail
  • STANĚK, V.; SRNA, K.; FIRC, A.; MALINKA, K. SCDF: A Speaker Characteristics DeepFake Speech Dataset for Bias Analysis. In Proceedings of the 24th International Conference of the Biometrics Special Interest Group (BIOSIG 2025). GI-Edition. Proceedings. Darmstadt: Gesellschaft für Informatik e.V., 2025. iss. 367, p. 55-64. Detail
  • VAŠÍČEK, O.; ARIAS, J.; FIEDOR, J.; GUPTA, G.; HALL, B.; KŘENA, B.; LARSON, B.; VOJNAR, T. On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming. In Proceedings 41st International Conference on Logic Programming. Electronic Proceedings in Theoretical Computer Science, EPTCS. EPTCS, 2025. p. 496-510. Detail
  • VEIGEND, P.; NEČASOVÁ, G.; ŠÁTEK, V. Taylor series based numerical integration method for solution of nonlinear problems with division. In 2024 IEEE 17th International Scientific Conference on Informatics Proceedings. Poprad: Institute of Electrical and Electronics Engineers, 2025. p. 421-426. ISBN: 979-8-3503-8768-1. Detail
  • VÍDEŇSKÝ, F.; ZBOŘIL, F.; VEIGEND, P. Integrating Late Variable Binding with SP-MCTS for Efficient Plan Execution in BDI Agents. In Proceedings of the 17th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART. Porto: SciTePress - Science and Technology Publications, 2025. p. 679-686. ISBN: 978-989-758-737-5. Detail
  • VOTRUBA, J.; DRAHANSKÝ, M.; GOLDMANN, T.; BRŮHA, T.; KOLÁŘ, R. Non-Contrast Radiation Free NIR Lung Imaging. Biomedicines, 2025, vol. 13, iss. 11, p. 1 Detail
  • ZBOŘIL, F.; VÍDEŇSKÝ, F.; KOČÍ, R.; ZBOŘIL, F. Advanced Evaluation of Variable Binding Strategies in BDI Agents with Integrated Failure Handling. In Agents and Artificial Intelligence. Lecture Notes in Computer Science. Cham: Springer Nature Switzerland AG, 2025. p. 3-29. ISBN: 978-3-031-87326-3. Detail
Back to top