Hongxu Cai

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

Coauthor Index

1	Xinyu Feng	[3] [4]
2	Zhong Shao	[2] [3] [4]
3	Gang Tan	[3] [4]
4	Alexander Vaynberg	[2]
5	Yingchao Zhao	[1]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page