Lower bounds on the cardinality of maximum matchings in graphs with bounded degrees. - Wangsen Feng; Wanling Qu; Hanpin Wang (FCS, 2007)

Approximation Algorithms for Maximum Edge Coloring Problem. - Wangsen Feng; Li'ang Zhang; Wanling Qu; Hanpin Wang (TAMC, 2007)

Queuing analysis and performance evaluation of workflow through WFQN. - Yunni Xia; Hanpin Wang; Yu Huang 004; Wanling Qu (TASE, 2007)

Modeling and verifying BPEL using synchronized net. - Chunxiang Xu; Hanpin Wang; Wanling Qu (SAC, 2008)

A Bayesian approach to support vector machines for the binary classification. - Jiangsheng Yu; Fei Cheng; Huilin Xiong; Wanling Qu; Xue-wen Chen 001 (Neurocomputing, 2008)

A New Method to Model and Analyze the WS-BPEL Process under the Dead-Path-Elimination Semantics. - Chunxiang Xu; Hanpin Wang; Wanling Qu; Meixia Zhu; Yu Huang 004 (SSIRI, 2009)

A Game Perspective of Refinement of Component Models. - Zizhen Wang; Hanpin Wang; Yongzhi Cao; Wanling Qu; Wei Jin; Meixia Zhu (COMPSAC, 2010)

A Petri Net-Based Algorithm for RFID Event Detection. - Chunxiang Xu; Yu Huang 004; Wanling Qu; Hanpin Wang; Xiaojuan Ban (COMPSAC, 2010)

A Petri Net-Based Method for Data Validation of Web Services Composition. - Chunxiang Xu; Wanling Qu; Hanpin Wang; Zizhen Wang; Xiaojuan Ban (COMPSAC, 2010)

Value-passing CCS with noisy channels. - Shuqin Huang; Yongzhi Cao; Hanpin Wang; Wanling Qu (Theor. Comput. Sci., 2012)