Chaofeng Yu

According to our database, Chaofeng Yu authored at least 5 papers between 2023 and 2025.

Collaborative distances:

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

2025

Verifying chip designs at RTL level.

Nan Zhang, Zhijie Xu, Zhenhua Duan, Cong Tian, Wu Wang, Chaofeng Yu

Sci. Comput. Program., 2025

2023

A proof system for unified temporal logic.

Nan Zhang, Chaofeng Yu, Zhenhua Duan, Cong Tian

Theor. Comput. Sci., March, 2023

Wavelet-Based Time-Reassigned Synchroextracting Transform With Application to Fault Diagnosis of Flexible Thin-Wall Bearing.

Yanjiang Yu, Xuezhi Zhao, Chaofeng Yu

IEEE Trans. Instrum. Meas., 2023

Verifying Chips Design at RTL Level.

Wu Wang, Nan Zhang, Cong Tian, Zhenhua Duan, Zhijie Xu, Chaofeng Yu

Proceedings of the Theoretical Aspects of Software Engineering, 2023

An Approach to Agent Path Planning Under Temporal Logic Constraints.

Chaofeng Yu, Nan Zhang, Zhenhua Duan, Cong Tian

Proceedings of the Computing and Combinatorics - 29th International Conference, 2023