dblp.uni-trier.dewww.uni-trier.de

Claire Quigley

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
3EEJia Meng, Claire Quigley, Lawrence C. Paulson: Automation for interactive proof: First prototype. Inf. Comput. 204(10): 1575-1596 (2006)
2EEJia 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
1EEDavid 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)