Bisimulation-based consistency checking on Feng-Han-Shi-Bi syndrome for rheumatoid arthritis. - Guang Zheng; Zekun Ning; Junping Zhan; Kai Cui; Miao Jiang 001; Cheng Lu 008; Aiping Lu (FSKD, 2013)

Rules of acupoint selection in acupoint application therapy on coronary heart disease: A text mining study. - Dongmei Jia; Guang Zheng; Jing Yang; Hongtao Guo; Zekun Ning; Mengmeng Song; Xiaojuan He; Cheng Lu 008; Yong Tan; Ning Zhao; Jingan Bai; Shanshan Shen; et al. (BIBM, 2014)

Bisimulation-based Consistency Checking on Syndrome Feng-Shi-Re-Bi in Rheumatoid Arthritis. - Guang Zheng; Kai Cui; Junping Zhan; Zekun Ning; Miao Jiang 001; Cheng Lu 008; Aiping Lu (J. Softw., 2014)