Publications
Total number of publications: 2735
Conference proceedings
-
Sázava a staroslověnská kapitola v dějinách písemné kultury v českých zemích doby přemyslovské
Svatý Prokop : Sázava a kanonizace v historickém kontextu, year: 2026
-
Sborník příkladů 2026
Year: 2026
-
Semantically Labelled Automata for Multi-Task Reinforcement Learning with LTL Instructions
Year: 2026, DOI
-
SemML 2.0: Synthesizing Controllers for LTL
Computer Aided Verification, year: 2026
-
Sense Classification for Word Sketches
Lexicography in the Age of AI: Proceedings of the XXII EURALEX International Congress 2026, year: 2026, DOI
-
Sentence-Level Universal Dependencies (UD) Genres for CMC: A Social-Genre POS-Tagging Showcase
Proceedings of the 13th International Conference on CMC and Social Media Corpora for the Humanities, year: 2026, DOI
-
Simple Complementation of Generalized Büchi Automata
LPAR 2026, Proceedings, year: 2026
-
Sochařská laboratoř - platforma pro interaktivní zóny a sochařské senzorické sety
Galéria ako priestor. Zborník z konference galerijnej pedagogiky. Stredoslovenská galéria, year: 2026
-
SoundWeAR: Co-Designing AR Sound Cues to Support Outdoor Awareness for DHH Individuals
Year: 2026, DOI
-
Symbiotic 11: Predicate Abstraction Joins the Party
Tools and Algorithms for the Construction and Analysis of Systems - 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings, Part II, year: 2026, DOI