Publications
Total number of publications: 218
Conference proceedings
-
Minuska: Towards a Formally Verified Programming Language Framework
22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, 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
-
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
-
Named Entity Discovery and Alignment in Parallel Data.
Proceedings of the 17th International Conference on Agents and Artificial Intelligence (ICAART 2025), year: 2025
-
Non-termination Witnesses and Their Validation
Automated Software Engineering, ASE 2025, year: 2025
-
On Complementation of Nondeterministic Finite Automata Without Full Determinization
Fundamentals of Computation Theory - 25th International Symposium, FCT 2025, Wrocław, Poland, September 15-17, 2025, Proceedings, year: 2025
-
On the Costs and Benefits of Learned Indexing for Dynamic High-Dimensional Data
Big Data Analytics and Knowledge Discovery 27th International Conference, DaWaK 2025, Bangkok, Thailand, August 25–27, 2025, Proceedings, year: 2025
-
Online Knapsack Problems with Estimates
50th International Symposium on Mathematical Foundations of Computer Science (MFCS 2025), year: 2025