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
Wimmer, Maria A.; Räckers, Michael; Hünemohr, Holger
Vorwort zur 7. Fachtagung RVI 2024Maria Wimmer; Michael Räckers; Holger Hünemohr (Hrsg). Neue Wege der Zusammenarbeit und Vernetzung für digitale Transformation und Verwaltungsmodernisierung : 7. Fachtagung Rechts- und Verwaltungsinformatik (RVI 2024), 25.-26. September 2024 Wiesbaden, Deutschland. Bonn: Gesellschaft für Informatik 2024 S. 5 - 6
Hespe, Christian; Schneider, Daniel; Datar, Adwait et al.
WiMAS: Wireless Multi-Agent Simulationsv0.1. Aufl. 2024
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
Neumann, Martin; Lotzmann, Ulf
A framework for simulation in interpretive researchMartin Neumann (Hrsg). An Interpretive Account to Agent-based Social Simulation : Using Criminology to Explore Cultural Possibilities. London ; New York: Routledge, Taylor & Francis Group 2023
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
Lotzmann, Ulf; Neumann, Martin
A simulation model of intra-organizational conflict regulation in the crime worldMartin Neumann (Hrsg). An Interpretive Account to Agent-based Social Simulation : Using Criminology to Explore Cultural Possibilities. London ; New York: Routledge, Taylor & Francis Group 2023