Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Deshmukh, Nupur Chandrashekhar; Mhaske, Sharayu Sunil; Chandra, Lakshmi Soujanya et al.
Bias in Recruitment Systems Utilizing Large Language ModelsXin-She Yang; Huseyin Seker (Hrsg). Proceedings of the 2025 9th International Conference on Advances in Artificial Intelligence (ICAAI 2025) : November 14-16 Manchester, UK. New York, NY, USA: Association for Computing Machinery 2025 S. 126 - 131
Dörpinghaus, Jens
Complex networks and data science: case studies in interdisciplinary researchKoblenz: Universität Koblenz 2025 431 S.
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