| 2008 |
|---|
| 41 | EE | Ann Blandford,
Paul Curzon,
Joanne Hyde,
George Papatzanis:
EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System.
DSV-IS 2008: 1-14 |
| 40 | EE | Paul Curzon,
Peter W. McOwan:
Engaging with computer science through magic shows.
ITiCSE 2008: 179-183 |
| 39 | EE | Rimvydas Ruksenas,
Paul Curzon,
Ann Blandford:
Modelling Rational User Behaviour as Games between an Angel and a Demon.
SEFM 2008: 355-364 |
| 38 | EE | Antonio Cerone,
Paul Curzon:
Preface.
Electr. Notes Theor. Comput. Sci. 208: 1-3 (2008) |
| 37 | EE | Rimvydas Ruksenas,
Jonathan Back,
Paul Curzon,
Ann Blandford:
Formal Modelling of Salience and Cognitive Load.
Electr. Notes Theor. Comput. Sci. 208: 57-75 (2008) |
| 2007 |
|---|
| 36 | EE | Jonathan Back,
Ann Blandford,
Paul Curzon:
Slip errors and cue salience.
ECCE 2007: 221-224 |
| 35 | EE | Dominic Furniss,
Ann Blandford,
Paul Curzon:
Usability evaluation methods in practice: understanding the context in which they are embedded.
ECCE 2007: 253-256 |
| 34 | EE | Jonathan Back,
Ann Blandford,
Paul Curzon:
Recognising Erroneous and Exploratory Interactions.
INTERACT (2) 2007: 127-140 |
| 33 | EE | Paul Curzon:
Serious fun in computer science.
ITiCSE 2007: 1 |
| 32 | EE | Antonio Cerone,
Paul Curzon:
Preface.
Electr. Notes Theor. Comput. Sci. 183: 1-2 (2007) |
| 31 | EE | Rimvydas Ruksenas,
Paul Curzon,
Ann Blandford:
Detecting Cognitive Causes of Confidentiality Leaks.
Electr. Notes Theor. Comput. Sci. 183: 21-38 (2007) |
| 30 | EE | Paul Curzon,
Rimvydas Ruksenas,
Ann Blandford:
An approach to formal verification of human-computer interaction.
Formal Asp. Comput. 19(4): 513-550 (2007) |
| 29 | EE | Haiyan Xiong,
Paul Curzon,
Sofiène Tahar,
Ann Blandford:
Providing a formal linkage between MDG and HOL.
Formal Methods in System Design 30(2): 83-116 (2007) |
| 2006 |
|---|
| 28 | EE | Rimvydas Ruksenas,
Paul Curzon,
Jonathan Back,
Ann Blandford:
Formal Modelling of Cognitive Interpretation.
DSV-IS 2006: 123-136 |
| 27 | EE | T. C. Nicholas Graham,
Paul Curzon,
Gavin Doherty,
Philippe A. Palanque,
Richard Potter,
Christopher Roast,
Shamus P. Smith:
Usability and Computer Games: Working Group Report.
DSV-IS 2006: 265-268 |
| 26 | EE | Rabeb Mizouni,
Sofiène Tahar,
Paul Curzon:
Hybrid verification integrating HOL theorem proving with MDG model checking.
Microelectronics Journal 37(11): 1200-1207 (2006) |
| 2005 |
|---|
| 25 | EE | Veronica Davis Perkins,
Richard Butterworth,
Paul Curzon,
Bob Fields:
A Study into the Effect of Digitisation Projects on the Management and Stability of Historic Photograph Collections.
ECDL 2005: 278-289 |
| 24 | EE | Paul Curzon,
Judy Wilson,
Gill Whitney:
Successful strategies of older people for finding information.
Interacting with Computers 17(6): 660-671 (2005) |
| 2004 |
|---|
| 23 | EE | Paul Curzon,
Ann Blandford:
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors.
IFM 2004: 461-480 |
| 22 | EE | Paul Curzon,
Suzette Keith,
Judy Wilson,
Gill Whitney:
Strategies for Finding Government Information by Older People.
User Interfaces for All 2004: 34-41 |
| 21 | EE | Ann Blandford,
Richard Butterworth,
Paul Curzon:
Models of interactive systems: a case study on programmable user modelling.
Int. J. Hum.-Comput. Stud. 60(2): 149-200 (2004) |
| 2003 |
|---|
| 20 | EE | Skander Kort,
Sofiène Tahar,
Paul Curzon:
Hierarchical formal verification using a hybrid tool.
STTT 4(3): 313-322 (2003) |
| 2002 |
|---|
| 19 | EE | Paul Curzon,
Ann Blandford:
From a Formal User Model to Design Rules.
DSV-IS 2002: 1-15 |
| 18 | EE | Haiyan Xiong,
Paul Curzon,
Sofiène Tahar,
Ann Blandford:
Formally Linking MDG and HOL Based on a Verified MDG System.
IFM 2002: 205-224 |
| 2001 |
|---|
| 17 | EE | Iskander Kort,
Sofiène Tahar,
Paul Curzon:
Hierarchical Verification Using an MDG-HOL Hybrid Tool.
CHARME 2001: 244-258 |
| 16 | EE | Paul Curzon,
Ann Blandford:
Detecting Multiple Classes of User Errors.
EHCI 2001: 57-72 |
| 2000 |
|---|
| 15 | EE | V. K. Pisini,
Sofiène Tahar,
Paul Curzon,
Otmane Aït Mohamed,
Xiaoyu Song:
Formal hardware verification by integrating HOL and MDG.
ACM Great Lakes Symposium on VLSI 2000: 23-28 |
| 1999 |
|---|
| 14 | EE | Haiyan Xiong,
Paul Curzon,
Sofiène Tahar:
Importing MDG Verification Results into HOL.
TPHOLs 1999: 293-310 |
| 13 | | Sofiène Tahar,
Paul Curzon:
Comparing HOL and MDG: a Case Study on the Verification of an ATM Switch Fabric.
Nord. J. Comput. 6(4): 372-402 (1999) |
| 1998 |
|---|
| 12 | EE | Sofiène Tahar,
Paul Curzon,
Jianping Lu:
Three Approaches to Hardware Verification: HOL, MDG and VIS Compared.
FMCAD 1998: 433-450 |
| 1996 |
|---|
| 11 | | Sofiène Tahar,
Paul Curzon:
A Comparison of MDG and HOL for Hardware Verification.
TPHOLs 1996: 415-430 |
| 1995 |
|---|
| 10 | | Paul Curzon:
Problems encountered in the machine-assisted proof of hardware.
CHARME 1995: 56-70 |
| 9 | EE | Paul Curzon,
I. M. Leslie:
A case study on design for provability.
ICECCS 1995: 59-62 |
| 8 | | Paul Curzon:
Virtual Theories.
TPHOLs 1995: 138-153 |
| 7 | | Paul Curzon:
Tracking Design Changes with Formal Machine - Checked Proof.
Comput. J. 38(2): 91-100 (1995) |
| 1994 |
|---|
| 6 | | Paul Curzon:
The Formal Verification of an ATM Network.
PODC 1994: 392 |
| 5 | | Paul Curzon:
Tracking Design Changes with Formal Verification.
TPHOLs 1994: 177-192 |
| 1993 |
|---|
| 4 | | Paul Curzon:
Deriving Correctness Properties of Compiled Code.
Formal Methods in System Design 3(1/2): 83-115 (1993) |
| 1992 |
|---|
| 3 | | Paul Curzon:
A Programming Logic for a Verified Structured Assembly Language.
LPAR 1992: 403-408 |
| 2 | | Paul Curzon:
Deriving Correctness Properties of Compiled Code.
TPHOLs 1992: 327-346 |
| 1991 |
|---|
| 1 | | Paul Curzon:
A Verified Compiler for a Structured Assembly Language.
TPHOLs 1991: 253-262 |
