Publications
Total number of publications: 3477
Conference proceedings
-
Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration
Proc. of the 34th European Symposium on Programming – ESOP'25, year: 2025
-
Constructing a Multiplayer Tangible Narrative with Interactive Puppets: New User Experiences and Design Challenges
Interactive Storytelling. ICIDS 2024, year: 2025
-
CoolTest: Improved Randomness Testing Using Boolean Functions
ICT Systems Security and Privacy Protection. SEC 2025. IFIP Advances in Information and Communication Technology, year: 2025
-
Cukrovarnická krajina – na pomezí zemědělského a průmyslového dědictví
Year: 2025
-
Cybersecurity Study Programs: What's in a Name?
Proceedings of the 56th ACM Technical Symposium on Computer Science Education, year: 2025
-
Czechia
The Starmer Government and Europe – Resetting relations in turbulent times, year: 2025
-
Čeští dobrovolníci v srbské armádě jako básníci a spisovatelé. Příspěvek k 110. výročí začátku Velké války
Současná srbská a česká slavnistická bádání II - Savremena srpska i češka slavistička istraživanja II, year: 2025
-
Das Reich der Merowinger und die Slawen : Eine Nachbarschaft in unterschiedlichen Gestalten
Quellenforschung zwischen Mittelalter und Zeitgeschichte, year: 2025
-
Data Race Detection with Frama-C (Competition Contribution)
Proc. of 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems – TACAS'25 as a competition contribution within the 14th International Competition on Software Verification – SV-COMP'25, year: 2025
-
Database and Corpora Creation within RapCor Project for Czech
Proceedings of Recent Advances in Slavonic Natural Language Processing, RASLAN 2025, year: 2025