Publications
Total number of publications: 1864
Conference proceedings
-
Nejen skrze obrazy zůstávají vzpomínky…
Jozef Lysý. Filozof s veľkým srdcom., 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, 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
-
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
Proceedings of the 29th International Legal Informatics Symposium (IRIS 2026), 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