| 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 | |
| 1 | Hai-Feng Guo | [3] [4] |
| 2 | Jean-Claude Paul | [1] [2] |
| 3 | Mahadevan Subramaniam | [3] [4] |
| 4 | Jun-Hai Yong | [1] [2] |