Wenjin Hu

	2007
2		Todd Deshane, Wenjin Hu, Patty Jablonski, Hai Lin, Christopher Lynch, Ralph Eric McGregor: Encoding First Order Proofs in SAT. CADE 2007: 476-491
1		Jeanna Neefe Matthews, Wenjin Hu, Madhujith Hapuarachchi, Todd Deshane, Demetrios Dimatos, Gary Hamilton, Michael McCabe, James Owens: Quantifying the performance isolation properties of virtualization systems. Experimental Computer Science 2007: 6

Coauthor Index

1	Todd Deshane	[1] [2]
2	Demetrios Dimatos	[1]
3	Gary Hamilton	[1]
4	Madhujith Hapuarachchi	[1]
5	Patty Jablonski	[2]
6	Hai Lin	[2]
7	Christopher Lynch	[2]
8	Jeanna Neefe Matthews	[1]
9	Michael McCabe	[1]
10	Ralph Eric McGregor	[2]
11	James Owens	[1]