Claire Quigley

Publication Activity (10 Years)

Years Active: 2001-2006
Publications (10 Years): 0

Publications

Jia Meng, Claire Quigley, Lawrence C. Paulson
Automation for interactive proof: First prototype. Inf. Comput. 204 (10) (2006)
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) (2006)
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) (2001)