Hongxu Cai

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

Collaborative distances:

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

2009

Weak updates and separation logic.

Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai

Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009

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