Publikace
Počet publikací: 1150
Články ve sbornících
-
Petri Nets for Smart Grids: The Story So Far
The 39th ACM/SIGAPP Symposium on Applied Computing (SAC '24), rok: 2024
-
Play and Viz: Using Entertainment Games for Exploring Data Visualizations
Proceedings of the 19th International Conference on the Foundations of Digital Games, rok: 2024
-
Prepodavane na bălgarski ezik kato čužd za naprednali - aspekti i pomoštna literatura
Părva nacionalna naučna konferencija s meždunarodno učastie "Ezik i nauka". Sbornik dokladi, rok: 2024
-
Procesní aspekty odpovědnosti za nedostatek pasiv
Korporační spory, 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) [to appear], rok: 2024
-
Revealing data leakage in protein interaction benchmarks
ICLR 2024 Workshop on Generative and Experimental Perspectives for Biomolecular Design, rok: 2024
-
Rol' pejzažnych i portretnych opisanij v «Chatynskoj povesti» Alesja Adamoviča
Młoda Slawistyka, rok: 2024
-
Správní žaloba proti zkrácení veřejných subjektivních práv normativním správním aktem
COFOLA 2023, 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
-
Taxonomy of Governance Mechanisms for Trust Management in Smart Dynamic Ecosystems
Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, rok: 2024