| Automatic corneal nerve fiber segmentation and geometric biomarker quantification D Zhang, F Huang, M Khansari, TTJM Berendschot, X Xu, B Dashtbozorg, ... The European Physical Journal Plus 135 (2), 266, 2020 | 16 | 2020 |
| The SLCO Framework for Verified, Model-Driven Construction of Component Software S de Putter, A Wijs, D Zhang Formal Aspects of Component Software: 15th International Conference, FACS …, 2018 | 15 | 2018 |
| Towards verified java code generation from concurrent state machines D Zhang, D Bosnacki, MGJ van den Brand, LJP Engelen, C Huizing, ... conference; Workshop on Analysis of Model Transformations, 64-69, 2014 | 11 | 2014 |
| Verifying atomicity preservation and deadlock freedom of a generic shared variable mechanism used in model-to-code transformations D Zhang, D Bošnački, M van den Brand, C Huizing, B Jacobs, R Kuiper, ... Model-Driven Engineering and Software Development: 4th International …, 2017 | 9 | 2017 |
| Towards modular verification of threaded concurrent executable code generated from DSL models D Bošnački, M van den Brand, J Gabriels, B Jacobs, R Kuiper, S Roede, ... Formal Aspects of Component Software: 12th International Conference, FACS …, 2016 | 9 | 2016 |
| Association of Tau pathology with clinical symptoms in the subfields of hippocampal formation X Ge, D Zhang, Y Qiao, J Zhang, J Xu, Y Zheng Frontiers in Aging Neuroscience 13, 672077, 2021 | 4 | 2021 |
| From concurrent state machines to reliable multi-threaded Java code D Zhang | 4 | 2018 |
| Verification of atomicity preservation in model-to-code transformations using generic java code D Zhang, D Bosnacki, M van den Brand, C Huizing, R Kuiper, B Jacobs, ... 2016 4th International Conference on Model-Driven Engineering and Software …, 2016 | 4 | 2016 |
| Dependency safety for Java–Implementing and testing failboxes D Zhang, D Bošnački, M van den Brand, C Huizing, B Jacobs, R Kuiper, ... Science of Computer Programming 184, 102316, 2019 | 3 | 2019 |
| Dependency safety for java: implementing failboxes D Bošnački, M van den Brand, P Denissen, C Huizing, B Jacobs, R Kuiper, ... Proceedings of the 13th International Conference on Principles and Practices …, 2016 | 3 | 2016 |
| Automatic Tortuosity Estimation of Nerve Fibers and Retinal Vessels in Ophthalmic Images H Chen, B Chen, D Zhang, J Zhang, J Liu, Y Zhao Applied Sciences 10 (14), 4788, 2020 | 2 | 2020 |
