Shanyan Chen

According to our database, Shanyan Chen authored at least 4 papers between 2020 and 2025.

Collaborative distances:

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

2025

Formalization of robot collision detection method based on conformal geometric algebra.

Yingjie Wu, Guohui Wang, Shanyan Chen, Zhiping Shi, Yong Guan, Ximeng Li

Formal Methods Syst. Des., December, 2025

2024

Refinement Verification of OS Services based on a Verified Preemptive Microkernel.

Ximeng Li, Shanyan Chen, Yong Guan, Qianying Zhang, Guohui Wang, Zhiping Shi

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2023

Formalization of the inverse kinematics of three-fingered dexterous hand.

Guohui Wang, Shanyan Chen, Yong Guan, Zhi-Ping Shi, Ximeng Li, Jingzhi Zhang

J. Log. Algebraic Methods Program., June, 2023

2020

Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula.

Shanyan Chen, Guohui Wang, Ximeng Li, Qianying Zhang, Zhi-Ping Shi, Yong Guan

Formal Aspects Comput., 2020