| Z-Inspection®: A Process to Assess Trustworthy AI RV Zicari, J Brodersen, J Brusseau, B Düdder, T Eichhorn, T Ivanov, ... IEEE Transactions on Technology and Society 2 (2), 83-97, 2021 | 120 | 2021 |
| Timber tracking: reducing complexity of due diligence by using blockchain technology B Düdder, O Ross Available at SSRN 3015219, 2017 | 67 | 2017 |
| Co-design of a trustworthy AI system in healthcare: deep learning based skin lesion classifier RV Zicari, S Ahmed, J Amann, SA Braun, J Brodersen, F Bruneault, ... Frontiers in Human Dynamics 3, 688152, 2021 | 55 | 2021 |
| Bounded combinatory logic B Düdder, M Martens, J Rehof, P Urzyczyn Computer Science Logic (CSL'12)-26th International Workshop/21st Annual …, 2012 | 50 | 2012 |
| Combinatory logic synthesizer J Bessai, A Dudenhefner, B Düdder, M Martens, J Rehof Leveraging Applications of Formal Methods, Verification and Validation …, 2014 | 48 | 2014 |
| On assessing trustworthy AI in healthcare. Machine learning as a supportive tool to recognize cardiac arrest in emergency calls RV Zicari, J Brusseau, SN Blomberg, HC Christensen, M Coffee, ... Frontiers in Human Dynamics 3, 673104, 2021 | 47 | 2021 |
| Interdisciplinary Blockchain Education: Utilizing Blockchain Technology From Various Perspectives B Düdder, V Fomin, T Gürpinar, M Henke, M Iqbal, V Janavičienė, ... Frontiers in Blockchain 3, 58, 2021 | 40 | 2021 |
| Staged Composition Synthesis J Rehof, B Düdder, M Martens | 36* | |
| Blockchain-based reliable and privacy-aware crowdsourcing with truth and fairness assurance H Wu, B Düdder, L Wang, S Sun, G Xue IEEE internet of things journal 9 (5), 3586-3598, 2021 | 28 | 2021 |
| Mixin Composition Synthesis based on Intersection Types J Bessai, TC Chen, A Dudenhefner, B Düdder, U de'Liguoro, J Rehof Logical Methods in Computer Science 14 (1), 2018 | 26 | 2018 |
| Combinatory process synthesis J Bessai, A Dudenhefner, B Düdder, M Martens, J Rehof Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 24 | 2016 |
| Event-based supply chain network modeling: Blockchain for good coffee SL Bager, B Düdder, F Henglein, JM Hébert, H Wu Frontiers in Blockchain 5, 846783, 2022 | 21 | 2022 |
| A long and winding road towards modular synthesis GT Heineman, J Bessai, B Düdder, J Rehof Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 21 | 2016 |
| Lessons learned from assessing trustworthy AI in practice D Vetter, J Amann, F Bruneault, M Coffee, B Düdder, A Gallucci, ... Digital Society 2 (3), 35, 2023 | 20 | 2023 |
| Towards migrating object-oriented frameworks to enable synthesis of product line members G Heineman, A Hoxha, B Düdder, J Rehof Proceedings of the 19th International Conference on Software Product Line, 56-60, 2015 | 18 | 2015 |
| Design and synthesis from components (Dagstuhl seminar 14232) J Rehof, MY Vardi Dagstuhl Reports 4 (6), 29-47, 2014 | 15 | 2014 |
| How to assess trustworthy AI in practice RV Zicari, J Amann, F Bruneault, M Coffee, B Düdder, E Hickman, ... arXiv preprint arXiv:2206.09887, 2022 | 13 | 2022 |
| Extracting a formally verified subtyping algorithm for intersection types from ideals and filters J Bessai, A Dudenhefner, B Düdder, J Rehof Talk at COST Types, 2016 | 12 | 2016 |
| Mixin Composition Synthesis Based on Intersection Types J Bessai, A Dudenhefner, B Düdder, TC Chen, U de'Liguoro, J Rehof 13th International Conference on Typed Lambda Calculi and Applications, 76, 2015 | 12 | 2015 |
| Combinatory Synthesis of Classes using Feature Grammars J Bessai, B Düdder, GT Heineman, J Rehof Pre-proceedings, 4-21, 2015 | 11 | 2015 |
Jakob RehofProfessor of Computer Science, TU Dortmund UniversityПотвърден имейл адрес: cs.tu-dortmund.de
