An approach to the formal verification of the three-principal cryptographic protocols. - Yuqing Zhang; Xiuying Liu (ACM SIGOPS Oper. Syst. Rev., 2004)

Running-mode analysis of the Security Socket Layer protocol. - Yuqing Zhang; Xiuying Liu (ACM SIGOPS Oper. Syst. Rev., 2004)

An approach to the formal verification of the three-principal security protocols. - Yuqing Zhang; Xiuying Liu; Dengguo Feng (Security and Management, 2005)

Running-mode Analysis of the SSL Protocol. - Yuqing Zhang; Xiuying Liu; Bo Yang (International Conference on Internet Computing, 2005)

Ontology-based knowledge management for forest channel. - Jing Fan; Xiuying Liu; Ying Shen; Tian-yang Dong (FSKD, 2012)

An Initial Reproduction of SI Capacitance Unit From a New Calculable Capacitor at NIM. - Zuliang Lu; Lu Huang; Yan Yang 006; Jianting Zhao; Jin Qian; Wenjun Lu; Zhongyou Liu; Zhonghua Zhang; Xiuying Liu; Jianbo Wang; Wei Wang 182; Yunfeng Lu; et al. (IEEE Trans. Instrum. Meas., 2015)

The Complexity of Weak Consistency. - Gaoang Liu; Xiuying Liu (FAW, 2018)

Subpixel Mapping of Surface Water in the Tibetan Plateau with MODIS Data. - Chenzhou Liu; Jiancheng Shi 001; Xiuying Liu; Zhaoyong Shi; Ji Zhu 004 (Remote. Sens., 2020)

Research on the Application of University Map Design Based on GIS Technology. - Xiuying Liu; Siyu Jia; Yang Cao (WSSE, 2021)

Computational Strategies and Algorithms for Inferring Cellular Composition of Spatial Transcriptomics Data. - Xiuying Liu; Xianwen Ren (Genom. Proteom. Bioinform., 2024)

DRED: A Comprehensive Database of Genes Related to Repeat Expansion Diseases. - Qingqing Shi; Min Dai; Yingke Ma; Jun Liu; Xiuying Liu; Xiu-Jie Wang (Genom. Proteom. Bioinform., 2024)