Jinshan Yu

According to our database, Jinshan Yu authored at least 7 papers between 2005 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

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

Proceedings of the Intelligent Robotics and Applications - 14th International Conference, 2021

2007

A Novel Collaborative Verification Environment for SoC Co-Verification.

Tun Li, Sikun Li, Jinshan Yu, Yang Guo

Proceedings of the 11th International Conference on Computer Supported Cooperative Work in Design, 2007

2006

Exploiting Hierarchical CP-Nets to Increase the Reliability of Web Services Workflow.

Yanping Yang, QingPing Tan, Yong Xiao, Jinshan Yu, Feng Liu

Proceedings of the 2006 International Symposium on Applications and the Internet (SAINT 2006), 2006

Scheduling of Transactions Based on Extended Scheduling Timed Petri Nets for SoC System-Level Test-Case Generation.

Jinshan Yu, Tun Li, Yang Guo, QingPing Tan

Proceedings of the Embedded and Ubiquitous Computing, International Conference, 2006

Transform BPEL Workflow into Hierarchical CP-Nets to Make Tool Support for Verification.

Yanping Yang, QingPing Tan, Yong Xiao, Feng Liu, Jinshan Yu

Proceedings of the Frontiers of WWW Research and Development, 2006

2005

Verifying Web Services Composition: A Transformation-Based Approach.

Yanping Yang, QingPing Tan, Yong Xiao, Jinshan Yu, Feng Liu

Proceedings of the Sixth International Conference on Parallel and Distributed Computing, 2005

Web Service Composition Algorithm Based on Fix-Point Theorem.

Yanping Yang, Qinping Tan, Feng Liu, Jinshan Yu

Proceedings of the Industrial Applications of Semantic Web, 2005