Publications
Total number of publications: 3302
Conference proceedings
-
Solving Partial Dominating Set and Related Problems Using Twin-Width
50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025), year: 2025
-
Spolupráce jako síť interakcí při implementaci třístupňového systému podpory ve finské škole
Year: 2025
-
Staročeská šachová terminologie a ostřihomský Glosář
11th Conference for Young Slavists in Budapest, year: 2025
-
Statistical Model Checking the 2024 Edition!
Bridging the Gap Between AI and Reality - Second International Conference, AISoLA 2024, year: 2025
-
Steady-State Strategy Synthesis for Swarms of Autonomous Agents
Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, year: 2025
-
Studie 9 dětských pacientů se straatsma syndromem a možnosti terapeutického řešení
Year: 2025
-
Study of Shape Fusion Algorithms for 3D Time-Lapse Microscopy
Proceedings - International Symposium on Biomedical Imaging, year: 2025
-
Světové výstavy v 2. polovině 19. století, jejich význam, dopad na rozvoj technického muzejnictví (1851–1900)
Kapitoly z dějin uměleckoprůmyslového muzejnictví, year: 2025
-
Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures
Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures, year: 2025
-
The importance and therapeutic potential of CBD in veterinary care
Book of Abstracts: International Conference Cannabis and Science X, year: 2025