Entwurf und Verifikation von Petrinetzmodellen verteilter Algorithmen durch Verfeinerung unverteilter Algorithmen. - Bixia Wu (2007)

Verteilende Verfeinerung: Entwurf und Verifikation verteilter Algorithmen mit Petrinetzen. - Bixia Wu (Logos-Verlag, Berlin, 2007)

Evaluation of Glymphatic System Activity by Diffusion Tensor Image in Mild Traumatic Brain Injury. - Bixia Wu; Hui Tan; Gengbiao Zhang; Wenbin Zheng (CISP-BMEI, 2023)