According to our database1, Xiuli Sun authored at least 8 papers between 2004 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Bifurcations in a Diffusive Predator-Prey Model with Beddington-DeAngelis Functional Response and Nonselective Harvesting.
J. Nonlinear Science, 2019
PMTED: a plant microRNA target expression database.
BMC Bioinformatics, 2013
An Improved Adaptive Genetic Algorithm in Cloud Computing.
Proceedings of the 13th International Conference on Parallel and Distributed Computing, 2012
Component-Based Abstraction and Refinement.
Proceedings of the High Confidence Software Reuse in Large Systems, 2008
An Ultrasonic Signal Processing Technique for Extraction of Arrival Time from Lamb Waveforms.
Proceedings of the Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues, 2008
Operational Semantics for Real-Time Processes with Action Refinement.
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005
Operational Semantics and a Consistency Result for Real-Time Concurrent Processes with Action Refinement.
J. Comput. Sci. Technol., 2004
Formal Specification of an Asynchronous Processor via Action Refinement.
Proceedings of the Fifth International Workshop on Microprocessor Test and Verification (MTV 2004), 2004