Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Seifer, Philipp; Hernández, Daniel; Lämmel, Ralf et al.
Transforming Shape Schemas with Composable Property-Graph Queries49 S.
Dörpinghaus, Jens; Samray, David; Helmrich, Robert
Rule-based detection of access to education and training in Germany16 S.
Dörpinghaus, Jens; Hübenthal, Tobias; Stepanov, Denis
A novel DFS/BFS approach towards link prediction16 S.
Etzkorn, Manuel; Lovrekovic, Josip; Gieß, Anna et al.
Knowledge and Technology Transfer in German Public Non-University Research Institutions: Development of a Reference Model14 S.
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.
Draheim, Susanne; Furbach, Ulrich; Möller, Ralf
Evaluating AI as Part of Social MechanismsDiedrich Wolter; Gesina Schwalbe (Hrsg). KI 2026: Advances in Artificial Intelligence : 49th German Conference on AI, KI 2026, Bremen, Germany, August 11–14, 2026, Proceedings. Cham: Springer 2026 S. 221 - 227
Ridoy, Ashiful Islam; Faisal, Mohammed; Kumar, Yogesh et al.
Explainable AI for Ethical Counter Speech Generation in Hate Speech MitigationStelios Piperidis; Núria Bel; Henk van den Heuvel; Nancy Ide; Simon Krek; Antonio Toral (Hrsg). The Fifteenth Language Resources and Evaluation Conference (LREC 2026) : Main Conference Proceedings. Paris: ELRA Language Resources Association 2026 S. 2104 - 2114
Sofronie, Viorica; Sofronie-Stokkermans, Viorica
On Constructing Most General Solutions for Parametric Constraints (Extended Preprint).CoRR. Bd. abs/2607.08582. 2026
Sofronie, Viorica; Sofronie-Stokkermans, Viorica
On Constructing Most General Solutions for Parametric Constraints.2026 S. 230 - 247