Boris Düdder
Associate Professor
ORCID: 0000-0002-0241-7729
1 - 1 out of 1Page size: 50
- 2018
Mixin Composition Synthesis based on Intersection Types
Bessai, J., Chen, T., Dudenhefner, A., Duedder, Boris, de'Liguoro, U. & Rehof, J., 2018, In: Logical Methods in Computer Science. 14, 1, 18.Research output: Contribution to journal › Journal article › Research › peer-review
ID: 172785813
Most downloads
-
197
downloads
On assessing trustworthy AI in healthcare: Best practice for machine learning as a supportive tool to recognize cardiac arrest in emergency calls
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
126
downloads
Interdisciplinary Blockchain Education: Utilizing Blockchain Technology From Various Perspectives
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
88
downloads
Co-design of a trustworthy AI system in healthcare: Deep learning based skin lesion classifier
Research output: Contribution to journal › Journal article › Research › peer-review
Published