Meixia Zhu

According to our database1, Meixia Zhu authored at least 9 papers between 2009 and 2019.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Periodicity and dosage optimization of an RNAi model in eukaryotes cells.
BMC Bioinform., 2019

2016
Multiple kinds of optimal impulse control strategies on plant-pest-predator model with eco-epidemiology.
Appl. Math. Comput., 2016

2015
Efficient Heuristic for Placing Monitors on Flow Networks.
Proceedings of the Seventh International Symposium on Parallel Architectures, 2015

2012
Formal Analysis of Sequence Diagram with Time Constraints by Model Transformation.
Int. J. Softw. Informatics, 2012

2011
Modeling MARTE Sequence Diagram with Timing Pi-Calculus.
Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2011

2010
Semantic Analysis of UML2.0 Sequence Diagram Based on Model Transformation.
Proceedings of the Workshop Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

A Game Perspective of Refinement of Component Models.
Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

The Analysis of Sequence Diagram with Time Properties in Qualitative and Quantitative Aspects by Model Transformation.
Proceedings of the 17th Asia Pacific Software Engineering Conference, 2010

2009
A New Method to Model and Analyze the WS-BPEL Process under the Dead-Path-Elimination Semantics.
Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009


  Loading...