Making Rigorous Linear Programming Practical for Program Analysis. - Tengbin Wang; Liqian Chen; Taoqing Chen; Guangsheng Fan; Ji Wang 001 (CP, 2021)

Static Bound Analysis of Dynamically Allocated Resources for C Programs. - Guangsheng Fan; Taoqing Chen; Banghu Yin; Liqian Chen; Tengbin Wang; Ji Wang 001 (ISSRE, 2021)

The improved grasshopper optimization algorithm with Cauchy mutation strategy and random weight operator for solving optimization problems. - Lei Wu; Jiawei Wu; Tengbin Wang (Evol. Intell., 2024)