13000 / 13136 - Department of Computer Science

Publications 2025

Papers in WoS Journals

KŘEMEN, P., et al. TermIt: Managing Normative Thesauri. Semantic Web. 2025, 16(2), 1-11. ISSN 2210-4968. DOI 10.3233/SW-243547. Available from: https://content.iospress.com/articles/semantic-web/sw243547

MRKOS, J., et al. Online Dynamic Pricing for Electric Vehicle Charging Stations With Reservations. IEEE Transactions on Intelligent Transportation Systems. 2025, 26(9), 13882-13897. ISSN 1524-9050. DOI 10.1109/TITS.2025.3565906.

BELLON, A., et al. Parametric Semidefinite Programming: Geometry of the Trajectory of Solutions. Mathematics of Operations Research. 2025, 50(1), 410-430. ISSN 0364-765X. DOI 10.1287/moor.2021.0097.

BLAHA, J., et al. On the Movement of the Honeybee Queen in the Hive. Scientific Reports. 2025, 15(1), 1-17. ISSN 2045-2322. DOI 10.1038/s41598-025-07093-4. Available from: https://www.nature.com/articles/s41598-025-07093-4

BALADA GAGGIOLI, L. and J. MAREČEK. Time evolution of controlled many-body quantum systems with matrix product operators. PHYSICAL REVIEW A. 2025, 112(6), 1-9. ISSN 2469-9926. DOI 10.1103/9mfk-gg3x.

CUCHÝ, M., M. JAKOB, and J. MRKOS. Route and Charging Planning for Electric Vehicles: A Multi-Objective Approach. Transportation Letters. 2025, 17(1), 1-21. ISSN 1942-7867. DOI 10.1080/19427867.2024.2315359.

MATĚJEK, T., et al. Urinary Calcium and Phosphorus Excretion in Vitamin D-Sufficient Preterm Infants: Establishing Age-Specific Normative Data. ACTA PAEDIATRICA. 2025, 114(12), 3267-3278. ISSN 1651-2227. DOI 10.1111/apa.70253. Available from: https://onlinelibrary.wiley.com/doi/10.1111/apa.70253

SHAFIEI, A., et al. Distributionally Robust Free Energy Principle for Decision-making. Nature Communications. 2025, 17(1), ISSN 2041-1723. DOI 10.1038/s41467-025-67348-6. Available from: https://www.nature.com/articles/s41467-025-67348-6

JANOTA, J., et al. Non-invasive Honeybee Colony Monitoring via Robotic Mapping of Combs in Observation Hives. Computers and Electronics in Agriculture. 2025, 239(C), 1-21. ISSN 0168-1699. DOI 10.1016/j.compag.2025.111031.

KRUTSKÝ, M. and G. ŠÍR. Geometric Deep Learning for the Rubik's Cube Group. IEEE Transactions on Neural Networks and Learning Systems. 2025, 36(12), 20214-20228. ISSN 2162-2388. DOI 10.1109/TNNLS.2025.3599009. Available from: https://ieeexplore.ieee.org/document/11134077

ROZSYPÁLEK, Z., et al. Rapid Deployment of Visual Path Following via Average Representation. Journal of Intelligent and Robotic Systems. 2025, 111(3), 1-20. ISSN 0921-0296. DOI 10.1007/s10846-025-02302-8.

MA, S., et al. Truss Topology Design under Harmonic Loads: Peak Power Minimization with Semidefinite Programming. Structural and Multidisciplinary Optimization. 2025, 68(2), 1-24. ISSN 1615-147X. DOI 10.1007/s00158-025-03973-5.

ANUARBEKOV, A. and J. KLÉMA. Utilizing RNA-seq Data in Monotone Iterative Generalized Linear Model to Elevate Prior Knowledge Quality of the CircRNA-miRNA-mRNA Regulatory Axis. BMC Bioinformatics. 2025, 26(1), 1-35. ISSN 1471-2105. DOI 10.1186/s12859-025-06161-w. Available from: https://bmcbioinformatics.biomedcentral.com/articles/10.1186/s12859-025-06161-w

RYŠAVÝ, P., et al. circGPAcorr: an integrative tool for functional annotation of circular RNAs using expression data. BioData Mining. 2025, 18(1), ISSN 1756-0381. DOI 10.1186/s13040-025-00468-3.

Papers in Other Journals

BANDHANA, A. and J. VOKŘÍNEK. AI-Driven Manufacturing: Surveying for Industry 4.0 and Beyond. Operations Research Forum. 2025, 6(4), ISSN 2662-2556. DOI 10.1007/s43069-025-00554-6. Available from: https://link.springer.com/article/10.1007/s43069-025-00554-6

BONDAR, D., et al. Globally optimal control of quantum dynamics. Physical Review Research. 2025, 7(4), ISSN 2643-1564. DOI 10.1103/g4fb-xm13.

Books, Book Chapters and Lecture Notes

IDLAHCEN, F., ed. Learning Tree-Structured Distributions. Ljubljana, 2025-09-23/2025-09-25. Cham: Springer Nature Publishing AG, 2025. Available from: https://link.springer.com/chapter/10.1007/978-3-032-05461-6_5

Conference Proceedings

RIGAKI, M., et al. Prompt. Exploit. Repeat: Automating Network Security Testing with LLMs. In: Agents and Artificial Intelligence. ICAART 2024 16th International Conference on Agents and Artificial Intelligence, Rome, 2024-02-24/2024-02-26. Springer, Cham, 2025. p. 15-36. ISSN 0302-9743. ISBN 978-3-031-87329-4. DOI 10.1007/978-3-031-87330-0_2.

DRAHÝ, V., R. MAŘÍK, and H. KÄLVIÄINEN. Non-stationary Signal Analysis: Detrending and Anomaly Detection. In: Image Analysis. 23rd Scandinavian Conference, Reykjavik, 2025-06-23/2025-06-25. Springer, Cham, 2025. p. 45-59. 1. vol. 15725 LNCS. ISSN 0302-9743. ISBN 978-3-031-95910-3. DOI 10.1007/978-3-031-95911-0_4.

WANG, H., et al. Towards an Embodied Biohybrid Robotic Platform for Interaction with Honeybees. In: Proceedings of the 2025 IEEE International Conference on Mechatronics and Automation (ICMA). 22nd IEEE International Conference on Mechatronics and Automation, Beijing, 2025-08-03/2025-08-06. Institute of Electrical and Electronics Engineers, Inc., 2025. p. 322-327. ISSN 2152-7431. ISBN 979-8-3315-1427-3. DOI 10.1109/ICMA65362.2025.11120734.

PAPEŽ, M., et al. Probabilistic Graph Circuits: Deep Generative Models for Tractable Probabilistic Inference over Graphs. In: Proceedings of Machine Learning Research. The 41st Conference on Uncertainty in Artificial Intelligence, UAI 2025, Rio de Janeiro, 2025-07-21/2025-07-25. ML Research Press, 2025. p. 3416-3450. vol. 286. ISSN 2640-3498.

MAŠKOVÁ, M. and V. ŠMÍDL. Towards AI Analyst: Querying Costly Features for Fraud and Money Laundering Detection. In: 2025 IEEE 49th Annual Computers, Software, and Applications Conference (COMPSAC). IEEE Annual International Computer Software and Applications Conference, Toronto, 2025-07-08/2025-07-11. Los Alamitos: IEEE Computer Society, 2025. p. 1905-1910. ISSN 2836-3787. ISBN 979-8-3315-7435-2. DOI 10.1109/COMPSAC65507.2025.00262.

KRUTSKÝ, M., et al. Dimensions of Explainability in AI Alignment. In: Proceedings of the International Student Scientific Conference POSTER – 29/2025. 29th International Student Scientific Conference, POSTER 2025, Praha, 2025-05-22. Praha: CTU. Faculty of Electrical Engineering, 2025. ISBN 978-80-01-07422-0. Available from: https://poster2025.sciencesconf.org/data/pages/POSTER_2025.pdf

DRABENT, K. and V. LISÝ. Direct Optimization of Portfolios of Counter Strategies. In: Proceedings of the 2025 7th International Conference on Distributed Artificial Intelligence. 7th International Conference on Distributed Artificial Intelligence, London, 2025-11-21/2025-12-24. New York: Association for Computing Machinery, 2025. p. 67-82. ISBN 979-8-4007-2275-2. DOI 10.1145/3772429.3772437.

KRUTSKÝ, M., et al. XAI Desiderata for Trustworthy AI: Insights from the AI Act. In: FØLSTAD, A., et al., eds. Proceedings of TRUST-AI 2025 – the European Workshop on Trustworthy AI. The European Workshop on Trustworthy AI 2025, Bologna, 2025-10-25/2025-10-26. Aachen: CEUR Workshop Proceedings, 2025. p. 180-187. ISSN 1613-0073. Available from: https://ceur-ws.org/Vol-4132/short12.pdf

HERYNEK, J. and S. EDELKAMP. Risk-Aware On-the-Fly Solving of Physical Vehicle Routing Problems. In: Communications in Computer and Information Science. 4th Workshop on Agents and Robots for reliable Engineered Autonomy, Santiago de Compostela, 2024-10-19. Basel: Springer Nature Switzerland AG, 2025. p. 1-20. ISSN 1865-0929. ISBN 978-3-031-73179-2. DOI 10.1007/978-3-031-73180-8_1.

KRUTSKÝ, M., et al. Binarizing Physics-Inspired GNNs for Combinatorial Optimization. In: 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy – Including 14th Conference on Prestigious Applications of Intelligent Systems (PAIS 2025). 28th European Conference on Artificial Intelligence, Bologna, 2025-10-27/2025-10-30. Amsterdam: IOS Press, 2025. p. 2017-2024. Frontiers in Artificial Intelligence and Applications. vol. 413. ISSN 1879-8314. ISBN 978-1-64368-631-8. DOI 10.3233/FAIA251038. Available from: https://ebooks.iospress.nl/doi/10.3233/FAIA251038

DAOUD, F., M. BUREŠ, and M. ALIPIO. Effectiveness of Combinatorial Interaction Testing in Test Automation - An Industrial Case Study. In: EASE '25: Proceedings of the 29th International Conference on Evaluation and Assessment in Software Engineering. the 29th International Conference on Evaluation and Assessment in Software Engineering, Istanbul, 2025-06-17/2025-06-20. New York: ACM Press, 2025. p. 659-665. ISBN 979-8-4007-1385-9. DOI 10.1145/3756681.3757016.

MILTNER, M., et al. Towards Deeper Understanding of Public EV Charging Load Patterns: Case Study Covering Data from Prague, Czechia. In: Research and Developments in Electrical Power Engineering. 12th International Scientific Symposium on Electrical Power Engineering in Stará Lesná, Slovakia, Stará Lesná, 2024-09-11/2024-09-13. Cham: Springer International Publishing, 2025. p. 222-233. 1. vol. 1446 LNEE. ISSN 1876-1119. ISBN 978-3-031-97332-1. DOI 10.1007/978-3-031-97333-8_21. Available from: https://link.springer.com/book/9783031973321?+fbclid=IwY2xjawKg4UJleHRuA2FlbQIxMABicmlkETB2RHg4N2tFZkl5enE3bHp0AR400UD0fpFHqU3E6AO7304O56Lp0kMOspSqUS2-npAIPsO8JKawczMx5gmX+4g_aem_lui9LhLtY3AZ-9tdTVdz5g%23bibliographic-information

DAOUD, F., et al. Evaluating the Impact of Combinatorial Interaction Testing on Test Automation: A Case Study from Industry. In: Communications in Computer and Information Science. 33rd International Conference on Software and Data Engineering, San Diego, 2024-10-21/2024-10-22. Wien: Springer, 2025. p. 85-99. vol. 2244. ISSN 1865-0929. ISBN 978-3-031-75200-1. DOI 10.1007/978-3-031-75201-8_7.

KRUTSKÝ, M., et al. Assessing Explainability Methods for AI Safety Governance. In: Large-Scale Risks of AI: Control, Governance, and Ethics. International Conference on Large-Scale AI Risks, Leuven, 2025-05-26/2025-05-28. KU Leuven, 2025. p. 21-22. Available from: https://www.kuleuven.be/ethics-kuleuven/chair-ai/conference-ai-risks/xrisk-book_of_abstracts-1.pdf

ULLRICH, H. and J. DRCHAL. AIC CTU@FEVER 8: On-premise fact checking through long context RAG. In: Proceedings of the Eighth Fact Extraction and VERification Workshop (FEVER). The Eighth FEVER Workshop, Vídeň, 2025-07-31. Stroudsburg: Association for Computational Linguistics (ACL), 2025. p. 274-280. ISBN 978-1-959429-53-1. DOI 10.18653/v1/2025.fever-1.22.

SLADIĆ, M., et al. VelLMes: A High-Interaction AI-Based Deception Framework. In: Proceedings of the 10th IEEE European Symposium on Security and Privacy Workshops. 10th IEEE European Symposium on Security and Privacy, Venice, 2025-06-30/2025-07-04. Cannes: IEEE Computer Society, 2025. p. 671-679. ISSN 2768-0657. ISBN 979-8-3315-9546-3. DOI 10.1109/EuroSPW67616.2025.00082. Available from: https://ieeexplore.ieee.org/abstract/document/11129519

MILEC, D., V. KOVAŘÍK, and V. LISÝ. Adapting Beyond the Depth Limit: Counter Strategies in Large Imperfect Information Games. In: Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems. 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-25), Detroit, 2025-05-19/2025-05-23. County of Richland: IFAAMAS, 2025. p. 2675-2677. ISSN 1558-2914. ISBN 979-8-4007-1426-9. Available from: https://www.ifaamas.org/Proceedings/aamas2025/pdfs/p2675.pdf

PELEŠKA, J. and G. ŠÍR. REDELEX: A Framework for Relational Deep Learning Exploration. In: RIBEIRO, R.P., et al., eds. Machine Learning and Knowledge Discovery in Databases. Research Track. ECMLPKDD 2025: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Porto, 2025-09-15/2025-09-19. Springer, Cham, 2025. p. 438-456. 1. vol. 2. ISSN 0302-9743. ISBN 978-3-032-05980-2. DOI 10.1007/978-3-032-05981-9_26.

HAJIZADEH, M., et al. DeepRed: A Deep Learning-Powered Command and Control Framework for Multi-Stage Red Teaming Against ML-based Network Intrusion Detection Systems. In: Proceedings of the 19th USENIX Conference on Offensive Technologies. WOOT '25: Proceedings of the 19th USENIX Conference on Offensive Technologies, seattle, 2025-09-25/2025-09-27. The USENIX Association, 2025. p. 103-127. 2025. ISBN 978-1-939133-50-2.

NIU, M., et al. Joint Problems in Learning Multiple Dynamical Systems. In: 2025 61st Allerton Conference on Communication, Control, and Computing Proceedings. 2025 61st Allerton Conference on Communication, Control, and Computing, Urbana, 2025-09-17/2025-09-19. Urbana: University of Illinois Library System, 2025. p. 1-8. ISSN 2836-4503. Available from: https://www.ideals.illinois.edu/items/137362

MED, J., et al. Non-deterministic Action Reversibility: Complexity Results. In: Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning. 22nd International Conference on Principles of Knowledge Representation and Reasoning, Melbourne, 2025-11-11/2025-11-17. International Joint Conferences on Artificial Intelligence Organization, 2025. p. 462-466. ISSN 2334-1033. ISBN 978-1-956792-08-9. DOI 10.24963/kr.2025/45. Available from: https://proceedings.kr.org/2025/45/kr2025-0045-med-et-al.pdf

13136 / 13141 - Artificial Intelligence Center

Publications 2025

Papers in WoS Journals

MRKOS, J., et al. Online Dynamic Pricing for Electric Vehicle Charging Stations With Reservations. IEEE Transactions on Intelligent Transportation Systems. 2025, 26(9), 13882-13897. ISSN 1524-9050. DOI 10.1109/TITS.2025.3565906.

BELLON, A., et al. Parametric Semidefinite Programming: Geometry of the Trajectory of Solutions. Mathematics of Operations Research. 2025, 50(1), 410-430. ISSN 0364-765X. DOI 10.1287/moor.2021.0097.

BAYER, J. and J. FAIGL. Decentralized multi-robot exploration under low-bandwidth communications. Autonomous Robots. 2025, 50(1), 1-27. ISSN 0929-5593. DOI 10.1007/s10514-025-10234-3.

SZADKOWSKI, R. and J. FAIGL. Lifelong Active Inference of Gait Control. IEEE Transactions on Neural Networks and Learning Systems. 2025, 36(10), 19133-19144. ISSN 2162-237X. DOI 10.1109/TNNLS.2025.3579814.

BLAHA, J., et al. On the Movement of the Honeybee Queen in the Hive. Scientific Reports. 2025, 15(1), 1-17. ISSN 2045-2322. DOI 10.1038/s41598-025-07093-4. Available from: https://www.nature.com/articles/s41598-025-07093-4

GRIGGS, W.M., et al. Unique ergodicity in feedback interconnections of ensembles of agents. International Journal of Control. 2025, 98(11), 2559-2566. ISSN 0020-7179. DOI 10.1080/00207179.2025.2469281.

OKUNEVICH, I., et al. Online Context Learning for Socially Compliant Navigation. IEEE Robotics and Automation Letters. 2025, 10(5), 5042-5049. ISSN 2377-3766. DOI 10.1109/LRA.2025.3557309. Available from: https://www.researchgate.net/publication/390442111_Online_Context_Learning_for_Socially_Compliant_Navigation

BALADA GAGGIOLI, L. and J. MAREČEK. Time evolution of controlled many-body quantum systems with matrix product operators. PHYSICAL REVIEW A. 2025, 112(6), 1-9. ISSN 2469-9926. DOI 10.1103/9mfk-gg3x.

WOODBURN, M., et al. Herd Routes: a feedback control-based preventative system for improving female pedestrian safety on city streets. International Journal of Control. 2025, 98(5), 1032-1045. ISSN 0020-7179. DOI 10.1080/00207179.2024.2380025.

CUCHÝ, M., M. JAKOB, and J. MRKOS. Route and Charging Planning for Electric Vehicles: A Multi-Objective Approach. Transportation Letters. 2025, 17(1), 1-21. ISSN 1942-7867. DOI 10.1080/19427867.2024.2315359.

JANOTA, J., et al. Non-invasive Honeybee Colony Monitoring via Robotic Mapping of Combs in Observation Hives. Computers and Electronics in Agriculture. 2025, 239(C), 1-21. ISSN 0168-1699. DOI 10.1016/j.compag.2025.111031.

THRAN, J., et al. Reserve Provision From Electric Vehicles: Aggregate Boundaries and Stochastic Model Predictive Control. IEEE Transactions on Power Systems. 2025, 40(5), 4081-4092. ISSN 0885-8950. DOI 10.1109/TPWRS.2025.3539863.

ROZSYPÁLEK, Z., et al. Rapid Deployment of Visual Path Following via Average Representation. Journal of Intelligent and Robotic Systems. 2025, 111(3), 1-20. ISSN 0921-0296. DOI 10.1007/s10846-025-02302-8.

MA, S., et al. Truss Topology Design under Harmonic Loads: Peak Power Minimization with Semidefinite Programming. Structural and Multidisciplinary Optimization. 2025, 68(2), 1-24. ISSN 1615-147X. DOI 10.1007/s00158-025-03973-5.

STRACHOTA, P., et al. Numerically efficient determination of kinetic parameters of the VR-1 nuclear reactor based on experimental data and ODE-constrained optimization. Annals of Nuclear Energy. 2025, 211 ISSN 0306-4549. DOI 10.1016/j.anucene.2024.111023.

GHOTAVADEKAR, A., et al. Variable Time-Step MPC for Agile Multi-Rotor UAV Interception of Dynamic Targets. IEEE Robotics and Automation Letters. 2025, 10(2), 1249-1256. ISSN 2377-3766. DOI 10.1109/LRA.2024.3518096. Available from: https://ieeexplore.ieee.org/document/10803033

Papers in Other Journals

BANDHANA, A. and J. VOKŘÍNEK. AI-Driven Manufacturing: Surveying for Industry 4.0 and Beyond. Operations Research Forum. 2025, 6(4), ISSN 2662-2556. DOI 10.1007/s43069-025-00554-6. Available from: https://link.springer.com/article/10.1007/s43069-025-00554-6

BONDAR, D., et al. Globally optimal control of quantum dynamics. Physical Review Research. 2025, 7(4), ISSN 2643-1564. DOI 10.1103/g4fb-xm13.

KHARMAN, A., et al. An Adversarially Robust Data Market for Spatial, Crowd-sourced Data. Distributed Ledger Technologies: Research and Practice. 2025, 4(4), 1-20. ISSN 2769-6480. DOI 10.1145/3703464.

VALEROS, V. and S. GARCÍA. CTU Hornet 65 Niner: A Network Dataset of Geographically Distributed Low-interaction Honeypots. Data in Brief. 2025, 58 1-8. ISSN 2352-3409. DOI 10.1016/j.dib.2024.111261.

RYTÍŘ, P., et al. ExDBN: Learning Dynamic Bayesian Networks using Extended Mixed-Integer Programming Formulations. Transactions on Machine Learning Research. 2025, November ISSN 2835-8856. Available from: https://openreview.net/forum?id=I64MJzl9Fy

YANG, T., et al. 3D ToF LiDAR for Mobile Robotics in Harsh Environments: A Review. Unmanned System. 2025, 13(02), 309-331. ISSN 2301-3850. DOI 10.1142/S230138502530001X.

Conference Proceedings

RIGAKI, M., et al. Prompt. Exploit. Repeat: Automating Network Security Testing with LLMs. In: Agents and Artificial Intelligence. ICAART 2024 16th International Conference on Agents and Artificial Intelligence, Rome, 2024-02-24/2024-02-26. Springer, Cham, 2025. p. 15-36. ISSN 0302-9743. ISBN 978-3-031-87329-4. DOI 10.1007/978-3-031-87330-0_2.

WANG, H., et al. Towards an Embodied Biohybrid Robotic Platform for Interaction with Honeybees. In: Proceedings of the 2025 IEEE International Conference on Mechatronics and Automation (ICMA). 22nd IEEE International Conference on Mechatronics and Automation, Beijing, 2025-08-03/2025-08-06. Institute of Electrical and Electronics Engineers, Inc., 2025. p. 322-327. ISSN 2152-7431. ISBN 979-8-3315-1427-3. DOI 10.1109/ICMA65362.2025.11120734.

PAPEŽ, M., et al. Probabilistic Graph Circuits: Deep Generative Models for Tractable Probabilistic Inference over Graphs. In: Proceedings of Machine Learning Research. The 41st Conference on Uncertainty in Artificial Intelligence, UAI 2025, Rio de Janeiro, 2025-07-21/2025-07-25. ML Research Press, 2025. p. 3416-3450. vol. 286. ISSN 2640-3498.

MAŠKOVÁ, M. and V. ŠMÍDL. Towards AI Analyst: Querying Costly Features for Fraud and Money Laundering Detection. In: 2025 IEEE 49th Annual Computers, Software, and Applications Conference (COMPSAC). IEEE Annual International Computer Software and Applications Conference, Toronto, 2025-07-08/2025-07-11. Los Alamitos: IEEE Computer Society, 2025. p. 1905-1910. ISSN 2836-3787. ISBN 979-8-3315-7435-2. DOI 10.1109/COMPSAC65507.2025.00262.

ZOULA, M. and J. FAIGL. Code-based Design for Consistent Prototyping, Manufacture and Physical Modeling of Multimodal Robots. In: 2025 European Conference on Mobile Robots Conference Proceedings. 12th European Conference on Mobile Robots, Padua, 2025-09-02/2025-09-05. IEEE, 2025. ISSN 2767-8733. ISBN 979-8-3315-2705-1. DOI 10.1109/ECMR65884.2025.11163191. Available from: https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=11163191

KRUTSKÝ, M., et al. Dimensions of Explainability in AI Alignment. In: Proceedings of the International Student Scientific Conference POSTER – 29/2025. 29th International Student Scientific Conference, POSTER 2025, Praha, 2025-05-22. Praha: CTU. Faculty of Electrical Engineering, 2025. ISBN 978-80-01-07422-0. Available from: https://poster2025.sciencesconf.org/data/pages/POSTER_2025.pdf

DECKEROVÁ, J. and J. FAIGL. Lower-bound Solutions to the Touring Regions Problem with Polygonal Obstacles and Disk-shaped Regions. In: 2025 European Conference on Mobile Robots Conference Proceedings. 12th European Conference on Mobile Robots, Padua, 2025-09-02/2025-09-05. IEEE, 2025. p. 1-6. ISSN 2767-8733. ISBN 979-8-3315-2705-1. DOI 10.1109/ECMR65884.2025.11162978. Available from: https://ieeexplore.ieee.org/document/11162978

DRABENT, K. and V. LISÝ. Direct Optimization of Portfolios of Counter Strategies. In: Proceedings of the 2025 7th International Conference on Distributed Artificial Intelligence. 7th International Conference on Distributed Artificial Intelligence, London, 2025-11-21/2025-12-24. New York: Association for Computing Machinery, 2025. p. 67-82. ISBN 979-8-4007-2275-2. DOI 10.1145/3772429.3772437.

KRUTSKÝ, M., et al. XAI Desiderata for Trustworthy AI: Insights from the AI Act. In: FØLSTAD, A., et al., eds. Proceedings of TRUST-AI 2025 – the European Workshop on Trustworthy AI. The European Workshop on Trustworthy AI 2025, Bologna, 2025-10-25/2025-10-26. Aachen: CEUR Workshop Proceedings, 2025. p. 180-187. ISSN 1613-0073. Available from: https://ceur-ws.org/Vol-4132/short12.pdf

REKABI-BANA, F., et al. Robust Vibration Attenuation for Autonomous Robotic Observation Systems. In: IFAC-PapersOnLine. 10th IFAC Symposium on Mechatronic Systems, MECHATRONICS 2025, Paris, 2025-07-15/2025-07-18. Linz: Elsevier BV, 2025. p. 251-256. vol. 59. ISSN 2405-8963. DOI 10.1016/j.ifacol.2025.10.172. Available from: https://www.sciencedirect.com/science/article/pii/S2405896325015654

HERYNEK, J. and S. EDELKAMP. Risk-Aware On-the-Fly Solving of Physical Vehicle Routing Problems. In: Communications in Computer and Information Science. 4th Workshop on Agents and Robots for reliable Engineered Autonomy, Santiago de Compostela, 2024-10-19. Basel: Springer Nature Switzerland AG, 2025. p. 1-20. ISSN 1865-0929. ISBN 978-3-031-73179-2. DOI 10.1007/978-3-031-73180-8_1.

KRUTSKÝ, M., et al. Binarizing Physics-Inspired GNNs for Combinatorial Optimization. In: 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy – Including 14th Conference on Prestigious Applications of Intelligent Systems (PAIS 2025). 28th European Conference on Artificial Intelligence, Bologna, 2025-10-27/2025-10-30. Amsterdam: IOS Press, 2025. p. 2017-2024. Frontiers in Artificial Intelligence and Applications. vol. 413. ISSN 1879-8314. ISBN 978-1-64368-631-8. DOI 10.3233/FAIA251038. Available from: https://ebooks.iospress.nl/doi/10.3233/FAIA251038

KUBÍK, J., A. RIŠKOVÁ, and J. FAIGL. Inchworm-like Robot Locomotion using Off-the-Shelf 3D-printable Anisotropic Friction. In: 12th International Symposium on Adaptive Motion of Animals and Machines (AMAM 2025). Darmstadt, 2025-07-07/2025-07-11. Darmstadt: Universitäts- und Landesbibliothek Darmstadt, 2025. p. 1-3. DOI 10.26083/tuprints-00030958. Available from: https://tuprints.ulb.tu-darmstadt.de/entities/publication/3f569474-1f6f-4be8-9f65-8dc177cb7a8a

RIŠKOVÁ, A., J. KUBÍK, and J. FAIGL. Automated Evaluation of Anisotropic Friction Pads. In: 12th International Symposium on Adaptive Motion of Animals and Machines (AMAM 2025). Darmstadt, 2025-07-07/2025-07-11. Darmstadt: Universitäts- und Landesbibliothek Darmstadt, 2025. DOI 10.26083/tuprints-00030932. Available from: https://tuprints.ulb.tu-darmstadt.de/entities/publication/a11edd15-50ce-4827-a235-d69cf68f2ea4

SZADKOWSKI, R. and J. FAIGL. Interpretable Active Inference Gait Control Learning. In: 2025 IEEE International Conference on Robotics and Automation (ICRA). 2025 IEEE International Conference on Robotics and Automation (ICRA 2025), Atlanta, 2025-05-19/2025-05-23. Vienna: IEEE Industrial Electronic Society, 2025. p. 9630-9636. ISSN 1050-4729. ISBN 979-8-3315-4139-2. DOI 10.1109/ICRA55743.2025.11128724. Available from: https://ieeexplore.ieee.org/document/11128724

KRUTSKÝ, M., et al. Assessing Explainability Methods for AI Safety Governance. In: Large-Scale Risks of AI: Control, Governance, and Ethics. International Conference on Large-Scale AI Risks, Leuven, 2025-05-26/2025-05-28. KU Leuven, 2025. p. 21-22. Available from: https://www.kuleuven.be/ethics-kuleuven/chair-ai/conference-ai-risks/xrisk-book_of_abstracts-1.pdf

ULLRICH, H. and J. DRCHAL. AIC CTU@FEVER 8: On-premise fact checking through long context RAG. In: Proceedings of the Eighth Fact Extraction and VERification Workshop (FEVER). The Eighth FEVER Workshop, Vídeň, 2025-07-31. Stroudsburg: Association for Computational Linguistics (ACL), 2025. p. 274-280. ISBN 978-1-959429-53-1. DOI 10.18653/v1/2025.fever-1.22.

NĚMEČEK, J., T. PEVNÝ, and J. MAREČEK. Generating Likely Counterfactuals Using Sum-Product Networks. In: LEARNING REPRESENTATIONS. INTERNATIONAL CONFERENCE. 13TH 2025. (ICLR 2025). The Thirteenth International Conference on Learning Representations - ICLR 2025, Singapore EXPO, 2025-04-24/2025-04-28. International Conference on Learning Representations, 2025. p. 74233-74264. ISBN 9798331320850. Available from: https://openreview.net/forum?id=rGyi8NNqB0

NĚMEČEK, J., et al. Bias Detection via Maximum Subgroup Discrepancy. In: KDD '25: Proceedings of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining V.2. 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Toronto, 2025-08-03/2025-08-07. New York: Association for Computing Machinery, 2025. p. 2174-2185. ISSN 2154-817X. ISBN 979-8-4007-1454-2. DOI 10.1145/3711896.3736857.

SLADIĆ, M., et al. VelLMes: A High-Interaction AI-Based Deception Framework. In: Proceedings of the 10th IEEE European Symposium on Security and Privacy Workshops. 10th IEEE European Symposium on Security and Privacy, Venice, 2025-06-30/2025-07-04. Cannes: IEEE Computer Society, 2025. p. 671-679. ISSN 2768-0657. ISBN 979-8-3315-9546-3. DOI 10.1109/EuroSPW67616.2025.00082. Available from: https://ieeexplore.ieee.org/abstract/document/11129519

MILEC, D., V. KOVAŘÍK, and V. LISÝ. Adapting Beyond the Depth Limit: Counter Strategies in Large Imperfect Information Games. In: Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems. 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-25), Detroit, 2025-05-19/2025-05-23. County of Richland: IFAAMAS, 2025. p. 2675-2677. ISSN 1558-2914. ISBN 979-8-4007-1426-9. Available from: https://www.ifaamas.org/Proceedings/aamas2025/pdfs/p2675.pdf

HORČÍK, R. Action Costs Prediction by Multiplicative Weights Update. In: 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy – Including 14th Conference on Prestigious Applications of Intelligent Systems (PAIS 2025). 28th European Conference on Artificial Intelligence, Bologna, 2025-10-27/2025-10-30. Amsterdam: IOS Press, 2025. p. 4702-4709. Frontiers in Artificial Intelligence and Applications. vol. 413. ISSN 1879-8314. ISBN 978-1-64368-631-8. DOI 10.3233/FAIA251376. Available from: https://ebooks.iospress.nl/volumearticle/76312

TOMARAS, D., et al. AutoFairML: An Automated Middleware for Fairness Auditing in Real-world AI Pipelines. In: Proceedings - 2025 IEEE 45th International Conference on Distributed Computing Systems Workshops. IEEE 45TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS, Glasgov, 2025-07-20/2025-07-23. Vienna: IEEE Industrial Electronic Society, 2025. p. 261-266. ISSN 1545-0678. ISBN 979-8-3315-1726-7. DOI 10.1109/ICDCSW63273.2025.00050.

HAJIZADEH, M., et al. DeepRed: A Deep Learning-Powered Command and Control Framework for Multi-Stage Red Teaming Against ML-based Network Intrusion Detection Systems. In: Proceedings of the 19th USENIX Conference on Offensive Technologies. WOOT '25: Proceedings of the 19th USENIX Conference on Offensive Technologies, seattle, 2025-09-25/2025-09-27. The USENIX Association, 2025. p. 103-127. 2025. ISBN 978-1-939133-50-2.

NIU, M., et al. Joint Problems in Learning Multiple Dynamical Systems. In: 2025 61st Allerton Conference on Communication, Control, and Computing Proceedings. 2025 61st Allerton Conference on Communication, Control, and Computing, Urbana, 2025-09-17/2025-09-19. Urbana: University of Illinois Library System, 2025. p. 1-8. ISSN 2836-4503. Available from: https://www.ideals.illinois.edu/items/137362

HORČÍK, R., et al. State Encodings for GNN-Based Lifted Planners. In: Proceedings of the 39th AAAI Conference on Artificial Intelligence. 39th AAAI Conference on Artificial Intelligence (AAAI-25), Philadelphia, 2025-02-27/2025-03-02. Menlo Park: AAAI Press, 2025. p. 26525-26533. vol. 39. ISSN 2159-5399. ISBN 978-1-57735-897-8. DOI 10.1609/aaai.v39i25.34853.

Dissertations

RIGAKI, M. Offensive Applications of Machine Learning in Cybersecurity. Praha: Defense date 2025-12-04. PhD Thesis. Czech Technical University in Prague. Supervised by S. GARCÍA.

13136 / 13142 - Center for Software Training

Publications 2025

Conference Proceedings

NEUMAN, V., M. ČAPEK, and I. JELÍNEK. Q-factor and Bandwidth for Multi-Port Antennas. In: 2025 19th European Conference on Antennas and Propagation (EuCAP). European Conference on Antennas and Propagation, Stockholm, 2025-03-30/2025-04-04. Anchorage, Alaska: IEEE, 2025. ISSN 2164-3342. ISBN 978-88-31299-10-7. Available from: https://www.eucap2025.org/

PROKOP, Y. Automated Assessment of Student Queries in Redis. In: Proceedings of International Conference on Applied Innovation in IT. 13th International Conference on Applied Innovation in IT, Koethen, 2025-03-13. Kothen: Hochschule Anhalt, 2025. p. 147-154. vol. 13. ISSN 2199-8876. ISBN 978-3-96057-182-7. DOI 10.25673/119227. Available from: https://www.icaiit.org/paper.php?paper=13th_ICAIIT_1/2_10

13136 / 13143 - Intelligent Data Analysis

Publications 2025

Papers in WoS Journals

BELLON, A., et al. Parametric Semidefinite Programming: Geometry of the Trajectory of Solutions. Mathematics of Operations Research. 2025, 50(1), 410-430. ISSN 0364-765X. DOI 10.1287/moor.2021.0097.

SIMOVA, Z., et al. Transcriptomics Insight into Occupational Exposure to Engineered Nanoparticles. Nanomedicine. 2025, 20(14), 1713-1727. ISSN 1743-5889. DOI 10.1080/17435889.2025.2527020.

CURTIS, F.E., et al. A Stochastic-Gradient-Based Interior-Point Algorithm for Solving Smooth Bound-Constrained Optimization Problems. SIAM Journal on Optimization. 2025, 35(2), 1030-1059. ISSN 1095-7189. DOI 10.1137/23M1569460. Available from: https://epubs.siam.org/doi/abs/10.1137/23M1569460

PELEŠKA, J. and G. ŠÍR. Tabular Transformers Meet Relational Databases. ACM Transactions on Intelligent Systems and Technology. 2025, 16(5), 555-578. ISSN 2157-6912. DOI 10.1145/3749991.

SIMA, M., et al. Transcriptomic Profiling of Mouse Mesenchymal Stem Cells Exposed to Metal-Based Nanoparticles. International Journal of Molecular Sciences. 2025, 26(15), 1-23. ISSN 1422-0067. DOI 10.3390/ijms26157583. Available from: https://www.mdpi.com/1422-0067/26/15/7583

BOZORGNIA, F. and V. KUNGURTSEV. Optimal Control of Two-Phase Membrane Problem. Applied Mathematics & Optimization. 2025, 92(1), ISSN 0095-4616. DOI 10.1007/s00245-025-10282-2.

KRUTSKÝ, M. and G. ŠÍR. Geometric Deep Learning for the Rubik's Cube Group. IEEE Transactions on Neural Networks and Learning Systems. 2025, 36(12), 20214-20228. ISSN 2162-2388. DOI 10.1109/TNNLS.2025.3599009. Available from: https://ieeexplore.ieee.org/document/11134077

MA, S., et al. Truss Topology Design under Harmonic Loads: Peak Power Minimization with Semidefinite Programming. Structural and Multidisciplinary Optimization. 2025, 68(2), 1-24. ISSN 1615-147X. DOI 10.1007/s00158-025-03973-5.

RYŠAVÝ, P. and F. ŽELEZNÝ. An Algorithm to Calculate the p-Value of the Monge-Elkan Distance. Journal of Computational Biology. 2025, 32(8), 797-812. ISSN 1557-8666. DOI 10.1089/cmb.2024.0854. Available from: https://www.liebertpub.com/doi/10.1089/cmb.2024.0854

KREJCIK, Z., et al. Dysregulation of Transposable Elements and PIWI-interacting RNAs in Myelodysplastic Neoplasms. Biomarker Research. 2025, 13(1), 1-17. ISSN 2050-7771. DOI 10.1186/s40364-025-00725-x. Available from: https://biomarkerres.biomedcentral.com/articles/10.1186/s40364-025-00725-x

ANUARBEKOV, A. and J. KLÉMA. Utilizing RNA-seq Data in Monotone Iterative Generalized Linear Model to Elevate Prior Knowledge Quality of the CircRNA-miRNA-mRNA Regulatory Axis. BMC Bioinformatics. 2025, 26(1), 1-35. ISSN 1471-2105. DOI 10.1186/s12859-025-06161-w. Available from: https://bmcbioinformatics.biomedcentral.com/articles/10.1186/s12859-025-06161-w

RYŠAVÝ, P., et al. circGPAcorr: an integrative tool for functional annotation of circular RNAs using expression data. BioData Mining. 2025, 18(1), ISSN 1756-0381. DOI 10.1186/s13040-025-00468-3.

Papers in Other Journals

HRUBA, P., et al. Transcriptomic Signatures of Antibody-mediated Rejection in Early Biopsies With Negative Histology in HLA-incompatible Kidney Transplantation. Transplantation Direct. 2025, 11(1), 1-8. ISSN 2373-8731. DOI 10.1097/TXD.0000000000001741.

ROSSNER, P., et al. Skin Wound Healing: The Impact of Treatment with Antimicrobial Nanoparticles and Mesenchymal Stem Cells. Journal of Xenobiotics. 2025, 15(4), 1-22. ISSN 2039-4713. DOI 10.3390/jox15040119. Available from: https://www.mdpi.com/2039-4713/15/4/119

HOOSHYAR, D., G. ŠÍR, and Y. YANG. Towards responsible AI for education: Hybrid human-AI to confront the elephant in the room. Computers and Education: Artificial Intelligence. 2025, 9(9), ISSN 2666-920X. DOI 10.1016/j.caeai.2025.100524. Available from: https://www.sciencedirect.com/science/article/pii/S2666920X2500164X

AMBROZ, A., et al. Associations of Environmental Pollution with Pro-oxidant, Antioxidant and Inflammatory Markers in Pregnant Mothers and Newborns. Frontiers in Toxicology. 2025, 7 1-16. ISSN 2673-3080. DOI 10.3389/ftox.2025.1572486. Available from: https://www.frontiersin.org/journals/toxicology/articles/10.3389/ftox.2025.1572486/full

Books, Book Chapters and Lecture Notes

IDLAHCEN, F., ed. Learning Tree-Structured Distributions. Ljubljana, 2025-09-23/2025-09-25. Cham: Springer Nature Publishing AG, 2025. Available from: https://link.springer.com/chapter/10.1007/978-3-032-05461-6_5

Conference Proceedings

MENG, Q., et al. Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity. In: Proceedings of 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science. 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, Singapore, 2025-06-23/2025-06-26. Los Alamitos, CA: IEEE Computer Soc., 2025. p. 301-313. ISSN 1043-6871. ISBN 979-8-3315-5464-4. DOI 10.1109/LICS65433.2025.00030.

ZOU, K., et al. Faster Lifting for Ordered Domains with Predecessor Relations. In: 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy – Including 14th Conference on Prestigious Applications of Intelligent Systems (PAIS 2025). 28th European Conference on Artificial Intelligence, Bologna, 2025-10-27/2025-10-30. Amsterdam: IOS Press, 2025. p. 1784-1791. Frontiers in Artificial Intelligence and Applications. vol. 413. ISSN 1879-8314. ISBN 978-1-64368-631-8. DOI 10.3233/FAIA251008. Available from: https://www.researchgate.net/publication/396786970_Faster_Lifting_for_Ordered_Domains_with_Predecessor_Relations

KRUTSKÝ, M., et al. Dimensions of Explainability in AI Alignment. In: Proceedings of the International Student Scientific Conference POSTER – 29/2025. 29th International Student Scientific Conference, POSTER 2025, Praha, 2025-05-22. Praha: CTU. Faculty of Electrical Engineering, 2025. ISBN 978-80-01-07422-0. Available from: https://poster2025.sciencesconf.org/data/pages/POSTER_2025.pdf

KRUTSKÝ, M., et al. XAI Desiderata for Trustworthy AI: Insights from the AI Act. In: FØLSTAD, A., et al., eds. Proceedings of TRUST-AI 2025 – the European Workshop on Trustworthy AI. The European Workshop on Trustworthy AI 2025, Bologna, 2025-10-25/2025-10-26. Aachen: CEUR Workshop Proceedings, 2025. p. 180-187. ISSN 1613-0073. Available from: https://ceur-ws.org/Vol-4132/short12.pdf

KRUTSKÝ, M., et al. Binarizing Physics-Inspired GNNs for Combinatorial Optimization. In: 28th European Conference on Artificial Intelligence, 25-30 October 2025, Bologna, Italy – Including 14th Conference on Prestigious Applications of Intelligent Systems (PAIS 2025). 28th European Conference on Artificial Intelligence, Bologna, 2025-10-27/2025-10-30. Amsterdam: IOS Press, 2025. p. 2017-2024. Frontiers in Artificial Intelligence and Applications. vol. 413. ISSN 1879-8314. ISBN 978-1-64368-631-8. DOI 10.3233/FAIA251038. Available from: https://ebooks.iospress.nl/doi/10.3233/FAIA251038

KRUTSKÝ, M., et al. Assessing Explainability Methods for AI Safety Governance. In: Large-Scale Risks of AI: Control, Governance, and Ethics. International Conference on Large-Scale AI Risks, Leuven, 2025-05-26/2025-05-28. KU Leuven, 2025. p. 21-22. Available from: https://www.kuleuven.be/ethics-kuleuven/chair-ai/conference-ai-risks/xrisk-book_of_abstracts-1.pdf

PELEŠKA, J. and G. ŠÍR. REDELEX: A Framework for Relational Deep Learning Exploration. In: RIBEIRO, R.P., et al., eds. Machine Learning and Knowledge Discovery in Databases. Research Track. ECMLPKDD 2025: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Porto, 2025-09-15/2025-09-19. Springer, Cham, 2025. p. 438-456. 1. vol. 2. ISSN 0302-9743. ISBN 978-3-032-05980-2. DOI 10.1007/978-3-032-05981-9_26.

NIU, M., et al. Joint Problems in Learning Multiple Dynamical Systems. In: 2025 61st Allerton Conference on Communication, Control, and Computing Proceedings. 2025 61st Allerton Conference on Communication, Control, and Computing, Urbana, 2025-09-17/2025-09-19. Urbana: University of Illinois Library System, 2025. p. 1-8. ISSN 2836-4503. Available from: https://www.ideals.illinois.edu/items/137362

JIA, Y., et al. Unlocking the Potential of Federated Learning: The Symphony of Dataset Distillation via Deep Generative Latents. In: Computer Vision – ECCV 2024, Part LXXVIII. ECCV2024: The 18th European Conference on Computer Vision, Milano, 2024-09-29/2024-10-04. Springer Nature, 2025. p. 18-33. LNCS. vol. 15136. ISSN 1611-3349. ISBN 978-3-031-91569-7. DOI 10.1007/978-3-031-73229-4_2. Available from: https://link.springer.com/chapter/10.1007/978-3-031-73229-4_2

HORČÍK, R., et al. State Encodings for GNN-Based Lifted Planners. In: Proceedings of the 39th AAAI Conference on Artificial Intelligence. 39th AAAI Conference on Artificial Intelligence (AAAI-25), Philadelphia, 2025-02-27/2025-03-02. Menlo Park: AAAI Press, 2025. p. 26525-26533. vol. 39. ISSN 2159-5399. ISBN 978-1-57735-897-8. DOI 10.1609/aaai.v39i25.34853.

13136 / 13144 - System Testing IntelLigent Lab

Publications 2025

Papers in WoS Journals

ALIPIO, M. and M. BUREŠ. A cache-aware Congestion Control Mechanism Using Deep Reinforcement Learning for Wireless Sensor Networks. Ad Hoc Networks. 2025, 166(1), ISSN 1570-8705. DOI 10.1016/j.adhoc.2024.103678.

KLÍMA, M., et al. Genetic Algorithm for Path-based Testing of Component Outage Situations in IoT System Processes. Applied Soft Computing. 2025, 185 ISSN 1872-9681. DOI 10.1016/j.asoc.2025.113854. Available from: https://www.sciencedirect.com/science/article/pii/S1568494625011676

ALIPIO, M. and M. BUREŠ. The Role of Large Language Models in Designing Reliable Networks for Internet of Things: A Short Review of Most Recent Developments. IEEE Access. 2025, 13 168527-168545. ISSN 2169-3536. DOI 10.1109/ACCESS.2025.3614246. Available from: https://ieeexplore.ieee.org/document/11179972

Papers in Other Journals

ALIPIO, M., M. BUREŠ, and T. MURASE. Congestion Control Mechanisms in V2X Communications: From Classification to Benchmarking and Design Guidelines. Journal of Reliable Intelligent Environments. 2025, 11(4), ISSN 2199-4668. DOI 10.1007/s40860-025-00262-2.

Conference Proceedings

SKŘÍŠOVSKÝ, J., A. MKRTCHIAN, and P. KŘEMEN. Interactive Dashboard for Ontology Catalogs. In: Joint Proceedings of Posters, Demos, Workshops, and Tutorials of the 21st International Conference on Semantic Systems co-located with 21st International Conference on Semantic Systems (SEMANTiCS 2025). 21st International Conference on Semantic Systems, Vídeň, 2025-09-03/2025-09-05. CEUR-WS.org, 2025. vol. 4064. ISSN 1613-0073. Available from: https://ceur-ws.org/Vol-4064/SEMDEV-paper6.pdf

DAOUD, F., M. BUREŠ, and M. ALIPIO. Effectiveness of Combinatorial Interaction Testing in Test Automation - An Industrial Case Study. In: EASE '25: Proceedings of the 29th International Conference on Evaluation and Assessment in Software Engineering. the 29th International Conference on Evaluation and Assessment in Software Engineering, Istanbul, 2025-06-17/2025-06-20. New York: ACM Press, 2025. p. 659-665. ISBN 979-8-4007-1385-9. DOI 10.1145/3756681.3757016.

DAOUD, F., et al. Evaluating the Impact of Combinatorial Interaction Testing on Test Automation: A Case Study from Industry. In: Communications in Computer and Information Science. 33rd International Conference on Software and Data Engineering, San Diego, 2024-10-21/2024-10-22. Wien: Springer, 2025. p. 85-99. vol. 2244. ISSN 1865-0929. ISBN 978-3-031-75200-1. DOI 10.1007/978-3-031-75201-8_7.

BUREŠ, M., et al. Situational Awareness and Health Monitoring System for the First Responders and CBRN Units. In: Proceedings - 2025 IEEE International Conference on Digital Health, ICDH 2025. 2025 IEEE INTERNATIONAL CONFERENCE ON DIGITAL HEALTH, Helsinki, 2025-07-07/2025-07-12. IEEE eXplore, 2025. p. 199-201. ISBN 979-8-3315-5561-0. DOI 10.1109/ICDH67620.2025.00036. Available from: https://ieeexplore.ieee.org/document/11120493

KLÍMA, M., et al. Novel Algorithm to Solve the Constrained Path-Based Testing Problem. In: IEEE International Conference on Software Testing Verification and Validation Workshops. 2025 International Conference on Software Testing, Verification and Validation Workshops-ICSTW, Naples, 2025-03-31/2025-04-04. IEEE Xplore, 2025. p. 41-49. ISBN 979-8-3315-3467-7. DOI 10.1109/ICSTW64639.2025.10962488. Available from: https://ieeexplore.ieee.org/document/10962488

KLÍMA, M., et al. CPT Manager: An Open Environment for Constrained Path-Based Testing. In: IEEE International Conference on Software Testing Verification and Validation Workshops. 2025 International Conference on Software Testing, Verification and Validation Workshops-ICSTW, Naples, 2025-03-31/2025-04-04. IEEE Xplore, 2025. p. 50-53. ISBN 979-8-3315-3467-7. DOI 10.1109/ICSTW64639.2025.10962475. Available from: https://ieeexplore.ieee.org/document/10962475

13136 / 13145 - Knowledge-based Software Systems

Publications 2025

Papers in WoS Journals

KŘEMEN, P., et al. TermIt: Managing Normative Thesauri. Semantic Web. 2025, 16(2), 1-11. ISSN 2210-4968. DOI 10.3233/SW-243547. Available from: https://content.iospress.com/articles/semantic-web/sw243547

FISCHEROVÁ, D., et al. Ultrasound Examiners' Ability to Describe Ovarian Cancer Spread Using Preacquired Ultrasound Videoclips from a Selected Patient Sample with High Prevalence of Cancer Spread. Ultrasound in Obstetrics & Gynecology. 2025, 65(5), 641-652. ISSN 1469-0705. DOI 10.1002/uog.29208. Available from: https://obgyn.onlinelibrary.wiley.com/doi/10.1002/uog.29208?af=R

Conference Proceedings

SKŘÍŠOVSKÝ, J., A. MKRTCHIAN, and P. KŘEMEN. Interactive Dashboard for Ontology Catalogs. In: Joint Proceedings of Posters, Demos, Workshops, and Tutorials of the 21st International Conference on Semantic Systems co-located with 21st International Conference on Semantic Systems (SEMANTiCS 2025). 21st International Conference on Semantic Systems, Vídeň, 2025-09-03/2025-09-05. CEUR-WS.org, 2025. vol. 4064. ISSN 1613-0073. Available from: https://ceur-ws.org/Vol-4064/SEMDEV-paper6.pdf

LEDVINKA, M., M. BLAŠKO, and M. MED. TermIt: Managing Domain Terminologies. In: Joint Proceedings of Posters, Demos, Workshops, and Tutorials of the 21st International Conference on Semantic Systems co-located with 21st International Conference on Semantic Systems (SEMANTiCS 2025). 21st International Conference on Semantic Systems, Vídeň, 2025-09-03/2025-09-05. CEUR-WS.org, 2025. vol. 4064. ISSN 1613-0073. Available from: https://ceur-ws.org/Vol-4064/SEMDEV-paper1.pdf