Formal Specification of an Asynchronous Processor via Action Refinement. - Xiuli Sun; Jinzhao Wu; Xiaoyu Song; Mila E. Majster-Cederbaum (MTV, 2004)

Operational Semantics and a Consistency Result for Real-Time Concurrent Processes with Action Refinement. - Xiuli Sun; Wenyin Zhang; Jinzhao Wu (J. Comput. Sci. Technol., 2004)

Operational Semantics for Real-Time Processes with Action Refinement. - Xiuli Sun; Jinzhao Wu (SEFM, 2005)

An Ultrasonic Signal Processing Technique for Extraction of Arrival Time from Lamb Waveforms. - Haiyan Zhang; Xiuli Sun; Shixuan Fan; Xuerui Qi; Xiao Liu; Donghui Lu (ICIC (1), 2008)

Component-Based Abstraction and Refinement. - Juncao Li; Xiuli Sun; Fei Xie; Xiaoyu Song (ICSR, 2008)

An Improved Adaptive Genetic Algorithm in Cloud Computing. - Baofang Hu; Xiuli Sun; Ying Li; Hongfeng Sun (PDCAT, 2012)

PMTED: a plant microRNA target expression database. - Xiuli Sun; Boquan Dong; Lingjie Yin; Rongzhi Zhang; Wei Du 002; Dongfeng Liu; Nan Shi; Aili Li; Yanchun Liang 001; Long Mao (BMC Bioinform., 2013)

Bifurcations in a Diffusive Predator-Prey Model with Beddington-DeAngelis Functional Response and Nonselective Harvesting. - Xiuli Sun; Rong Yuan; Luan Wang (J. Nonlinear Sci., 2019)

Construction for ontology of stroke in Traditional Chinese Medicine. - Rong Liu; Lina Zhu; Xiuli Sun; Yanqiu Sun (BIBM, 2023)

Researsh of the medication rules of Chinese medicine for the treatment of epilepsy based on data mining. - Yansong Fu; Boyuan Tan; Lin Xue; Ping Wang; Xiuli Sun; Wei Su (BIBM, 2024)

Exploring the medication rule of traditional Chinese medicine for gastric ulcer based on data mining technology. - Boyuan Tan; Yansong Fu; Ping Wang; Lin Xue; Li Su; Xiuli Sun; Wei Su (BIBM, 2024)