Lifu Wang

	2009
11		Wei Ye, Wen Zhao, Yu Huang, Wenhui Hu, Shikun Zhang, Lifu Wang: Formal Definition and Detection Algorithm for Passive Event in RFID Middleware. APWeb/WAIM 2009: 538-543
10		Wei Ye, Wen Zhao, Yu Huang, Wenhui Hu, Shikun Zhang, Lifu Wang: Towards Passive RFID Event. COMPSAC (1) 2009: 492-499
	2008
9		Haiqiang Dun, Wen Zhao, Yu Huang, Shikun Zhang, Lifu Wang: Modeling and Analysis of WS-BPEL Business Processes Based on ServiceNet. APSEC 2008: 265-272
8		Haiqiang Dun, Haiying Xu, Lifu Wang: Transformation of BPEL Processes to Petri Nets. TASE 2008: 166-173
7		Lifu Wang, Partha Dasgupta: Coprocessor-based hierarchical trust management for software integrity and digital identity protection. Journal of Computer Security 16(3): 311-339 (2008)
	2007
6		Lifu Wang, Partha Dasgupta: Kernel and Application Integrity Assurance: Ensuring Freedom from Rootkits and Malware in a Computer System. AINA Workshops (1) 2007: 583-589
5		Zhenyu Chen, Zhihong Tao, Baowen Xu, Lifu Wang: Implication-Based Approximating Bounded Model Checking. FSEN 2007: 350-363
4		Tao Jia, Wen Zhao, Lifu Wang: PrSH: A Belief Description Logic. KES-AMSTA 2007: 31-41
	2006
3		Xing-Qi Huang, Lifu Wang, Wen Zhao, Shikun Zhang, Chong-Yi Yuan: A Workflow Process Mining Algorithm Based on Synchro-Net. J. Comput. Sci. Technol. 21(1): 66-71 (2006)
	2005
2		Jian Cai, Wen Zhao, Shikun Zhang, Lifu Wang: Correctness Verification of synchronization based workflow model. ICEBE 2005: 527-530
	2004
1		Lifu Wang, Kyung Dong Ryu: Feasibility of Exploiting Virtual Machines for Grid Computing. PDPTA 2004: 763-768

Coauthor Index

1	Jian Cai	[2]
2	Zhenyu Chen	[5]
3	Partha Dasgupta	[6] [7]
4	Haiqiang Dun	[8] [9]
5	Wenhui Hu	[10] [11]
6	Xing-Qi Huang	[3]
7	Yu Huang	[9] [10] [11]
8	Tao Jia	[4]
9	Kyung Dong Ryu	[1]
10	Zhihong Tao	[5]
11	Baowen Xu	[5]
12	Haiying Xu	[8]
13	Wei Ye	[10] [11]
14	Chong-Yi Yuan	[3]
15	Shikun Zhang	[2] [3] [9] [10] [11]
16	Wen Zhao	[2] [3] [4] [9] [10] [11]

Colors in the list of coauthors