Hongxu Cai

Publication Activity (10 Years)

Years Active: 2005-2011
Publications (10 Years): 0

Publications

Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai
Weak Updates and Separation Logic. New Gener. Comput. 29 (1) (2011)
Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai
Weak updates and separation logic. APLAS (2009)
Hongxu Cai, Zhong Shao, Alexander Vaynberg
Certified self-modifying code. PLDI (2007)
Hongxu Cai, Yingchao Zhao
On Approximation Ratios of Minimum-Energy Multicast Routing in Wireless Networks. J. Comb. Optim. 9 (3) (2005)