Publications
Total number of publications: 2553
Conference proceedings
-
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
-
Technology-Enhanced Tabletop Exercises for Cybersecurity Education: Lessons Learned
Proceedings of the 56th IEEE Frontiers in Education Conference (FIE 2026), year: 2026
-
The Art of Hierarchical Competing Patterns: Gaussian Process Optimization of Hyphenation
Findings of the Association for Computational Linguistics: EMNLP 2026, year: 2026