 | 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 |
