Papers
12
Total Citations
191
H-Index
8
About
No biography available yet.
Research Focus
Computer science12 · 191 citations
Artificial intelligence10 · 171 citations
Robot7 · 110 citations
Algorithm6 · 107 citations
Programming language5 · 87 citations
Mathematics5 · 80 citations
Control theory (sociology)3 · 78 citations
Correctness4 · 77 citations
Formal verification4 · 76 citations
Kinematics4 · 70 citations
Screw theory4 · 70 citations
Mathematical analysis3 · 63 citations
Key Achievements
8
H-Index
12
Papers
191
Total Citations
16
Avg Citations/Paper
🏆 Most Cited Paper
A Formal Model-Based Design Method for Robotic Systems
47 citations · 2018
📈 Most Prolific Year: 2018 (5 Papers)
🤝 Key Collaborators: 39
🏛 Institutions: Capital Normal University, Beijing Advanced Sciences and Innovation Center
Top Papers
- 1A Formal Model-Based Design Method for Robotic Systems47 citations · 2018
- 2
- 3
- 4Formal Kinematic Analysis of a General 6R Manipulator Using the Screw Theory17 citations · 2015
- 5
- 6Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula11 citations · 2020
- 7Formal verification of a collision-free algorithm of dual-arm robot in HOL411 citations · 2014
- 8Formal analysis of the kinematic Jacobian in screw theory8 citations · 2018
- 9Runtime Verification of Robots Collision Avoidance Case Study7 citations · 2018
- 10Formalization of the inverse kinematics of three-fingered dexterous hand6 citations · 2023
Key Collaborators
YGYong Guan10 shared papersGWGuohui Wang4 shared papersYLYongdong Li3 shared papersHWHongxing Wei2 shared papersXSXiaoyu Song2 shared papersZSZhenzhou Shao2 shared papersSCShanyan Chen2 shared papersQZQianying Zhang2 shared papersXLXiaojuan Li2 shared papersXLXimeng Li2 shared papersAWAixuan Wu2 shared papersJZJie Zhang1 shared papersLLLiming Li1 shared papersJZJingzhi Zhang1 shared papersGLGuilu Li1 shared papersKYKang Yang1 shared papersQLQian Lu1 shared papersYQYing Qu1 shared papersJTJindong Tan1 shared papersTDTao Du1 shared papers
Not generated yet