Practical Tactics for Verifying C Programs in Coq. - Jingyuan Cao; Ming Fu; Xinyu Feng 001 (CPP, 2015)

An Integrated Classification Algorithm Using Forecasting Probability Strategies for Mobile App Statistics. - Jingyuan Cao; Hong Wang 016; Mo Pang (ICIC (3), 2019)