Jinshan Yu

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 2

Top Topics

Stability Analysis

Top Venues

Robotics Auton. Syst.

Publications

Jinshan Yu, Jianguo Tao, Guoxing Wang, Xiao Li, Haowei Wang
Stability analysis and optimal design of a cable-driven parallel robot. Robotics Auton. Syst. 173 (2024)
Jinshan Yu, Xiao Li, Jianguo Tao, Hao Sun, Haowei Wang
Workspace Quality Evaluation and Optimal Design of a Redundantly Constrained 6-Dof Cable-Driven Parallel Manipulator. ICIRA (1) (2021)
Tun Li, Sikun Li, Jinshan Yu, Yang Guo
A Novel Collaborative Verification Environment for SoC Co-Verification. CSCWD (2007)
Jinshan Yu, Tun Li, Yang Guo, QingPing Tan
Scheduling of Transactions Based on Extended Scheduling Timed Petri Nets for SoC System-Level Test-Case Generation. EUC (2006)
Yanping Yang, QingPing Tan, Yong Xiao, Feng Liu, Jinshan Yu
Transform BPEL Workflow into Hierarchical CP-Nets to Make Tool Support for Verification. APWeb (2006)
Yanping Yang, QingPing Tan, Yong Xiao, Jinshan Yu, Feng Liu
Exploiting Hierarchical CP-Nets to Increase the Reliability of Web Services Workflow. SAINT (2006)
Yanping Yang, QingPing Tan, Yong Xiao, Jinshan Yu, Feng Liu
Verifying Web Services Composition: A Transformation-Based Approach. PDCAT (2005)
Yanping Yang, Qinping Tan, Feng Liu, Jinshan Yu
Web Service Composition Algorithm Based on Fix-Point Theorem. Industrial Applications of Semantic Web (2005)