Quasi-Linearizability is Undecidable. - Chao Wang 069; Yi Lv; Gaoang Liu; Peng Wu 002 (APLAS, 2015)

Branching Bisimulation and Concurrent Object Verification. - Xiaoxiao Yang; Joost-Pieter Katoen; Huimin Lin; Gaoang Liu; Hao Wu 013 (DSN, 2018)

The Complexity of Weak Consistency. - Gaoang Liu; Xiuying Liu (FAW, 2018)