Interpolants for Linear Arithmetic in SMT. - Christopher Lynch; Yuefeng Tang (ATVA, 2008)

Rewriting Interpolants. - Christopher Lynch; Yuefeng Tang (FICS, 2008)

Calculation Method on Tracking Interval of Magnetic Levitation Train. - Ning Wang; Yuefeng Tang; Xiangqian Liu (ISCID (2), 2018)