Chris Roberts

	2009
2		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		Chris Roberts: Biometric attack vectors and defences. Computers & Security 26(1): 14-25 (2007)

Coauthor Index

1	Michael Buchanan	[2]
2	John Byrnes	[2]
3	Michael Ernst	[2]
4	Robert Keller	[2]
5	Philip Miller	[2]