Publications
Total number of publications: 2956
Conference proceedings
-
The Finite Satisfiability Problem for PCTL is Undecidable
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, year: 2024
-
The History of Greco-Roman Religions in the Light of Cultural Evolution: A Computational Text Analysis of Ancient Greek Inscriptions
Studying Religion, Past and Present: Essays in Honor of Panayotis Pachis, year: 2024
-
THE IMMEDIATE EFFECT OF KINESIO TAPE ON STATIC POSTURAL STABILITY IN HEALTHY INDIVIDUALS: A RANDOMIZED CONTROLLED STUDY
Year: 2024
-
THE IMPACT OF INCENTIVES AND IOT INTEGRATION ON YOUNG CONSUMERS’ ADOPTION OF PAY-PER-WASH SERVICES: A BEHAVIORAL ANALYSIS
Year: 2024
-
The Nature of Environmental Preservation in Rafael Correa Speeches: Left-Wing Narratives, Populist Framing and Extractivism
Reflections on Emotions, Populism and Polarisation : HEPP4 Conference Proceedings, year: 2024
-
The Power of Many: Securing Organisational Identity Through Distributed Key Management
Advanced Information Systems Engineering (CAiSE 24), year: 2024
-
The Road Towards Autonomous Cybersecurity Agents: Remedies for Simulation Environments
ESORICS 2023: Computer Security. ESORICS 2023 International Workshops, year: 2024
-
The use of AI for intercultural communicative competence development in FLT and its limitations
Inovatívne metódy vo výučbe cudzích jazykov z aspektu interkultúrnej komunikácie 1, year: 2024
-
The Venus of Věstonice in the mirror of history and contemporary technologies
ZBORNÍK PRÍSPEVKOV z vedeckej konferencie CSTI 2023 Conservation Science, Technology and Industry, year: 2024
-
The view of future kindergarten teachers on the personal development of the child in a heterogeneous classroom settings
Innovative educational technologies in the system of lifelong learning: from preschool education to adult education (domestic and international experience of implementation), year: 2024