| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Abdigani Diriye, Anastasios Tombros, Ann Blandford |
A Little Interaction Can Go a Long Way: Enriching the Query Formulation Process.  |
ECIR  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Masci, Paul Curzon, Ann Blandford, Dominic Furniss |
Modelling Distributed Cognition Systems in PVS. |
ECEASST |
2011 |
DBLP BibTeX RDF |
|
| 1 | Huayi Huang, Rimvydas Ruksenas, Maartje Ament, Paul Curzon, Anna Louise Cox, Ann Blandford, Duncan P. Brumby |
Capturing the distinction between task and device errors in a formal model of user behaviour. |
ECEASST |
2011 |
DBLP BibTeX RDF |
|
| 1 | Stephann Makri, Ann Blandford, Anna Louise Cox, Simon Attfield, Claire Warwick |
Evaluating the Information Behaviour methods: Formative evaluations of two methods for assessing the functionality and usability of electronic information resources. |
Int. J. Hum.-Comput. Stud. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic Furniss, Jonathan Back, Ann Blandford, Michael Hildebrandt, Helena Broberg |
A resilience markers framework for small teams. |
Rel. Eng. & Sys. Safety |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephann Makri, Ann Blandford, Anna Louise Cox |
This is what I'm doing and why: Methodological reflections on a naturalistic think-aloud study of interactive information behaviour. |
Inf. Process. Manage. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann Blandford, Giuseppe De Pietro, Luigi Gallo, Andy Gimblett, Patrick Oladimeji, Harold W. Thimbleby |
Engineering interactive computer systems for medicine and healthcare (EICS4Med). |
EICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephann Makri, Elaine G. Toms, Lori McCay-Peet, Ann Blandford |
Encouraging Serendipity in Interactive Systems. |
INTERACT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic Furniss, Ann Blandford, Paul Curzon |
Confessions from a grounded theory PhD: experiences and lessons learnt. |
CHI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Suziah Sulaiman, Ann Blandford, Paul A. Cairns |
Haptic experience and the design of drawing interfaces. |
Interacting with Computers |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alistair Sutcliffe, Ann Blandford |
Guest Editors' Introduction. |
Interacting with Computers |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kimberley Hiltz, Jonathan Back, Ann Blandford |
The roles of conceptual device models and user goals in avoiding device initialization errors. |
Interacting with Computers |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Attfield, Ann Blandford, Stephann Makri |
Social and interactional practices for disseminating current awareness information in an organisational setting. |
Inf. Process. Manage. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Attfield, Ann Blandford |
Discovery-led refinement in e-discovery investigations: sensemaking, cognitive ergonomics and system design. |
Artif. Intell. Law |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann Blandford, Simon Attfield |
Interacting with Information |
|
2010 |
DOI RDF |
|
| 1 | Stephann Makri, Ann Blandford, Anna Louise Cox |
This is what i'm doing and why: reflections on a think-aloud study of dl users' information behaviour. |
JCDL |
2010 |
DBLP DOI BibTeX RDF |
user study, methodology, reflection, think-aloud |
| 1 | Abdigani Diriye, Ann Blandford, Anastasios Tombros |
Exploring the Impact of Search Interface Features on Search Tasks. |
ECDL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ebba Þóra Hvannberg, Marta Kristín Lárusdóttir, Ann Blandford, Jan Gulliksen (eds.) |
Proceedings of the 6th Nordic Conference on Human-Computer Interaction 2010, Reykjavik, Iceland, October 16-20, 2010 |
NordiCHI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Rimvydas Ruksenas, Jonathan Back, Paul Curzon, Ann Blandford |
Verification-guided modelling of salience and cognitive load. |
Formal Asp. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Claire Warwick, Jon Rimmer, Ann Blandford, Jeremy Gow, George Buchanan |
Cognitive economy and satisficing in information seeking: A longitudinal study of undergraduate information behavior. |
JASIST |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Attfield, Sarah Fegan, Ann Blandford |
Idea generation and material consolidation: tool use and intermediate artefacts in journalistic writing. |
Cognition, Technology & Work |
2009 |
DBLP DOI BibTeX RDF |
Information behaviour, Field study, Writing, Journalism |
| 1 | Penn Smith, Ann Blandford, Jonathan Back |
Questioning, exploring, narrating and playing in the control room to maintain system safety. |
Cognition, Technology & Work |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdigani Diriye, Ann Blandford, Anastasios Tombros |
A polyrepresentational approach to interactive query expansion. |
JCDL |
2009 |
DBLP DOI BibTeX RDF |
query formulation, interactive query expansion |
| 1 | Johanna Kollmann, Helen Sharp, Ann Blandford |
The Importance of Identity and Vision to User Experience Designers on Agile Projects. |
AGILE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Attfield, Ann Blandford |
Improving the Cost Structure of Sensemaking Tasks: Analysing User Concepts to Inform Information System Design. |
INTERACT |
2009 |
DBLP DOI BibTeX RDF |
fraud investigations, conceptual design, Sensemaking |
| 1 | Stephen T. Hassard, Ann Blandford, Anna Louise Cox |
Analogies in design decision-making. |
BCS HCI |
2009 |
DBLP DOI BibTeX RDF |
design decision making, recognition-primed decision making, interaction design, naturalistic decision making |
| 1 | Simon Attfield, Ann Blandford, John Dowell, Paul A. Cairns |
Uncertainty-tolerant design: Evaluating task performance and drag-and-link information gathering for a news-writing task. |
Int. J. Hum.-Comput. Stud. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann Blandford, Thomas R. G. Green, Dominic Furniss, Stephann Makri |
Evaluating system utility and conceptual fit using CASSM. |
Int. J. Hum.-Comput. Stud. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann Blandford, Anne Adams, Simon Attfield, George Buchanan, Jeremy Gow, Stephann Makri, Jon Rimmer, Claire Warwick |
The PRET A Rapporter framework: Evaluating digital libraries from the perspective of information work. |
Inf. Process. Manage. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Gow, Ann Blandford, Sally Jo Cunningham |
Special issue on digital libraries in the context of users' broader activities. |
Inf. Process. Manage. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Rimmer, Claire Warwick, Ann Blandford, Jeremy Gow, George Buchanan |
An examination of the physical and the digital qualities of humanities research. |
Inf. Process. Manage. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephann Makri, Ann Blandford, Anna Louise Cox |
Investigating the information-seeking behaviour of academic lawyers: From Ellis's model to design. |
Inf. Process. Manage. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rimvydas Ruksenas, Paul Curzon, Ann Blandford |
Modelling and analysing cognitive causes of security breaches. |
ISSE |
2008 |
DBLP DOI BibTeX RDF |
Security, Formal verification, Human error, Cognitive architecture, SAL |
| 1 | Rimvydas Ruksenas, Jonathan Back, Paul Curzon, Ann Blandford |
Formal Modelling of Salience and Cognitive Load. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephann Makri, Ann Blandford, Anna Louise Cox |
Using information behaviors to evaluate the functionality and usability of electronic resources: From Ellis's model to evaluation. |
JASIST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic Furniss, Ann Blandford, Paul Curzon |
Usability Work in Professional Website Design: Insights from Practitioners' Perspectives. |
Maturing Usability |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rimvydas Ruksenas, Paul Curzon, Ann Blandford |
Modelling Rational User Behaviour as Games between an Angel and a Demon. |
SEFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Back, Dominic Furniss, Michael Hildebrandt, Ann Blandford |
Resilience Markers for Safer Systems and Organisations. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
nuclear domain, distributed cognition, Human error, control rooms |
| 1 | Simon Attfield, Stephann Makri, James Kalbach, Ann Blandford, Stephen De Gabrielle, Mark Edwards |
Prioritisation, Resources and Search Terms: A Study of Decision-Making at the Virtual Reference Desk. |
ECDL |
2008 |
DBLP DOI BibTeX RDF |
virtual reference service, collaborative information access, evaluation |
| 1 | Hanna Stelmaszewska, Bob Fields, Ann Blandford |
The roles of time, place, value and relationships in collocated photo sharing with camera phones. |
BCS HCI |
2008 |
DBLP DOI BibTeX RDF |
personal photography, sharing behaviour, user experience, social interaction, place, camera phone, photo sharing |
| 1 | Sarah Faisal, Brock Craft, Paul A. Cairns, Ann Blandford |
Internalization, qualitative methods, and evaluation. |
BELIV |
2008 |
DBLP DOI BibTeX RDF |
evaluation, usability, information visualization, qualitative methods |
| 1 | Ann Blandford, Paul Curzon, Joanne Hyde, George Papatzanis |
EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System. |
DSV-IS |
2008 |
DBLP DOI BibTeX RDF |
in-car navigation systems, satellite navigation systems, usability evaluation, multimodal systems |
| 1 | Ann Blandford, Suzette Keith, Richard Butterworth, Bob Fields, Dominic Furniss |
Disrupting digital library development with scenario informed design. |
Interacting with Computers |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Curzon, Rimvydas Ruksenas, Ann Blandford |
An approach to formal verification of human-computer interaction. |
Formal Asp. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Formal cognitive architecture, Formal verification, Theorem proving, Interactive systems, Human error |
| 1 | Rimvydas Ruksenas, Paul Curzon, Ann Blandford |
Detecting Cognitive Causes of Confidentiality Leaks. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephann Makri, Ann Blandford, Jeremy Gow, Jon Rimmer, Claire Warwick, George Buchanan |
A library or just another information resource? A case study of users' mental models of traditional and digital libraries. |
JASIST |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford |
Providing a formal linkage between MDG and HOL. |
Formal Methods in System Design |
2007 |
DBLP DOI BibTeX RDF |
Verification system correctness, Hybrid verification systems, Formal hardware verification, Usability verification |
| 1 | Rimvydas Ruksenas, Paul Curzon, Ann Blandford, Jonathan Back |
Combining Human Error Verification and Timing Analysis. |
EHCI/DS-VIS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann Blandford, Thomas R. G. Green, Iain Connell, Tony Rose |
Knowledge Representation Environments: An Investigation of the CASSMs between Creators, Composers and Consumers. |
EHCI/DS-VIS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgios Papatzanis, Paul Curzon, Ann Blandford |
Identifying Phenotypes and Genotypes: A Case Study Evaluating an In-Car Navigation System. |
EHCI/DS-VIS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | George Buchanan, Jeremy Gow, Ann Blandford, Jon Rimmer, Claire Warwick |
Representing aggregate works in the digital library. |
JCDL |
2007 |
DBLP DOI BibTeX RDF |
aggregate documents, architecture, digital libraries |
| 1 | Jonathan Back, Ann Blandford, Paul Curzon |
Slip errors and cue salience. |
ECCE |
2007 |
DBLP DOI BibTeX RDF |
attentional control, cognitive skill, human error |
| 1 | Dominic Furniss, Ann Blandford, Paul Curzon |
Usability evaluation methods in practice: understanding the context in which they are embedded. |
ECCE |
2007 |
DBLP DOI BibTeX RDF |
UEMs, safety-critical system development, usability practice, usability evaluation methods, website design |
| 1 | Ann Blandford, Jeremy Gow, George Buchanan, Claire Warwick, Jon Rimmer |
Creators, Composers and Consumers: Experiences of Designing a Digital Library. |
INTERACT |
2007 |
DBLP DOI BibTeX RDF |
design chains, digital libraries, system development |
| 1 | Jonathan Back, Ann Blandford, Paul Curzon |
Recognising Erroneous and Exploratory Interactions. |
INTERACT |
2007 |
DBLP DOI BibTeX RDF |
HCI, Human error, self-report |
| 1 | Ann Blandford, Rachel Benedyk, Nadia Berthouze, Anna Louise Cox, John Dowell |
The Challenges of Creating Connections and Raising Awareness: Experience from UCLIC. |
INTERACT |
2007 |
DBLP DOI BibTeX RDF |
social and organisational impacts of technology, digital libraries, cognition, formal models, affect, human error, design practice |
| 1 | Sarah Faisal, Paul A. Cairns, Ann Blandford |
Building for Users not for Experts: Designing a Visualization of the Literature Domain. |
IV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarah Faisal, Paul A. Cairns, Ann Blandford |
Challenges of evaluating the information visualisation experience. |
BCS HCI |
2007 |
DBLP DOI BibTeX RDF |
evaluation, user experience, information visualisation |
| 1 | Tobias Uldall-Espersen, Erik Frøkjær, Ann Blandford, Timo Jokela |
Increasing the impact of usability work in software development. |
CHI Extended Abstracts |
2007 |
DBLP DOI BibTeX RDF |
organizational influence, usability requirement management, software engineering, usability, case study, software quality |
| 1 | Gavin J. Doherty, Ann Blandford (eds.) |
Interactive Systems. Design, Specification, and Verification, 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers |
DSV-IS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Simon Attfield, Anne Adams, Ann Blandford |
Patient information needs: pre- and post-consultation. |
Health Informatics Journal |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann Blandford, Suzette Keith, Bob Fields |
Claims Analysis "In the Wild: " A Case Study on Digital Library Development. |
Int. J. Hum. Comput. Interaction |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann Blandford |
Interacting with information resources: digital libraries for education. |
IJLT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas R. G. Green, Ann Blandford, L. Church, Chris R. Roast, S. Clarke |
Cognitive dimensions: Achievements, new directions, and open questions. |
J. Vis. Lang. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | George Buchanan, Jeremy Gow, Ann Blandford, Jon Rimmer, Claire Warwick |
Representing Aggregate Works in the Digital Library. |
ECDL |
2006 |
DBLP DOI BibTeX RDF |
Collection Building, Architecture, Digital Libraries |
| 1 | Sarah Faisal, Paul A. Cairns, Ann Blandford |
Developing User Requirements for Visualizations of Literature Knowledge Domains. |
IV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rimvydas Ruksenas, Paul Curzon, Jonathan Back, Ann Blandford |
Formal Modelling of Cognitive Interpretation. |
DSV-IS |
2006 |
DBLP DOI BibTeX RDF |
model checking, human error, cognitive architecture, SAL |
| 1 | Anne Adams, Ann Blandford |
Bridging the gap between organizational and user perspectives of security in the clinical domain. |
International Journal of Man-Machine Studies |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Adams, Ann Blandford, Dawn Budd, Neil Bailey |
Organizational communication and awareness: a novel solution for health informatics. |
Health Informatics Journal |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Leanne Fleet, Ann Blandford |
Requirements of time management tools for outpatient physiotherapy practice. |
Health Informatics Journal |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Adams, Ann Blandford, Peter Lunt |
Social empowerment and exclusion: A case study on digital libraries. |
ACM Trans. Comput.-Hum. Interact. |
2005 |
DBLP DOI BibTeX RDF |
Social exclusion, social empowerment, digital libraries, communities of practice, grounded theory |
| 1 | Anne Adams, Ann Blandford |
Digital libraries' support for the user's 'information journey'. |
JCDL |
2005 |
DBLP DOI BibTeX RDF |
clinical, digital library intermediaries, HCI, digital libraries, health, grounded theory, context of use, user communities, academia |
| 1 | Claire Warwick, Jon Rimmer, Ann Blandford, George Buchanan |
User centred interactive search in the humanities. |
JCDL |
2005 |
DBLP DOI BibTeX RDF |
humanities users, HCI, usability, digital libraries, libraries |
| 1 | George Buchanan, Sally Jo Cunningham, Ann Blandford, Jon Rimmer, Claire Warwick |
Information Seeking by Humanities Scholars. |
ECDL |
2005 |
DBLP DOI BibTeX RDF |
Human-Computer Interaction, Digital Libraries, Information Seeking, Humanities |
| 1 | Ann Blandford, Dominic Furniss |
DiCoT: A Methodology for Applying Distributed Cognition to the Design of Teamworking Systems. |
DSV-IS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Chozos, Jennifer G. Sheridan, Özcan Mehmet, Amir Naghsh, Kwang Chun Lee, Ann Blandford |
Supporting Values Other Than Usability and Performance Within the Design Process. |
DSV-IS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann Blandford, Richard Butterworth, Paul Curzon |
Models of interactive systems: a case study on programmable user modelling. |
Int. J. Hum.-Comput. Stud. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann Blandford, B. L. William Wong |
Situation awareness in emergency medical dispatch. |
Int. J. Hum.-Comput. Stud. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Iain Connell, Ann Blandford, Thomas R. G. Green |
CASSM and cognitive walkthrough: usability issues with ticket vending machines. |
Behaviour & IT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanna Stelmaszewska, Ann Blandford |
From physical to digital: a case study of computer scientists' behaviour in physical libraries. |
Int. J. on Digital Libraries |
2004 |
DBLP DOI BibTeX RDF |
Physical libraries, HCI, Digital libraries, User requirements |
| 1 | Ann Blandford, George Buchanan, Matt Jones |
Usability of digital libraries. |
Int. J. on Digital Libraries |
2004 |
DBLP DOI BibTeX RDF |
Use-in-context, Digital libraries, Usability evaluation, User-centred design |
| 1 | Anne Adams, Ann Blandford |
The unseen and unacceptable face of digital libraries. |
Int. J. on Digital Libraries |
2004 |
DBLP DOI BibTeX RDF |
Usability, Digital libraries, Grounded Theory, User communities, Social structures |
| 1 | Ann Blandford, Thomas R. G. Green, Iain Connell |
Formalising an Understanding of User-System Misfits. |
EHCI/DS-VIS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann Blandford, Suzette Keith, Iain Connell, Helen Edwards |
Analytical usability evaluation for digital libraries: a case study. |
JCDL |
2004 |
DBLP DOI BibTeX RDF |
cassm, claims analysis, digital libraries, scenarios, usability evaluation, personas, heuristic evaluation, scenario-based design, cognitive walkthrough |
| 1 | Paul Curzon, Ann Blandford |
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
user error, formal verification, Cognitive architecture, design rules |
| 1 | George Buchanan, Ann Blandford, Harold W. Thimbleby, Matt Jones |
Supporting Information Structuring in a Digital Library. |
ECDL |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | George Buchanan, Ann Blandford, Harold W. Thimbleby, Matt Jones |
Integrating information seeking and structuring: exploring the role of spatial hypertext in a digital library. |
Hypertext |
2004 |
DBLP DOI BibTeX RDF |
information retrieval, digital libraries, spatial hypertext |
| 1 | Simon Attfield, Ann Blandford, Brock Craft |
Task Embedded Visualisation: The Design for an Interactive IR Results Display for Journalists. |
IV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bob Fields, Suzette Keith, Ann Blandford |
Designing for Expert Information Finding Strategies. |
BCS HCI |
2004 |
DBLP BibTeX RDF |
|
| 1 | A. Serengul Guven Smith, Ann Blandford |
MLTutor: An Application of Machine Learning Algorithms for an Adaptive Web-based Information System. |
I. J. Artificial Intelligence in Education |
2003 |
DBLP BibTeX RDF |
|
| 1 | Shailey Minocha, Lisa Dawson, Ann Blandford, Dave Roberts |
The Customer's Perspective Sociological Accounts of E-Commerce Encounters. |
ICWI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ann Blandford, Iain Connell |
Ontological Sketch Modelling (OSM): Concept-based Usability Analysis. |
INTERACT |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ann Blandford, G. Rugg |
A case study on integrating contextual information with analytical usability evaluation. |
Int. J. Hum.-Comput. Stud. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann Blandford, George Buchanan |
Workshop report: usability of digital libraries @ JCDL'02. |
SIGIR Forum |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Adams, Ann Blandford |
Digital Libraries in Academia: Challenges and Changes. |
ICADL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann Blandford, Hanna Stelmaszewska |
Usability of Musical Digital Libraries: a Multimodal Analysis. |
ISMIR |
2002 |
DBLP BibTeX RDF |
|
| 1 | George Buchanan, Ann Blandford, Matt Jones, Harold W. Thimbleby |
Spatial Hypertext as a Reader Tool in Digital Libraries. |
Visual Interfaces to Digital Libraries |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann Blandford, George Buchanan |
Usability for digital libraries. |
JCDL |
2002 |
DBLP DOI BibTeX RDF |
usability tools, evaluation, human-computer interaction, usability, digital libraries, social aspects |
| 1 | Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford |
Formally Linking MDG and HOL Based on a Verified MDG System. |
IFM |
2002 |
DBLP DOI BibTeX RDF |
hybrid verification systems, deductive theorem proving, symbolic state enumeration, usability verification, hardware verification |
| 1 | Paul Curzon, Ann Blandford |
From a Formal User Model to Design Rules. |
DSV-IS |
2002 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")