Yan-Xiang He

A Stochastic Petri Net-Based Performance Bottleneck Location Strategy for Web Services Composition: A Stochastic Petri Net-Based Performance Bottleneck Location Strategy for Web Services Composition

Hua Shen, Yan-Xiang He, 2014 .

A Novel Chinese Multi-Document Summarization Using Clustering Based Sentence Extraction

Dong-Hong Ji, Hua Yang, De-Xi Liu, 2006, 2006 International Conference on Machine Learning and Cybernetics.

MSBGA: A Multi-Document Summarization System Based on Genetic Algorithm

Dong-Hong Ji, Hua Yang, Chong Teng, 2006, 2006 International Conference on Machine Learning and Cybernetics.

Path Sensitive Program Verification Based on SMT Solvers: Path Sensitive Program Verification Based on SMT Solvers

Yong Chen, Chao Xu, Wei Wu, 2012 .