|
Search the dblp DataBase
Paul Curzon:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Iskander Kort, Sofiène Tahar, Paul Curzon
Hierarchical Verification Using an MDG-HOL Hybrid Tool. [Citation Graph (0, 0)][DBLP] CHARME, 2001, pp:244-258 [Conf]
- Paul Curzon
Problems encountered in the machine-assisted proof of hardware. [Citation Graph (0, 0)][DBLP] CHARME, 1995, pp:56-70 [Conf]
- Paul Curzon, Ann Blandford
From a Formal User Model to Design Rules. [Citation Graph (0, 0)][DBLP] DSV-IS, 2002, pp:1-15 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] DSV-IS, 2006, pp:265-268 [Conf]
- Rimvydas Ruksenas, Paul Curzon, Jonathan Back, Ann Blandford
Formal Modelling of Cognitive Interpretation. [Citation Graph (0, 0)][DBLP] DSV-IS, 2006, pp:123-136 [Conf]
- Paul Curzon, Ann Blandford
Detecting Multiple Classes of User Errors. [Citation Graph (0, 0)][DBLP] EHCI, 2001, pp:57-72 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] ECDL, 2005, pp:278-289 [Conf]
- Sofiène Tahar, Paul Curzon, Jianping Lu
Three Approaches to Hardware Verification: HOL, MDG and VIS Compared. [Citation Graph (0, 0)][DBLP] FMCAD, 1998, pp:433-450 [Conf]
- V. K. Pisini, Sofiène Tahar, Paul Curzon, Otmane Aït Mohamed, Xiaoyu Song
Formal hardware verification by integrating HOL and MDG. [Citation Graph (0, 0)][DBLP] ACM Great Lakes Symposium on VLSI, 2000, pp:23-28 [Conf]
- Paul Curzon, I. M. Leslie
A case study on design for provability. [Citation Graph (0, 0)][DBLP] ICECCS, 1995, pp:59-62 [Conf]
- Paul Curzon, Ann Blandford
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors. [Citation Graph (0, 0)][DBLP] IFM, 2004, pp:461-480 [Conf]
- Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford
Formally Linking MDG and HOL Based on a Verified MDG System. [Citation Graph (0, 0)][DBLP] IFM, 2002, pp:205-224 [Conf]
- Paul Curzon
A Programming Logic for a Verified Structured Assembly Language. [Citation Graph (0, 0)][DBLP] LPAR, 1992, pp:403-408 [Conf]
- Paul Curzon
The Formal Verification of an ATM Network. [Citation Graph (0, 0)][DBLP] PODC, 1994, pp:392- [Conf]
- Paul Curzon
A Verified Compiler for a Structured Assembly Language. [Citation Graph (0, 0)][DBLP] TPHOLs, 1991, pp:253-262 [Conf]
- Paul Curzon
Deriving Correctness Properties of Compiled Code. [Citation Graph (0, 0)][DBLP] TPHOLs, 1992, pp:327-346 [Conf]
- Paul Curzon
Tracking Design Changes with Formal Verification. [Citation Graph (0, 0)][DBLP] TPHOLs, 1994, pp:177-192 [Conf]
- Paul Curzon
Virtual Theories. [Citation Graph (0, 0)][DBLP] TPHOLs, 1995, pp:138-153 [Conf]
- Sofiène Tahar, Paul Curzon
A Comparison of MDG and HOL for Hardware Verification. [Citation Graph (0, 0)][DBLP] TPHOLs, 1996, pp:415-430 [Conf]
- Haiyan Xiong, Paul Curzon, Sofiène Tahar
Importing MDG Verification Results into HOL. [Citation Graph (0, 0)][DBLP] TPHOLs, 1999, pp:293-310 [Conf]
- Paul Curzon, Suzette Keith, Judy Wilson, Gill Whitney
Strategies for Finding Government Information by Older People. [Citation Graph (0, 0)][DBLP] User Interfaces for All, 2004, pp:34-41 [Conf]
- Paul Curzon
Tracking Design Changes with Formal Machine - Checked Proof. [Citation Graph (0, 0)][DBLP] Comput. J., 1995, v:38, n:2, pp:91-100 [Journal]
- Paul Curzon
Deriving Correctness Properties of Compiled Code. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1993, v:3, n:1/2, pp:83-115 [Journal]
- Ann Blandford, Richard Butterworth, Paul Curzon
Models of interactive systems: a case study on programmable user modelling. [Citation Graph (0, 0)][DBLP] Int. J. Hum.-Comput. Stud., 2004, v:60, n:2, pp:149-200 [Journal]
- Paul Curzon, Judy Wilson, Gill Whitney
Successful strategies of older people for finding information. [Citation Graph (0, 0)][DBLP] Interacting with Computers, 2005, v:17, n:6, pp:660-671 [Journal]
- Sofiène Tahar, Paul Curzon
Comparing HOL and MDG: a Case Study on the Verification of an ATM Switch Fabric. [Citation Graph (0, 0)][DBLP] Nord. J. Comput., 1999, v:6, n:4, pp:372-402 [Journal]
- Skander Kort, Sofiène Tahar, Paul Curzon
Hierarchical formal verification using a hybrid tool. [Citation Graph (0, 0)][DBLP] STTT, 2003, v:4, n:3, pp:313-322 [Journal]
- Rabeb Mizouni, Sofiène Tahar, Paul Curzon
Hybrid verification integrating HOL theorem proving with MDG model checking. [Citation Graph (0, 0)][DBLP] Microelectronics Journal, 2006, v:37, n:11, pp:1200-1207 [Journal]
- Jonathan Back, Ann Blandford, Paul Curzon
Recognising Erroneous and Exploratory Interactions. [Citation Graph (0, 0)][DBLP] INTERACT (2), 2007, pp:127-140 [Conf]
- Paul Curzon
Serious fun in computer science. [Citation Graph (0, 0)][DBLP] ITiCSE, 2007, pp:1- [Conf]
- Antonio Cerone, Paul Curzon
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:183, n:, pp:1-2 [Journal]
- Rimvydas Ruksenas, Paul Curzon, Ann Blandford
Detecting Cognitive Causes of Confidentiality Leaks. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:183, n:, pp:21-38 [Journal]
- Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford
Providing a formal linkage between MDG and HOL. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2007, v:30, n:2, pp:83-116 [Journal]
2nd International Workshop on Formal Methods for Interactive Systems. [Citation Graph (, )][DBLP]
EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System. [Citation Graph (, )][DBLP]
Modelling Rational User Behaviour as Games between an Angel and a Demon. [Citation Graph (, )][DBLP]
Engaging with computer science through magic shows. [Citation Graph (, )][DBLP]
Computational thinking (CT): on weaving it in. [Citation Graph (, )][DBLP]
Enthusing & inspiring with reusable kinaesthetic activities. [Citation Graph (, )][DBLP]
Why do students take programming modules? [Citation Graph (, )][DBLP]
Slip errors and cue salience. [Citation Graph (, )][DBLP]
Usability evaluation methods in practice: understanding the context in which they are embedded. [Citation Graph (, )][DBLP]
Formal Modelling of Salience and Cognitive Load. [Citation Graph (, )][DBLP]
Preface. [Citation Graph (, )][DBLP]
Search in 0.010secs, Finished in 0.014secs
|