Wen Zheng

	2009
4		Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam: L2C2: logic-based LSC consistency checking. PPDP 2009: 183-194
3		Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam: Consistency Checking for LSC Specifications. TASE 2009: 119-126
	2007
2		Wen Zheng, Jun-Hai Yong, Jean-Claude Paul: Visual Simulation of Multiple Unmixable Fluids. J. Comput. Sci. Technol. 22(1): 156-160 (2007)
	2006
1		Wen Zheng, Jun-Hai Yong, Jean-Claude Paul: Simulation of bubbles. Symposium on Computer Animation 2006: 325-333

Coauthor Index

1	Hai-Feng Guo	[3] [4]
2	Jean-Claude Paul	[1] [2]
3	Mahadevan Subramaniam	[3] [4]
4	Jun-Hai Yong	[1] [2]

Colors in the list of coauthors