FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Blazevic, Mevludin; Aldenhoff, Timon T.; Riehle, Dennis M.
Towards a Smarter Tomorrow: A Design Science Perspective on Building a Smart Campus IoT Data PlatformMunir Mandviwalla;Matthias Söllner;Tuure Tuunanen (Hrsg). Design Science Research for a Resilient Future: 19th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2024, Trollhättan, Sweden, June 3–5, 2024, Proceedings. Cham: Springer 2024 S. 267 - 277
Khalili, Hamed; Wimmer, Maria A.
Towards Improved XAI-Based Epidemiological Research into the Next Potential PandemicLife. Bd. 14. H. 7. Basel: MDPI 2024
Bartliff, Zoe; Kim, Yunhyong; Hopfgartner, Frank
Towards privacy-aware exploration of archived personal emailsInternational Journal on Digital Libraries. Heidelberg: Springer 2024 S. 1 - 35
Schlömer, Lucas; Just, Martin; Schubert, Petra
Using Materialised Ontology-Based Data Access (MOBDA) for the Harmonisation of Trace Data from Enterprise Collaboration SystemsChristoph M. Flath; Gunther Gust; Frédéric Thiesse; Axel Winkelmann (Hrsg). Wirtschaftsinformatik 2024 "Automating the World: Information Systems in the Age of AI". Atlanta, GA: Association for Information Systems/AIS eLibrary 2024 S. 1 - 17
Sofronie-Stokkermans, Viorica
Logic Colloquium 2023 - European Summer Meeting of the Association for Symbolic Logic, University of Milano, 5-9 June 2023, Book of Abstracts. On symbol elimination in theory extensions and applications to parametric verification.Logic Colloquium 2023 - European Summer Meeting of the Association for Symbolic Logic, University of Milano, 5-9 June 2023, Book of Abstracts. https://lc2023.unimi.it/wp-content/uploads/2023/06/book-of-abstracts-LC2023.pdf. 2023 S. 9
Großer, Katharina; Rukavitsyna, Marina; Jürjens, Jan
A Comparative Evaluation of Requirement Template SystemsKurt Schneider;Fabiano Dalpiaz;Jennifer Horkoff (Hrsg). Proceedings of the 31st International Requirements Engineering Conference RE 2023; 4 - 8 September 2023, Hannover, Germany. Los Alamitos, CA: IEEE Computer Society 2023 S. 41 - 52
Großer, Katharina; Rukavitsyna, Marina; Jürjens, Jan
A Comparative Evaluation of Requirement Template Systems31st International Requirements Engineering Conference (RE). Hannover: IEEE 2023 S. 41 - 52
Kramer, Ivanna; Bauer, Sabine; Keppler, Valentin
A Simple, Efficient Method for an Automatic Adjustment of the Lumbar Curvature Alignment in an MBS Model of the SpineBiomechanics. Bd. 3. H. 2. Basel: MDPI 2023 S. 166 - 180
Kramer, Ivanna; Bauer, Sabine; Paulus, Dietrich
Abstract: Determination of Unknown Biomechanical Parameters of a Screw-vertebra MBS ModelThomas M. Deserno;Heinz Handels;Andreas Maier;Klaus Maier-Hein;Christoph Palm;Thomas Tolxdorff (Hrsg). Bildverarbeitung für die Medizin 2023: Proceedings, German Workshop on Medical Image Computing, Braunschweig, July 2-4, 2023. Wiesbaden: Springer Vieweg 2023 S. 197
Siapera, Maria; Schmitz, Andreas; Wimmer, Maria A. et al.
AgInTeF: Agile Interoperability Testing Framework for Orchestrating Overarching Procedures in Verifying Digital Public ServicesDavid Duenas Cid;Nadzeya Sabatini;Loni Hagen;Hsin-chung Liao (Hrsg). Proceedings of the 24th Annual International Conference on Digital Government Research DGO 2023 - Together in the unstable world: Digital government and solidarity; Gdańsk, Poland, 11 - 14 July 2023. New York, NY: ACM Association for Computing Machinery 2023 S. 514 - 525