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 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
Dörpinghaus, Jens
The Portrayal of a Mediator : The Social Network of Peter in Luke–ActsEuropean Journal of Theology. Bd. 34. H. 2. Amsterdam: Amsterdam University Press 2025 S. 225 - 248
Großer, Katharina; Rukavitsyna, Marina; Jürjens, Jan
A Comparative Evaluation of Requirement Template Systems (Summary)Rick Rabiser; Manuel Wimmer; Iris Groher; Andreas Wortmann; Bianca Wiesmayr (Hrsg). Software Engineering 2024 SE Proceedings: 26. Februar-1. März, 2024; Linz, Österreich. Bonn: Gesellschaft für Informatik 2024 S. 47 - 48
Dörpinghaus, Jens
Automated annotation of parallel bible corpora with cross-lingual semantic concordanceNatural Language Engineering. Bd. 30. H. 6. Cambridge: Cambridge University Press 2024 S. 1277 - 1300
Wegner, Franz; Friedrich, Thomas; Wattenberg, Maximilian et al.
Bare-Metal Stent Tracking with Magnetic Particle ImagingInternational Journal of Nanomedicine. Bd. 19. Auckland: DOVE Medical Press 2024 S. 2137 - 2148
Großer, Katharina; Ahmadian, Amir; Rukavitsyna, Marina et al.
Benchmarking Requirement Template Systems : Comparing Appropriateness, Usability, and Expressiveness.Requirements Engineering (REJ). 2024
Ramadan, Qusai; Boukhers, Zeyd; AlShaikh, Muath et al.
Data Trading and Monetization: Challenges and Open Research DirectionsComputing Research Repository. Bd. abs/2401.09199. 2024
Li, Yuelin; He, Pengfei; Yuan, Xiaojun et al.
Developing and evaluating a gamified information retrieval system for Generation ZLibrary & Information Science Research. Bd. 46. H. 1. Oxford: Elsevier 2024 S. 101270