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

Zhenyu Chen

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

2008
17 Zhenyu Chen, Axel Hollmann: Positive and Negative Testing with Mutation-Driven Model Checking. GI Jahrestagung (1) 2008: 187-192
16EEZhenyu Chen, Jingye Zhou, Xingyu Gao, Longsheng Li, Junfa Liu: A Novel Method for Pencil Drawing Generation in Non-Photo-Realistic Rendering. PCM 2008: 931-934
15EEXiaofang Zhang, Baowen Xu, Zhenyu Chen, Changhai Nie, Leifang Li: An Empirical Evaluation of Test Suite Reduction for Boolean Specification-Based Testing (Short Paper). QSIC 2008: 270-275
14EEZhenyu Chen, Baowen Xu, Xiaofang Zhang, Changhai Nie: A novel approach for test suite reduction based on requirement relation contraction. SAC 2008: 390-394
13EEZhenyu Chen, Baowen Xu, Changhai Nie: A detectability analysis of fault classes for Boolean specifications. SAC 2008: 826-830
12 Zhenyu Chen, Xiaofang Zhang, Baowen Xu: A Degraded ILP Approach for Test Suite Reduction. SEKE 2008: 494-499
2007
11EEZhenyu Chen, Baowen Xu, Changhai Nie: Comparing Fault-based Testing Strategies of General Boolean Specifications. COMPSAC (1) 2007: 621-622
10EEWenhua Huang, Yuhua Ai, Zhenyu Chen, Qinghua Wu, Hanbin Ouyang, Peifeng Jiao, Zhexing Liu, Chihua Fang: Computer Supported Cooperative Work (CSCW) for Telemedicine. CSCWD 2007: 1063-1065
9EEZhenyu Chen, Zhihong Tao, Baowen Xu, Lifu Wang: Implication-Based Approximating Bounded Model Checking. FSEN 2007: 350-363
8EELiwei Wei, Jianping Li, Zhenyu Chen: Credit Risk Evaluation Using Support Vector Machine with Mixture of Kernel. International Conference on Computational Science (2) 2007: 431-438
7EEZhenyu Chen, Jianping Li: A Multiple Kernel Support Vector Machine Scheme for Simultaneous Feature Selection and Rule-Based Classification. PAKDD 2007: 441-448
6EEConghua Zhou, Zhenyu Chen, Zhihong Tao: QBF-Based Symbolic Model Checking for Knowledge and Time. TAMC 2007: 386-397
5EEZhenyu Chen, Jianping Li, Liwei Wei: A multiple kernel support vector machine scheme for feature selection and rule extraction from gene expression data of cancer tissue. Artificial Intelligence in Medicine 41(2): 161-175 (2007)
4EEJianping Li, Zhenyu Chen, Liwei Wei, Weixuan Xu, Gang Kou: Feature Selection via Least Squares Support Feature Machine. International Journal of Information Technology and Decision Making 6(4): 671-686 (2007)
2006
3EEJianping Li, Zhenyu Chen, Weixuan Xu: Bounded Support Vector Machines, Semidefinite. ICDM Workshops 2006: 818-822
2EEZhenyu Chen, Decheng Ding: Variable Minimal Unsatisfiability. TAMC 2006: 262-273
2001
1EEWenhua Huang, Yuhua Ai, Shizhen Zhong, Qingan Zhu, Weidong Zhao, Lin Yuan, Zhenyu Chen, Jingdong Yan, Zhexing Liu: New Multimedia Telecommunication Technologies and CSCW for Telemedicine. CSCWD 2001: 551-553

Coauthor Index

1Yuhua Ai [1] [10]
2Decheng Ding [2]
3Chihua Fang [10]
4Xingyu Gao [16]
5Axel Hollmann [17]
6Wenhua Huang [1] [10]
7Peifeng Jiao [10]
8Gang Kou [4]
9Jianping Li [3] [4] [5] [7] [8]
10Leifang Li [15]
11Longsheng Li [16]
12Junfa Liu [16]
13Zhexing Liu [1] [10]
14Changhai Nie [11] [13] [14] [15]
15Hanbin Ouyang [10]
16Zhihong Tao [6] [9]
17Lifu Wang [9]
18Liwei Wei [4] [5] [8]
19Qinghua Wu [10]
20Baowen Xu [9] [11] [12] [13] [14] [15]
21Weixuan Xu [3] [4]
22Jingdong Yan [1]
23Lin Yuan [1]
24Xiaofang Zhang [12] [14] [15]
25Weidong Zhao [1]
26Shizhen Zhong [1]
27Conghua Zhou [6]
28Jingye Zhou [16]
29Qingan Zhu [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)