Todd Deshane

	2007
3		Todd Deshane, Wenjin Hu, Patty Jablonski, Hai Lin, Christopher Lynch, Ralph Eric McGregor: Encoding First Order Proofs in SAT. CADE 2007: 476-491
2		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
	2004
1		Bryan Clark, Todd Deshane, Eli Dow, Stephen Evanchik, Matthew Finlayson, Jason Herne, Jeanna Neefe Matthews: Xen and the Art of Repeated Research. USENIX Annual Technical Conference, FREENIX Track 2004: 135-144

Coauthor Index

1	Bryan Clark	[1]
2	Demetrios Dimatos	[2]
3	Eli Dow	[1]
4	Stephen Evanchik	[1]
5	Matthew Finlayson	[1]
6	Gary Hamilton	[2]
7	Madhujith Hapuarachchi	[2]
8	Jason Herne	[1]
9	Wenjin Hu	[2] [3]
10	Patty Jablonski	[3]
11	Hai Lin	[3]
12	Christopher Lynch	[3]
13	Jeanna Neefe Matthews	[1] [2]
14	Michael McCabe	[2]
15	Ralph Eric McGregor	[3]
16	James Owens	[2]