Dr Paul Curzon
Submitted
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
To 1991

Publications
Submitted for publication
 Jonathan Back, Ann Blandford and Paul Curzon
"Recognizing Erroneous and Exploratory Interactions"
submitted for publication, 2007.
 Jonathan Back, Ann Blandford and Paul Curzon
"Selfreporting Erroneous and Exploratory Interactions"
submitted for publication, 2006.
2009

Ruksenas, R., Back, J., Curzon, P. & Blandford, A. (2009)
VerificationGuided Modelling of Salience and Cognitive Load,
Formal Aspects of Computing.
DOI: 10.1007/s0016500801027

Curzon, P., Black, J., Meagher, L.R. and McOwan P.W. (2009)
cs4fn.org: Enthusing students about Computer Science,
To appear in Proceedings of Informatics Education Europe IV, November.

Curzon, P., McOwan P.W., and Black J. (2009)
The magic of HCI: Enthusing kids in playful ways to help solve the Computer Science recruitment problem.
Invited Keynote at HCI Educators 2009  Playing with our Education, Dundee, April 2009.

Curzon, P., Peckham, J., Taylor, H., Settle, A. and Roberts, E. (2009)
Computational Thinking (CT): on weaving it in, ACM SIGCSE Bulletin 41 (3), 201202.
DOI= /10.1145/1595496.1562941

Curzon, P., McOwan P.W., Cutts, Q. and Bell, T. (2009)
Enthusing & inspiring with reusable kinaesthetic activities,
ITiCSE 2009, The 14th Annual Conference on Innovation and Technology in Computer Science Education,
July, Paris. ACM SIGCSE Bulletin 41 (3), 9498.
DOI= 10.1145/1595496.1562911
2008

Ruksenas, R., Curzon, P. & Blandford, A. (2008)
"Modelling and Analysing Cognitive Causes of Security Breaches".
Innovations in Systems and Software Engineering 4(2), pp 143160. June.
DOI 10.1007/s1133400800507

Curzon, P. and McOwan P.W. (2008)
Engaging with Computer Science through Magic Shows,
SIGCSE Bulletin 40 (3), pp179183. ACM.
ITiCSE 2008, The 13th Annual Conference on Innovation and Technology in Computer Science Education,
DOI: 10.1145/1384271.138432

Curzon, P., McOwan P.W. and Black, J. (2008)
Securing the Future of Computer Science: Computer Science for Fun,
Higher Education Academy Subject Centre for Information and Computer Sciences Annual Conference, Liverpool, August.
 Dominic Furniss, Ann Blandford and Paul Curzon. (2008)
Usability Work in Professional Website Design: Insights from Practitioners' Perspectives.
In E. Law, E. Hvannberg, G. Cockton & J. Vanderdonckt (Eds.)
Maturing Usability: Quality in Software, Interaction and Value. 144167.
DOI 10.1007/9781846289415
2007

Curzon, P., Ruksenas, R. and Blandford, A. (2007)
"An approach to formal verification of humancomputer interaction",
Formal Aspects of Computing, 19(4) pp 513550, Springer.
DOI 10.1007/s0016500700356

Xiong, H., Curzon, P., Tahar, S. and Blandford, A. (2007)
"Providing a Formal Linkage between MDG and HOL",
Formal Methods in Systems Design, 30 (2) pp 83116, Springer.
DOI: 10.1007/s107030060017y

Curzon P.(2007)
Serious Fun in Computer Science
ACM SIGCSE Bulletin 39(3) p1, September.
Invited Keynote at the 12th Annual Conference on Innovation and Technology in Computer Science Education,
organised by the ACM Special Interest Group on Computer Science Education (SIGCSE)
DOI= 10.1145/1269900.1268785
 Rimvydas Ruksenas, Paul Curzon, Jonathan Back and Ann Blandford (2007),
"Formal Modelling of Salience and Cognitive Load"
Proceedings of the 2nd International Workshop on Formal Methods for
Interactive Systems (FMIS 2007)
 Paul Curzon, Rimvydas Ruksenas and Ann Blandford, (2007)
"Formal Verification In Human Error Modelling"
To appear in BCS FACS
 Georgios Papatzanis, Paul Curzon and Ann Blandford
Evaluation of Car Navigation Systems: OnRoad Studies or Analytical Tools,
In Proceedings of the Interact 2007 Workshop:
Technology has escaped from the zoo: studying usability in the wild
 Antonio Cerone and Paul Curzon (2007) Editors
Proceedings of the
1st International Workshop on Formal Methods for Interactive Systems,
Macau SAR China, 31 October 2006, Electronic Notes in Theoretical Computer Science,
Volume 183
 Rimvydas Ruksenas, Paul Curzon, Ann Blandford (2007)
"Detecting Cognitive Causes of Confidentiality Leaks",
Proceedings of the 1st International Workshop on Formal Methods for Interactive Systems,
Presented, October 2006,
Electronic Notes in Theoretical Computer Science 183 (2007) 2138
Elsevier. doi:10.1016/j.entcs.2007.01.059
 Judy Wilson, Paul Curzon and Gill Whitney (2007)
"Seniors Routeplanning: a reality check for the design of navigation systems"
To appear.
TRANSED 2007 
11th International Conference on Mobility and Transport for Elderly and Disabled Persons.

Georgios Papatzanis, Paul Curzon, Ann Blandford (2007)
Identifying Phenotypes and Genotypes: A Case Study. Evaluating an Incar Navigation System
Combining Human Error Verification and Timing Analysis, To appear in
Engineering Interactive Systems 2007: Joining Three Working Conferences
IFIP WG2.7/13.4 10th Conference on Engineering Human Computer Interaction
IFIP WG 13.2 1st Conference on Human Centred Software Engineering
DSVIS  14th Conference on Design Specification and Verification of Interactive Systems.

Rimvydas Ruksenas, Paul Curzon, Ann Blandford, Jonathan Back (2007)
Combining Human Error Verification and Timing Analysis, To appear in
Engineering Interactive Systems 2007: Joining Three Working Conferences
IFIP WG2.7/13.4 10th Conference on Engineering Human Computer Interaction
IFIP WG 13.2 1st Conference on Human Centred Software Engineering
DSVIS  14th Conference on Design Specification and Verification of Interactive Systems.
2006

Blandford, A., Back, J., Curzon, P., Li, S. & Ruksenas, R. (2006) Reasoning about human
error by modeling cognition and interaction In Proc. Resilience Engineering Symposium. Les
Presses Mines Paris. 3643.

BryanKinns, Blandford, Curzon, Nigay (2006) Editors:
Proceedings of BCS HCI2006: Engage, London, UK, September 2006.
 H. Xiong, P. Curzon, S. Tahar and A. Blandford, (2006)
"Providing a Formal Linkage between MDG and HOL"
Formal Methods in Systems Design, Springer.
ISSN 09259856 (Print) 15728102 (Online) DOI 10.1007/s107030060017y
Published Online August 2006.

Curzon, P., McOwan P.W., Burton, E. and Gould, M. (2006),
Engaging with Computer Science through Play and Performance,
Presented at Designing the NotQuiteYet: Ideas and Methods for Engaging the Public in a Digital Future of their Choice,
Workshop at HCI 2006: Engage, September.
 Veronica Davis Perkins, Richard Butterworth, Paul Curzon and Bob Fields (2006)
"Representation of the National Memory:
digitising historical photograph collections in the UK",
Performance Research Journal,
Vol.11, No.4 "Digital Resources", Routledge, December 2006.
Print ISSN: 13528165. Online ISSN: 14699990
 Back, J., Cheng, W.L., Dann, R., Curzon, P. and Blandford, A. (2006)
"Does being motivated to avoid procedural errors influence their systemacity?"
Proceedings of HCI 2006. Engage. Winner of Best Short Paper Prize.
 Rimvydas Ruksenas, Paul Curzon, Jonathan Back and Ann Blandford.
"Formal Modelling of Cognitive Interpretation".
Proceedings of Design, Specification and Verification of Interactive Systems,
LNCS 2006
 Judy Wilson and Paul Curzon. (2006)
"Experiences routeplanning by older people"
Volume 2 Proceedings of HCI 2006.
 Jainaba Jagne, Serengul Smith, Paul Curzon and Bob Fields, (2006)
"Integrating social and cultural variances into international
eCommerce interface design"
Volume 2 Proceedings of HCI 2006.
 R. Mizouni, S. Tahar and P. Curzon. (2006)
"Hybrid Verification Integrating HOL Theorem Proving with MDG Model Checking"
The Microelectronics Journal, Volume 37, Issue 11, Pages 12001207
November. DOI: 10.1016/j.mejo.2006.07.019
 Veronica Davis Perkins, Richard Butterworth, Bob
Fields and Paul Curzon,(2006) Keeping stuff safe: using guidelines and standards for
digital preservation.
The Institute of Physics and University of the Arts London
Third International Conference on:
Preservation and Conservation Issues Related to Digital Printing and Digital Photography,
24 and 25 April,
Institute of Physics, London.
pdf preprint

Paul Curzon (2006) "
Backwards Compatible"
usabilitynews.com,
British HCI Group, April, 2006.
pdf

Paul Curzon (2006) "
BrainAcademy 2006 unites Entertainment and HCI"
usabilitynews.com,
British HCI Group, April, 2006. pdf
2005
 Veronica Davis Perkins, Richard Butterworth, Paul Curzon, Bob
Fields (2005)
"A study into the
effect of digitisation projects on the management and stability of
historic photograph collections" Proceedings of
Research and Advanced Technology for Digital Libraries:
9th European Conference, ECDL 2005, Vienna,
Austria, September 1823, 2005. ,
Andreas Rauber, Stavros Christodoulakis, A Min Tjoa (Eds)
Lecture Notes in Computer Science 3652, pp278289
SpringerVerlag.ISSN: 03029743
pdf preprint
 J. Jagne, S. SmithAtatkan, E. Duncker and P. Curzon (2005).
"Crosscultural factors of physical and eShopping"
Proceedings of the Eleventh International Conference on Human Computer Interaction.
pdf preprint
 P. Curzon, J. Wilson and G. Whitney (2005)
"Successful strategies of older people for finding information"
To appear in Interacting with Computers: Special issue on HCI and the Older Population

P. Curzon (2005) "
Perfect usability  The onebutton machine?"
usabilitynews.com,
British HCI Group, August, 2005.
Also in:
uiGuardian.net, Weaving Usability and Cultures, October 2005.
pdf

P. Curzon (2005) "The computeability IT career competition is back"
ITNOWextra, British Computer Society, July 2005.
html
pdf

P. Curzon (2005) "Online competition BrainAcademy 2005 promotes HCI"
usabilitynews.com,
British HCI Group, June.
html
pdf

P. Curzon (2005) "BrainAcademy 2005 promotes HCI"
Interfaces 63, pp22,
British HCI Group, Summer.
pdf

P. Curzon (2005) "
The extreme Challenge of Moore's Law and what Stormy Petrels have to do with it"
usabilitynews.com,
British HCI Group, February, 2005.
2004
 R. Mizouni, S. Tahar and P. Curzon. (2004) "A Hybrid Tool Integrating HOL
Theorem Proving with MDG Model Checking" Proceedings of the 16th IEEE International Conference on Microelectronics, Tunis, Tunisia, December 2004.
 P. Curzon, S. Keith, G. Whitney and J. Wilson (2004)
"Information Seeking Strategies used by older people",
HCI and the older population, workshop at HCI2004, Design for Life: The 18th British HCI Group Annual conference. pdf
 A. Blandford, R. Butterworth and P. Curzon. (2004) "Models of
Interactive systems: a case study on programmable user modelling",
the International Journal of Humancomputer Studies. Volume 60, Issue
2, Pages 149284 Available
from ScienceDirect. pdf
 P. Curzon and A. Blandford (2004) "Formally Justifying Usercentred
Design Rules: a Case Study on Postcompletion Errors", Integrated Formal Methods, E.A. Boiten, J. Derrick and G. Smith (Eds.) Lecture Notes in Computer
Science, 2999, 461480, Springer. pdf
 P. Curzon, S. Keith, G. Whitney and J. Wilson (2004)
"Strategies for finding government information by older people",
UserCentred Interaction Paradigms for Universal Access in the Information Society,
8th ERCIM International Workshop on User Interfaces for All,
C. Stary and C. Stephanidis (eds)
Lecture Notes in Computer Science 3196, 3441
Springer. Springer online copy
 P. Curzon (2004) "Flexing Paper's Muscle", Paul's Interactions, usabilitynews.com,
British HCI Group, May. pdf
 P. Curzon (2004) "When smart thinking is not enough", Paul's Interactions, usabilitynews.com,,
British HCI Group, February. pdf
 Jainaba Jagne, Serengul Guven Smith, Elke Duncker and Paul Curzon
(2004) Crosscultural Interface Design Strategy. Middlesex University
Interaction Design Centre Technical Report: IDCTR2004006. February
2004 pdf
(8 pages)
 Paul Curzon, Suzette Keith, Gill Whitney and Judy Wilson.
(2004) Strategies for finding government information by older people. Middlesex University
Interaction Design Centre Technical Report: IDCTR2004009. February
2004 pdf
(9 pages)
2003
 Haiyan Xiong, Paul Curzon, Sofiene Tahar and Ann Blandford (2003)
Providing a formal linkage between the MDG verification system and HOL
proof system. Middlesex University Interaction Design Centre Technical
Report: IDCTR2003006. pdf
(29 pages)
 Paul Curzon and Ann Blandford (2003) A formal justification of a design
rule for avoiding postcompletion errors. Middlesex University Interaction
Design Centre Technical Report: IDCTR2003005. pdf
(21 pages)
 P. Curzon (2003) "
Spitnotso,
or what's in the layout", Paul's Interactions, usabilitynews.com,
British HCI Group, December. pdf
 P. Curzon (2003) "Maori
Culture? Who Cares?", Paul's Interactions, usabilitynews.com,
British HCI Group, October. pdf
 P. Curzon (2003) Middlesex University Interaction Design Centre, Proceedings of HCI 2003: Designing for Society Volume 2 edited by P. Gray, H. Johnson
and E. O'Neill, pp 219220, British HCI Group. pdf (2 pages) pdf (6 pages)
 P. Curzon (2003) "The dog, the hen and the corn...and post completion
errors". Interesting interactions, Interfaces 55,
Summer 2003, pp 1922, British HCI Group. pdf
 R. Mizouni, S. Tahar and P. Curzon. "On the Embedding of MDG
specification Languages in HOL". ACS/IEEE International Conference
on Computer Systems and Applications (AICCSA'03) Tunisia, July, 2003. pdf
2002
 H. Thimbleby, A. Blandford, P. Cairns, P. Curzon and M. Jones, "User
Interface Design as Systems Design", People and Computers XVI
Memorable Yet Invisible, Proceedings, Volume 1 of the 16th British HCI
Conference, edited by Xristine Faulkner, Janet Finlay and Francoise
Detienne, pp281302, Springer 2002. pdf
 P. Curzon, A. Blandford, R. Butterworth and R. Bhogal, "Interaction
Design Issues for Car Navigation Systems", Proceedings Volume
2 of the 16th British HCI Conference , edited by Helen Sharp, Pete
Chalk, Jenny LePeuple and John Rosbottom, pp3841, BCS 2002. pdf
 P. Curzon and A. Blandford, "From a Formal User Model to Design
Rules", Interactive Systems. Design, Specification and Verification,
9th Int Workshop. DSVIS 2002. P. Forbrig, B. Urban and J. Vanderdonckt
and Q. Limbourg (eds). Lecture Notes in Computer Science, 2545, pp 115,
June 2002. pdf
 S. Kort, S. Tahar and P. Curzon. "Hierarchical Formal Verification
Using a Hybrid Tool". Int. J. on Software Tools for Technology Transfer
4 pp110, Springer 2002. pdf
 Paul Curzon and Judith Harding. "Spreading the word about pedagogic
research". In Academic and Educational Development: Research,
Evaluation and Changing Practice in Higher Education, edited by
Ranald Macdonald and James Wisdom, The SEDA Series, Chapter 13 pp152163, Kogan Page, 2002.
 H. Xiong, P. Curzon, S. Tahar and A. Blandford, "Formally Linking
MDG and HOL based on a Verified MDG System", Proceedings of
the Third International Conference on Integrated Formal Methods,
Edited by M. Butler, L. Petre and K. Sere, Lecture Notes in Computer
Science 2335, pp205224, Turku, Finland, May 2002. pdf
2001
 S. Kort, S. Tahar and P. Curzon. "Hierarchical Formal Verification
Using an MDGHOL Hybrid Tool", Correct Hardware Design and Verification
Methods, Proc.11th IFIP WG 10.5 Advanced Research Working Conf, CHARME
2001, Eds. T. Margaria and T. Melham, LNCS 2144, pp 244258, Springer,
September 2001. pdf
 P. Curzon and A. Blandford, "Detecting Multiple Classes of User
Errors", in Engineering for HumanComputer Interaction, 8th
IFIP International Conference, EHCI 2001, Toronto Canada, Murray
Reed Little and Laurence Nigay (Eds) pp 5771, LNCS 2254, Springer.
May 2001. pdf
 A. Blandford, R. Butterworth and P Curzon, "Puma Footprints:
Linking Theory and Craft Skill in Usability Evaluation". Proceedings
of Interact 2001, M. Hirose (ed), pp577584, IOS Press, July 2001. pdf
 P. Curzon and S. Tahar, "Automating the Verification of Parameterized
Hardware using a Hybrid Tool", Proc. IEEE 13th International
Conference on Microelectronics (ICM'01), Rabat, Morocco, October
2001, pp. 257260. pdf
 H. Xiong, P. Curzon, S. Tahar and A. Blandford, "Proving Existential
Theorems when Importing Results from MDG to HOL", TPHOLs 2001:
Supplementary Proceedings, ed. by R.J.Bolton and P.B. Jackson, U.
of Edinburgh, Informatics Research Report, EDINFRR0046, pp 384399,
2001. pdf
 P. Curzon and A. Blandford, "A User Model for Avoiding Design
Induced Errors in SoftKey Interactive Systems", TPHOLs 2001:
Supplementary Proceedings, ed by R.J.Bolton and P.B. Jackson, U.
of Edinburgh, Informatics Research Report, EDINFRR0046, pp 3348,
2001. pdf
 Richard Butterworth, Ann Blandford & Paul Curzon, "Lab Overview:
Interaction Design Centre, Middlesex University", Interaction
without frontiers, IHMHCI 2001, Volume 2 edited by Jean Vanderdonckt,
Ann Blandford and Alain Derycke, pp 299300, Lille, 2001. pdf
2000
 V.K. Pisini, S. Tahar, P. Curzon, O. AïtMohamed and X. Song:
"Formal Hardware Verification by Integrating HOL and MDG".
Proceedings of the ACM 10th Great Lakes Symposium on VLSI, Chicago,
Illinois, USA, March 2000, ACM Publications, pp. 2328. Available
from the ACM Digital Library pdf
 P. Curzon and A. Blandford, "Using a Verification System to Reason
About PostCompletion Errors". Participants Proc. of DSVIS
2000: 7th Int.Workshop on Design, Specification and Verification of
Interactive Systems, at the 22nd Int. Conf. on Software Engineering,
ed by P. Palanque and F. Paternò, pp 292308, 2000. pdf
 Paul Curzon, "Learning Computer Science Through Games and Puzzles".
Interfaces 42, pp14, Spring 2000.
 P. Curzon and A. Blandford, "Reasoning about Order Errors in
Interaction", inThe Supplementary Proceedings of the 13th International
Conference on Theorem Proving in Higher Order Logics, edited by
M. Aagaard, J. Harrison and T. Schubert, Oregon Graduate Institute,
Technical Report CSE 00009, pp 3348, August 2000, Portland U.S. pdf
 H. Xiong, P. Curzon, S. Tahar and A. Blandford, "Embedding and
Verification of an MDGHDL Compiler in HOL", in the Supplementary
Proc. of the 13th International Conference on Theorem Proving in Higher
Order Logics, edited by M. Aagaard, J. Harrison and T. Schubert,
Oregon Graduate Institute, Technical Report CSE 00009, pp 237248,
August 2000, Portland U.S. pdf
 S. Kort, V.K. Pisini, S. Tahar, O. AitMohamed, P. Curzon and X. Song:
"Un outil hybride pour la vérification formelle de circuits";
Proc. 68th ACFAS Symposium (ACFAS'00), May 2000.
 M. Hasan, S. Tahar, and P. Curzon "Impact of Design Changes on
Verification Using MDGs" Proc. IEEE Canadian Conference on Electrical
& Computer Engineering (CCECE'00), Halifax, Nova Scotia, Canada,
May 2000, pp. 173178. pdf
 S. Kort, S. Tahar, P. Curzon, X. Song: "HOLMDG: A Hybrid Tool
for Formal Verification"; Proc. 2000 Micronet Workshop,
Ottawa, Canada, April 2000, pp. 131132. pdf
 P. Curzon and A. Blandford,. "Reasoning about Order Errors and
Interaction", Proc. C@MDX'00, Research Student's Conference,
Middlesex University School of Computing Science, March 2000.
 Paul Curzon, "Learning Computer Science Through Games and Puzzles".
Proceedings of C@MDX'00, Middlesex University School of Computing
Science, Research Student's Conference, March 2000.
 P. Curzon and A. Blandford, "Reasoning about Order Errors in
Interaction", Middlesex University, School of Computing Science,
PUMA Working Paper WP36, February 2000.
 P. Curzon and A. Blandford, "Using a Verification System to Reason
about PostCompletion Errors". Middlesex University, School of
Computing Science, PUMA Working Paper WP31, February 2000.
1999
 P. Curzon and S. Tahar, "Comparing HOL and MDG: A Case Study
on the Verification of an ATM Switch Fabric". Nordic Journal
of Computing, pp372402, 6(4) Winter 1999. pdf
 H. Xiong, P. Curzon and S. Tahar, "Importing MDG Verification
Results into HOL". Theorem Proving in Higher Order Logics: 12th
Int. Conf, LNCS 1690, pp 293310, Springer 1999. pdf
 V.K. Pisini, S. Tahar, O. AïtMohamed, P. Curzon, and X. Song.
"An Approach to Link HOL and MDG for Hardware Verification".
Proc. of the 1999 Micronet Workshop, Ottawa, Canada, April 1999,
pp. 156157. pdf
 H. Xiong, P. Curzon and A. Blandford. "Combining Verification
Systems in a Trusted Way to Reap the Benefits of Both". 6th
Workshop on Automated ReasoningBridging the Gap between Theory and
Practice. pp7173, April 1999.
 H. Xiong, P. Curzon, S. Tahar and A. Blandford. "Verification
of a Translator for MDG's Library in HOL". 15th
British Colloquium for Theoretical Computer Science. April 1999.
 P. Curzon, "Learning Computer Science through Games and Puzzles".
Computers and Fun 2, York, December 1999.
 P.Curzon and J. Harding, "Drip Fed Academic Staff Development
Using a Virtual Reading Group". On Reflection: Professional
development for the future, the 4th Annual SEDA Conference for Staff
and Educational Developers, November 1999.
 Paul Curzon, Sofiène Tahar and Jianping Lu, "Comparing
HOL, MDG and VIS: A Case Study on the Verification of an ATM Switch
Fabric", Middlesex University, School of Computing Science, Technical
Report CS9905, July 1999. pdf
 Paul Curzon and Judith Harding, "A Summary of the Virtual Reading
Group Project", inThe SEDA Newsletter, November 1999.
 M. Hasan, S. Tahar, and P. Curzon: Impact of Design Changes on Verification using MDG; Technical Report, Concordia University, Department of Electrical and Computer Engineering, October 1999. pdf [15 pages]
 V.K. Pisini, S. Tahar, P. Curzon, O. AitMohamed, and X. Song : Integration of HOL and MDG for Hardware Verification; Technical Report, Concordia University, Department of Electrical and Computer Engineering, November 1999. pdf [21 pages]
1998
 Sofiène Tahar, Paul Curzon and Jianping Lu, "Three Approaches
to Hardware Verification: HOL, MDG and VIS compared". In: Gopalakrishnan,
G. and Windley, P. (Eds.), Formal Methods in ComputerAided Design,
Lecture Notes in Computer Science 1522, pp. 433450, Springer Verlag,
1998. pdf
 Paul Curzon, "Progress Setting up a Virtual HE Teaching and
Learning Reading Group". Creative Pathways to Development, 3rd
Annual SEDA Conference for Staff and Educational Developers, December
1998.
 Paul Curzon, Sofiène Tahar and Otmane AitMohamed, "Verification
of the MDG Components Library". The Supplementary Proceedings
of Theorem Proving in Higher Order Logics: 11th International Conference,
TPHOLs 1998. pdf
 Haiyan Xiong and Paul Curzon. "Verification of a Translator for
MDG's Components in HOL". In mucort98: Computers and Engineering
in the Millenium, April 1998.
 Paul Curzon. "Preparing to Learn in Higher Education".
Dissertation submitted for the Postgraduate Certificate in Higher Education,
Middlesex University, January 1998.
1997
 Line Jakubiec, Solange CoupetGrimal and Paul Curzon. "A Comparison
of the Coq and HOL Proof Systems for Specifying Hardware". In the
Supplementary Proceedings of the 10th International Conference on Theorem
Proving in Higher Order Logics, edited by Elsa L. Gunter and Amy
Felty, pages 6378, August 1997.
 Wai Wong and Paul Curzon. "Towards an Efficient Proof Recorder
for HOL90". In the Supplementary Proceedings of the 10th International
Conference on Theorem Proving in Higher Order Logics, Edited by
Elsa L. Gunter and Amy Felty, pages 135149, August 1997.
 P. Curzon, A. Blandford, M. Jones, G. Marsden and M. Smith. "Supporting
a Largeclass Programming Course with Intranet Tools". Proceedings
of the 5th Annual Conference on the Teaching of Computing, page
270, CTC Dublin University, August 1997.
1996
 Sofiène Tahar and Paul Curzon. "A Comparison of MDG and
HOL for Hardware Verification". In Theorem Proving in Higher
Order Logics: 9th International Conference, TPHOLs'96, Joakim von
Wright, Jim Grundy, and John Harrison (Eds.) Lecture Notes in Computer
Science 1125, pp 415430, SpringerVerlag, 1996. pdf
 Paul Curzon and Ian Leslie. "Improving Hardware Designs whilst
Simplifying their Proof". In Designing Correct Circuits,
Electronic Workshops in Computing, British Computer Society, 1996.
 Paul Curzon and Janet Rix, "Why do Students take Programming
Modules?" Proceedings of the 6th Annual Conference on the Teaching
of Computing, ACM Press, 1998.
 Paul Curzon. "Hardware Verification and ATM Switches".
Colloquium on Formal Methods and Security, Isaac Newton Institute,
Cambridge, April 1996.
 Paul Curzon and Wai Wong. "Checking Proofs from Linked Tools".
Presented at the 4th ProCoS Working Group Meeting, Oldenburg,
Germany, March 1996.
 Paul Curzon. "Hierarchical Formal Verification of Communication
Networks". Poster presented at EPSRC ITeC'96, Leeds, April
1996.

Paul Curzon. Book Review of Specification and Validation Methods,
edited by Egön Borger, The Computer Journal, Volume 39, Number
5, 1996.
1995
 Paul Curzon. "Tracking Design Changes with Formal Machinechecked
Proof". The Computer Journal, 38 (2), pp 91100, 1995.
 Paul Curzon. "Problems Encountered in the MachineAssisted Proof
of Hardware". In Correct Hardware Design and Verification Methods,
Lecture Notes in Computer Science 987, pp 5670, SpringerVerlag, 1995.
 Paul Curzon. "Virtual Theories". In Higher Order Logic
Theorem Proving and Its Applications: 8th International Workshop,
Lecture Notes in Computer Science 971, pp 138153, SpringerVerlag 1995.
 Paul Curzon and Ian Leslie."A Case Study on Design for Provability",
in the Proceedings of the First International Conference on Engineering
of Complex Computer Systems, pp 5962, IEEE Press, 1995.
 Paul Curzon "Bridging the Gap Between Theory and Practice".
Invited panel session at the Second AISB Workshop on Automated Reasoning:
Bridging the Gap Between Theory and Practice, April 1995.
 Paul Curzon. "The Importance of Proof Maintenance and Reengineering".
In International Workshop on Higher Order Logic Theorem Proving and
Its Applications: BTrack: Short Presentations, editor Jim AlvesFoss,
pp 1732, 1995.
 Paul Curzon, Ian Leslie and Mike Gordon. "Conclusions from a
Study to Verify a Real Network Component". In the Proceedings
of the Second Workshop on Automated Reasoning: Bridging the Gap between
Theory and Practice, April 1995.
1994
 Paul Curzon. "Tracking Design Changes with Formal Verification".
In Higher Order Logic Theorem Proving and Its Applications: 7th International
Workshop, edited by Thomas F. Melham and Juanito Camilleri, Lecture
Notes in Computer Science, Volume 859, pages 177192, SpringerVerlag,
September 1994.
 Paul Curzon. "Experiences Formally Verifying a Network Component".
In Proc. of the 9th Annual IEEE Conference on Computer Assurance,
pp 183193, IEEE Press, 1994.
 Paul Curzon. "The Formal Verification of an ATM Network".
In the Proceedings of the 13th Annual ACM Symposium on Principles
of Distributed Computing, page 392, ACM Press, August 1994.
 Wai Wong and Paul Curzon. "A Theory of Lists for HOL Based on
HigherOrder Functions". In the Supplementary Proceedings of
the 7th International Workshop on Higher Order Logic Theorem Proving
and its Applications, edited by T. Melham and J. Camilleri, University
of Malta, 1994.
 Paul Curzon. "The Verified Compilation of Vista Programs".
Presented at the 1st ProCoS Working Group Meeting, Gentofte,
Denmark. January 1994.
 Paul Curzon. "The Formal Verification of the Fairisle ATM Switching
Element". Technical Report 329, University of Cambridge Computer
Laboratory, 1994.
 Paul Curzon. "The Formal Verification of the Fairisle ATM Switching
Element: an Overview". Technical Report 328, University of Cambridge,
Computer Laboratory, 1994.
 Paul Curzon. "The Formal Verification of the Fairisle Switch:
The 4x4 Switching Fabric". Chapter 37 of ATM Document Collection
3 (The Blue Book), edited by Richard Black, University of Cambridge
Computer Laboratory, 1994.
1993
 Paul Curzon. "Deriving Correctness Properties of Compiled Code",
In Formal Methods in System Design, Volume 3, Numbers 1/2, pp
83115, August 1993.
 Paul Curzon. "Compiler Correctness and Input/Output". In
Dependable Computing for Critical Applications 3, edited by C.E.
Landwehr, B. Randell and L. Simoncini, pp 189209, Dependable Computing
and FaultTolerant Systems Volume 8, SpringerVerlag, 1993.
 Paul Curzon. "Deriving Correctness Properties of Compiled Code",
In Higher Order Logic Theorem Proving and its Applications, IFIP
Transactions A20, edited by L.J.M. Claesen and M.J.C.Gordon, pp 327346,
NorthHolland 1993.
 Paul Curzon. "A Verified Vista Implementation". Technical
Report 311, University of Cambridge Computer Laboratory, September 1993.
1992
 Paul Curzon. "A Programming Logic for a Verified Structured Assembly
Language". In Logic Programming and Automated Reasoning,
edited by A. Voronkov, Lecture Notes in Artificial Intelligence, Volume
624, pp 403408, SpringerVerlag, 1992.
DOI: 10.1007/BFb0013078
 Paul Curzon. "A Verified Compiler for a Structured Assembly Language".
In the Proceedings of the 1991 International Workshop on the HOL
Theorem Proving System and its Applications, edited by Myla Archer,
Jeffrey J. Joyce, Karl N. Levitt and Phillip J. Windley, IEEE Computer
Society Press, 1992.pdf
 Paul Curzon. "Of What Use is a Verified Compiler Specification?"
Technical Report 274, University of Cambridge Computer Laboratory, November
1992.
1991
 Paul Curzon. A Structured Approach to the Verification of Low Level
Code. Technical Report Number 215, University of Cambridge Computer
Laboratory, February 1991.
1990
 Paul Curzon."A Verified Vista Implementation of the Viper Microprocessor",
Poster at the 1990 International Workshop on the HOL Theorem Proving
System and its Applications, 1990.
 Paul Curzon. A Structured Approach to the Verification of Low
Level Code. PhD Thesis, University of Cambridge, May 1990.
1986
 Paul Curzon. A Verification Condition Generator Program, Undergraduate
Project Dissertation, University of Cambridge, 1986.
