STVL: Improve the Precision of Static Defect Detection with Symbolic Three-Valued Logic. - Yunshan Zhao; Yawen Wang; Yunzhan Gong; Honghe Chen; Qing Xiao; Zhaohong Yang (APSEC, 2011)

Context-Sensitive Interprocedural Defect Detection Based on a Unified Symbolic Procedure Summary Model. - Yunshan Zhao; Yunzhan Gong; Li Liu; Qing Xiao; Zhaohong Yang (QSIC, 2011)

Simultaneous optimization of phononic and electronic transport in two-dimensional Bi2O2Se by defect engineering. - Fang Yang; Hong Kuan Ng; Jing Wu; Yunshan Zhao; Junpeng Lu (Sci. China Inf. Sci., 2023)