Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Softwaretechnik

Institut für Informatik / Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
Publikationen
PDF | RTF
Ergebnisse pro Seite:  10

Großer, Katharina; Rukavitsyna, Marina; Ahmadian, Amir Shayan et al.

Evaluation of Templates for Requirements Documentation : Data-set and Sources

3.0.0. Aufl. 2024


Lohr, Matthias; Peldszus, Sven; Jürjens, Jan et al.

Fast, Favorable, and Fair Blockchain-based Exchange of Digital Goods Using State Channels

Zissis Poulos; Yuhang Ye (Hrsg). 2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), Dublin, Ireland, 2024 : Proceedings. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2024 S. 279 - 287


Seifer, Philipp; Hernández, Daniel; Lämmel, Ralf et al.

From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries

Tat-Seng Chua; Chong-Wah Ngo; Ravi Kumar; Hady W. Lauw; Roy Ka-Wei Lee (Hrsg). WWW '24 : Proceedings of the ACM Web Conference 2024. New York, NY: ACM Association for Computing Machinery 2024 S. 2064 - 2074


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.



Ramadan, Qusai; Konersmann, Marco; Ahmadian, Amirshayan et al.

MBFair : a model-based verification methodology for detecting violations of individual fairness

Software and Systems Modeling. H. 24. Berlin: Springer 2024 S. 111 - 136


Mints, Mark O.; Abayev, Roman; Theisen, Nick et al.

Online Calibration of Extrinsic Parameters for Solid-State-LIDAR Systems

Sensors. 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 Spaces

The 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


von Gladiß, Anselm; Ahmadian, AmirShayan; Jürjens, Jan

Reconstruction as a service : a data space for off-site image reconstruction in magnetic particle imaging

Computing Research Repository. 2024


Al-Dhamari, Ibraheem; Abu Attieh, Hammam; Prasser, Fabian

Synthetic datasets for open software development in rare disease research

Orphanet Journal of Rare Diseases. Bd. 19. London: BioMed Central 2024