2026
- CHLEBÍK, J.; JAROŠ, J. Evolutionary Exploration of an Ultrasound Propagation Predictor Neural Net. Brno: 2026. 16 p. Detail
- CHLUBNA, T. vkCompViz: Universal C++ Library for GPU-Based Experiments. Journal of open source software, 2026, vol. 11, no. 117, 5 p. Detail
- GURGUROV, D.; TRINLEY, K.; VYKOPAL, I.; VAN GENABITH, J.; OSTERMANN, S.; ZAMPARELLI, R. Multilingual Political Views of Large Language Models: Identification and Steering. Mumbai, India: Association for Computational Linguistics, 2026.
p. 279-298. ISBN: 979-8-89176-303-6. Detail - HOLÍK, L.; ABDULLA, P.; HAZIZA, F.; JONSSON, B.; REZINE, A. Correction to: An integrated specification and verification technique for highly concurrent data structures. 2026. Detail
- KIŠŠ, M.; HRADIŠ, M.; DVOŘÁKOVÁ, M.; JIROUŠEK, V.; KERSCH, F. AnnoPage Dataset: Dataset of Non-Textual Elements in Documents with Fine-Grained Categorization. In Document Analysis and Recognition – ICDAR 2025 Workshops. Cham: Springer Nature Switzerland, 2026.
p. 50-66. ISBN: 978-3-032-09370-7. Detail - POLOK, A.; KLEMENT, D.; KOCOUR, M.; HAN, J.; LANDINI, F.; YUSUF, B.; WIESNER, M.; KHUDANPUR, S.; ČERNOCKÝ, J.; BURGET, L. DiCoW: Diarization-Conditioned Whisper for Target Speaker Automatic Speech Recognition. COMPUTER SPEECH AND LANGUAGE, 2026, vol. 95, no. 1,
p. 1-19. 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, no. 1,
p. 923-953. ISSN: 2475-1421. Detail - ADAM, R.; KOZÁK, D.; VOJNAR, T.; ČERNÝ, T.; GOULIS, G. SAVAT: A Tool for Visualizing the Impact of Changes in Microservices. Springer, 2025.
p. 3-11. ISBN: 978-3-032-04403-7. Detail - AKKIRAJU, B.; POTHULA, A.; KESIRAJU, S.; VUPPALA, A. IIITH-BUT system for IWSLT 2025 low-resource Bhojpuri to Hindi speech translation. Proceedings of the 22nd International Conference on Spoken Language Translation (IWSLT 2025). Vienna, Austria: Association for Computational Linguistics, 2025.
p. 333-339. ISBN: 979-8-89176-272-5. Detail - Alexander Polok, Jiangyu Han, Dominik Klement, Samuele Cornell, Jan Černocký, Lukáš Burget. BUT System for the MLC-SLM Challenge. ISCA: ISCA, 2025.
p. 23-27. Detail - AMIN, H.; AHMED, A.; YUSOFF, M.; MOHAMAD SAAD, M.; MALIK, A. A neurophysiological model based on resting state EEG functional connectivity features for assessing semantic long-term memory performance. Biomedical Signal Processing and Control, 2025, vol. 99, no. 1,
p. 1-11. ISSN: 1746-8108. 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. 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. Proceeding of 22nd International Symposium on Automated Technology for Verification and Analysis. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cham: Springer Verlag, 2025.
p. 51-75. ISBN: 978-3-031-78749-2. Detail - ANIKINA, T.; ČEGIŇ, J.; ŠIMKO, J.; OSTERMANN, S. A Rigorous Evaluation of LLM Data Generation Strategies for Low-Resource Languages. Suzhou, China: Association for Computational Linguistics, 2025.
p. 8293-8314. ISBN: 979-8-89176-332-6. Detail - ANIKINA, T.; VYKOPAL, I.; KULA, S.; CHIKKALA, K.; SKACHKOVA, N.; YANG, J.; SOLOPOVA, V.; SCHMITT, V.; OSTERMANN, S. dfkinit2b at CheckThat! 2025: Leveraging LLMs and Ensemble of Methods for Multilingual Claim Normalization. Madrid: Working Notes of the Conference and Labs of the Evaluation Forum (CLEF 2025), 2025. Detail
- ANTTI, N.; KOHOUT, T.; KAŠPÁREK, T. The Asteroid Spectral Imager (ASPECT) on the Milani CubeSat. SPACE SCIENCE REVIEWS, 2025, vol. 2025, no. 221,
p. 1-27. ISSN: 1572-9672. Detail - AZHAR ALI, S.; AL-QURAISHI, M.; EL FERIK, S.; MALIK, A. Enhancing Mental Workload Prediction through LightGBM during Multitasking. 2025 11th International Conference on Control, Decision and Information Technologies (CoDIT). Croatia: IEEE, 2025.
p. 1267-1271. ISBN: 979-8-3315-0338-3. Detail - BARAHONA, S.; SILNOVA, A.; MOŠNER, L.; PENG, J.; PLCHOT, O.; ROHDIN, J.; ZHANG, L.; HAN, J.; PALKA, P.; LANDINI, F.; BURGET, L.; STAFYLAKIS, T.; CUMANI, S.; BOBOŠ, D.; HLAVAČEK, M.; KODOVSKY, M.; PAVLIČEK, T. Analysis of ABC Frontend Audio Systems for the NIST-SRE24. In Proceedings of the Annual Conference of the International Speech Communication Association Interspeech. Interspeech. Rotterdam: International Speech Communication Association, 2025.
p. 5763-5767. Detail - BAŘINA, D. Improved verification limit for the convergence of the Collatz conjecture. JOURNAL OF SUPERCOMPUTING, 2025, vol. 81, no. 1,
p. 1-14. ISSN: 1573-0484. Detail - BELANEC, R.; OSTERMANN, S.; SRBA, I.; BIELIKOVÁ, M. Task Prompt Vectors: Effective Initialization through Multi-Task Soft Prompt Transfer. Springer, Berlin, Heidelberg, 2025.
p. 77-94. ISBN: 978-3-662-72242-8. Detail - BEŇOVÁ, I.; GREGOR, M.; GATT, A. CV-Probes: Studying the interplay of lexical and world knowledge in visually grounded verb understanding. 2025.
p. 4425-4433. ISBN: 1069-7977. Detail - BIDLO, M.; SARANOVÁ, I. Multi-purpose Image Filter Evolution Using Cellular Automata and Function-Based Conditional Rules. In Applications of Evolutionary Computation: 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part II. Lecture Notes in Computer Science. Trieste: Springer Nature Switzerland AG, 2025.
p. 457-472. ISBN: 978-3-031-90064-8. Detail - BOSIO, A.; BERNARDI, P.; TRAIOLA, M.; MRÁZEK, V. 28th International Symposium on Design and Diagnostics of Electronic Circuits & Systems. Lyon: Institute of Electrical and Electronics Engineers, 2025. 168 p. ISBN: 979-8-3315-2801-0. Detail
- BURGETOVÁ, I.; MATOUŠEK, P.; RYŠAVÝ, O. Towards identification of network applications in encrypted traffic. Annals of Telecommunications, 2025, vol. 2025, no. 9,
p. 1-18. ISSN: 1958-9395. Detail - CANCELLIERI, M.; DOČEKAL, M.; PRIDE, D.; GRUENPETER, M.; DOUARD, D.; KNOTH, P. Interoperable verification and dissemination of software assets in repositories using COAR Notify. 2025. Detail
- ČEGIŇ, J.; PECHER, B.; ŠIMKO, J.; SRBA, I.; BIELIKOVÁ, M.; BRUSILOVSKY, P. Use Random Selection for Now: Investigation of Few-Shot Selection Strategies in LLM-based Text Augmentation. Suzhou, China: Association for Computational Linguistics, 2025.
p. 5533-5550. ISBN: 979-8-89176-335-7. Detail - ČEGIŇ, J.; ŠIMKO, J. LLMs vs Established Text Augmentation Techniques for Classification: When do the Benefits Outweight the Costs?. Proceedings of the 2025 Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers). Albuquerque, New Mexico: Association for Computational Linguistics, 2025.
p. 10476-10496. ISBN: 979-8-8917-6189-6. Detail - CHEN, X.; LIN, I.; ZHANG, L.; DU, J.; WU, H.; LEE, H.; JANG, J. Codec-Based Deepfake Source Tracing via Neural Audio Codec Taxonomy. In Proceedings of the Annual Conference of the International Speech Communication Association Interspeech. Interspeech. Rotterdam, Nizozemí: International Speech Communication Association, 2025.
p. 1538-1542. Detail - CHEN, X.; LU, W.; ZHANG, R.; XU, J.; LU, X.; ZHANG, L.; WEI, J. Continual Unsupervised Domain Adaptation for Audio Deepfake Detection. In Proceedings - ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing. Hyderabad, Indická republika: Institute of Electrical and Electronics Engineers Inc., 2025.
p. 1-5. ISBN: 979-8-3503-6874-1. Detail - CHIKKALA, K.; ANIKINA, T.; SKACHKOVA, N.; VYKOPAL, I.; AGERRI, R.; GENABITH, J. Automatic Fact-checking in English and Telugu. Shoumen, Bulgaria: INCOMA Ltd., 2025.
p. 140-151. Detail - CHLUBNA, T.; MILET, T.; ZEMČÍK, P. How Color Profile Affects the Visual Quality in Light Field Rendering and Novel View Synthesis. MULTIMEDIA TOOLS AND APPLICATIONS, 2025, vol. 84, no. 14,
p. 11079-11095. Detail - CHLUBNA, T.; MILET, T.; ZEMČÍK, P. Light Field Video Streaming on GPU. SIGNAL PROCESSING-IMAGE COMMUNICATION, 2025, vol. 2025, no. 138, 12 p. Detail
- CHLUBNA, T.; VLNAS, M.; BAŘINA, D.; MILET, T.; ZEMČÍK, P. Focus-aware compression and image quality metric for 3D displays. SIGNAL PROCESSING, 2025, vol. 2026, no. 238,
p. 1-14. ISSN: 0165-1684. Detail - CHLUBNA, T.; VLNAS, M.; MILET, T.; ZEMČÍK, P. Survey of FOSS 3D/2D Graphics Software Blender Usage in Science, Academia, and Industry. The visual computer, 2025, vol. 42, no. 1,
p. 1-32. Detail - CHLUBNA, T.; ZEMČÍK, P. Comparative Survey of Image Compression Methods Across Different Pixel Formats and Bit Depths. Signal Image and Video Processing, 2025, vol. 19, no. 12, 13 p. 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. no. 1,
p. 23-44. ISSN: 0302-9743. Detail - CUMANI, S.; SILNOVA, A.; BARAHONA, S.; MOŠNER, L.; PLCHOT, O.; ROHDIN, J. Analysis of the ABC classification backends for NIST SRE24. In Proceedings of the Annual Conference of the International Speech Communication Association Interspeech. Interspeech. Rotterdam: International Speech Communication Association, 2025.
p. 3978-3982. 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 - DOČEKAL, M.; HRADIŠ, M.; KOHÚT, J.; VAŠKO, M. BiblioPage: A Dataset of Scanned Title Pages for Bibliographic Metadata Extraction. In Document Analysis and Recognition – ICDAR 2025. Cham: Springer Nature Switzerland, 2025.
p. 287-304. ISBN: 978-3-032-04623-9. Detail - ELIÁŠ, R.; LAZÚR, J.; HYNEK, J.; HRUŠKA, T. A Spatial Algorithm for Dataset Integration Applied to Cycling Data. In IEEE Xplore. 2025 Smart City Symposium Prague (SCSP). Prague: Institute of Electrical and Electronics Engineers, 2025.
p. 1-6. ISBN: 979-8-3315-2550-7. Detail - FAJČÍK, M.; DOČEKAL, M.; DOLEŽAL, J.; ONDŘEJ, K.; BENEŠ, K.; SMRŽ, P.; POLOK, A.; HRADIŠ, M. BenCzechMark : A Czech-Centric Multitask and Multimetric Benchmark for Large Language Models with Duel Scoring Mechanism. Transactions of the Association for Computational Linguistics, 2025, vol. 13, no. 9,
p. 1068-1095. 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, no. 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, no. 156,
p. 104510-104543. Detail - GURGUROV, D.; VYKOPAL, I.; GENABITH, J.; OSTERMANN, S. Small Models, Big Impact: Efficient Corpus and Graph-Based Adaptation of Small Multilingual Language Models for Low-Resource Languages. Vienna: Association for Computational Linguistics, 2025. ISBN: 979-8-89176-254-1. Detail
- HAN, J.; LANDINI, F.; ROHDIN, J.; SILNOVA, A.; DIEZ SÁNCHEZ, M.; BURGET, L. Leveraging Self-Supervised Learning for Speaker Diarization. In ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. Hyderabad: IEEE Signal Processing Society, 2025.
p. 1-5. ISBN: 979-8-3503-6874-1. Detail - HAN, J.; LANDINI, F.; ROHDIN, J.; SILNOVA, A.; DIEZ, M.; ČERNOCKÝ, J.; BURGET, L. Fine-tune Before Structured Pruning: Towards Compact and Accurate Self-Supervised Models for Speaker Diarization. In Proceedings of the Annual Conference of the International Speech Communication Association Interspeech. Interspeech. Rotterdam, The Netherlands: International Speech Communication Association, 2025.
p. 1583-1587. Detail - HANÁK, J.; NOVÁK, J.; CHUDÝ, P.; BEN-ASHER, J. Cross-Entropy Method for Laser Defense Applications. Journal of Aerospace Information Systems, 2025, vol. 22, no. 1,
p. 53-58. ISSN: 2327-3097. Detail - HAVEL, M.; KŘIVKA, Z.; MEDUNA, A. Scattered Context Grammars with One Non-Context-Free Production and Six Nonterminals Are Computationally Complete. In Descriptional Complexity of Formal Systems. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Loughborough: Springer Verlag, 2025. no. 7,
p. 123-136. ISBN: 978-3-031-97099-3. ISSN: 0302-9743. 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. no. 1,
p. 88-110. ISSN: 0302-9743. Detail - HEGDE, P.; KESIRAJU, S.; ŠVEC, J.; SEDLÁČEK, Š.; YUSUF, B.; PLCHOT, O.; DEEPAK, K.; ČERNOCKÝ, J. Factors affecting the in-context learning abilities of LLMs for dialogue state tracking. In Proceedings of the Annual Conference of the International Speech Communication Association Interspeech. Interspeech. Rotterdam, The Netherlands: International Speech Communication Association, 2025.
p. 4818-4822. Detail - HORI, T.; KOCOUR, M.; HAIDER, A.; MCDERMOTT, E.; ZHUANG, X. Delayed Fusion: Integrating Large Language Models into First-Pass Decoding in End-to-end Speech Recognition. In ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. Hyderabad: IEEE Signal Processing Society, 2025.
p. 1-5. ISBN: 979-8-3503-6874-1. Detail - HRADIŠ, M.; KOHÚT, J. Practical Fine-Tuning of Autoregressive Models on Limited Handwritten Texts. Document Analysis and Recognition – ICDAR 2025. Cham: Springer Nature Switzerland, 2025.
p. 22-39. ISBN: 978-3-032-04629-1. Detail - HRANICKÝ, R.; ŠÍROVÁ, L.; RUCKÝ, V. Beyond the Dictionary Attack: Enhancing Password Cracking Efficiency through Machine Learning-Induced Mangling Rules. Forensic Science International-Digital Investigation, 2025, vol. 52, no. 1,
p. 1-10. ISSN: 2666-2817. Detail - HURTA, M.; OVESNÁ, A.; MRÁZEK, V.; SEKANINA, L. Multi-Objective Evolutionary Design of Explainable EEG Classifier. Genetic Programming, 28th European Conference, EuroGP 2025. Lecture Notes in Computer Science. Terst: Springer Nature Switzerland AG, 2025.
p. 52-67. ISBN: 978-3-031-89990-4. Detail - HUSSAIN, Y.; AMNA, R.; MALIK, A. ECG and EEG Analysis of Brain-Heart Interactions During Seizure Episodes. 2025 IEEE International Instrumentation and Measurement Technology Conference (I2MTC). Chemnitz: IEEE Computer Society, 2025.
p. 1-6. ISBN: 979-8-3315-0500-4. Detail - HUSSAIN, Y.; FATIMA, M.; MALIK, A. A Deep Learning Approach to EEG-Based Diagnosis of Cognitive Skills Impairment: Electrode-Level Analysis Insights. In 2025 IEEE 37th International Conference on Tools with Artificial Intelligence (ICTAI). Athens, Greece: IEEE, 2025.
p. 1470-1475. ISBN: 979-8-3315-4919-0. Detail - HUSSAIN, Y.; SURAWEERA, S.; MALIK, A. Unraveling Cognitive Impairments in Mental and Neurological Disorders: A Biomarker-Based Mapping Framework. Neuroscience and Biobehavioral Reviews, 2025, vol. 180, no. 106426, 28 p. Detail
- Ivana Beňová, Jana Košecká, Michal Gregor, Martin Tamajka, Marcel Veselý, Marián Šimko. Beyond Image-Text Matching: Verb Understanding in Multimodal Transformers Using Guided Masking. In SOFSEM 2025: Theory and Practice of Computer Science. Lecture Notes in Computer Science. CHAM: Springer Nature, 2025.
p. 80-93. ISBN: 978-3-031-82669-6. Detail - JOBRANOVÁ, S.; LENGÁL, O.; CHEN, Y.; CHEN, T.; JIANG, J. Accelerating Quantum Circuit Simulation with Symbolic Execution and Loop Summarization. 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 - KALKREUTH, R.; DE, O.; JANKOVIC, A.; ANASTACIO, M.; DIERKES, J.; VAŠÍČEK, Z.; HOOS, H. TinyverseGP: Towards a Modular Cross-domain Benchmarking Framework for Genetic Programming. Proceedings of the Genetic and Evolutionary Computation Conference Companion. Malaga: Association for Computing Machinery, 2025.
p. 2172-2176. ISBN: 979-8-4007-1464-1. Detail - KHURANA, S.; KLEMENT, D.; LAURENT, A.; BOBOS, D.; NOVOSAD, J.; GAZDIK, P.; ZHANG, E.; HUANG, Z.; HUSSEIN, A.; MARXER, R.; MASUYAMA, Y.; AIHARA, R.; HORI, C.; GERMAIN, F.; WICHERN, G.; LE ROUX, J. Factorized RVQ-GAN For Disentangled Speech Tokenization. In Proceedings of the Annual Conference of the International Speech Communication Association Interspeech. Interspeech. Rotterdam, The Netherlands: International Speech Communication Association, 2025.
p. 3514-3518. Detail - KIŠŠ, M.; HRADIŠ, M. Masked Self-Supervised Pre-Training for Text Recognition Transformers on Large-Scale Datasets. In Document Analysis and Recognition – ICDAR 2025 Workshops. Cham: Springer Nature Switzerland, 2025.
p. 53-70. ISBN: 978-3-032-09367-7. Detail - KLHŮFEK, J.; MARCHISIO, A.; MRÁZEK, V.; SEKANINA, L.; SHAFIQUE, M. TransInferSim: Toward Fast and Accurate Evaluation of Embedded Hardware Accelerators for Transformer Networks. IEEE Access, 2025, vol. 13, no. October,
p. 177215-177226. Detail - KOUTENSKÝ, M.; VESELÝ, V. Oracleboros: Reusing Hyperledger Fabric Mechanisms to Provide Oracle Functionality. In 2025 7th International Conference on Blockchain Computing and Applications, BCCA 2025. Dubrovnik: Institute of Electrical and Electronics Engineers Inc., 2025.
p. 139-144. ISBN: 9798331502966. 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 - KUBÍK, T.; GUIBAULT, F.; ŠPANĚL, M.; LOMBAERT, H. ToothForge: Automatic Dental Shape Generation using Synchronized Spectral Embeddings. Proceedings of Information Processing in Medical Imaging 2025. Kos: 2025.
p. 1-14. 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. no. 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, no. 6,
p. 85-93. Detail - LI, J.; MAK, M.; ROHDIN, J.; LEE, K.; HERMANSKY, H. Bayesian Learning for Domain-Invariant Speaker Verification and Anti-Spoofing. In Proceedings of the Annual Conference of the International Speech Communication Association Interspeech. Interspeech. Rotterdam: International Speech Communication Association, 2025.
p. 1123-1127. Detail - LI, S.; WANG, S.; HAN, J.; ZHANG, K.; WANG, W.; LI, H. REAL-T: Real Conversational Mixtures for Target Speaker Extraction. In Proceedings of the Annual Conference of the International Speech Communication Association Interspeech. Interspeech. Rotterdam, The Netherlands: International Speech Communication Association, 2025.
p. 1923-1927. Detail - LOJDA, J.; STRNADEL, J.; SMRŽ, P.; ŠIMEK, V. Multi-Partner Project: LoLiPoP-IoT - Design and Simulation of Energy-Efficient Devices for the Internet of Things. In 2025 Design, Automation & Test in Europe Conference (DATE) Proceedings. Lyon: Institute of Electrical and Electronics Engineers, 2025.
p. 1-7. ISBN: 978-3-9826741-0-0. Detail - LUONG, H.; LI, H.; ZHANG, L.; LEE, K.; CHNG, E. LlamaPartialSpoof: An LLM-Driven Fake Speech Dataset Simulating Disinformation Generation. In Proceedings - ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing. Hyderabad, Indická republika: Institute of Electrical and Electronics Engineers Inc., 2025.
p. 1-5. ISBN: 979-8-3503-6874-1. Detail - MACÁK, F.; ANDRIUSHCHENKO, R.; ČEŠKA, M.; JUNGES, S.; KATOEN, J. An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty. JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2025, vol. 2025, no. 82,
p. 433-469. ISSN: 1076-9757. Detail - MAKIŠ, J.; MEDUNA, A.; KŘIVKA, Z. Orchestration of Music by Grammar Systems. In Proceedings of the 15th International Workshop on Non-Classical Models of Automata and Applications. Electronic Proceedings in Theoretical Computer Science, EPTCS. Electronic Proceedings in Theoretical Computer Science. Loughborough: Open Publishing Association, 2025. no. 7,
p. 45-58. ISSN: 2075-2180. Detail - MASÁR, F.; MRÁZEK, V.; SEKANINA, L. Late Breaking Result: FPGA-Based Emulation and Fault Injection for CNN Inference Accelerators. In 2025 Design, Automation & Test in Europe Conference & Exhibition (DATE). Lyon: Institute of Electrical and Electronics Engineers, 2025.
p. 1-2. ISBN: 978-3-9826741-0-0. Detail - MEDUNA, A.; FOLTÝN, Z. Centralized Versions of Jumping Finite Automata. In Languages of Cooperation and Communication: Erzsébeth Csuhaj-Varjú Festschrift. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Cham: Springer Nature Switzerland AG, 2025.
p. 69-84. ISBN: 978-3-031-97274-4. ISSN: 0302-9743. 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 - MRÁZEK, V.; BALASKAS, K.; DUARTE, P.; VAŠÍČEK, Z.; TAHOORI, M.; ZERVAKIS, G. Arbitrary Precision Printed Ternary Neural Networks with Holistic Evolutionary Approximation. IEEE Transactions on Circuits and Systems for Artificial Intelligence, 2025, vol. 2, no. 4,
p. 351-363. Detail - MRÁZEK, V.; VAŠÍČEK, Z. AxMED: Formal Analysis and Automated Design of Approximate Median Filters using BDDs. In 2025 IEEE International Symposium on Circuits and Systems (ISCAS). London: Institute of Electrical and Electronics Engineers, 2025.
p. 1-5. ISBN: 979-8-3503-5683-0. Detail - MUTUA, N.; NADJM-TEHRANI, S.; MATOUŠEK, P. Penetrating the Power Grid: Realistic Adversarial Attacks on Smart Grid Intrusion Detection Systrems. Critical Information Infrastructures Security. Lecture Notes in Computer Science. Springer Cham: Springer Nature Switzerland AG, 2025.
p. 249-268. ISBN: 978-3-031-84259-7. Detail - OLŠÁK, O.; BAYER, D.; JAROŠ, J. Accelerating Two-Dimensional k-Wave Ultrasound Simulations Through Pruned FFT: A Treatment Planning Optimisation. Computational Science - ICCS 2025 Workshops. Lecture Notes in Computer Science, vol 15908. Cham: Springer Nature Switzerland AG, 2025.
p. 67-82. ISBN: 978-3-031-97557-8. Detail - OLŠÁK, O.; JAROŠ, J. Accelerating Ultrasound Wave Propagation Simulations using Pruned FFT. 2024 IEEE International Conference on High Performance Computing and Communications (HPCC). IEEE International Conference on High Performance Computing and Communications. Wuhan: IEEE Computer Society, 2025.
p. 168-173. ISBN: 979-8-3315-4046-3. Detail - OLŠÁK, O.; ŠAUER, M.; JAROŠ, M.; JAROŠ, J. KuBench: A Kubernetes-Based Environment for Standardized REST API Framework Performance Evaluation. In Lecture Notes in Computer Science. Cham: Springer Nature Switzerland, 2025.
p. 366-369. ISBN: 978-3-031-97206-5. Detail - PÁLKA, P.; LANDINI, F.; KLEMENT, D.; DIEZ SÁNCHEZ, M.; SILNOVA, A.; BURGET, L.; DELCROIX, M. Joint Training of Speaker Embedding Extractor, Speech and Overlap Detection for Diarization. Palermo: IEEE Signal Processing Society, 2025.
p. 31-35. ISBN: 978-9-46-459362-4. Detail - PENG, J.; ASHIHARA, T.; DELCROIX, M.; OCHIAI, T.; PLCHOT, O.; ARAKI, S.; ČERNOCKÝ, J. TS-SUPERB: A Target Speech Processing Benchmark for Speech Self-Supervised Learning Models. In ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. Hyderabad: IEEE Signal Processing Society, 2025.
p. 1-5. ISBN: 979-8-3503-6874-1. Detail - PENG, J.; MOŠNER, L.; ZHANG, L.; PLCHOT, O.; STAFYLAKIS, T.; BURGET, L.; ČERNOCKÝ, J. CA-MHFA: A Context-Aware Multi-Head Factorized Attentive Pooling for SSL-Based Speaker Verification. In ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. Hyderabad: IEEE Signal Processing Society, 2025.
p. 1-5. ISBN: 979-8-3503-6874-1. Detail - PIŇOS, M.; KLHŮFEK, J.; MRÁZEK, V.; SEKANINA, L. Inference Energy Analysis in Context of Hardware-Aware NAS. In 2025 28th International Symposium on Design and Diagnostics of Electronic Circuits and Systems. Lyon: Institute of Electrical and Electronics Engineers, 2025.
p. 161-164. ISBN: 979-8-3315-2801-0. 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, no. 1,
p. 1-21. Detail - PLEVAČ, L.; VAŠÍČEK, Z. Towards Efficient Semantic Mutation in CGP: Enhancing SOMOk. Proceedings of the Genetic and Evolutionary Computation Conference Companion. Malaga: Association for Computing Machinery, 2025.
p. 2172-2176. ISBN: 979-8-4007-1464-1. Detail - POLČÁK, L.; MAONE, G.; MCMAHON, M.; BEDNÁŘ, M. Developers’ Insight on Manifest v3 Privacy and Security Webextensions. In Privacy Enhanced Technologies Symposium 2025. Marbella - Spain: SCITEPRESS – Science and Technology Publications, Lda., 2025.
p. 15-26. ISBN: 978-989-758-772-6. Detail - POLOK, A.; KLEMENT, D.; WIESNER, M.; KHUDANPUR, S.; ČERNOCKÝ, J.; BURGET, L. Target Speaker ASR with Whisper. In ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. Hyderabad: IEEE Signal Processing Society, 2025.
p. 1-5. ISBN: 979-8-3503-6874-1. Detail - POTHULA, A.; AKKIRAJU, B.; BANDARUPALLI, S.; D, C.; KESIRAJU, S.; VUPPALA, A. End-to-End Speech Translation for Low-Resource Languages Using Weakly Labeled Data. In Interspeech 2025. Interspeech. Rotterdam: ISCA, 2025.
p. 41-45. Detail - SEBUYOYA, R.; SEVCIKOVA, S.; YUSUF, B.; BARTOSIK, M. Integrating isothermal amplification techniques and LNA-based AI-assisted electrochemical bioassay for analysis of KRAS G12V point mutation. TALANTA, 2025, vol. 127709, no. 288,
p. 1-10. Detail - SEDLÁČEK, Š.; YUSUF, B.; ŠVEC, J.; HEGDE, P.; KESIRAJU, S.; PLCHOT, O.; ČERNOCKÝ, J. Approaching Dialogue State Tracking via Aligning Speech Encoders and LLMs. In Proceedings of the Annual Conference of the International Speech Communication Association Interspeech. Interspeech. Rotterdam, The Netherlands: International Speech Communication Association, 2025.
p. 1748-1752. Detail - SEDLÁK, D.; BIDLO, M.; CERVENKA, M. Action-based Representation for Stochastic Optimization of Complex Real-World RVRP. In 2025 IEEE Congress on Evolutionary Computation, CEC 2025. Hangzhou: Institute of Electrical and Electronics Engineers, 2025.
p. 1-4. ISBN: 979-8-3315-3431-8. Detail - SEDLÁK, D.; KLHŮFEK, J.; MRÁZEK, V.; VAŠÍČEK, Z. Towards Efficient Scheduling of Transformer Neural Network Computation for Edge AI Deployment. Proceedings of the Genetic and Evolutionary Computation Conference Companion. Malaga: Association for Computing Machinery, 2025.
p. 2242-2248. ISBN: 979-8-4007-1464-1. Detail - ŠEDÝ, M.; HOLÍK, L. Automata Size Reduction by Procedure Finding. Proceedings of NFM'25. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Williamsburg: Springer Nature Switzerland AG, 2025. no. 15682,
p. 421-440. ISSN: 0302-9743. Detail - SEKANINA, L.; JŮZA, T. Genetic Programming with Memory for Approximate Data Reconstruction. In Genetic Programming Theory and Practice XXI. Singapore: Springer Nature Singapore, 2025.
p. 199-218. ISBN: 978-981-9600-76-2. Detail - ŠILLING, P.; ŠPANĚL, M. DEMIS: Electron Microscopy Image Stitching using Deep Learning Features and Global Optimisation. Proceedings of the 18th International Joint Conference on Biomedical Engineering Systems and Technologies - BIOIMAGING. Porto: Institute for Systems and Technologies of Information, Control and Communication, 2025.
p. 255-256. ISBN: 978-989-758-731-3. Detail - SKOG, K.; KOHOUT, T.; KAŠPÁREK, T.; WOLFMAYR, M. Lossless Hyperspectral Image Compression in Comet Interceptor and Hera Missions with Restricted Bandwith. Remote Sensing, 2025, vol. 17, no. 899,
p. 1-18. ISSN: 2072-4292. Detail - STRNADEL, J. Using Statistical Model Checker for Schedulability Analysis of Real-Time Systems Under Uncertainty. In Lecture Notes in Computer Science, Bridging the Gap Between AI and Reality. Cham: Springer Nature Switzerland, 2025.
p. 233-256. ISBN: 978-3-032-01376-7. Detail - TURYTSIA, O.; ZAKLOVÁ, K.; HYNEK, J.; JOHN, P.; HRUŠKA, T. Enhancing Retail Location Decisions in City of Brno: An Application of Geospatial Analysis Tools. Information Systems Engineering and Management. Lecture Notes in Networks and Systems. Information Systems Engineering and Management. Cham: Springer Nature Switzerland AG, 2025. no. 28,
p. 469-486. ISBN: 978-3-031-77530-7. ISSN: 2367-3389. 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-8766-7. 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 - VLNAS, M.; MILET, T.; ZEMČÍK, P. Low-error Reconstruction of Directional Functions with Spherical Harmonics. IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, 2025, vol. 31, no. 10,
p. 8413-8424. ISSN: 1077-2626. Detail - VOTRUBA, J.; DRAHANSKÝ, M.; GOLDMANN, T.; BRŮHA, T.; KOLÁŘ, R. Non-Contrast Radiation Free NIR Lung Imaging. Biomedicines, 2025, vol. 13, no. 11,
p. 1-13. Detail - VYKOPAL, I.; OSTERMANN, S.; ŠIMKO, M. Soft Language Prompts for Language Transfer. Albuquerque: Association for Computational Linguistics, 2025.
p. 10294-10313. ISBN: 979-8-8917-6189-6. Detail - VYKOPAL, I.; PIKULIAK, M.; OSTERMANN, S.; ANIKINA, T.; GREGOR, M.; ŠIMKO, M. Large Language Models for Multilingual Previously Fact-Checked Claim Detection. Suzhou, China: Association for Computational Linguistics, 2025.
p. 15741-15765. ISBN: 979-8-8917-6335-7. Detail - YAN, B.; HAMED, I.; SHIMIZU, S.; LODAGALA, V.; CHEN, W.; IAKOVENKO, O.; TALAFHA, B.; HUSSEIN, A.; POLOK, A.; CHANG, K.; KLEMENT, D.; ALTHUBAITI, S.; PENG, P.; WIESNER, M.; SOLORIO, T.; ALI, A.; KHUDANPUR, S.; WATANABE, S. CS-FLEURS: A Massively Multilingual and Code-Switched Speech Dataset. In Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. Interspeech. Rotterdam, Nizozemí: ISCA, 2025.
p. 743-747. Detail - ZAVŘEL, J.; KOUTENSKÝ, M.; DOLEJŠKA, D.; VESELÝ, V. Tumbling Down the Stairs: Exploiting a Tumbler's Attempt to Hide with Ordinary-looking Transactions using Wallet Fingerprinting. Forensic Science International-Digital Investigation, 2025, vol. 52, no. 1,
p. 1-9. ISSN: 2666-2817. 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 - ZHANG, R.; WEI, J.; LU, X.; ZHANG, L.; JIN, D.; LU, W.; XU, J. Multi-Sinkhorn Teacher Knowledge Aggregation Framework for Adaptive Audio Anti-Spoofing. IEEE Transactions on Audio, Speech, and Language Processing, 2025, no. 33,
p. 3850-3865. Detail - ZHANG, R.; WEI, J.; LU, X.; ZHANG, L.; JIN, D.; XU, J.; LU, W. SHDA: Sinkhorn Domain Attention for Cross-Domain Audio Anti-Spoofing. IEEE Transactions on Information Forensics and Security, 2025, no. 20,
p. 6474-6489. Detail - ZHANG, Y.; TIAN, B.; ZHANG, L.; DUAN, Z. PartialEdit: Identifying Partial Deepfakes in the Era of Neural Speech Editing. In Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. Interspeech. Rotterdam, Nizozemí: ISCA, 2025.
p. 5353-5357. Detail