Hongxu Cai

According to our database, Hongxu Cai authored at least 3 papers between 2005 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Weak Updates and Separation Logic.

Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai

New Gener. Comput., 2011

2007

Certified self-modifying code.

Hongxu Cai, Zhong Shao, Alexander Vaynberg

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

2005

On Approximation Ratios of Minimum-Energy Multicast Routing in Wireless Networks.

Hongxu Cai, Yingchao Zhao

J. Comb. Optim., 2005