Claire Quigley

2006
3	EE	Jia Meng, Claire Quigley, Lawrence C. Paulson: Automation for interactive proof: First prototype. Inf. Comput. 204(10): 1575-1596 (2006)
2	EE	Jia Meng, Claire Quigley, Lawrence C. Paulson: Erratum to "Automation for interactive proof: First prototype" [Inform. and Comput. 204(2006) 1575-1596]. Inf. Comput. 204(12): 1852 (2006)
2001
1	EE	David R. Hitchcock, Suzanne Lockyer, Sharon Cook, Claire Quigley: Third age usability and safety-an ergonomics contribution to design. Int. J. Hum.-Comput. Stud. 55(4): 635-643 (2001)

Coauthor Index

1	Sharon Cook	[1]
2	David R. Hitchcock	[1]
3	Suzanne Lockyer	[1]
4	Jia Meng	[2] [3]
5	Lawrence C. Paulson	[2] [3]

Colors in the list of coauthors