Xiwei Wu

Countability of Inductive Types Formalized in the Object-Logic Level

Qinxiang Cao, Xiwei Wu, 2021, LFMTP.

From microarray to biological networks: Analysis of gene expression profiles.

Xiwei Wu, T. Dewey, T Gregory Dewey, 2006, Methods in molecular biology.