Reduction-based analysis of BGP systems with BGPVerif. - Anduo Wang; Alexander J. T. Gurney; Xianglong Han; Jinyan Cao; Carolyn L. Talcott; Boon Thau Loo; Andre Scedrov (SIGCOMM, 2012)

A reduction-based approach towards scaling up formal analysis of internet configurations. - Anduo Wang; Alexander J. T. Gurney; Xianglong Han; Jinyan Cao; Boon Thau Loo; Carolyn L. Talcott; Andre Scedrov (INFOCOM, 2014)

A General Relative Radiometric Correction Method for Vignetting Noise Drift. - Liming Fan; Shuhai Yu; Xing Zhong; Maosheng Chen; Dong Wang; Jinyan Cao; Xiyan Cai (Remote. Sens., 2023)

Multi-view outlier detection based on multi-granularity fusion of fuzzy rough granules. - Siyi Qiu; Yuefei Wang; Zixu Wang; Jinyan Cao; Xi Yu (Int. J. Approx. Reason., 2025)

An energy-aware technique for solving the offloading problem of mobile internet of things using an enhanced neural network-based optimization algorithm. - HaoJi Xia; Jinyan Cao (Clust. Comput., 2025)