Xiuli Sun

According to our database1, Xiuli Sun authored at least 8 papers between 2004 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Bifurcations in a Diffusive Predator-Prey Model with Beddington-DeAngelis Functional Response and Nonselective Harvesting.
J. Nonlinear Science, 2019

2013
PMTED: a plant microRNA target expression database.
BMC Bioinformatics, 2013

2012
An Improved Adaptive Genetic Algorithm in Cloud Computing.
Proceedings of the 13th International Conference on Parallel and Distributed Computing, 2012

2008
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

2005
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

2004
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


  Loading...