FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Sofronie-Stokkermans, Viorica; Marohn, Philipp
On Verification and Constraint Generation for Families of Similar Hybrid AutomataRauh, Andreas, Finkbeiner, Bernd, Kröger, Paul (Hrsg). Lecture Notes in Computer Science. Springer Nature Switzerland 2026 S. 126 - 149 (Design and Verification of Cyber-Physical Systems : From Theory to Applications)
Gera, Anchal; Dörpinghaus, Jens; Rockenfeller, Robert
Predicting centrality measures in complex networks utilizing Markov chainsMarek Bolanowski; Maria Ganzha; Marek Grzegorowski; Leszek Maciaszek; Marcin Paprzycki; Andrzej Paszkiewicz; Dominik Ślęzak (Hrsg). Communication Papers of the 21st Conference on Computer Science and Intelligence Systems (FedCSIS) . August 23–26, 2026. Riga, Latvia. Warschau: Polskie Towarzystwo Informatyczne 2026 S. 25 - 35
Wimmer, Maria A.; Riehle, Dennis M.; Henkel, Marius et al.
Schlussbericht zum Forschungsprojekt KOOP-DAS : Aufbau einer Kooperation zwischen dem DTM EG-DAS und der Datenrauminitiative Südwestcluster im Bereich Smart Campus und Smart City Data, sowie dem DIN zur Erarbeitung einer DIN SPEC für Datentreuhandschaften (KOOP-DAS)Hannover: Technische Informationsbibliothek 2026 25 S.
Schmitz, Andreas; Pauken, Cedric; Kottmann, Renzo et al.
SeMoX: Standardizing Standardization – A Semantic-Driven Approach for Aligning Data StandardsIda Lindgren; Manuel Pedro Rodríguez Bolívar; Marijn Janssen; Euripidis Loukis; Francesco Mureddu; Panos Panagiotopoulos; Gabriela Viale Pereira; Efthimios Tambouris (Hrsg). Electronic Government : 24th IFIP WG 8.5 International Conference, EGOV 2025, Krems, Austria, August 31 - September 4, 2025, Proceedings. Cham: Springer Nature Switzerland 2026 S. 196 - 212
Martinez, Servando V. Pizarro; Aldenhoff, Timon T.; Arz von Straussenburg, Arnold F. et al.
Supplementary Dataset: LLM-Assisted Ontology Evolution for Hazards and Physical Threats – Continuous Identification and Integration of Emerging Threat Concepts2026
Gieß, Anna; Lovrekovic, Josip; Tavakoligargari, Masoumeh et al.
The Hidden Backbone of Knowledge Transfer: A Taxonomy and Archetypes of Transfer Data in Non-University Research InstitutionsAssociation for Information Systems (AIS) (Hrsg). PACIS 2026 Proceedings. Atlanta, Georgia: Association for Information Systems (AIS) 2026 17 S.
Wolters, Anna; Kipping, Gregor; Wass, Sofie et al.
The State Of Generative AI Adoption In Higher Education – Administrative Efficiency Over Pedagogical Transformation?Association for Information Systems (AIS) (Hrsg). ECIS 2026 Proceedings. Atlanta, GA: AIS 2026 3 S.
Vasileva, Veronika; Wolf, Eduard; Riediger, Volker et al.
TITAN - Requirements Eliciation Process Evaluation2026
Peldszus, Sven; Großer, Katharina; Konersmann, Marco et al.
Too Many Issues : Automatically Prioritizing Analyzer Findings by Tracing Security ImportanceACM transactions on software engineering and methodology : TOSEM. Bd. 35. H. 3. New York, NY: ACM Press 2026
Peldszus, Sven; Großer, Katharina; Konersmann, Marco et al.
Too Many Issues: Automatically Prioritizing Analyzer Findings by Tracing Security Importance (Summary)Timo Kehrer; Leen Lambers; Michael Pradel; Jonas Spieler (Hrsg). Software Engineering 2026 : 23.-27. Februar 2026 Bern, Schweiz : Proceedings. Bonn: Gesellschaft für Informatik 2026 S. 55 - 56