Publications
Total number of publications: 159
Conference proceedings
-
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
-
On the Complexity of Word-Level Model Checking with Arrays
Proceedings of the 26th Conference on Formal Methods in Computer-Aided Design – FMCAD 2026, year: 2026, DOI
-
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, DOI
-
Open-Source Implementation of Slack Induction by String Removals for Routing and Orienteering Problems
Integration of Constraint Programming, Artificial Intelligence, and Operations Research, year: 2026, DOI
-
Opportunistic Resource Reclamation in Kubernetes: From Aggressive Resizing to Flash Jobs
Job Scheduling Strategies for Parallel Processing, year: 2026
-
PCTL Satisfiability for Infinite Binary Trees
Principles of Formal Quantitative Analysis : Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday, year: 2026, DOI
-
Personalized kNN Query Execution in Vector Databases
Proceedings of the 35th ACM International Conference on Information and Knowledge Management (CIKM '26), year: 2026
-
Playing with Data: A Systematic Review of Games for Visualization Literacy
Proceedings of the 21th International Conference on the Foundations of Digital Games, year: 2026
-
Reaching the last mile? How Design Decisions Shape Medical Device Qualification and Classification of Patient Support Chatbots in the EU
CUI 2026 - Proceedings of the 2026 Conference on Conversational User Interfaces, year: 2026, DOI
-
Real-Time Monitoring and Analysis of Rehabilitation Exercises from a Smartphone Camera Video Stream
16th ACM International Conference on Multimedia Retrieval (ICMR), year: 2026, DOI