Xiaochun Cheng

	2012
25		Liang Sun, Shinichi Yoshida, Xiaochun Cheng, Yanchun Liang: A cooperative particle swarm optimizer with statistical variable interdependence learning. Inf. Sci. 186(1): 20-39 (2012)
	2010
24		Liang Sun, Xiaochun Cheng, Yanchun Liang: Solving Job Shop Scheduling Problem Using Genetic Algorithm with Penalty Function. IJIIP 1(2): 65-77 (2010)
23		Liang Hu, Xiaochun Cheng, Xilong Che: Survey of Grid Resource Monitoring and Prediction Strategies. IJIIP 1(2): 78-85 (2010)
22		Liang Hu, Zheli Liu, Xiaochun Cheng: Efficient Identity-based Broadcast Encryption without Random Oracles. JCP 5(3): 331-336 (2010)
	2009
21		Yushun Li, Hui Guo, Ge Gao, Ronghuai Huang, Xiaochun Cheng: Ubiquitous E-learning System for Dynamic Mini-courseware Assemblying and Delivering to Mobile Terminals. NCM 2009: 1081-1086
20		Yushun Li, Zheng Chen, Ronghuai Huang, Xiaochun Cheng: New e-Learning system architecture based on knowledge engineering technology. SMC 2009: 5140-5144
	2008
19		Lili Su, Shenggang Yang, Yushun Li, Xiaochun Cheng, Ronghuai Huang: Semantic-Oriented Ubiquitous Learning Object Management System SULOMS. COMPSAC 2008: 801-806
18		Xiaoqi Ma, Xiaochun Cheng: Verifying security protocols by knowledge analysis. IJSN 3(3): 183-192 (2008)
	2007
17		Yanyan Li, Xiaochun Cheng: Semantic Resource Management for Research Community. AWIC 2007: 198-203
	2006
16		Yan Zheng, Xiaochun Cheng, Ronghuai Huang, Yi Man: A Comparative Study on Text Clustering Methods. ADMA 2006: 644-651
15		Yongjun Jing, Shaochun Zhong, Xin Li, Jinan Li, Xiaochun Cheng: Using Instruction Strategy for a Web-Based Intelligent Tutoring System. Edutainment 2006: 132-139
14		Yongjiang Zhong, Ju Liu, Shaochun Zhong, Yamei Zhang, Xiaochun Cheng: Programming of Informatized Instructional Design Platform for Physics. Edutainment 2006: 171-177
13		Xiaoqi Ma, Rachel McCrindle, Xiaochun Cheng: Verifying and Fixing Password Authentication Protocol. SNPD 2006: 324-329
	2005
12		Xiaochun Cheng, Xin He, Xiaoqi Ma, Dongdai Zhou, Peijun Duan, Shaochun Zhong: An Agent Based Education Resource Purvey System. CIS (1) 2005: 381-386
11		Xiaochun Cheng, Xiaoqi Ma, Long Wang, Shaochun Zhong: A Mobile Agent Based Spam Filter System. CIS (1) 2005: 422-427
10		Xiaoqi Ma, Xiaochun Cheng, Rachel McCrindle: Knowledge Based Approach for Mechanically Verifying Security Protocols. IJCAI 2005: 1572-1573
9		Xiaochun Cheng, Xiaoqi Ma, Maggie Xiaoyan Cheng, Scott C.-H. Huang: Proving secure properties of cryptographic protocols with knowledge based approach. IPCCC 2005: 3-9
8		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
7		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
6		Xianchuan Yu, Xiaochun Cheng: Research of independent component analysis. SMC (5) 2004: 4804-4809
5		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
4		Matt Fairtlough, Michael Mendler, Xiaochun Cheng: Abstraction and Refinement in Higher Order Logic. TPHOLs 2001: 201-216
	1998
3		Xiaochun Cheng, Haihong Dai: Operator Fuzzy Logic Based on Argumentation. HICSS (5) 1998: 215-222
	1996
2		Jigui Sun, Xiaochun Cheng, Xuhua Liu: The global properties of valid formulas in modal logic K. J. Comput. Sci. Technol. 11(6): 615-621 (1996)
	1995
1		Xiaochun Cheng, Yunfei Jiang, Xuhua Liu: The Rationality and Decidability of Fuzzy Implications. IJCAI 1995: 1910-1915

Coauthor Index

1	Mihaela Cardei	[5]
2	Xilong Che	[23]
3	Zheng Chen	[20]
4	Maggie Xiaoyan Cheng (Maggie X. Cheng)	[5] [9]
5	Haihong Dai	[3]
6	Guosheng Ding	[7]
7	Ding-Zhu Du	[5]
8	Peijun Duan	[12]
9	Matt Fairtlough	[4]
10	Ge Gao	[21]
11	Hui Guo	[21]
12	Xin He	[12]
13	Liang Hu	[22] [23]
14	Ronghuai Huang	[16] [19] [20] [21]
15	Scott C.-H. Huang	[9]
16	Yunfei Jiang	[1] [8]
17	Yongjun Jing	[15]
18	Jinan Li	[15]
19	Xin Li	[15]
20	Yanyan Li	[17]
21	Yushun Li	[19] [20] [21]
22	Yanchun Liang	[24] [25]
23	Ju Liu	[14]
24	Xuhua Liu	[1] [2]
25	Zheli Liu	[22]
26	Xiaoqi Ma	[9] [10] [11] [12] [13] [18]
27	Yi Man	[16]
28	Rachel McCrindle	[10] [13]
29	Michael Mendler	[4]
30	Dantong Ouyang	[8]
31	Lili Su	[19]
32	Jianhua Sun	[5]
33	Jigui Sun	[2]
34	Liang Sun	[24] [25]
35	Long Wang	[11]
36	Lusheng Wang	[5]
37	Yinfeng Xu	[5]
38	Shenggang Yang	[19]
39	Shinichi Yoshida	[25]
40	Xianchuan Yu	[6] [7]
41	Chengqi Zhang	[8]
42	Nan Zhang	[7]
43	Yamei Zhang	[14]
44	Yan Zheng	[16]
45	S. Zhong	[7]
46	Shaochun Zhong	[11] [12] [14] [15]
47	Yongjiang Zhong	[14]
48	Dongdai Zhou	[12]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page