Sen Zheng

Failure analysis of frame crack on a wide-body mining dump truck

Weiwei Liu, Xiaoguang Liu, Kai Cheng, 2015 .

Querying the Guarded Fragment via Resolution (Extended Abstract)

Renate A. Schmidt, Sen Zheng, 2020, PAAR+SC²@IJCAI.

Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution

Renate A. Schmidt, Sen Zheng, 2020, AAAI.

Querying Guarded Fragments via Resolution pdf

Renate A. Schmidt, Sen Zheng, 2020, ArXiv.

A novel method for estimating the track-soil parameters based on Kalman and improved strong tracking filters.

Yu Yao, Kai Cheng, Zhi-Jie Zhou, 2015, ISA transactions.