Publications
Total number of publications: 1921
Conference proceedings
-
QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification
Year: 2024
-
Research and Practice of Delivering Tabletop Exercises
Proceedings of the 29th Annual ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE'24), year: 2024
-
Revealing data leakage in protein interaction benchmarks
ICLR 2024 Workshop on Generative and Experimental Perspectives for Biomolecular Design, year: 2024
-
Revize paleontologických nálezů lokality Úsobrno
Studentská geologická konference 2024, year: 2024
-
Rol' pejzažnych i portretnych opisanij v «Chatynskoj povesti» Alesja Adamoviča
Młoda Slawistyka, year: 2024
-
Simpsonovo pravidlo ve školské matematice
Matematika, informační technologie a aplikované vědy (MITAV 2024), year: 2024
-
Socìolìnhvìstyčnyj kontekst dìjal’nostì Jana Husa (analìz fìl’mu «Jan Hus», ekranìzacjiji odnoìmennoho romanu Evy Kanturkovoji)
Year: 2024
-
Speech-Based Meaning of Music
Proceedings of 27th International Symposium on Frontiers of Research in Speech and Music, year: 2024
-
Stabilised form of thymol in rabbit diet, its absorption from gastrointestinal tract and effect on intestinal morphology
Year: 2024
-
Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution
Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III, year: 2024