Quantitative analysis for symbolic heap bounds of CPS software. - Renjian Li; Ji Wang 001; Liqian Chen; Wanwei Liu; Dengping Wei (Comput. Sci. Inf. Syst., 2011)

Static analysis of list-manipulating programs via bit-vectors and numerical abstractions. - Liqian Chen; Renjian Li; Xueguang Wu; Ji Wang 001 (SAC, 2013)

A Discrete Particle Swarm Optimization Algorithm for Archipelago Berth Allocation Problem. - Jianliang Peng; Renjian Li (J. Comput., 2014)

Static analysis of lists by combining shape and numerical abstractions. - Liqian Chen; Renjian Li; Xueguang Wu; Ji Wang 001 (Sci. Comput. Program., 2014)