Xiaochun Cheng

	2008
17		Lili Su, Shenggang Yang, Yushun Li, Xiaochun Cheng, Ronghuai Huang: Semantic-Oriented Ubiquitous Learning Object Management System SULOMS. COMPSAC 2008: 801-806
16		Xiaoqi Ma, Xiaochun Cheng: Verifying security protocols by knowledge analysis. IJSN 3(3): 183-192 (2008)
	2007
15		Yanyan Li, Xiaochun Cheng: Semantic Resource Management for Research Community. AWIC 2007: 198-203
	2006
14		Yan Zheng, Xiaochun Cheng, Ronghuai Huang, Yi Man: A Comparative Study on Text Clustering Methods. ADMA 2006: 644-651
13		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		Yongjiang Zhong, Ju Liu, Shaochun Zhong, Yamei Zhang, Xiaochun Cheng: Programming of Informatized Instructional Design Platform for Physics. Edutainment 2006: 171-177
11		Xiaoqi Ma, Rachel McCrindle, Xiaochun Cheng: Verifying and Fixing Password Authentication Protocol. SNPD 2006: 324-329
	2005
10		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		Xiaochun Cheng, Xiaoqi Ma, Long Wang, Shaochun Zhong: A Mobile Agent Based Spam Filter System. CIS (1) 2005: 422-427
8		Xiaoqi Ma, Xiaochun Cheng, Rachel McCrindle: Knowledge Based Approach for Mechanically Verifying Security Protocols. IJCAI 2005: 1572-1573
7		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		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		Xianchuan Yu, Xiaochun Cheng: Research of independent component analysis. SMC (5) 2004: 4804-4809
4		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		Matt Fairtlough, Michael Mendler, Xiaochun Cheng: Abstraction and Refinement in Higher Order Logic. TPHOLs 2001: 201-216
	1998
2		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] [17]
10	Yunfei Jiang	[1] [7]
11	Yongjun Jing	[13]
12	Jinan Li	[13]
13	Xin Li	[13]
14	Yanyan Li	[15]
15	Yushun Li	[17]
16	Ju Liu	[12]
17	Xuhua Liu	[1]
18	Xiaoqi Ma	[8] [9] [10] [11] [16]
19	Yi Man	[14]
20	Rachel McCrindle	[8] [11]
21	Michael Mendler	[3]
22	Dantong Ouyang	[7]
23	Lili Su	[17]
24	Jianhua Sun	[4]
25	Long Wang	[9]
26	Lusheng Wang	[4]
27	Yinfeng Xu	[4]
28	Shenggang Yang	[17]
29	Xianchuan Yu	[5] [6]
30	Chengqi Zhang	[7]
31	Nan Zhang	[6]
32	Yamei Zhang	[12]
33	Yan Zheng	[14]
34	S. Zhong	[6]
35	Shaochun Zhong	[9] [10] [12] [13]
36	Yongjiang Zhong	[12]
37	Dongdai Zhou	[10]

Colors in the list of coauthors