dblp.uni-trier.dewww.uni-trier.de

Xiaochun Cheng

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
14EEYan Zheng, Xiaochun Cheng, Ronghuai Huang, Yi Man: A Comparative Study on Text Clustering Methods. ADMA 2006: 644-651
13EEYongjun Jing, Shaochun Zhong, Xin Li, Jinan Li, Xiaochun Cheng: Using Instruction Strategy for a Web-Based Intelligent Tutoring System. Edutainment 2006: 132-139
12EEYongjiang Zhong, Ju Liu, Shaochun Zhong, Yamei Zhang, Xiaochun Cheng: Programming of Informatized Instructional Design Platform for Physics. Edutainment 2006: 171-177
11EEXiaoqi Ma, Rachel McCrindle, Xiaochun Cheng: Verifying and Fixing Password Authentication Protocol. SNPD 2006: 324-329
2005
10EEXiaochun Cheng, Xin He, Xiaoqi Ma, Dongdai Zhou, Peijun Duan, Shaochun Zhong: An Agent Based Education Resource Purvey System. CIS (1) 2005: 381-386
9EEXiaochun Cheng, Xiaoqi Ma, Long Wang, Shaochun Zhong: A Mobile Agent Based Spam Filter System. CIS (1) 2005: 422-427
8EEXiaoqi Ma, Xiaochun Cheng, Rachel McCrindle: Knowledge Based Approach for Mechanically Verifying Security Protocols. IJCAI 2005: 1572-1573
7EEXiaochun 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
6EEXianchuan 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
5EEXianchuan Yu, Xiaochun Cheng: Research of independent component analysis. SMC (5) 2004: 4804-4809
4EEMaggie 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
3EEMatt Fairtlough, Michael Mendler, Xiaochun Cheng: Abstraction and Refinement in Higher Order Logic. TPHOLs 2001: 201-216
1998
2EEXiaochun 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

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

Colors in the list of coauthors

Copyright © Wed May 28 02:56:03 2008 by Michael Ley (ley@uni-trier.de)