Publications
Total number of publications: 2555
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
-
One Word, Multiple standards? Rethinking the concept of ‘Substantial’ in EU Database Directive (IRIS)
IRIS Conference 2026 - Proceedings of the 29th International Legal Informatics Symposium,Human-Machine-Cooperation, year: 2026
-
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
-
Originality of Copyrighted Works in French Law and in the Case Law of the CJEU
Mensch-Maschine-Kooperation im Cyberspace / Human-Machine Cooperation in Cyberspace. Proceedings of the 29th International Legal Informatics Symposium IRIS 2026, 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, DOI