Shanyan Chen

According to our database, Shanyan Chen authored at least 6 papers between 2020 and 2026.

Collaborative distances:

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

2026

Formal Modeling and Verification of Grover's Algorithm.

Hongxia Sun, Zhiping Shi, Shanyan Chen, uohui Wang, Ximeng Li, Yong Guan, Qianying Zhang, Zhenzhou Shao

CoRR, January, 2026

Formal reasoning about Bernstein-Vazirani algorithm.

Hongxia Sun, Zhi-Ping Shi, Shanyan Chen, Guohui Wang, Ximeng Li, Yong Guan

J. Log. Algebraic Methods Program., 2026

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