Paul Curzon Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Curzon, Joan Peckham, Harriet G. Taylor, Amber Settle, Eric Roberts: Computational thinking (CT): on weaving it in. ITiCSE 2009: 201-202
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Curzon, Peter W. McOwan, Quintin I. Cutts, Tim Bell: Enthusing & inspiring with reusable kinaesthetic activities. ITiCSE 2009: 94-98
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Cerone, Paul Curzon, David Duce: Editorial. Formal Asp. Comput. 21(6): 511-512 (2009)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRimvydas Ruksenas, Jonathan Back, Paul Curzon, Ann Blandford: Verification-guided modelling of salience and cognitive load. Formal Asp. Comput. 21(6): 541-569 (2009)
2008
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnn Blandford, Paul Curzon, Joanne Hyde, George Papatzanis: EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System. DSV-IS 2008: 1-14
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Curzon, Peter W. McOwan: Engaging with computer science through magic shows. ITiCSE 2008: 179-183
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRimvydas Ruksenas, Paul Curzon, Ann Blandford: Modelling Rational User Behaviour as Games between an Angel and a Demon. SEFM 2008: 355-364
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Cerone, Paul Curzon: Preface. Electr. Notes Theor. Comput. Sci. 208: 1-3 (2008)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRimvydas Ruksenas, Jonathan Back, Paul Curzon, Ann Blandford: Formal Modelling of Salience and Cognitive Load. Electr. Notes Theor. Comput. Sci. 208: 57-75 (2008)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Cerone, Paul Curzon: Formal methods for interactive systems. ISSE 4(2): 123 (2008)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRimvydas Ruksenas, Paul Curzon, Ann Blandford: Modelling and analysing cognitive causes of security breaches. ISSE 4(2): 143-160 (2008)
2007
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan Back, Ann Blandford, Paul Curzon: Slip errors and cue salience. ECCE 2007: 221-224
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDominic Furniss, Ann Blandford, Paul Curzon: Usability evaluation methods in practice: understanding the context in which they are embedded. ECCE 2007: 253-256
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan Back, Ann Blandford, Paul Curzon: Recognising Erroneous and Exploratory Interactions. INTERACT (2) 2007: 127-140
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Curzon: Serious fun in computer science. ITiCSE 2007: 1
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Cerone, Paul Curzon: Preface. Electr. Notes Theor. Comput. Sci. 183: 1-2 (2007)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRimvydas Ruksenas, Paul Curzon, Ann Blandford: Detecting Cognitive Causes of Confidentiality Leaks. Electr. Notes Theor. Comput. Sci. 183: 21-38 (2007)
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Curzon, Rimvydas Ruksenas, Ann Blandford: An approach to formal verification of human-computer interaction. Formal Asp. Comput. 19(4): 513-550 (2007)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaiyan 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
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRimvydas Ruksenas, Paul Curzon, Jonathan Back, Ann Blandford: Formal Modelling of Cognitive Interpretation. DSV-IS 2006: 123-136
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. 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
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRabeb Mizouni, Sofiène Tahar, Paul Curzon: Hybrid verification integrating HOL theorem proving with MDG model checking. Microelectronics Journal 37(11): 1200-1207 (2006)
2005
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVeronica 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
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Curzon, Judy Wilson, Gill Whitney: Successful strategies of older people for finding information. Interacting with Computers 17(6): 660-671 (2005)
2004
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Curzon, Ann Blandford: Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors. IFM 2004: 461-480
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Curzon, Suzette Keith, Judy Wilson, Gill Whitney: Strategies for Finding Government Information by Older People. User Interfaces for All 2004: 34-41
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnn 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
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSkander Kort, Sofiène Tahar, Paul Curzon: Hierarchical formal verification using a hybrid tool. STTT 4(3): 313-322 (2003)
2002
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Curzon, Ann Blandford: From a Formal User Model to Design Rules. DSV-IS 2002: 1-15
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford: Formally Linking MDG and HOL Based on a Verified MDG System. IFM 2002: 205-224
2001
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIskander Kort, Sofiène Tahar, Paul Curzon: Hierarchical Verification Using an MDG-HOL Hybrid Tool. CHARME 2001: 244-258
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Curzon, Ann Blandford: Detecting Multiple Classes of User Errors. EHCI 2001: 57-72
2000
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLV. 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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHaiyan Xiong, Paul Curzon, Sofiène Tahar: Importing MDG Verification Results into HOL. TPHOLs 1999: 293-310
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSofiè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
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSofiène Tahar, Paul Curzon, Jianping Lu: Three Approaches to Hardware Verification: HOL, MDG and VIS Compared. FMCAD 1998: 433-450
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Curzon, Janet Rix: Why do students take programming modules? ITiCSE 1998: 59-63
1996
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSofiène Tahar, Paul Curzon: A Comparison of MDG and HOL for Hardware Verification. TPHOLs 1996: 415-430
1995
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Curzon: Problems encountered in the machine-assisted proof of hardware. CHARME 1995: 56-70
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Curzon, I. M. Leslie: A case study on design for provability. ICECCS 1995: 59-62
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Curzon: Virtual Theories. TPHOLs 1995: 138-153
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Curzon: Tracking Design Changes with Formal Machine - Checked Proof. Comput. J. 38(2): 91-100 (1995)
1994
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Curzon: The Formal Verification of an ATM Network. PODC 1994: 392
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Curzon: Tracking Design Changes with Formal Verification. TPHOLs 1994: 177-192
1993
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Curzon: Deriving Correctness Properties of Compiled Code. Formal Methods in System Design 3(1/2): 83-115 (1993)
1992
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Curzon: A Programming Logic for a Verified Structured Assembly Language. LPAR 1992: 403-408
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Curzon: Deriving Correctness Properties of Compiled Code. TPHOLs 1992: 327-346
1991
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul Curzon: A Verified Compiler for a Structured Assembly Language. TPHOLs 1991: 253-262

Coauthor Index

1Jonathan Back [29] [35] [37] [40] [45]
2Timothy C. Bell (Tim Bell) [47]
3Ann Blandford [17] [19] [20] [22] [24] [29] [30] [31] [32] [35] [36] [37] [38] [40] [42] [44] [45]
4Richard Butterworth [22] [26]
5Antonio Cerone [33] [39] [41] [46]
6Quintin I. Cutts [47]
7Gavin Doherty [28]
8David Duce [46]
9Bob Fields [26]
10Dominic Furniss [36]
11T. C. Nicholas Graham [28]
12Joanne Hyde [44]
13Suzette Keith [23]
14Iskander Kort [18]
15Skander Kort [21]
16I. M. Leslie [9]
17Jianping Lu [13]
18Peter W. McOwan [43] [47]
19Rabeb Mizouni [27]
20Otmane Aït Mohamed [16]
21Philippe A. Palanque [28]
22George Papatzanis [44]
23Joan Peckham [48]
24Veronica Davis Perkins [26]
25V. K. Pisini [16]
26Richard Potter [28]
27Janet Rix [12]
28Christopher Roast [28]
29Eric Roberts [48]
30Rimvydas Ruksenas [29] [31] [32] [38] [40] [42] [45]
31Amber Settle [48]
32Shamus P. Smith [28]
33Xiaoyu Song [16]
34Sofiène Tahar [11] [13] [14] [15] [16] [18] [19] [21] [27] [30]
35Harriet G. Taylor [48]
36Gill Whitney [23] [25]
37Judy Wilson [23] [25]
38Haiyan Xiong [15] [19] [30]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)