Publications
Total number of publications: 200
Conference proceedings
-
Make Some Energy: Tangible and Interactive Chemical Reactions
Year: 2024
-
Mapping the Landscape of Data Visualizations in Schools and Educational Resources
Year: 2024
-
Minuska: Towards a Formally Verified Programming Language Framework
22nd International Conference on Software Engineering and Formal Methods, year: 2024
-
Monitizer: Automating Design and Evaluation of Neural Network Monitors
Computer Aided Verification, year: 2024
-
Multi-Floor Warehouse Planning
Knowledge Engineering for Planning and Scheduling, year: 2024
-
Named Entity Linking in English-Czech Parallel Corpus
Text, Speech, and Dialogue, 27th International Conference, TSD 2024, Part I, year: 2024
-
New Human-Annotated Dataset of Czech Health Records for Training Medical Concept Recognition Models
Text, Speech, and Dialogue, year: 2024
-
One Year of Continuous and Automatic Data Gathering from Parliaments of European Union Member States
Proceedings of the IV Workshop on Creating, Analysing, and Increasing Accessibility of Parliamentary Corpora (ParlaCLARIN) @ LREC-COLING 2024, year: 2024
-
Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes
Proceedings of 38th Annual AAAI Conference on Artificial Intelligence (AAAI 2024), year: 2024
-
Personalized Similarity Models for Evaluating Rehabilitation Exercises from Monocular Videos
17th International Conference on Similarity Search and Applications (SISAP), year: 2024