1. Evidence-based Guideline for Therapeutic Drug Monitoring of Vancomycin: 2020 Update by the Division of Therapeutic Drug Monitoring, Chinese Pharmacological Society. (23rd December 2020) Authors: He, Na; Su, Shan; Ye, Zhikang; Du, Guanhua; He, Bei; Li, Dakui; Liu, Youning; Yang, Kehu; Zhang, Xianglin; Zhang, Yingyuan; Chen, Xiao; Chen, Yaolong; Chen, Zhigang; Dong, Yalin; Du, Guang; Gu, Jian; Guo, Daihong; Guo, Ruichen; Hu, Xin; Jiao, Zheng Journal: Clinical infectious diseases Issue: Volume 71(2020)Supplement 4 Page Start: S363 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions. (11th June 2014) Authors: Zhou, Ning; Gao, Xinyan; Wu, Jinzhao; Wei, Jianchao; Li, Dakui Other Names: Song Xiaoyu Academic Editor. Journal: Journal of applied mathematics Issue: Volume 2014(2014) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures. (12th June 2014) Authors: Gao, Xinyan; Ding, Yingcai; Liu, Wenbo; Zheng, Kaidi; Huang, Siyu; Zhou, Ning; Li, Dakui Other Names: Song Xiaoyu Academic Editor. Journal: Journal of applied mathematics Issue: Volume 2014(2014) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Wu's Characteristic Set Method for SystemVerilog Assertions Verification. (16th June 2013) Authors: Gao, Xinyan; Zhou, Ning; Wu, Jinzhao; Li, Dakui Other Names: Song Xiaoyu Academic Editor. Journal: Journal of applied mathematics Issue: Volume 2013(2013) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗