|
Search the dblp DataBase
Claire Quigley:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Jia Meng, Claire Quigley, Lawrence C. Paulson
Automation for interactive proof: First prototype. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2006, v:204, n:10, pp:1575-1596 [Journal]
- Jia Meng, Claire Quigley, Lawrence C. Paulson
Erratum to "Automation for interactive proof: First prototype" [Inform. and Comput. 204(2006) 1575-1596]. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2006, v:204, n:12, pp:1852- [Journal]
- David R. Hitchcock, Suzanne Lockyer, Sharon Cook, Claire Quigley
Third age usability and safety-an ergonomics contribution to design. [Citation Graph (0, 0)][DBLP] Int. J. Hum.-Comput. Stud., 2001, v:55, n:4, pp:635-643 [Journal]
Search in 0.002secs, Finished in 0.002secs
|