Web Service Composition Algorithm Based on Fix-Point Theorem. - Yanping Yang; Qinping Tan; Feng Liu; Jinshan Yu (IFIP IASW, 2005)

Verifying Web Services Composition: A Transformation-Based Approach. - Yanping Yang; QingPing Tan; Yong Xiao; Jinshan Yu; Feng Liu 029 (PDCAT, 2005)

Transform BPEL Workflow into Hierarchical CP-Nets to Make Tool Support for Verification. - Yanping Yang; QingPing Tan; Yong Xiao; Feng Liu 029; Jinshan Yu (APWeb, 2006)

Scheduling of Transactions Based on Extended Scheduling Timed Petri Nets for SoC System-Level Test-Case Generation. - Jinshan Yu; Tun Li; Yang Guo 003; QingPing Tan (EUC, 2006)

Exploiting Hierarchical CP-Nets to Increase the Reliability of Web Services Workflow. - Yanping Yang; QingPing Tan; Yong Xiao; Jinshan Yu; Feng Liu 029 (SAINT, 2006)

A Novel Collaborative Verification Environment for SoC Co-Verification. - Tun Li; Sikun Li; Jinshan Yu; Yang Guo 003 (CSCWD, 2007)

Workspace Quality Evaluation and Optimal Design of a Redundantly Constrained 6-Dof Cable-Driven Parallel Manipulator. - Jinshan Yu; Xiao Li; Jianguo Tao; Hao Sun; Haowei Wang (ICIRA (1), 2021)

DFT for Complex Designs and Test Data Management. - Wu Yang; Jinshan Yu; Pearl He; Xijiang Lin (ITC-Asia, 2024)

Accumulative Imaging Method of Grounding Grid Topological Features Based on Combined Sources. - Xizhe Zhang; Ben Yu; Longhuan Liu; Zhihong Fu; Jinshan Yu; Xin Cheng (IEEE Access, 2024)

Stability analysis and optimal design of a cable-driven parallel robot. - Jinshan Yu; Jianguo Tao; Guoxing Wang; Xiao Li; Haowei Wang (Robotics Auton. Syst., 2024)