Yuhan Ke

According to our database, Yuhan Ke authored at least 2 papers between 2023 and 2025.

Collaborative distances:

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

2025

Modeling and Verification of MRSCAN Based on MapReduce Framework.

Zhengkang Zuo, Yuhan Ke, Ying Hu, Qing Huang, Zhicheng Zeng, Changjing Wang

IEEE Trans. Reliab., September, 2025

2023

Specification transformation method for functional program generation based on partition-recursion refinement rule.

Zhengkang Zuo, Zhicheng Zeng, Wei Su, Qing Huang, Yuhan Ke, Zengxin Liu, Changjing Wang, Wei Liang

Inf. Sci., July, 2023