Publications
Total number of publications: 894
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
-
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
-
One Word, Multiple standards? Rethinking the concept of ‘Substantial’ in EU Database Directive
Proceedings of the 29th International Legal Informatics Symposium (IRIS 2026), year: 2026
-
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
-
Real-Time Monitoring and Analysis of Rehabilitation Exercises from a Smartphone Camera Video Stream
16th ACM International Conference on Multimedia Retrieval (ICMR), year: 2026
-
SAVAT: A Tool for Visualizing the Impact of Changes in Microservices
Proc. of 19th European Conference on Software Architecture – ECSA'25, year: 2026
-
Sborník příkladů 2026
Year: 2026
-
The Motivation behind Selected Words for Anger, Sadness, Fear, and Shame in Czech, Polish, Ukrainian, and Russian
Junge Slavistik im Dialog. Beiträge zur XVIII. Internationalen Slavistischen Konferenz, year: 2026
-
Towards On-the-Fly Snapshot Memory Compression for Low-Latency Elastic Inference Serving Systems
The 6th Workshop on Machine Learning and Systems (EuroMLSys), year: 2026