Publikace
Počet publikací: 214
Články ve sbornících
-
Single-Agent vs. Multi-Agent LLM Strategies for Reflection Assessment
Proceedings of the 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, rok: 2025
-
SkipFlow: Improving the Precision of Points-to Analysis Using Primitive Values and Predicate Edges
Proc. of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization – CGO'25, rok: 2025
-
Software Verification Witnesses 2.0
Model Checking Software - 30th International Symposium, SPIN 2024, rok: 2025
-
SoK: Towards Reproducibility for Software Packages in Scripting Language Ecosystems
Availability, Reliability and Security, rok: 2025
-
Solving Partial Dominating Set and Related Problems Using Twin-Width
50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025), rok: 2025
-
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
-
Study of Shape Fusion Algorithms for 3D Time-Lapse Microscopy
Proceedings - International Symposium on Biomedical Imaging, 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 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