Xiaochun Cheng

2006
14	EE	Yan Zheng, Xiaochun Cheng, Ronghuai Huang, Yi Man: A Comparative Study on Text Clustering Methods. ADMA 2006: 644-651
13	EE	Yongjun Jing, Shaochun Zhong, Xin Li, Jinan Li, Xiaochun Cheng: Using Instruction Strategy for a Web-Based Intelligent Tutoring System. Edutainment 2006: 132-139
12	EE	Yongjiang Zhong, Ju Liu, Shaochun Zhong, Yamei Zhang, Xiaochun Cheng: Programming of Informatized Instructional Design Platform for Physics. Edutainment 2006: 171-177
11	EE	Xiaoqi Ma, Rachel McCrindle, Xiaochun Cheng: Verifying and Fixing Password Authentication Protocol. SNPD 2006: 324-329
2005
10	EE	Xiaochun Cheng, Xin He, Xiaoqi Ma, Dongdai Zhou, Peijun Duan, Shaochun Zhong: An Agent Based Education Resource Purvey System. CIS (1) 2005: 381-386
9	EE	Xiaochun Cheng, Xiaoqi Ma, Long Wang, Shaochun Zhong: A Mobile Agent Based Spam Filter System. CIS (1) 2005: 422-427
8	EE	Xiaoqi Ma, Xiaochun Cheng, Rachel McCrindle: Knowledge Based Approach for Mechanically Verifying Security Protocols. IJCAI 2005: 1572-1573
7	EE	Xiaochun Cheng, Dantong Ouyang, Yunfei Jiang, Chengqi Zhang: An improved model-based method to test circuit faults. Theor. Comput. Sci. 341(1-3): 150-161 (2005)
2004
6	EE	Xianchuan Yu, Xiaochun Cheng, Guosheng Ding, Nan Zhang, S. Zhong: Functional magnetic resonance imaging based on Wiener filter over wavelet domain. SMC (4) 2004: 3208-3212
5	EE	Xianchuan Yu, Xiaochun Cheng: Research of independent component analysis. SMC (5) 2004: 4804-4809
4	EE	Maggie Xiaoyan Cheng, Mihaela Cardei, Jianhua Sun, Xiaochun Cheng, Lusheng Wang, Yinfeng Xu, Ding-Zhu Du: Topology Control of Ad Hoc Wireless Networks for Energy Efficiency. IEEE Trans. Computers 53(12): 1629-1635 (2004)
2001
3	EE	Matt Fairtlough, Michael Mendler, Xiaochun Cheng: Abstraction and Refinement in Higher Order Logic. TPHOLs 2001: 201-216
1998
2	EE	Xiaochun Cheng, Haihong Dai: Operator Fuzzy Logic Based on Argumentation. HICSS (5) 1998: 215-222
1995
1		Xiaochun Cheng, Yunfei Jiang, Xuhua Liu: The Rationality and Decidability of Fuzzy Implications. IJCAI 1995: 1910-1915

Coauthor Index

1	Mihaela Cardei	[4]
2	Maggie Xiaoyan Cheng	[4]
3	Haihong Dai	[2]
4	Guosheng Ding	[6]
5	Ding-Zhu Du	[4]
6	Peijun Duan	[10]
7	Matt Fairtlough	[3]
8	Xin He	[10]
9	Ronghuai Huang	[14]
10	Yunfei Jiang	[1] [7]
11	Yongjun Jing	[13]
12	Jinan Li	[13]
13	Xin Li	[13]
14	Ju Liu	[12]
15	Xuhua Liu	[1]
16	Xiaoqi Ma	[8] [9] [10] [11]
17	Yi Man	[14]
18	Rachel McCrindle	[8] [11]
19	Michael Mendler	[3]
20	Dantong Ouyang	[7]
21	Jianhua Sun	[4]
22	Long Wang	[9]
23	Lusheng Wang	[4]
24	Yinfeng Xu	[4]
25	Xianchuan Yu	[5] [6]
26	Chengqi Zhang	[7]
27	Nan Zhang	[6]
28	Yamei Zhang	[12]
29	Yan Zheng	[14]
30	S. Zhong	[6]
31	Shaochun Zhong	[9] [10] [12] [13]
32	Yongjiang Zhong	[12]
33	Dongdai Zhou	[10]

Colors in the list of coauthors