| |
| 2009 | ||
|---|---|---|
| 2 | EE | John Byrnes, Michael Buchanan, Michael Ernst, Philip Miller, Chris Roberts, Robert Keller: Visualizing Proof Search for Theorem Prover Development. Electr. Notes Theor. Comput. Sci. 226: 23-38 (2009) |
| 2007 | ||
| 1 | EE | Chris Roberts: Biometric attack vectors and defences. Computers & Security 26(1): 14-25 (2007) |
| 1 | Michael Buchanan | [2] |
| 2 | John Byrnes | [2] |
| 3 | Michael Ernst | [2] |
| 4 | Robert Keller | [2] |
| 5 | Philip Miller | [2] |