Publications
Total number of publications: 3280
Conference proceedings
-
Mimořádné závěti v ABGB z historické perspektivy
Právno-historické trendy a výhlady IX. Legal-Historical TRends and Perspectives IX., year: 2025
-
Minuska: Towards a Formally Verified Programming Language Framework
22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, year: 2025
-
Míra stresogenity u jedinců v institucionální výchově
Člověk ve svém pozemském a kosmickém prostředí. Sborník referátů ze semináře „Člověk ve svém pozemském a kosmickém prostředí“, příspěvky přednesené na 42. semináři v Radvanicích ve dnech 21.– 23. 5. 2024, year: 2025
-
Mixed typological features on medieval swords that reflect an Islamic-Byzantine tradition. The Multicultural influences
Archaeology of Conflicts III, year: 2025
-
Mobile Augmented Reality: A Systematic Review of Current Research and the Untapped Potential of Interactive Marker-Based Games
Proceedings of the 20th International Conference on the Foundations of Digital Games, year: 2025
-
Modeling the Differential Prevalence of Online Supportive Interactions in Private Instant Messages of Adolescents
Findings of the Association for Computational Linguistics: NAACL 2025, year: 2025
-
Možnosti výskumu procesu sobášnosti na Slovensku a v jeho regiónoch od konca 19. do polovice 20. storočia
Populačné štúdie Slovenska 18, year: 2025
-
Možnosti využitia umelej inteligencie pri hodnotení vierohodnosti svedeckej výpovede v trestnom konaní
Míľniky práva v stredoeurópskom priestore: Sv. 1, year: 2025
-
Multiple Mean-Payoff Optimization Under Local Stability Constraints
Proceedings of the AAAI Conference on Artificial Intelligence, Vol. 39 No. 25: AAAI-25 Technical Tracks 25, year: 2025
-
Multi-Stage Testing for Open Source IoT Frameworks
IEEE International Conference on Systems, Man, and Cybernetics (SMC), year: 2025