Publications
Total number of publications: 3180
Conference proceedings
-
Mezi Arkádií a Nilem aneb antické krajiny reálné a imaginární
Hortus Graeco-Latinus Cassoviensis IV. Zborník príspevkov z klasickej filológie, latinskej medievalistiky a neolatinistiky., year: 2024
-
Mezi filosofií a medicínou: Preventive & long-term thinking v rámci řešení přelidnění
Právne, forenzné a ekonomické aspekty medicíny 2023 - Zborník prednášok, year: 2024
-
Mezi křižovníky, premonstráty a mendikanty: církevní správa Znojma v první polovině 13. století
Morava v proměnách dlouhého 13. století, year: 2024
-
Minuska: Towards a Formally Verified Programming Language Framework
22nd International Conference on Software Engineering and Formal Methods, year: 2024
-
"Mne NEVYNOSIMY samyje slova èti, terminy..." : ocenka rečevych faktov v russkoj dokumental'noj i publicističeskoj literature pervoj četverti XX veka
Revitalizace hodnot : umění a literatura VI, year: 2024
-
Moderace trestu - žalobcova marná naděje nebo nepostradatelný korektiv?
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
-
Muzeum škole - škola muzeu: Možnosti participace studentů na edukačních programech a interpretaci kulturního dědictví
Year: 2024
-
Named Entity Linking in English-Czech Parallel Corpus
Text, Speech, and Dialogue, 27th International Conference, TSD 2024, Part I, year: 2024