| |
| 2007 | ||
|---|---|---|
| 3 | EE | Zhi-Hong Tao, Cong-Hua Zhou, Zhong Chen, Li-Fu Wang: Bounded Model Checking of CTL. J. Comput. Sci. Technol. 22(1): 39-43 (2007) |
| 2006 | ||
| 2 | EE | Zhi-Hong Tao, Hans Kleine Büning, Li-Fu Wang: Direct Model Checking Matrix Algorithm. J. Comput. Sci. Technol. 21(6): 944-949 (2006) |
| 2005 | ||
| 1 | EE | Daoyun Xu, Zhi-Hong Tao: Complexities of Homomorphism and Isomorphism for Definite Logic Programs. J. Comput. Sci. Technol. 20(6): 758-762 (2005) |
| 1 | Hans Kleine Büning | [2] |
| 2 | Zhong Chen | [3] |
| 3 | Li-Fu Wang | [2] [3] |
| 4 | Daoyun Xu | [1] |
| 5 | Cong-Hua Zhou | [3] |