Meixia Zhu

Publication Activity (10 Years)

Years Active: 2009-2019
Publications (10 Years): 2

Top Topics

Computational Model

Control Strategies

Formal Analysis

Top Venues

Int. J. Softw. Informatics

Appl. Math. Comput.

Publications

Tongle Ma, Yongzhen Pei, Changguo Li, Meixia Zhu
Periodicity and dosage optimization of an RNAi model in eukaryotes cells. BMC Bioinform. 20 (1) (2019)
Xiyin Liang, Yongzhen Pei, Meixia Zhu, Yunfei Lv
Multiple kinds of optimal impulse control strategies on plant-pest-predator model with eco-epidemiology. Appl. Math. Comput. (2016)
Chang Liu, Guiyuan Jiang, Jigang Wu, Meixia Zhu, Lijia Tu
Efficient Heuristic for Placing Monitors on Flow Networks. PAAP (2015)
Meixia Zhu, Hanpin Wang, Xikui Liu, Xiaoqiong Han
Formal Analysis of Sequence Diagram with Time Constraints by Model Transformation. Int. J. Softw. Informatics 6 (2) (2012)
Wei Jin, Hanpin Wang, Meixia Zhu
Modeling MARTE Sequence Diagram with Timing Pi-Calculus. ISORC (2011)
Meixia Zhu, Hanpin Wang, Yongzhi Cao, Zizhen Wang, Wei Jin
The Analysis of Sequence Diagram with Time Properties in Qualitative and Quantitative Aspects by Model Transformation. APSEC (2010)
Meixia Zhu, Hanpin Wang, Wei Jin, Zizhen Wang, Chunxiang Xu
Semantic Analysis of UML2.0 Sequence Diagram Based on Model Transformation. COMPSAC Workshops (2010)
Zizhen Wang, Hanpin Wang, Yongzhi Cao, Wanling Qu, Wei Jin, Meixia Zhu
A Game Perspective of Refinement of Component Models. COMPSAC (2010)
Chunxiang Xu, Hanpin Wang, Wanling Qu, Meixia Zhu, Yu Huang
A New Method to Model and Analyze the WS-BPEL Process under the Dead-Path-Elimination Semantics. SSIRI (2009)