| 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 | 74 | 2021 |
| Timber tracking: reducing complexity of due diligence by using blockchain technology B Düdder, O Ross Available at SSRN 3015219, 2017 | 60 | 2017 |
| Bounded combinatory logic B Düdder, M Martens, J Rehof, P Urzyczyn Computer Science Logic (CSL'12)-26th International Workshop/21st Annual …, 2012 | 45 | 2012 |
| Combinatory logic synthesizer J Bessai, A Dudenhefner, B Düdder, M Martens, J Rehof Leveraging Applications of Formal Methods, Verification and Validation …, 2014 | 43 | 2014 |
| Staged composition synthesis B Düdder, M Martens, J Rehof European Symposium on Programming Languages and Systems, 67-86, 2014 | 37 | 2014 |
| Staged Composition Synthesis J Rehof, B Düdder, M Martens | 37* | |
| 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 | 36 | 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 | 31 | 2021 |
| 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 | 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 | 24 | 2018 |
| Combinatory process synthesis J Bessai, A Dudenhefner, B Düdder, M Martens, J Rehof Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 22 | 2016 |
| 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 | 19 | 2016 |
| 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 | 17 | 2015 |
| 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 | 15 | 2021 |
| 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 | 13 | 2016 |
| Design and synthesis from components (dagstuhl seminar 14232) J Rehof, MY Vardi Dagstuhl Reports 4 (6), 2014 | 12 | 2014 |
| 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 | 11 | 2022 |
| 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 | 11 | 2015 |
| Combinatory Synthesis of Classes using Feature Grammars J Bessai, B Düdder, GT Heineman, J Rehof Pre-proceedings, 4-21, 2015 | 10 | 2015 |
| Typing classes and mixins with intersection types J Bessai, B Düdder, A Dudenhefner, TC Chen, U de'Liguoro arXiv preprint arXiv:1503.04911, 2015 | 10 | 2015 |
Jakob RehofProfessor of Computer Science, TU Dortmund UniversityVerified email at cs.tu-dortmund.de
