| 2009 | ||
|---|---|---|
| 2 | Kyle Ingols, Matthew Chu, Richard Lippmann, Seth E. Webster, Stephen Boyer: Modeling Modern Network Attacks and Countermeasures Using Attack Graphs. ACSAC 2009: 117-126 | |
| 2007 | ||
| 1 | Matthew Chu, Sampath Kannan, Andrew McGregor: Checking and Spot-Checking the Correctness of Priority Queues. ICALP 2007: 728-739 | |
| 1 | Stephen Boyer | [2] |
| 2 | Kyle Ingols | [2] |
| 3 | Sampath Kannan | [1] |
| 4 | Richard Lippmann | [2] |
| 5 | Andrew McGregor | [1] |
| 6 | Seth E. Webster | [2] |