Wanwei Liu

	2011
7		Renjian Li, Ji Wang, Liqian Chen, Wanwei Liu, Dengping Wei: Quantitative analysis for symbolic heap bounds of CPS software. Comput. Sci. Inf. Syst. 8(4): 1251-1276 (2011)
	2010
6		Jianjun Xu, Qingping Tan, Wanwei Liu: Estimating the Soft Error Vulnerability of Register Files via Interprocedural Data Flow Analysis. TASE 2010: 201-208
	2009
5		Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma, Zhaofei Wang: Symbolic model checking APSL. Frontiers of Computer Science in China 3(1): 130-141 (2009)
4		Wanwei Liu, Ji Wang: A tighter analysis of Piterman's Büchi determinization. Inf. Process. Lett. 109(16): 941-945 (2009)
3		Ji Wang, Xiaodong Ma, Wei Dong, Hou-Feng Xu, Wanwei Liu: Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis. J. Comput. Sci. Technol. 24(2): 347-356 (2009)
	2008
2		Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma: Symbolic Model Checking APSL. TASE 2008: 39-46
	2007
1		Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen: Axiomatizing Extended Temporal Logic Fragments Via Instantiation. ICTAC 2007: 322-336

Coauthor Index

1	Huowang Chen	[1] [2] [5]
2	Liqian Chen	[7]
3	Wei Dong	[1] [3]
4	Renjian Li	[7]
5	Xiaodong Ma	[2] [3] [5]
6	QingPing Tan (Qingping Tan)	[6]
7	Ji Wang	[1] [2] [3] [4] [5] [7]
8	Zhaofei Wang	[5]
9	Dengping Wei	[7]
10	Hou-Feng Xu	[3]
11	Jianjun Xu	[6]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page