The SCEAS System
Navigation Menu

Search the dblp DataBase


Paul Curzon: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Paul Curzon
    Problems encountered in the machine-assisted proof of hardware. [Citation Graph (0, 0)][DBLP]
    CHARME, 1995, pp:56-70 [Conf]
  3. Paul Curzon, Ann Blandford
    From a Formal User Model to Design Rules. [Citation Graph (0, 0)][DBLP]
    DSV-IS, 2002, pp:1-15 [Conf]
  4. 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]
  5. 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]
  6. Paul Curzon, Ann Blandford
    Detecting Multiple Classes of User Errors. [Citation Graph (0, 0)][DBLP]
    EHCI, 2001, pp:57-72 [Conf]
  7. 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]
  8. 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]
  9. 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]
  10. Paul Curzon, I. M. Leslie
    A case study on design for provability. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:59-62 [Conf]
  11. 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]
  12. 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]
  13. Paul Curzon
    A Programming Logic for a Verified Structured Assembly Language. [Citation Graph (0, 0)][DBLP]
    LPAR, 1992, pp:403-408 [Conf]
  14. Paul Curzon
    The Formal Verification of an ATM Network. [Citation Graph (0, 0)][DBLP]
    PODC, 1994, pp:392- [Conf]
  15. Paul Curzon
    A Verified Compiler for a Structured Assembly Language. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1991, pp:253-262 [Conf]
  16. Paul Curzon
    Deriving Correctness Properties of Compiled Code. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1992, pp:327-346 [Conf]
  17. Paul Curzon
    Tracking Design Changes with Formal Verification. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1994, pp:177-192 [Conf]
  18. Paul Curzon
    Virtual Theories. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:138-153 [Conf]
  19. 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]
  20. Haiyan Xiong, Paul Curzon, Sofiène Tahar
    Importing MDG Verification Results into HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:293-310 [Conf]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. Jonathan Back, Ann Blandford, Paul Curzon
    Recognising Erroneous and Exploratory Interactions. [Citation Graph (0, 0)][DBLP]
    INTERACT (2), 2007, pp:127-140 [Conf]
  30. Paul Curzon
    Serious fun in computer science. [Citation Graph (0, 0)][DBLP]
    ITiCSE, 2007, pp:1- [Conf]
  31. Antonio Cerone, Paul Curzon
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:183, n:, pp:1-2 [Journal]
  32. 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]
  33. 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]

  34. 2nd International Workshop on Formal Methods for Interactive Systems. [Citation Graph (, )][DBLP]

  35. EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System. [Citation Graph (, )][DBLP]

  36. Modelling Rational User Behaviour as Games between an Angel and a Demon. [Citation Graph (, )][DBLP]

  37. Engaging with computer science through magic shows. [Citation Graph (, )][DBLP]

  38. Computational thinking (CT): on weaving it in. [Citation Graph (, )][DBLP]

  39. Enthusing & inspiring with reusable kinaesthetic activities. [Citation Graph (, )][DBLP]

  40. Why do students take programming modules? [Citation Graph (, )][DBLP]

  41. Slip errors and cue salience. [Citation Graph (, )][DBLP]

  42. Usability evaluation methods in practice: understanding the context in which they are embedded. [Citation Graph (, )][DBLP]

  43. Formal Modelling of Salience and Cognitive Load. [Citation Graph (, )][DBLP]

  44. Preface. [Citation Graph (, )][DBLP]

Search in 0.026secs, Finished in 0.027secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002