Publications
Total number of publications: 1787
Conference proceedings
-
Licence to Verify: Governance and the Risk of Function Creep in Age Verification Ecosystems
49th MIPRO ICT and Electronics Convention, MIPRO 2026, year: 2026
-
LLM-based Functional Coverage Generation and Auto-Evaluation Framework
DVCon Europe 2025; Design and Verification Conference and Exibition, year: 2026
-
Markers as Facilitators: The Role of Playful Interactive Markers in Collaborative Mobile AR Games
CHI EA '26: Proceedings of the Extended Abstracts of the 2026 CHI Conference on Human Factors in Computing Systems Article No.: 454, Pages 1 - 6, year: 2026
-
Measuring the Impact of Student Gaming Behaviors on Learner Modeling
Proceedings of the 16th Learning Analytics and Knowledge Conference (LAK '26), year: 2026
-
"Město Ufa jako středisko působení československého vojska a antibolševických sil v období občanské války v Rusku v letech 1918–1919"
České, slovenské a československé dějiny 20. století XX. Sborník FF UHK., year: 2026
-
Multimodal Analytics of Cybersecurity Crisis Preparation Exercises: What Predicts Success?
27th International Conference on Artificial Intelligence in Education (AIED 2026), year: 2026
-
Nesezdané soužití - česká perspektiva a zahraniční kontext jako podnět k diskusi
Legislativní problémy rodiny se zvláštním zaměřením na sezdané a nesezdané páry, year: 2026
-
Od předpokladů k realitě: jak čeští studující rusistiky vnímají 1. semestr studia
Year: 2026
-
On Complementation of Nondeterministic Finite Automata Without Full Determinization
Fundamentals of Computation Theory - 25th International Symposium, FCT 2025, Wrocław, Poland, September 15-17, 2025, Proceedings, year: 2026
-
On the Costs and Benefits of Learned Indexing for Dynamic High-Dimensional Data
Big Data Analytics and Knowledge Discovery 27th International Conference, DaWaK 2025, Bangkok, Thailand, August 25–27, 2025, Proceedings, year: 2026