Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
von Gladiss, Anselm; Ahmadian, Amir Shayan; Jürjens, Jan
Image reconstruction in a data space for MPIInternational Journal on Magnetic Particle Imaging. Bd. 10. H. 1 Suppl.1. Lübeck: Infinite Science Publishing 2024
Seifer, Philipp; Hernández, Daniel; Lämmel, Ralf et al.
Inferring SHACL Constraints for Results of Composable Graph Queries (Extended Abstract)Laura Giordano; Jean Christoph Jung; Ana Ozaki (Hrsg). DL 2024 : proceedings of the 37th International Workshop on Description Logics: June 18-21, 2024, Bergen, Norway. Aachen: CEUR/RWTH 2024 5 S.
Grosser, Katharina; Rukavitsyna, Marina
k-grosser/Evaluation-of-templates-for-requirements-documentation: Replication Package for Article in Requirements Engineering Journal2024
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
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
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
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