| 2010 | ||
|---|---|---|
| c6 | 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: 118-126 | |
| c5 | Meixia Zhu, Hanpin Wang, Wei Jin, Zizhen Wang, Chunxiang Xu: Semantic Analysis of UML2.0 Sequence Diagram Based on Model Transformation. COMPSAC Workshops 2010: 170-175 | |
| c4 | Zizhen Wang, Hanpin Wang, Yongzhi Cao, Wanling Qu, Wei Jin, Meixia Zhu: A Game Perspective of Refinement of Component Models. COMPSAC 2010: 437-442 | |
| c3 | Chunxiang Xu, Wanling Qu, Hanpin Wang, Zizhen Wang, Xiaojuan Ban: A Petri Net-Based Method for Data Validation of Web Services Composition. COMPSAC 2010: 468-476 | |
| c2 | Wei Jin, Hanpin Wang, Yongzhi Cao, Zizhen Wang, Xiaojuan Ban: Modeling BPEL and BPEL4People with a Timed Interruptable pi-Calculus. COMPSAC 2010: 487-492 | |
| c1 | Zizhen Wang, Hanpin Wang, Naijun Zhan: Refinement of models of software components. SAC 2010: 2311-2318 | |
| 2009 | ||
| j1 | Yunni Xia, Qingsheng Zhu, Yu Huang, Zizhen Wang: A novel reduction approach to analyzing QoS of workflow processes. Concurrency and Computation: Practice and Experience 21(2): 205-223 (2009) | |
| 1 | Xiaojuan Ban | |
| 2 | Yongzhi Cao | |
| 3 | Yu Huang 0004 | |
| 4 | Wei Jin | |
| 5 | Wanling Qu | |
| 6 | Hanpin Wang | |
| 7 | Yunni Xia | |
| 8 | Chunxiang Xu | |
| 9 | Naijun Zhan | |
| 10 | Meixia Zhu | |
| 11 | Qingsheng Zhu |
Data released under the ODC-BY 1.0 license — See also our legal information page