| 2007 | ||
|---|---|---|
| 2 | EE | Zhongmin Xiong, Wei Wang, Jian Pei: Active Rules Termination Analysis Through Conditional Formula Containing Updatable Variable. APWeb/WAIM 2007: 281-292 |
| 2005 | ||
| 1 | EE | Zhongmin Xiong, Zhongxiao Hao: Refined Rules Termination Analysis Through Activation Path. WAIM 2005: 392-403 |
| 1 | Zhongxiao Hao | [1] |
| 2 | Jian Pei | [2] |
| 3 | Wei Wang | [2] |
Colors in the list of coauthors