Publikace
Počet publikací: 3280
Články ve sbornících
-
Statistical Model Checking the 2024 Edition!
Bridging the Gap Between AI and Reality - Second International Conference, AISoLA 2024, rok: 2025
-
Steady-State Strategy Synthesis for Swarms of Autonomous Agents
Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, rok: 2025
-
Strategies for solving non-standard word problem: The potential and limits of using multiplication
International Symposium Elementary Mathematics Teaching. Elementary Mathematics: Building Strong Foundations, rok: 2025
-
Studie 9 dětských pacientů se straatsma syndromem a možnosti terapeutického řešení
Rok: 2025
-
Study of Shape Fusion Algorithms for 3D Time-Lapse Microscopy
Proceedings - International Symposium on Biomedical Imaging, rok: 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í, rok: 2025
-
Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures
Symbolic Model Checking of Hybrid CTL on Coloured Kripke Structures, rok: 2025
-
The importance and therapeutic potential of CBD in veterinary care
Book of Abstracts: International Conference Cannabis and Science X, rok: 2025
-
The Influence of Historical and Political Factors on the Development of Orthodox Architecture in Ukraine (10th–19th Centuries)
DEFINING THE ARCHITECTURAL SPACE ARCHITECTURE AND HISTORY, VOL. 2, rok: 2025
-
The Next Step in Global Connectivity: Legal Challenges in the Shift from Subsea Cables to Satellites
17th International Conference on Cyber Conflict:The Next Step, rok: 2025