13000 / 13136 - Publications - 2025
13000 / 13136 - Department of Computer Science
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.
BLAHA, J., et al. On the Movement of the Honeybee Queen in the Hive. Scientific Reports. 2025, 15 1-17. ISSN 2045-2322. DOI 10.1038/s41598-025-07093-4. Available from: https://www.nature.com/articles/s41598-025-07093-4
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.
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
HE, X., P. RYŠAVÝ, and J. MAREČEK. Causal Learning in Biomedical Applications: Krebs Cycle as a Benchmark. F1000Research. 2025, ISSN 2046-1402.
JANOTA, J., et al. Non-invasive Honeybee Colony Monitoring via Robotic Mapping of Combs in Observation Hives. Computers and Electronics in Agriculture. 2025, 239 1-21. ISSN 0168-1699. DOI 10.1016/j.compag.2025.111031.
Books, Book Chapters and Lecture Notes
NIU, M., et al., eds. Joint Problems in Learning Multiple Dynamical Systems. Urbana, Illinois, 2025-09-17/2025-09-19. Praha: CTU FEE. Department of Computer Science, 2025.
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.
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
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.
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. Available from: https://www.ifaamas.org/Proceedings/aamas2025/pdfs/p2675.pdf
GARCÍA, S., V. VALEROS, and M. RIGAKI. 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. 2025. ISBN 978-1-939133-50-2.
NIU, M., et al. Joint Problems in Learning Multiple Dynamical Systems. In: Joint Problems in Learning Multiple Dynamical Systems. Praha: CTU FEE. Department of Computer Science, 2025.
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.
BLAHA, J., et al. On the Movement of the Honeybee Queen in the Hive. Scientific Reports. 2025, 15 1-17. ISSN 2045-2322. DOI 10.1038/s41598-025-07093-4. Available from: https://www.nature.com/articles/s41598-025-07093-4
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
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.
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
HE, X., P. RYŠAVÝ, and J. MAREČEK. Causal Learning in Biomedical Applications: Krebs Cycle as a Benchmark. F1000Research. 2025, ISSN 2046-1402.
JANOTA, J., et al. Non-invasive Honeybee Colony Monitoring via Robotic Mapping of Combs in Observation Hives. Computers and Electronics in Agriculture. 2025, 239 1-21. ISSN 0168-1699. DOI 10.1016/j.compag.2025.111031.
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.
YANG, T., et al. 3D ToF LiDAR for Mobile Robotics in Harsh Environments: A Review. Unmanned System. 2025, 13(2), 309-331. ISSN 2301-3850. DOI 10.1142/S230138502530001X.
Books, Book Chapters and Lecture Notes
NIU, M., et al., eds. Joint Problems in Learning Multiple Dynamical Systems. Urbana, Illinois, 2025-09-17/2025-09-19. Praha: CTU FEE. Department of Computer Science, 2025.
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.
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
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. 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. ISBN 979-8-4007-1454-2. DOI 10.1145/3711896.3736857. Available from: https://dl.acm.org/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. Available from: https://www.ifaamas.org/Proceedings/aamas2025/pdfs/p2675.pdf
GARCÍA, S., V. VALEROS, and M. RIGAKI. 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. 2025. ISBN 978-1-939133-50-2.
NIU, M., et al. Joint Problems in Learning Multiple Dynamical Systems. In: Joint Problems in Learning Multiple Dynamical Systems. Praha: CTU FEE. Department of Computer Science, 2025.
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. DOI 10.1609/aaai.v39i25.34853.
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. 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.
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
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
HE, X., P. RYŠAVÝ, and J. MAREČEK. Causal Learning in Biomedical Applications: Krebs Cycle as a Benchmark. F1000Research. 2025, ISSN 2046-1402.
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), ISSN 1095-7189. DOI 10.1137/23M1569460. Available from: https://epubs.siam.org/doi/abs/10.1137/23M1569460
BOZORGNIA, F. and V. KUNGURTSEV. Optimal Control of Two-Phase Membrane Problem. Applied Mathematics & Optimization. 2025, 92 ISSN 0095-4616. DOI 10.1007/s00245-025-10282-2.
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
NIU, M., et al., eds. Joint Problems in Learning Multiple Dynamical Systems. Urbana, Illinois, 2025-09-17/2025-09-19. Praha: CTU FEE. Department of Computer Science, 2025.
Conference Proceedings
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. 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
NIU, M., et al. Joint Problems in Learning Multiple Dynamical Systems. In: Joint Problems in Learning Multiple Dynamical Systems. Praha: CTU FEE. Department of Computer Science, 2025.
JIA, Y., et al. Unlocking the Potential of Federated Learning: The Symphony of Dataset Distillation via Deep Generative Latents. In: Computer Vision – ECCV 2024. ECCV2024: The 18th European Conference on Computer Vision, Milano, 2024-09-29/2024-10-04. Springer Nature, 2025. p. 18-33. vol. 15623. ISSN 0302-9743. ISBN 978-3-031-91568-0. DOI 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. 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.
Conference Proceedings
SKŘÍŠOVSKÝ, J., A. MKRTCHIAN, and P. KŘEMEN. Interactive Dashboard for Ontology Catalogs. In: SEMANTiCS-PDWT 2025 Posters, Demos, Workshops, and Tutorials at SEMANTiCS 2025. Aachen: CEUR Workshop Proceedings, 2025. CEUR. vol. 4064. ISSN 1613-0073. Available from: https://ceur-ws.org/Vol-4064/SEMDEV-paper6.pdf
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.
13136 / 13145 - Knowledge-based Software Systems
Publications 2025
Papers in WoS Journals
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(4), 1-12. 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: SEMANTiCS-PDWT 2025 Posters, Demos, Workshops, and Tutorials at SEMANTiCS 2025. Aachen: CEUR Workshop Proceedings, 2025. CEUR. 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