Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Paul Curzon
2010 – today
- 2013
[c45]Rimvydas Ruksenas, Paul Curzon, Michael D. Harrison: Integrating Formal Predictions of Interactive System Behaviour with User Evaluation. IFM 2013: 238-252- [c44]Tim Bell, Daniela Marghitu, Lynn Lambert, Paul Curzon: Computer science unplugged, robotics, and outreach activities (abstract only). SIGCSE 2013: 758
- 2012
- [c43]Abigail Cauchi, Andy Gimblett, Harold W. Thimbleby, Paul Curzon, Paolo Masci: Safer "5-key" number entry user interfaces using differential formal analysis. BCS HCI 2012: 29-38
- [c42]Chrystie Myketiak, Paul Curzon, Jonathan Back, Peter W. McOwan, Laura R. Meagher: cs4fn: a flexible model for computer science outreach. ITiCSE 2012: 297-302
- [c41]Paolo Masci, Huayi Huang, Paul Curzon, Michael D. Harrison: Using PVS to Investigate Incidents through the Lens of Distributed Cognition. NASA Formal Methods 2012: 273-278
- [c40]Paolo Masci, Dominic Furniss, Paul Curzon, Michael D. Harrison, Ann Blandford: Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain. SERENE 2012: 150-164
- 2011
- [j21]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 45 (2011)
- [j20]Paolo Masci, Paul Curzon, Ann Blandford, Dominic Furniss: Modelling Distributed Cognition Systems in PVS. ECEASST 45 (2011)
- [j19]Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Karen Yunqiu Li, Paul Curzon, Harold W. Thimbleby: On formalising interactive number entry on infusion pumps. ECEASST 45 (2011)
- [j18]Rimvydas Ruksenas, Paul Curzon: Abstract Models and Cognitive Mismatch in Formal Verification. ECEASST 45 (2011)
- [c39]Dominic Furniss, Ann Blandford, Paul Curzon: Confessions from a grounded theory PhD: experiences and lessons learnt. CHI 2011: 113-122
- [c38]Tim Bell, Paul Curzon, Quintin I. Cutts, Valentina Dagiene, Bruria Haberman: Overcoming Obstacles to CS Education by Using Non-programming Outreach Programmes. ISSEP 2011: 71-81
- [c37]Jonathan Back, Paul Curzon, Chrystie Myketiak, Peter W. McOwan: A study in engaging female students in computer science using role models. ITiCSE 2011: 63-67
- [c36]Tim Bell, Paul Curzon, Quintin I. Cutts, Valentina Dagiene, Bruria Haberman: Introducing students to computer science with programmes that don't emphasise programming. ITiCSE 2011: 391
- [c35]Paolo Masci, Paul Curzon: Checking User-Centred Design Principles in Distributed Cognition Models: A Case Study in the Healthcare Domain. USAB 2011: 95-108
2000 – 2009
- 2009
- [j17]
- [j16]Rimvydas Ruksenas, Jonathan Back, Paul Curzon, Ann Blandford: Verification-guided modelling of salience and cognitive load. Formal Asp. Comput. 21(6): 541-569 (2009)
- [c34]Paul Curzon, Peter W. McOwan, Quintin I. Cutts, Tim Bell: Enthusing & inspiring with reusable kinaesthetic activities. ITiCSE 2009: 94-98
- [c33]Paul Curzon, Joan Peckham, Harriet G. Taylor, Amber Settle, Eric Roberts: Computational thinking (CT): on weaving it in. ITiCSE 2009: 201-202
- 2008
- [j15]
- [j14]Rimvydas Ruksenas, Jonathan Back, Paul Curzon, Ann Blandford: Formal Modelling of Salience and Cognitive Load. Electr. Notes Theor. Comput. Sci. 208: 57-75 (2008)
- [j13]
- [j12]Rimvydas Ruksenas, Paul Curzon, Ann Blandford: Modelling and analysing cognitive causes of security breaches. ISSE 4(2): 143-160 (2008)
- [c32]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
- [c31]Paul Curzon, Peter W. McOwan: Engaging with computer science through magic shows. ITiCSE 2008: 179-183
- [c30]Rimvydas Ruksenas, Paul Curzon, Ann Blandford: Modelling Rational User Behaviour as Games between an Angel and a Demon. SEFM 2008: 355-364
- [p1]Dominic Furniss, Ann Blandford, Paul Curzon: Usability Work in Professional Website Design: Insights from Practitioners' Perspectives. Maturing Usability 2008: 144-167
- 2007
- [j11]
- [j10]Rimvydas Ruksenas, Paul Curzon, Ann Blandford: Detecting Cognitive Causes of Confidentiality Leaks. Electr. Notes Theor. Comput. Sci. 183: 21-38 (2007)
- [j9]Paul Curzon, Rimvydas Ruksenas, Ann Blandford: An approach to formal verification of human-computer interaction. Formal Asp. Comput. 19(4): 513-550 (2007)
- [j8]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)
- [c29]Paul Curzon, Antonio Cerone: 2nd International Workshop on Formal Methods for Interactive Systems. BCS HCI (2) 2007: 199-200
- [c28]
- [c27]Dominic Furniss, Ann Blandford, Paul Curzon: Usability evaluation methods in practice: understanding the context in which they are embedded. ECCE 2007: 253-256
- [c26]Rimvydas Ruksenas, Paul Curzon, Ann Blandford, Jonathan Back: Combining Human Error Verification and Timing Analysis. EHCI/DS-VIS 2007: 18-35
- [c25]Georgios Papatzanis, Paul Curzon, Ann Blandford: Identifying Phenotypes and Genotypes: A Case Study Evaluating an In-Car Navigation System. EHCI/DS-VIS 2007: 227-242
- [c24]Jonathan Back, Ann Blandford, Paul Curzon: Recognising Erroneous and Exploratory Interactions. INTERACT (2) 2007: 127-140
- [c23]
- 2006
- [j7]Rabeb Mizouni, Sofiène Tahar, Paul Curzon: Hybrid verification integrating HOL theorem proving with MDG model checking. Microelectronics Journal 37(11): 1200-1207 (2006)
- [c22]Rimvydas Ruksenas, Paul Curzon, Jonathan Back, Ann Blandford: Formal Modelling of Cognitive Interpretation. DSV-IS 2006: 123-136
- [c21]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
- 2005
- [j6]Paul Curzon, Judy Wilson, Gill Whitney: Successful strategies of older people for finding information. Interacting with Computers 17(6): 660-671 (2005)
- [c20]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
- 2004
- [j5]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)
- [c19]Paul Curzon, Ann Blandford: Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors. IFM 2004: 461-480
- [c18]Paul Curzon, Suzette Keith, Judy Wilson, Gill Whitney: Strategies for Finding Government Information by Older People. User Interfaces for All 2004: 34-41
- 2003
- [j4]Skander Kort, Sofiène Tahar, Paul Curzon: Hierarchical formal verification using a hybrid tool. STTT 4(3): 313-322 (2003)
- 2002
- [c17]
- [c16]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
- [c15]Iskander Kort, Sofiène Tahar, Paul Curzon: Hierarchical Verification Using an MDG-HOL Hybrid Tool. CHARME 2001: 244-258
- [c14]
- 2000
- [c13]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
1990 – 1999
- 1999
- [j3]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)
- [c12]Haiyan Xiong, Paul Curzon, Sofiène Tahar: Importing MDG Verification Results into HOL. TPHOLs 1999: 293-310
- 1998
- [c11]Sofiène Tahar, Paul Curzon, Jianping Lu: Three Approaches to Hardware Verification: HOL, MDG and VIS Compared. FMCAD 1998: 433-450
- [c10]
- 1996
- [c9]Sofiène Tahar, Paul Curzon: A Comparison of MDG and HOL for Hardware Verification. TPHOLs 1996: 415-430
- 1995
- [j2]Paul Curzon: Tracking Design Changes with Formal Machine - Checked Proof. Comput. J. 38(2): 91-100 (1995)
- [c8]
- [c7]
- [c6]
- 1994
- [c5]
- [c4]
- 1993
- [j1]Paul Curzon: Deriving Correctness Properties of Compiled Code. Formal Methods in System Design 3(1/2): 83-115 (1993)
- 1992
- [c3]
- [c2]
- 1991
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-23 22:15 CEST by the dblp team