Paul Curzon

	2012
62		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
	2011
61		Dominic Furniss, Ann Blandford, Paul Curzon: Confessions from a grounded theory PhD: experiences and lessons learnt. CHI 2011: 113-122
60		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
59		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
58		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
57		Paolo Masci, Paul Curzon: Checking User-Centred Design Principles in Distributed Cognition Models: A Case Study in the Healthcare Domain. USAB 2011: 95-108
56		Rimvydas Ruksenas, Paul Curzon: Abstract Models and Cognitive Mismatch in Formal Verification. ECEASST 45: (2011)
55		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)
54		Paolo Masci, Paul Curzon, Ann Blandford, Dominic Furniss: Modelling Distributed Cognition Systems in PVS. ECEASST 45: (2011)
53		Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Yunqiu Li, Paul Curzon, Harold W. Thimbleby: On formalising interactive number entry on infusion pumps. ECEASST 45: (2011)
	2009
52		Paul Curzon, Joan Peckham, Harriet G. Taylor, Amber Settle, Eric Roberts: Computational thinking (CT): on weaving it in. ITiCSE 2009: 201-202
51		Paul Curzon, Peter W. McOwan, Quintin I. Cutts, Tim Bell: Enthusing & inspiring with reusable kinaesthetic activities. ITiCSE 2009: 94-98
50		Antonio Cerone, Paul Curzon, David Duce: Editorial. Formal Asp. Comput. 21(6): 511-512 (2009)
49		Rimvydas Ruksenas, Jonathan Back, Paul Curzon, Ann Blandford: Verification-guided modelling of salience and cognitive load. Formal Asp. Comput. 21(6): 541-569 (2009)
	2008
48		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
47		Paul Curzon, Peter W. McOwan: Engaging with computer science through magic shows. ITiCSE 2008: 179-183
46		Rimvydas Ruksenas, Paul Curzon, Ann Blandford: Modelling Rational User Behaviour as Games between an Angel and a Demon. SEFM 2008: 355-364
45		Dominic Furniss, Ann Blandford, Paul Curzon: Usability Work in Professional Website Design: Insights from Practitioners' Perspectives. Maturing Usability 2008: 144-167
44		Antonio Cerone, Paul Curzon: Preface. Electr. Notes Theor. Comput. Sci. 208: 1-3 (2008)
43		Rimvydas Ruksenas, Jonathan Back, Paul Curzon, Ann Blandford: Formal Modelling of Salience and Cognitive Load. Electr. Notes Theor. Comput. Sci. 208: 57-75 (2008)
42		Antonio Cerone, Paul Curzon: Formal methods for interactive systems. ISSE 4(2): 123 (2008)
41		Rimvydas Ruksenas, Paul Curzon, Ann Blandford: Modelling and analysing cognitive causes of security breaches. ISSE 4(2): 143-160 (2008)
	2007
40		Paul Curzon, Antonio Cerone: 2nd International Workshop on Formal Methods for Interactive Systems. BCS HCI (2) 2007: 199-200
39		Jonathan Back, Ann Blandford, Paul Curzon: Slip errors and cue salience. ECCE 2007: 221-224
38		Dominic Furniss, Ann Blandford, Paul Curzon: Usability evaluation methods in practice: understanding the context in which they are embedded. ECCE 2007: 253-256
37		Rimvydas Ruksenas, Paul Curzon, Ann Blandford, Jonathan Back: Combining Human Error Verification and Timing Analysis. EHCI/DS-VIS 2007: 18-35
36		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
35		Jonathan Back, Ann Blandford, Paul Curzon: Recognising Erroneous and Exploratory Interactions. INTERACT (2) 2007: 127-140
34		Paul Curzon: Serious fun in computer science. ITiCSE 2007: 1
33		Antonio Cerone, Paul Curzon: Preface. Electr. Notes Theor. Comput. Sci. 183: 1-2 (2007)
32		Rimvydas Ruksenas, Paul Curzon, Ann Blandford: Detecting Cognitive Causes of Confidentiality Leaks. Electr. Notes Theor. Comput. Sci. 183: 21-38 (2007)
31		Paul Curzon, Rimvydas Ruksenas, Ann Blandford: An approach to formal verification of human-computer interaction. Formal Asp. Comput. 19(4): 513-550 (2007)
30		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
29		Rimvydas Ruksenas, Paul Curzon, Jonathan Back, Ann Blandford: Formal Modelling of Cognitive Interpretation. DSV-IS 2006: 123-136
28		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
27		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
26		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
25		Paul Curzon, Judy Wilson, Gill Whitney: Successful strategies of older people for finding information. Interacting with Computers 17(6): 660-671 (2005)
	2004
24		Paul Curzon, Ann Blandford: Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors. IFM 2004: 461-480
23		Paul Curzon, Suzette Keith, Judy Wilson, Gill Whitney: Strategies for Finding Government Information by Older People. User Interfaces for All 2004: 34-41
22		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
21		Skander Kort, Sofiène Tahar, Paul Curzon: Hierarchical formal verification using a hybrid tool. STTT 4(3): 313-322 (2003)
	2002
20		Paul Curzon, Ann Blandford: From a Formal User Model to Design Rules. DSV-IS 2002: 1-15
19		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
18		Iskander Kort, Sofiène Tahar, Paul Curzon: Hierarchical Verification Using an MDG-HOL Hybrid Tool. CHARME 2001: 244-258
17		Paul Curzon, Ann Blandford: Detecting Multiple Classes of User Errors. EHCI 2001: 57-72
	2000
16		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
15		Haiyan Xiong, Paul Curzon, Sofiène Tahar: Importing MDG Verification Results into HOL. TPHOLs 1999: 293-310
14		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
13		Sofiène Tahar, Paul Curzon, Jianping Lu: Three Approaches to Hardware Verification: HOL, MDG and VIS Compared. FMCAD 1998: 433-450
12		Paul Curzon, Janet Rix: Why do students take programming modules? ITiCSE 1998: 59-63
	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		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

Coauthor Index

1	Maartje Ament	[55]
2	Jonathan Back	[29] [35] [37] [39] [43] [49] [58]
3	Timothy C. Bell (Tim Bell)	[51] [59] [60]
4	Ann Blandford	[17] [19] [20] [22] [24] [29] [30] [31] [32] [35] [36] [37] [38] [39] [41] [43] [45] [46] [48] [49] [54] [55] [61]
5	Duncan P. Brumby	[55]
6	Richard Butterworth	[22] [26]
7	Abigail Cauchi	[53]
8	Antonio Cerone	[33] [40] [42] [44] [50]
9	Anna Louise Cox	[55]
10	Quintin I. Cutts	[51] [59] [60]
11	Valentina Dagiene	[59] [60]
12	Gavin Doherty	[28]
13	David Duce	[50]
14	Bob Fields	[26]
15	Dominic Furniss	[38] [45] [54] [61]
16	Andy Gimblett	[53]
17	T. C. Nicholas Graham	[28]
18	Bruria Haberman	[59] [60]
19	Michael D. Harrison	[62]
20	Huayi Huang	[55] [62]
21	Joanne Hyde	[48]
22	Suzette Keith	[23]
23	Iskander Kort	[18]
24	Skander Kort	[21]
25	I. M. Leslie	[9]
26	Yunqiu Li	[53]
27	Jianping Lu	[13]
28	Paolo Masci	[53] [54] [57] [62]
29	Peter W. McOwan	[47] [51] [58]
30	Rabeb Mizouni	[27]
31	Otmane Aït Mohamed	[16]
32	Chrystie Myketiak	[58]
33	Patrick Oladimeji	[53]
34	Philippe A. Palanque	[28]
35	George Papatzanis (Georgios Papatzanis, Giorgios Papatzanis)	[36] [48]
36	Joan Peckham	[52]
37	Veronica Davis Perkins	[26]
38	V. K. Pisini	[16]
39	Richard Potter	[28]
40	Janet Rix	[12]
41	Christopher Roast	[28]
42	Eric Roberts	[52]
43	Rimvydas Ruksenas	[29] [31] [32] [37] [41] [43] [46] [49] [53] [55] [56]
44	Amber Settle	[52]
45	Shamus P. Smith	[28]
46	Xiaoyu Song	[16]
47	Sofiène Tahar	[11] [13] [14] [15] [16] [18] [19] [21] [27] [30]
48	Harriet G. Taylor	[52]
49	Harold W. Thimbleby	[53]
50	Gill Whitney	[23] [25]
51	Judy Wilson	[23] [25]
52	Haiyan Xiong	[15] [19] [30]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page