Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Sofronie-Stokkermans, Viorica; Marohn, Philipp
On verification and constraint generation for families of similar hybrid automata33 S.
Merkel, Manuel; Dörpinghaus, Jens
A case study on the transformative potential of AI in software engineering on LeetCode and ChatGPT45 S.
Dörpinghaus, Jens; Weil, Vera; Rockenfeller, Robert et al.
A novel approach towards the robustness of centrality measures in networksSocial Sciences & Humanities Open. Bd. 11. Amsterdam: Elsevier 2025
Srimathi, M.; Rajesh Kanna, B.; Furbach, Ulrich
A systematic review of GAN-based models in data synthesis for privacy protectionKarthik Ramamurthy; Suganthi Kulanthaivelu; Shajina Anand; Thangavel Murugan (Hrsg). Generative AI Unleashed : advancements, transformative applications and future frontiers. London: The Institution of Engineering and Technology (IET) 2025 S. 103 - 138
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
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