Formal Verification of Netlog Protocols. - Meixian Chen; Jean-François Monin (TASE, 2012)

Towards systematic parallel programming of graph problems via tree decomposition and tree parallelism. - Qi Wang 017; Meixian Chen; Yu Liu; Zhenjiang Hu (FHPC@ICFP, 2013)

Reusing constraint proofs for scalable program analysis. - Meixian Chen (ISSTA, 2014)

Reusing constraint proofs in program analysis. - Andrea Aquino; Francesco A. Bianchi; Meixian Chen; Giovanni Denaro; Mauro Pezzè (ISSTA, 2015)

Research on Air-Supported Force Measurement Method and Air-Supported Triaxial Force Measurement Platform. - Bin Huang; Teng Fu; Meixian Chen; Xiaobo Xu; Yong Zhang 040; Xiaojie Tao (IEEE Access, 2019)