FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Ramadan, Qusai; Konersmann, Marco; Ahmadian, Amirshayan et al.
MBFair : a model-based verification methodology for detecting violations of individual fairnessSoftware and Systems Modeling. H. 24. Berlin: Springer 2024 S. 111 - 136
Wimmer, Maria; Räckers, Michael; Hünemohr, Holger
Neue Wege der Zusammenarbeit und Vernetzung für digitale Transformation und Verwaltungsmodernisierung : 7. Fachtagung Rechts- und Verwaltungsinformatik (RVI 2024), 25.-26. September 2024 Wiesbaden, DeutschlandBonn: Gesellschaft für Informatik 2024
Honnef, Lisa; Fislake, Martin
New Findings About Child-Robot-Interaction : Effects on Robot Design Through Robot MisbehaviorRichard Balogh; David Obdržálek; Martin Fislake (Hrsg). Robotics in Education : Proceedings of the RiE 2024 Conference. 1. Aufl. Cham: Springer 2024 S. 200 - 208
Fislake, Martin; Honnef, Lisa
New Findings about Child-Robot-Interaction: Effects on robot design through robot misbehaviorBalogh, Richard; Obdržálek, David; Fislake, Martin (Hrsg). Robotics in Education: Proceedings of the RiE 2024 Conference. Cham: Springer 2024 S. 23 - 32 (Lecture Notes in Networks and Systems, Bd. 1084)
Fechner, Richard; Dörpinghaus, Jens
No Train, No Pain? : Assessing the Ability of LLMs for Text Classification with no FinetuningMarek Bolanowski; Maria Ganzha; Leszek Maciaszek; Marcin Paprzycki; Dominik Ślęzak (Hrsg). Position Papers of the 19th Conference on Computer Science and Intelligence Systems (FedCSIS) : September 8–11, 2024. Belgrade, Serbia. Warschau: Polskie Towarzystwo Informatyczne 2024 S. 9 - 16
Grijalva Garces, David; Strauß, Svenja; Gretzinger, Sarah et al.
On the reproducibility of extrusion-based bioprinting: round robin study on standardization in the fieldBiofabrication. Bd. 16. H. 1. Bristol: IOP Publishing 2024
Böltz, Lucas; Sofronie-Stokkermans, Viorica; Frey, Hannes
On the Verification of the Correctness of a Subgraph Construction AlgorithmRayna Dimitrova; Ori Lahav; Sebastian Wolff (Hrsg). Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I. Bd. 14499. Cham: Springer Nature Switzerland AG 2024 S. 303 - 325
Mints, Mark O.; Abayev, Roman; Theisen, Nick et al.
Online Calibration of Extrinsic Parameters for Solid-State-LIDAR SystemsSensors. Bd. 24. H. 7. Basel: MDPI 2024
Fislake, Martin
PrefaceRichard Balogh; David Obdržálek; Martin Fislake (Hrsg). Robotics in Education : Proceedings of the RiE 2024 Conference. 1. Aufl. Cham: Springer 2024 S. V - VII
Ahmadian, Amirshayan; Franke, Sebastian; Gnoguem, Charly et al.
Privacy-Friendly Sharing of Health Data Using a Reference Architecture for Health Data SpacesThe Association for Computing Machinery (Hrsg). Proceedings of the 4th Eclipse Security, AI, Architecture and Modelling Conference on Data Space, eSAAM 2024, Mainz, Germany, 22 October 2024. New York, NY: ACM Association for Computing Machinery 2024 S. 103 - 112