Publications
Total number of publications: 2923
Conference proceedings
-
Software Verification Witnesses 2.0
Model Checking Software - 30th International Symposium, SPIN 2024, year: 2024
-
Speech-Based Meaning of Music
Proceedings of 27th International Symposium on Frontiers of Research in Speech and Music, year: 2024
-
Sprachblid der Tiere in der deutchen, tschechischen und japanischen Praseologie am Beispiel der Phraseologismen mit den Komponenten Frosch und Schlange
Interkulturelles und Interdisziplinäres in der Phraseologie und Parömiologie II, year: 2024
-
Srovnání bezpečnosti alteplázy a tenekteplázy při trombolýze provedené 4 hodiny po indukci ischemické cévní mozkové příhody u normotenzních potkanů.
51. pracovní konference Komise experimentální kardiologie, year: 2024
-
Stabilised form of thymol in rabbit diet, its absorption from gastrointestinal tract and effect on intestinal morphology
Year: 2024
-
Stories with Style: Narrative, Virtual, and Imaginary Spaces of Reading Fiction in Virtual Reality
Year: 2024
-
Sustainable funding and functioning of public service media
INTERACTION OF LAW AND ECONOMICS: SUSTAINABLE DEVELOPMENT (Conference Proceedings), 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
-
Školní zralost dětí vzdělávaných v heterogenních a homogenních třídách mateřských škol
Spolupráce oborů pro podporu kvality vzdělávání, year: 2024
-
Štúdium vzniku koróznych javov v oblasti Pršavého komína (Býčí skála, Moravský kras)
Geochémia 2024, year: 2024