- Cross-Cultural Factors of Physical-Shopping and eShopping Jainaba Jagne Serengul Smith Paul Curzon Elke Duncker
- MIDDLESEX UNIVERSITY, INTERACTION DESIGN CENTRE We present the work of the Middlesex University
- Traditional HOL theorems Results (Yes/No)
- A User Model for Avoiding Design Induced Errors in Soft-Key Interactive Systems
- Strategies for finding government information by older people
- INFORMATION SEEKING STRATEGIES USED BY OLDER PEOPLE Paul Curzon
- Three Approaches to Hardware Veri cation: HOL, MDG and VIS Compared
- Perfect usability The one-button machine? One of my favourite Dilbert strips (http://www.unitedmedia.com/comics/dilbert/) goes something like
- BrainAcademy 2005 promotes HCI Can you answer Computer Science questions on subjects as diverse as logic, interactive art,
- Nordic Journal of Computing COMPARING HOL AND MDG: A CASE STUDY ON
- Importing the Results of Automatic Hardware Veri cation into HOL
- Formally Justifying User-Centred Design Rules: a Case Study on Post-completion Errors
- Equivalence MDG_SEQ_TAC
- When smart thinking is not enough Paul Curzon
- TypesParser BlockExtractor
- The Dog, Hen and Corn...and post-completion errors Paul Curzon, Middlesex University, Interaction Design Centre
- Middlesex University School of Computing Science
- The Impact of Design Changes on Verification Using MDGs M. Hasan Zobair, Sofine Tahar and Paul Curzon
- A Formal Justi cation of a Design Rule for Avoiding Post-completion Errors
- The Impact of Design Changes on Verification Using MDGs M. Hasan Zobair, Sofine Tahar and Paul Curzon
- The Interaction Design Centre, Middlesex University Richard Butterworth, Ann Blandford & Paul Curzon
- Detecting Multiple Classes of User Errors Paul Curzon and Ann Blandford
- Hierarchical Veri cation Using an MDG-HOL Hybrid Tool
- Maori Culture? Who cares? Paul Curzon
- A Comparison of MDG and HOL for Hardware Veri cation
- Backwards compatible Paul Curzon
- BrainAcademy 2006 aims to do more than just entertain BrainAcademy, Queen Mary, University of London's answer to TV talent shows is back
- AEB / RJB/PC Last edited on 13/11/03 10:08 AM 1 Models of interactive systems: a case study on Programmable
- Flexing paper's muscle Paul Curzon
- Cross-cultural Interface Design Strategy Jainaba Jagne, Serengul Guven Smith,
- Providing a Formal Linkage between the MDG Veri cation System and HOL
- Spit-Not-So, or what's in the layout Paul Curzon
- MIDDLESEX UNIVERSITY, INTERACTION DESIGN CENTRE We present the work of the Middlesex University IDC.
- On the Embedding of the MDG Specification Languages in HOL Rabeb Mizouni
- User Interface Design as Systems Design Harold Thimbleby, Ann Blandford, Paul Cairns,
- Reasoning about Order Errors in Interaction Paul Curzon and Ann Blandford
- An Approach to Link HOL and MDG for Hardware Veri cation V.K. Pisini1, S. Tahar1, O. Ait-Mohamed2, P. Curzon3 and X. Song4
- Veri cation of the MDG Components Library Paul Curzon1, So ene Tahar2, and Otmane A
- Using a Veri cation System to Reason about Post-Completion Errors
- A study into the effect of digitisation projects on the management and stability of historic photograph
