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