FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Clough, Paul; Harvey, Morgan; Hopfgartner, Frank
Proceedings of the 2024 Conference on Human Information Interaction and Retrieval. CHIIR 24. March 10-14, 2024. Sheffild, United KingdomNew York, NY: ACM Association for Computing Machinery 2024
Wegner, Franz; Friedrich, Thomas; Wattenberg, Maximilian et al.
Stent Tracking by Magnetic Particle ImagingInternational Journal on Magnetic Particle Imaging. Bd. 10. H. 1 Suppl. 1. Lübeck: Infinite Science Publishing 2024
Zhao, Mengyisong; Harvey, Morgan; Cameron, David et al.
The Effect of Simulated Contextual Factors on Recipe Rating and Nutritional Intake BehaviourPaul Clough;Morgan Harvey;Frank Hopfgartner (Hrsg). Proceedings of the 2024 Conference on Human Information Interaction and Retrieval. CHIIR 24. March 10-14, 2024. Sheffild, United Kingdom. New York, NY: ACM Association for Computing Machinery 2024 S. 97 - 107
Bartliff, Zoe; Kim, Yunhyong; Hopfgartner, Frank
Towards privacy-aware exploration of archived personal emailsInternational Journal on Digital Libraries. Heidelberg: Springer 2024 S. 1 - 35
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