Publications
Total number of publications: 2923
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
-
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
-
Někotoryje osobennosti iděologii v Drevněj Rusi
Naučnoje nasledije professora A.P. Pronštějna i aktual'nye problemy istoričeskoj nauki (k 105-letiju so dnja rožděnija vydajuščegosja rossijskogo učenogo) : matěrialy vserossijskoj (s meždunarodnym učastijem) naučno-praktičeskoj konferencii, 21. – 22. 3. 2024, Rostov na Donu, year: 2024