Zhi-Hong Tao

	2007
3		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		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		Daoyun Xu, Zhi-Hong Tao: Complexities of Homomorphism and Isomorphism for Definite Logic Programs. J. Comput. Sci. Technol. 20(6): 758-762 (2005)

Coauthor Index

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]