![]() ![]() ![]() | ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Note: Links lead to the DBLP on the Web. Ann Blandford 10 Haiyan Xiong , Paul Curzon , Sofiène Tahar , Ann Blandford: Formally Linking MDG and HOL Based on a Verified MDG System. IFM 2002 : 205-224 9 Anne Adams , Ann Blandford: Digital Libraries in a Clinical Setting: Friend or Foe? ECDL 2001 : 213-224 8 Paul Curzon , Ann Blandford: Detecting Multiple Classes of User Errors. EHCI 2001 : 57-72 7 Ann Blandford, Hanna Stelmaszewska , Nick Bryan-Kinns : Use of multiple digital libraries: a case study. JCDL 2001 : 179-188 6 Richard Butterworth , Ann Blandford, David J. Duke : Demonstrating the Cognitive Plausibility of Interactive System Specifications. Formal Aspects of Computing 12 (4): 237-259 (2000) 5 Richard Butterworth , Ann Blandford, David J. Duke : Using Formal Models to Explore Display-Based Usability Issues. Journal of Visual Languages and Computing 10 (4): 455-479 (1999) 4 Ann Blandford: ``Knowledge Negotiation, '' edited by R. Moyse and M. T. Elsom-Cook (Book Review). International Journal of Man-Machine Studies 39 (6): 1051-1057 (1993) 3 Ann Blandford: An Agent-Theoretic Approach to Computer Participation in Dialogue. International Journal of Man-Machine Studies 39 (6): 965-998 (1993) 2 Ann Blandford: A Tutorial Dialogue Model to Encourage Externalisation and Reflection. ECAI 1990 : 96-98 1 Ann Blandford: WOMBAT: An Intelligent Educational System to Encourage Externalisation and Reflection on Decision Processes. ICCAL 1990 : 381-399 ![]() DiSC'02 © 2003 Association for Computing Machinery |