Publications
Total number of publications: 2075
Conference proceedings
-
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
-
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
-
PRÁVNÍ ASPEKTY PŘÍSTUPU K BROWNFIELDŮM Z POHLEDU OBCE
Publicy 2025 II. - Zborník príspevkov z medzinárodnej vedeckej konferencie, year: 2026
-
Project-based Education as an Educational Method in the Science Teacher’s Education in the Czech Republic
Project-Based Education and Other Student-Activation Strategies and Issues in STE(A)M Education. Practical contributions, year: 2026
-
Představuje diabetes významný rizikový faktor pro rozvoj syndromu frailty?
Year: 2026
-
Přezkoumatelnost jako lidské právo a algoritmické rozhodování
Human Rights And Freedoms Under Pressure From Algorithms: International and National AI Challenges, 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
-
Rebelòt: Datasets and Token-Level Language Identification for Lombard-Italian-English Code-Mixing
Proceedings of the SIGUL 2026 Joint Workshop with ELE, EURALI, and DCLRL "Towards Inclusivity and Equality: Language Resources and Technologies for Under-Resourced and Endangered Languages, year: 2026, DOI
-
Recovering Graph ANN Search on Attention-Derived Workloads via a Query-Agnostic Spherical Transformation
Proceedings of the 35th ACM International Conference on Information and Knowledge Management (CIKM '26), year: 2026, DOI
-
Reshaping Commercial Justice in the EU: Challenges in Creating a European Commercial Court
ERAZ 2025 International Scientific Conference - Conference Proceedings, year: 2026