Publikace
Počet publikací: 3445
Články ve sbornících
-
Mimořádné závěti v ABGB z historické perspektivy
Právno-historické trendy a výhlady IX. Legal-Historical TRends and Perspectives IX., rok: 2025
-
Minuska: Towards a Formally Verified Programming Language Framework
22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, rok: 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, rok: 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, rok: 2025
-
Modeling the Differential Prevalence of Online Supportive Interactions in Private Instant Messages of Adolescents
Findings of the Association for Computational Linguistics: NAACL 2025, rok: 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, rok: 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, rok: 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, rok: 2025
-
Multi-Stage Testing for Open Source IoT Frameworks
IEEE International Conference on Systems, Man, and Cybernetics (SMC), rok: 2025
-
Named Entity Discovery and Alignment in Parallel Data.
Proceedings of the 17th International Conference on Agents and Artificial Intelligence (ICAART 2025), rok: 2025