Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Sajid, Sarah; Klironomos, Antonis; Kharlamov, Evgeny et al.
No-Code ML Pipeline Development: Leveraging Knowledge Graphs and Language ModelsEdward Curry; Maribel Acosta; María Poveda-Villalón; Marieke van Erp; Adegboyega Ojo; Katja Hose; Cogan Shimizu; Pasquale Lisena (Hrsg). The Semantic Web: 2025, Portoroz, Slovenia, June 1 - 5, 2025, Proceedings. Basel: Springer 2025
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.
Ernst, Marina; Ramesh, Bhavana; Gursale, Durwankur et al.
Textual misinformation on Reddit2025
Dörpinghaus, Jens
The Portrayal of a Mediator : The Social Network of Peter in Luke–ActsEuropean Journal of Theology. Bd. 34. H. 2. Amsterdam: Amsterdam University Press 2025 S. 225 - 248
Großer, Katharina; Rukavitsyna, Marina; Jürjens, Jan
A Comparative Evaluation of Requirement Template Systems (Summary)Rick Rabiser; Manuel Wimmer; Iris Groher; Andreas Wortmann; Bianca Wiesmayr (Hrsg). Software Engineering 2024 SE Proceedings: 26. Februar-1. März, 2024; Linz, Österreich. Bonn: Gesellschaft für Informatik 2024 S. 47 - 48
Dörpinghaus, Jens
Automated annotation of parallel bible corpora with cross-lingual semantic concordanceNatural Language Engineering. Bd. 30. H. 6. Cambridge: Cambridge University Press 2024 S. 1277 - 1300