Claire Quigley

According to our database, Claire Quigley authored at least 3 papers between 2001 and 2006.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2006

Erratum to "Automation for interactive proof: First prototype" [Inform. and Comput. 204(2006) 1575-1596].

Jia Meng, Claire Quigley, Lawrence C. Paulson

Inf. Comput., 2006

Automation for interactive proof: First prototype.

Jia Meng, Claire Quigley, Lawrence C. Paulson

Inf. Comput., 2006

2001

Third age usability and safety-an ergonomics contribution to design.

David R. Hitchcock, Suzanne Lockyer, Sharon Cook, Claire Quigley

Int. J. Hum. Comput. Stud., 2001