Publications
Total number of publications: 3450
Conference proceedings
-
Screening a léčba retinopatie nedonošených na Dětské oční klinice FN Brno a LF MU Brno
Folia Strabologica et neuroophthalmologica, year: 2025
-
SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning
Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2025., year: 2025
-
Shaping the New Era of Digital Art Historical Research with Digital Humanities and AI Art
Expanded ’25: Proceedings of the Conference on Animation and Interactive Art, year: 2025
-
Single-Agent vs. Multi-Agent LLM Strategies for Reflection Assessment
Proceedings of the 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, year: 2025
-
SkipFlow: Improving the Precision of Points-to Analysis Using Primitive Values and Predicate Edges
Proc. of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization – CGO'25, year: 2025
-
Smyčcové hudební nástroje zámecké provenience ve sbírce Oddělení dějin hudby Moravského zemského muzea
Dokumentace, konzervace a restaurování hudebních nástrojů. Praha, České muzeum hudby, 16. a 17. října 2024, year: 2025
-
Sociální pedagog jako významný aktér školní podpůrné struktury
Dialóg o mediácii. Inšpirácia pre riešenie konfliktov., year: 2025
-
Software Verification Witnesses 2.0
Model Checking Software - 30th International Symposium, SPIN 2024, year: 2025
-
SoK: Towards Reproducibility for Software Packages in Scripting Language Ecosystems
Availability, Reliability and Security, year: 2025
-
Solving Partial Dominating Set and Related Problems Using Twin-Width
50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025), year: 2025