| 2008 |
|---|
| 15 | | Zhenyu Chen,
Axel Hollmann:
Positive and Negative Testing with Mutation-Driven Model Checking.
GI Jahrestagung (1) 2008: 187-192 |
| 14 | EE | Xiaofang 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 |
| 13 | EE | Zhenyu Chen,
Baowen Xu,
Xiaofang Zhang,
Changhai Nie:
A novel approach for test suite reduction based on requirement relation contraction.
SAC 2008: 390-394 |
| 12 | EE | Zhenyu Chen,
Baowen Xu,
Changhai Nie:
A detectability analysis of fault classes for Boolean specifications.
SAC 2008: 826-830 |
| 2007 |
|---|
| 11 | EE | Zhenyu Chen,
Baowen Xu,
Changhai Nie:
Comparing Fault-based Testing Strategies of General Boolean Specifications.
COMPSAC (1) 2007: 621-622 |
| 10 | EE | Wenhua 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 |
| 9 | EE | Zhenyu Chen,
Zhihong Tao,
Baowen Xu,
Lifu Wang:
Implication-Based Approximating Bounded Model Checking.
FSEN 2007: 350-363 |
| 8 | EE | Liwei 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 |
| 7 | EE | Zhenyu Chen,
Jianping Li:
A Multiple Kernel Support Vector Machine Scheme for Simultaneous Feature Selection and Rule-Based Classification.
PAKDD 2007: 441-448 |
| 6 | EE | Conghua Zhou,
Zhenyu Chen,
Zhihong Tao:
QBF-Based Symbolic Model Checking for Knowledge and Time.
TAMC 2007: 386-397 |
| 5 | EE | Zhenyu 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) |
| 4 | EE | Jianping 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 |
|---|
| 3 | EE | Jianping Li,
Zhenyu Chen,
Weixuan Xu:
Bounded Support Vector Machines, Semidefinite.
ICDM Workshops 2006: 818-822 |
| 2 | EE | Zhenyu Chen,
Decheng Ding:
Variable Minimal Unsatisfiability.
TAMC 2006: 262-273 |
| 2001 |
|---|
| 1 | EE | Wenhua 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 |
