1. A Formal Verification Approach for Linux Kernel Designing;Technologies;2024-08-12
2. Ausgewählte Teilkapitel des Informationsmanagements;Handbuch Integrales Logistikmanagement;2024
3. Usefulness of open domain model for identifying missing software requirements concepts;Software: Practice and Experience;2023-11-05
4. (Pre-)Linguistic Problem Solving Based on Dynamic Semantics;2023 14th IEEE International Conference on Cognitive Infocommunications (CogInfoCom);2023-09-22
5. Static Analysis of Graph Database Transformations;Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems;2023-06-18