2008 |
15 | EE | Yin Qian,
Sai Zhang,
Zhengwei Qi:
Mining Change Patterns in AspectJ Software Evolution.
CSSE (2) 2008: 108-111 |
14 | EE | Zhengwei Qi,
Liang Liu,
Alei Liang,
Hao Wang,
Ying Chen:
An Online Model Checking Tool for Safety and Liveness Bugs.
ICPADS 2008: 493-500 |
2007 |
13 | EE | Feilong Tang,
Minglu Li,
Minyi Guo,
Zhengwei Qi,
Yi Wang,
Yanqin Yang,
Daqiang Zhang:
Transaction Management for Grid Workflow Applications.
GCC 2007: 705-712 |
2006 |
12 | EE | Zhengwei Qi,
Minglu Li,
Cheng Fu,
Dongyu Shi,
Jinyuan You:
Membrane Calculus: a formal method for Grid transactions.
Concurrency and Computation: Practice and Experience 18(14): 1799-1809 (2006) |
2005 |
11 | EE | Dongyu Shi,
Jinyuan You,
Zhengwei Qi:
Building Graphical Model Based System in Sensor Networks.
EUC Workshops 2005: 218-227 |
2004 |
10 | EE | Cheng Fu,
Zhengwei Qi,
Jinyuan You:
A BioAmbients Based Framework for Chain-Structured Biomolecules Modelling.
CIS 2004: 455-459 |
9 | EE | Zhengwei Qi,
Cheng Fu,
Dongyu Shi,
Jinyuan You:
The P-System Based Model for Mobile Transactions.
CIT 2004: 534-539 |
8 | EE | Zhengwei Qi,
Xiao Xie,
Baowen Zhang,
Jinyuan You:
Integrating X/Open DTP into Grid Services for Grid Transaction Processing.
FTDCS 2004: 128-134 |
7 | EE | Zhengwei Qi,
Cheng Fu,
Dongyu Shi,
Jinyuan You,
Minglu Li:
Membrane Calculus: A Formal Method for Grid Transactions.
GCC 2004: 73-80 |
6 | EE | Zhengwei Qi,
Ruonan Rao,
Guangtao Xue,
Jinyuan You:
A New Formal Model Based on P-System for Mobile Transactions.
IEEE SCC 2004: 16-22 |
5 | EE | Dongyu Shi,
Zhengwei Qi,
Cheng Fu,
Jinyuan You:
An Information Retrieval Model based on Probabilistic network.
IEEE SCC 2004: 423-426 |
4 | | Zhengwei Qi,
Ruonan Rao,
Yao Shen,
Jinyuan You:
WebTP: A Case Study of Web Transaction Processing.
PDPTA 2004: 881-886 |
2003 |
3 | EE | Feilong Tang,
Minglu Li,
Jian Cao,
Qianni Deng,
Jiadi Yu,
Zhengwei Qi:
GSPD: A Middleware That Supports Publication and Discovery of Grid Services.
GCC (1) 2003: 738-745 |
2 | EE | Zhengwei Qi,
Jinyuan You,
Ying Jin,
Feilong Tang:
GridTP Services for Grid Transaction Processing.
GCC (2) 2003: 891-894 |
1 | EE | Zhengwei Qi,
Jinyuan You,
Hongyan Mao:
P Systems and Petri Nets.
Workshop on Membrane Computing 2003: 286-303 |