Boris Düdder
Associate Professor
Software, Data, People & Society
Sigurdsgade 41, 2200 København N.
ORCID: 0000-0002-0241-7729
1 - 3 out of 3Page size: 10
- 2014
Combinatory logic synthesizer
Bessai, J., Dudenhefner, A., Duedder, Boris, Martens, M. & Rehof, J., 1 Jan 2014, Leveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Proceedings. Margaria, T., Steffen, B. & Margaria, T. (eds.). Springer Verlag, p. 26-40 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8802).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Staged composition synthesis
Duedder, Boris, Martens, M. & Rehof, J., 1 Jan 2014, Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Proceedings. Springer Verlag, p. 67-86 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 8410 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Combinatory Logic Synthesizer
Bessai, J., Dudenhefner, A., Duedder, Boris & Martens, M., 2014, Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change: 6th International Symposium, ISoLA 2014 Imperial, Corfu, Greece, October 8–11, 2014 Proceedings, Part I. Springer, p. 26-40 (Lecture Notes in Computer Science, Vol. 8802).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
ID: 172785813
Most downloads
-
187
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 › peer-review
Published -
122
downloads
Interdisciplinary Blockchain Education: Utilizing Blockchain Technology From Various Perspectives
Research output: Contribution to journal › Journal article › 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 › peer-review
Published