Probabilistic Invariants for Probabilistic Machines. - Thai Son Hoang; Zhendong Jin; Ken Robinson; Annabelle McIver; Carroll Morgan (ZB, 2003)

Development via Refinement in Probabilistic B - Foundation and Case Study. - Thai Son Hoang; Zhendong Jin; Ken Robinson; Annabelle McIver; Carroll Morgan (ZB, 2005)

Computer-aided diagnosis of gastrointestinal stromal tumors: a radiomics method on endoscopic ultrasound image. - Xinyi Li 002; Fei Jiang; Yi Guo 002; Zhendong Jin; Yuanyuan Wang 001 (Int. J. Comput. Assist. Radiol. Surg., 2019)

Multi-Task Refined Boundary-Supervision U-Net (MRBSU-Net) for Gastrointestinal Stromal Tumor Segmentation in Endoscopic Ultrasound (EUS) Images. - Xinyi Li 002; Yi Guo 002; Fei Jiang; Leiming Xu; Feng Shen; Zhendong Jin; Yuanyuan Wang 001 (IEEE Access, 2020)

An individualised 3D computational flow and particle model to predict the deposition of inhaled medicines - A case study using a nebuliser. - Yulong Wang; Zhendong Jin; Yan Cui; Rongbo Dong; Lei Li; Frantisek Lízal; Matjaz Hribersek; Jure Ravnik; Mingshi Yang; Yinshui Liu (Comput. Methods Programs Biomed., 2024)