Boris Düdder
Associate Professor
ORCID: 0000-0002-0241-7729
1 - 1 out of 1Page size: 10
- 2013
Intersection type matching with subtyping
Duedder, Boris, Martens, M. & Rehof, J., 27 Sep 2013, Typed Lambda Calculi and Applications - 11th International Conference, TLCA 2013, Proceedings. p. 125-139 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7941 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
ID: 172785813
Most downloads
-
193
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 -
123
downloads
Interdisciplinary Blockchain Education: Utilizing Blockchain Technology From Various Perspectives
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
78
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