Publikace
Počet publikací: 1921
Články ve sbornících
-
QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification
Rok: 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), rok: 2024
-
Revealing data leakage in protein interaction benchmarks
ICLR 2024 Workshop on Generative and Experimental Perspectives for Biomolecular Design, rok: 2024
-
Revize paleontologických nálezů lokality Úsobrno
Studentská geologická konference 2024, rok: 2024
-
Rol' pejzažnych i portretnych opisanij v «Chatynskoj povesti» Alesja Adamoviča
Młoda Slawistyka, rok: 2024
-
Simpsonovo pravidlo ve školské matematice
Matematika, informační technologie a aplikované vědy (MITAV 2024), rok: 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)
Rok: 2024
-
Speech-Based Meaning of Music
Proceedings of 27th International Symposium on Frontiers of Research in Speech and Music, rok: 2024
-
Stabilised form of thymol in rabbit diet, its absorption from gastrointestinal tract and effect on intestinal morphology
Rok: 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, rok: 2024