On Approximation Ratios of Minimum-Energy Multicast Routing in Wireless Networks. - Hongxu Cai; Yingchao Zhao 001 (J. Comb. Optim., 2005)

Certified self-modifying code. - Hongxu Cai; Zhong Shao 001; Alexander Vaynberg (PLDI, 2007)

Weak Updates and Separation Logic. - Gang Tan; Zhong Shao 001; Xinyu Feng 001; Hongxu Cai (New Gener. Comput., 2011)