Recognition of driving postures by nonsubsampled contourlet transform and k-nearest neighbor classifier. - Chihang Zhao; Jie He 006; Xiaoqin Zhang; Xingzhi Qi; Aiwen Chen (Comput. Syst. Sci. Eng., 2015)

Vehicle detection in urban traffic scenes using the Pixel-Based Adaptive Segmenter with Confidence Measurement. - Yunsheng Zhang; Chihang Zhao; Ai-Wei Chen; Xingzhi Qi (J. Intell. Fuzzy Syst., 2016)

Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving. - Qi Liu; Xinhao Zheng; Renqiu Xia; Xingzhi Qi; Qinxiang Cao; Junchi Yan (CoRR, 2025)