| 2007 |
|---|
| 3 | EE | Todd Deshane,
Wenjin Hu,
Patty Jablonski,
Hai Lin,
Christopher Lynch,
Ralph Eric McGregor:
Encoding First Order Proofs in SAT.
CADE 2007: 476-491 |
| 2 | EE | 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 | EE | 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 |
