Paul Curzon

	2009
48		Paul Curzon, Joan Peckham, Harriet G. Taylor, Amber Settle, Eric Roberts: Computational thinking (CT): on weaving it in. ITiCSE 2009: 201-202
47		Paul Curzon, Peter W. McOwan, Quintin I. Cutts, Tim Bell: Enthusing & inspiring with reusable kinaesthetic activities. ITiCSE 2009: 94-98
46		Antonio Cerone, Paul Curzon, David Duce: Editorial. Formal Asp. Comput. 21(6): 511-512 (2009)
45		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
44		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
43		Paul Curzon, Peter W. McOwan: Engaging with computer science through magic shows. ITiCSE 2008: 179-183
42		Rimvydas Ruksenas, Paul Curzon, Ann Blandford: Modelling Rational User Behaviour as Games between an Angel and a Demon. SEFM 2008: 355-364
41		Antonio Cerone, Paul Curzon: Preface. Electr. Notes Theor. Comput. Sci. 208: 1-3 (2008)
40		Rimvydas Ruksenas, Jonathan Back, Paul Curzon, Ann Blandford: Formal Modelling of Salience and Cognitive Load. Electr. Notes Theor. Comput. Sci. 208: 57-75 (2008)
39		Antonio Cerone, Paul Curzon: Formal methods for interactive systems. ISSE 4(2): 123 (2008)
38		Rimvydas Ruksenas, Paul Curzon, Ann Blandford: Modelling and analysing cognitive causes of security breaches. ISSE 4(2): 143-160 (2008)
	2007
37		Jonathan Back, Ann Blandford, Paul Curzon: Slip errors and cue salience. ECCE 2007: 221-224
36		Dominic Furniss, Ann Blandford, Paul Curzon: Usability evaluation methods in practice: understanding the context in which they are embedded. ECCE 2007: 253-256
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	Jonathan Back	[29] [35] [37] [40] [45]
2	Timothy C. Bell (Tim Bell)	[47]
3	Ann Blandford	[17] [19] [20] [22] [24] [29] [30] [31] [32] [35] [36] [37] [38] [40] [42] [44] [45]
4	Richard Butterworth	[22] [26]
5	Antonio Cerone	[33] [39] [41] [46]
6	Quintin I. Cutts	[47]
7	Gavin Doherty	[28]
8	David Duce	[46]
9	Bob Fields	[26]
10	Dominic Furniss	[36]
11	T. C. Nicholas Graham	[28]
12	Joanne Hyde	[44]
13	Suzette Keith	[23]
14	Iskander Kort	[18]
15	Skander Kort	[21]
16	I. M. Leslie	[9]
17	Jianping Lu	[13]
18	Peter W. McOwan	[43] [47]
19	Rabeb Mizouni	[27]
20	Otmane Aït Mohamed	[16]
21	Philippe A. Palanque	[28]
22	George Papatzanis	[44]
23	Joan Peckham	[48]
24	Veronica Davis Perkins	[26]
25	V. K. Pisini	[16]
26	Richard Potter	[28]
27	Janet Rix	[12]
28	Christopher Roast	[28]
29	Eric Roberts	[48]
30	Rimvydas Ruksenas	[29] [31] [32] [38] [40] [42] [45]
31	Amber Settle	[48]
32	Shamus P. Smith	[28]
33	Xiaoyu Song	[16]
34	Sofiène Tahar	[11] [13] [14] [15] [16] [18] [19] [21] [27] [30]
35	Harriet G. Taylor	[48]
36	Gill Whitney	[23] [25]
37	Judy Wilson	[23] [25]
38	Haiyan Xiong	[15] [19] [30]

Colors in the list of coauthors