Xiuli Sun

According to our database, Xiuli Sun authored at least 9 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Construction for ontology of stroke in Traditional Chinese Medicine.

Rong Liu, Lina Zhu, Xiuli Sun, Yanqiu Sun

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2023

2019

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

2013

PMTED: a plant microRNA target expression database.

Xiuli Sun, Boquan Dong, Lingjie Yin, Rongzhi Zhang, Wei Du, Dongfeng Liu, Nan Shi, Aili Li, Yanchun Liang, Long Mao

BMC Bioinform., 2013

2012

An Improved Adaptive Genetic Algorithm in Cloud Computing.

Baofang Hu, Xiuli Sun, Ying Li, Hongfeng Sun

Proceedings of the 13th International Conference on Parallel and Distributed Computing, 2012

2008

Component-Based Abstraction and Refinement.

Juncao Li, Xiuli Sun, Fei Xie, Xiaoyu Song

Proceedings of the High Confidence Software Reuse in Large Systems, 2008

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

Proceedings of the Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues, 2008

2005

Operational Semantics for Real-Time Processes with Action Refinement.

Xiuli Sun, Jinzhao Wu

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

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

Formal Specification of an Asynchronous Processor via Action Refinement.

Xiuli Sun, Jinzhao Wu, Xiaoyu Song, Mila E. Majster-Cederbaum

Proceedings of the Fifth International Workshop on Microprocessor Test and Verification (MTV 2004), 2004