Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Dörpinghaus, Jens; Tiemann, Michael
Do LLMs dream of antique hermeneutics? Critical remarks on automated text interpretationMarek Bolanowski; Maria Ganzha; Leszek Maciaszek; Marcin Paprzycki; Dominik Ślęzak (Hrsg). Proceedings of the 20th Conference on Computer Science and Intelligence Systems (FedCSIS). Warschau: Polskie Towarzystwo Informatyczne 2025 S. 687 - 692
Shalan, Shehab; Ernst, Marina; Hopfgartner, Frank
Generating and Analyzing Tweet-Style Disinformation with LLMsMaximilian Eibl (Hrsg). Datenströme und Kulturoasen - Die Informationswissenschaft als Bindeglied zwischen den Informationswelten : Proceedings des 18. Internationalen Symposiums für Informationswissenschaft (ISI 2025), Chemnitz, Deutschland, 18.–20. März 2025. Glückstadt: vwh Verlag Werner Hülsbusch Fachverlag für Medientechnik und -wirtschaft 2025 S. 263 - 280
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
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