Dynamic Properties Analysis of a New Kind of Inter-Connected Hydro-Pneumatic Strut. - Ruihong Li; Fan Yang 030; Dezhao Lin; Chenghong Li; Hongwei Chen; Wenbo Qian; Sheng Jia; Feng Zhao (IEEE Access, 2021)

Verifying Semantic Equivalence of Large Models with Equality Saturation. - Kahfi S. Zulkifli; Wenbo Qian; Shaowei Zhu 001; Yuan Zhou; Zhen Zhang; Chang Lou (EuroMLSys, 2025)