C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Jinshan Yu
ORCID
Publication Activity (10 Years)
Years Active: 2005-2021
Publications (10 Years): 1
Top Topics
Inverse Dynamics
Parallel Manipulator
Quality Evaluation
Motion Planning
Top Venues
ICIRA (1)
</>
Publications
</>
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)