Publications
Total number of publications: 142
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, DOI
-
LombardoGraphia: Automatic Classification of Lombard Orthography Variants
Proceedings of the Fifteenth Language Resources and Evaluation Conference (LREC 2026), year: 2026, DOI
-
Mapping Selected Cryptographic Weaknesses in FIPS-140 Certified Products
Year: 2026, DOI
-
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, DOI
-
Measuring the Impact of Student Gaming Behaviors on Learner Modeling
Proceedings of the 16th Learning Analytics and Knowledge Conference (LAK '26), year: 2026, DOI
-
Memory Assignment for Finite-Memory Strategies in Adversarial Patrolling Games
Proceedings International Conference on Automated Planning and Scheduling, ICAPS, year: 2026, DOI
-
Multiagent Stochastic Shortest Path Problem
Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence, year: 2026
-
Multimodal Analytics of Cybersecurity Crisis Preparation Exercises: What Predicts Success?
27th International Conference on Artificial Intelligence in Education (AIED 2026), year: 2026, DOI
-
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, DOI