FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Mahmood, Wardah; Calikli, Gul; Struber, Daniel et al.
Virtual Platform: Effective and Seamless Variability Management for Software SystemsIEEE Transactions on Software Engineering. Bd. 50. H. 11. New York, NY: IEEE Institute of Electrical and Electronics Engineers 2024 S. 2753 - 2785
Mosen, Julian; Williams, Susan P.; Schubert, Petra
Work Practice Diversity in Enterprise Collaboration Systems: an Analysis of Social DocumentsRicardo Filipe; Maria Manuela Cruz da Cunha (Hrsg). CENTERIS 2023 - International Conference on ENTERprise Information Systems / ProjMAN - International Conference on Project MANagement / HCist - International Conference on Health and Social Care Information Systems and Technologies 2023, Porto, Portugal, November 8-10, 2023. Amsterdam: Elsevier 2024 S. 1433 - 1440
Sofronie-Stokkermans, Viorica
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
Memmesheimer, Denis; Harbusch, Karin
A German Parallel Clausal Coordinate Ellipsis Corpus that Aligns Sentences from the TüBa-D/Z Treebank with Reconstructed Canonical FormsKamil Ekštein; František Pártl; Miloslav Konopík (Hrsg). Text, Speech, and Dialogue : 26th International Conference, TSD 2023, Pilsen, Czech Republic, September 4–6, 2023, Proceedings. Cham: Springer Nature Switzerland 2023 S. 116 - 128
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
Zhao, Mengyisong; Harvey, Morgan; Cameron, Dave et al.
An Analysis of Classification Approaches for Hit Song Prediction using Engineered Metadata Features with Lyrics and Audio FeaturesIsaac Sserwanga; Anne Goulding; Heather Moulaison-Sandy; Jia Tina Du; António Lucas Soares; Viviane Hessami; Rebecca D. Frank (Hrsg). Information for a Better World: Normality, Virtuality, Physicality, Inclusivity; 18th International Conference, iConference 2023, Virtual Event, March 13–17, 2023, Proceedings, Part I. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2023 S. 303 - 311
Kramer, Ivanna; Bauer, Sabine
Analysis of Adolescents’ Head to Shoulder Region during Tablet Use from Sagittal and Frontal RGB ImagesApplied Biosciences. Bd. 2. H. 3. Basel: MDPI 2023 S. 421 - 436