Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Dittert, Nadine; Pancratz, Nils; Schmid, Ute et al.
Mehr Pionierinnen für die Informatik – Ein Programm zur Inspiration und Orientierung zum Informatikstudium für SchülerinnenMareen Grillenberger; Andreas Grillenberger (Hrsg). Grenzen überwinden - voneinander lernen : 21. GI-Fachtagung Informatik und Schule, 22. bis 24. September 2025, Stoos, Schweiz : Proceedings. Bonn: Gesellschaft für Informatik 2025 S. 279 - 280
Thimm, Matthias; Ribeiro, Jandson S.; Peuter, Dennis et al.
On Minimal Inconsistent Signatures and their Application to Inconsistency MeasurementAnna Rapberger; Sebastian Rudolph (Hrsg). NMR 2025 Non-Monotonic Reasoning 2025 : Proceedings of the 23rd International Workshop on Non-Monotonic Reasoning (NMR 2025) co-located with the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025). Aachen: CEUR/RWTH 2025 S. 267 - 280
Sofronie-Stokkermans, Viorica
On Symbol Elimination and Uniform Interpolation in Theory Extensions.CoRR. Bd. abs/2506.01664. 2025
Sofronie-Stokkermans, Viorica
On Symbol Elimination and Uniform Interpolation in Theory Extensions.CADE. 2025 S. 35 - 55
Sofronie-Stokkermans, Viorica; Peuter, Dennis; Marohn, Philipp
On the Verification of Parametric SystemsFränzle, M.; Niehaus, J.; Westphal, B. (Hrsg). Engineering Safe and Trustworthy Cyber Physical Systems. Cham: Springer 2025 S. 201 - 221 (Lecture Notes in Computer Science, vol. 15471)
Sofronie-Stokkermans, Viorica; Marohn, Philipp
On verification and constraint generation for families of similar hybrid automata.CoRR. Bd. abs/2505.09244. 2025
Shakya, Sanjeev Sun; Ramadan, Qusai; Peikert, Alexander et al.
Support for Model-Based Data Sovereignty AnalysisRobbert Jongeling; Sébastien Mosser (Hrsg). JOT special issue on the 21st European Conference on Modelling Foundations and Applications (ECMFA 2025). Zürich: ETH Zürich 2025 14 S.
Ehl, Marco; Ahmadian, Amir Shayan; Großer, Katharina et al.
Supporting Software Engineers in IT Security and Privacy through Automated Knowledge DiscoveryJiman Hong; Sebastiano Battiato; Christian Esposito; Juw Won Park; Adam Przybyłek (Hrsg). Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing. New York, NY: ACM Association for Computing Machinery 2025 S. 1647 - 1656
Großer, Katharina
T-Reqs: A Conceptual Model & Framework for Template-Based Requirements Quality Improvement in Space EngineeringKoblenz: Universität Koblenz 2025
Ernst, Marina; Ramesh, Bhavana; Gursale, Durwankur et al.
Textual misinformation on Reddit2025