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

  1. Jonathan Back, Ann Blandford and Paul Curzon "Recognizing Erroneous and Exploratory Interactions" submitted for publication, 2007.
  2. Jonathan Back, Ann Blandford and Paul Curzon "Self-reporting Erroneous and Exploratory Interactions" submitted for publication, 2006.

2009

  1. Ruksenas, R., Back, J., Curzon, P. & Blandford, A. (2009) Verification-Guided Modelling of Salience and Cognitive Load, Formal Aspects of Computing. DOI: 10.1007/s00165-008-0102-7
  2. 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.
  3. 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.
  4. Curzon, P., Peckham, J., Taylor, H., Settle, A. and Roberts, E. (2009) Computational Thinking (CT): on weaving it in, ACM SIGCSE Bulletin 41 (3), 201-202. DOI= /10.1145/1595496.1562941
  5. 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), 94-98. DOI= 10.1145/1595496.1562911

2008

  1. Ruksenas, R., Curzon, P. & Blandford, A. (2008) "Modelling and Analysing Cognitive Causes of Security Breaches". Innovations in Systems and Software Engineering 4(2), pp 143-160. June. DOI 10.1007/s11334-008-0050-7
  2. Curzon, P. and McOwan P.W. (2008) Engaging with Computer Science through Magic Shows, SIGCSE Bulletin 40 (3), pp179-183. ACM. ITiCSE 2008, The 13th Annual Conference on Innovation and Technology in Computer Science Education, DOI: 10.1145/1384271.138432
  3. 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.
  4. 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. 144-167. DOI 10.1007/978-1-84628-941-5

2007

  1. Curzon, P., Ruksenas, R. and Blandford, A. (2007) "An approach to formal verification of human-computer interaction", Formal Aspects of Computing, 19(4) pp 513-550, Springer. DOI 10.1007/s00165-007-0035-6
  2. 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 83-116, Springer. DOI: 10.1007/s10703-006-0017-y
  3. 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
  4. 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)
  5. Paul Curzon, Rimvydas Ruksenas and Ann Blandford, (2007) "Formal Verification In Human Error Modelling" To appear in BCS FACS
  6. Georgios Papatzanis, Paul Curzon and Ann Blandford Evaluation of Car Navigation Systems: On-Road Studies or Analytical Tools, In Proceedings of the Interact 2007 Workshop: Technology has escaped from the zoo: studying usability in the wild
  7. 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
  8. 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) 21-38 Elsevier. doi:10.1016/j.entcs.2007.01.059
  9. Judy Wilson, Paul Curzon and Gill Whitney (2007) "Seniors Route-planning: 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.
  10. Georgios Papatzanis, Paul Curzon, Ann Blandford (2007) Identifying Phenotypes and Genotypes: A Case Study. Evaluating an In-car 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.
  11. 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

  1. 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. 36-43.
  2. Bryan-Kinns, Blandford, Curzon, Nigay (2006) Editors: Proceedings of BCS HCI2006: Engage, London, UK, September 2006.
  3. 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 0925-9856 (Print) 1572-8102 (Online) DOI 10.1007/s10703-006-0017-y Published Online August 2006.
  4. Curzon, P., McOwan P.W., Burton, E. and Gould, M. (2006), Engaging with Computer Science through Play and Performance, Presented at Designing the Not-Quite-Yet: Ideas and Methods for Engaging the Public in a Digital Future of their Choice, Workshop at HCI 2006: Engage, September.
  5. 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: 1352-8165. Online ISSN: 1469-9990
  6. 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.
  7. 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
  8. Judy Wilson and Paul Curzon. (2006) "Experiences route-planning by older people" Volume 2 Proceedings of HCI 2006.
  9. 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.
  10. 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 1200-1207 November. DOI: 10.1016/j.mejo.2006.07.019
  11. 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
  12. Paul Curzon (2006) " Backwards Compatible" usabilitynews.com, British HCI Group, April, 2006. pdf
  13. Paul Curzon (2006) " BrainAcademy 2006 unites Entertainment and HCI" usabilitynews.com, British HCI Group, April, 2006. pdf

2005

  1. 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 18-23, 2005. , Andreas Rauber, Stavros Christodoulakis, A Min Tjoa (Eds) Lecture Notes in Computer Science 3652, pp278-289 Springer-Verlag.ISSN: 0302-9743 pdf preprint
  2. J. Jagne, S. Smith-Atatkan, E. Duncker and P. Curzon (2005). "Cross-cultural factors of physical and eShopping" Proceedings of the Eleventh International Conference on Human Computer Interaction. pdf preprint
  3. 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
  4. P. Curzon (2005) " Perfect usability - The one-button machine?" usabilitynews.com, British HCI Group, August, 2005. Also in: uiGuardian.net, Weaving Usability and Cultures, October 2005. pdf
  5. P. Curzon (2005) "The compute-ability IT career competition is back" ITNOWextra, British Computer Society, July 2005. html pdf
  6. P. Curzon (2005) "Online competition BrainAcademy 2005 promotes HCI" usabilitynews.com, British HCI Group, June. html pdf
  7. P. Curzon (2005) "BrainAcademy 2005 promotes HCI" Interfaces 63, pp22, British HCI Group, Summer. pdf
  8. 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

  1. 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.
  2. 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
  3. A. Blandford, R. Butterworth and P. Curzon. (2004) "Models of Interactive systems: a case study on programmable user modelling", the International Journal of Human-computer Studies. Volume 60, Issue 2, Pages 149-284 Available from ScienceDirect. pdf
  4. P. Curzon and A. Blandford (2004) "Formally Justifying User-centred Design Rules: a Case Study on Post-completion Errors", Integrated Formal Methods, E.A. Boiten, J. Derrick and G. Smith (Eds.) Lecture Notes in Computer Science, 2999, 461-480, Springer. pdf
  5. P. Curzon, S. Keith, G. Whitney and J. Wilson (2004) "Strategies for finding government information by older people", User-Centred 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, 34-41 Springer. Springer online copy
  6. P. Curzon (2004) "Flexing Paper's Muscle", Paul's Interactions, usabilitynews.com, British HCI Group, May. pdf
  7. P. Curzon (2004) "When smart thinking is not enough", Paul's Interactions, usabilitynews.com,, British HCI Group, February. pdf
  8. Jainaba Jagne, Serengul Guven Smith, Elke Duncker and Paul Curzon (2004) Cross-cultural Interface Design Strategy. Middlesex University Interaction Design Centre Technical Report: IDC-TR-2004-006. February 2004 pdf (8 pages)
  9. 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: IDC-TR-2004-009. February 2004 pdf (9 pages)

2003

  1. 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: IDC-TR-2003-006. pdf (29 pages)
  2. Paul Curzon and Ann Blandford (2003) A formal justification of a design rule for avoiding post-completion errors. Middlesex University Interaction Design Centre Technical Report: IDC-TR-2003-005. pdf (21 pages)
  3. P. Curzon (2003) " Spit-not-so, or what's in the layout", Paul's Interactions, usabilitynews.com, British HCI Group, December. pdf
  4. P. Curzon (2003) "Maori Culture? Who Cares?", Paul's Interactions, usabilitynews.com, British HCI Group, October. pdf
  5. 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 219-220, British HCI Group. pdf (2 pages) pdf (6 pages)
  6. P. Curzon (2003) "The dog, the hen and the corn...and post completion errors". Interesting interactions, Interfaces 55, Summer 2003, pp 19-22, British HCI Group. pdf
  7. 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

  1. 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, pp281-302, Springer 2002. pdf
  2. 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, pp38-41, BCS 2002. pdf
  3. P. Curzon and A. Blandford, "From a Formal User Model to Design Rules", Interactive Systems. Design, Specification and Verification, 9th Int Workshop. DSV-IS 2002. P. Forbrig, B. Urban and J. Vanderdonckt and Q. Limbourg (eds). Lecture Notes in Computer Science, 2545, pp 1-15, June 2002. pdf
  4. S. Kort, S. Tahar and P. Curzon. "Hierarchical Formal Verification Using a Hybrid Tool". Int. J. on Software Tools for Technology Transfer 4 pp1-10, Springer 2002. pdf
  5. 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 pp152-163, Kogan Page, 2002.
  6. 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, pp205-224, Turku, Finland, May 2002. pdf

2001

  1. S. Kort, S. Tahar and P. Curzon. "Hierarchical Formal Verification Using an MDG-HOL 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 244-258, Springer, September 2001. pdf
  2. P. Curzon and A. Blandford, "Detecting Multiple Classes of User Errors", in Engineering for Human-Computer Interaction, 8th IFIP International Conference, EHCI 2001, Toronto Canada, Murray Reed Little and Laurence Nigay (Eds) pp 57-71, LNCS 2254, Springer. May 2001. pdf
  3. A. Blandford, R. Butterworth and P Curzon, "Puma Footprints: Linking Theory and Craft Skill in Usability Evaluation". Proceedings of Interact 2001, M. Hirose (ed), pp577-584, IOS Press, July 2001. pdf
  4. 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. 257-260. pdf
  5. 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, ED-INF-RR-0046, pp 384-399, 2001. pdf
  6. P. Curzon and A. Blandford, "A User Model for Avoiding Design Induced Errors in Soft-Key Interactive Systems", TPHOLs 2001: Supplementary Proceedings, ed by R.J.Bolton and P.B. Jackson, U. of Edinburgh, Informatics Research Report, ED-INF-RR-0046, pp 33-48, 2001. pdf
  7. Richard Butterworth, Ann Blandford & Paul Curzon, "Lab Overview: Interaction Design Centre, Middlesex University", Interaction without frontiers, IHM-HCI 2001, Volume 2 edited by Jean Vanderdonckt, Ann Blandford and Alain Derycke, pp 299-300, Lille, 2001. pdf

2000

  1. V.K. Pisini, S. Tahar, P. Curzon, O. Aït-Mohamed 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. 23-28. Available from the ACM Digital Library pdf
  2. P. Curzon and A. Blandford, "Using a Verification System to Reason About Post-Completion Errors". Participants Proc. of DSV-IS 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 292-308, 2000. pdf
  3. Paul Curzon, "Learning Computer Science Through Games and Puzzles". Interfaces 42, pp14, Spring 2000.
  4. 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 00-009, pp 33-48, August 2000, Portland U.S. pdf
  5. H. Xiong, P. Curzon, S. Tahar and A. Blandford, "Embedding and Verification of an MDG-HDL 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 00-009, pp 237-248, August 2000, Portland U.S. pdf
  6. S. Kort, V.K. Pisini, S. Tahar, O. Ait-Mohamed, P. Curzon and X. Song: "Un outil hybride pour la vérification formelle de circuits"; Proc. 68th ACFAS Symposium (ACFAS'00), May 2000.
  7. 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. 173-178. pdf
  8. S. Kort, S. Tahar, P. Curzon, X. Song: "HOL-MDG: A Hybrid Tool for Formal Verification"; Proc. 2000 Micronet Workshop, Ottawa, Canada, April 2000, pp. 131-132. pdf
  9. 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.
  10. 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.
  11. P. Curzon and A. Blandford, "Reasoning about Order Errors in Interaction", Middlesex University, School of Computing Science, PUMA Working Paper WP36, February 2000.
  12. P. Curzon and A. Blandford, "Using a Verification System to Reason about Post-Completion Errors". Middlesex University, School of Computing Science, PUMA Working Paper WP31, February 2000.

1999

  1. P. Curzon and S. Tahar, "Comparing HOL and MDG: A Case Study on the Verification of an ATM Switch Fabric". Nordic Journal of Computing, pp372-402, 6(4) Winter 1999. pdf
  2. 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 293-310, Springer 1999. pdf
  3. V.K. Pisini, S. Tahar, O. Aït-Mohamed, 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. 156-157. pdf
  4. H. Xiong, P. Curzon and A. Blandford. "Combining Verification Systems in a Trusted Way to Reap the Benefits of Both". 6th Workshop on Automated Reasoning-Bridging the Gap between Theory and Practice. pp71-73, April 1999.
  5. 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.
  6. P. Curzon, "Learning Computer Science through Games and Puzzles". Computers and Fun 2, York, December 1999.
  7. 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.
  8. 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 CS-99-05, July 1999. pdf
  9. Paul Curzon and Judith Harding, "A Summary of the Virtual Reading Group Project", inThe SEDA Newsletter, November 1999.
  10. 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]
  11. V.K. Pisini, S. Tahar, P. Curzon, O. Ait-Mohamed, 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

  1. 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 Computer-Aided Design, Lecture Notes in Computer Science 1522, pp. 433-450, Springer Verlag, 1998. pdf
  2. 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.
  3. Paul Curzon, Sofiène Tahar and Otmane Ait-Mohamed, "Verification of the MDG Components Library". The Supplementary Proceedings of Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs 1998. pdf
  4. 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.
  5. Paul Curzon. "Preparing to Learn in Higher Education". Dissertation submitted for the Postgraduate Certificate in Higher Education, Middlesex University, January 1998.

1997

  1. Line Jakubiec, Solange Coupet-Grimal 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 63-78, August 1997.
  2. 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 135-149, August 1997.
  3. P. Curzon, A. Blandford, M. Jones, G. Marsden and M. Smith. "Supporting a Large-class Programming Course with Intranet Tools". Proceedings of the 5th Annual Conference on the Teaching of Computing, page 270, CTC Dublin University, August 1997.

1996

  1. 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 415-430, Springer-Verlag, 1996. pdf
  2. Paul Curzon and Ian Leslie. "Improving Hardware Designs whilst Simplifying their Proof". In Designing Correct Circuits, Electronic Workshops in Computing, British Computer Society, 1996.
  3. 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.
  4. Paul Curzon. "Hardware Verification and ATM Switches". Colloquium on Formal Methods and Security, Isaac Newton Institute, Cambridge, April 1996.
  5. Paul Curzon and Wai Wong. "Checking Proofs from Linked Tools". Presented at the 4th ProCoS Working Group Meeting, Oldenburg, Germany, March 1996.
  6. Paul Curzon. "Hierarchical Formal Verification of Communication Networks". Poster presented at EPSRC ITeC'96, Leeds, April 1996.

  7. Paul Curzon. Book Review of Specification and Validation Methods, edited by Egön Borger, The Computer Journal, Volume 39, Number 5, 1996.

1995

  1. Paul Curzon. "Tracking Design Changes with Formal Machine-checked Proof". The Computer Journal, 38 (2), pp 91-100, 1995.
  2. Paul Curzon. "Problems Encountered in the Machine-Assisted Proof of Hardware". In Correct Hardware Design and Verification Methods, Lecture Notes in Computer Science 987, pp 56-70, Springer-Verlag, 1995.
  3. Paul Curzon. "Virtual Theories". In Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Lecture Notes in Computer Science 971, pp 138-153, Springer-Verlag 1995.
  4. 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 59-62, IEEE Press, 1995.
  5. 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.
  6. Paul Curzon. "The Importance of Proof Maintenance and Reengineering". In International Workshop on Higher Order Logic Theorem Proving and Its Applications: B-Track: Short Presentations, editor Jim Alves-Foss, pp 17-32, 1995.
  7. 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

  1. 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 177-192, Springer-Verlag, September 1994.
  2. Paul Curzon. "Experiences Formally Verifying a Network Component". In Proc. of the 9th Annual IEEE Conference on Computer Assurance, pp 183-193, IEEE Press, 1994.
  3. 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.
  4. Wai Wong and Paul Curzon. "A Theory of Lists for HOL Based on Higher-Order 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.
  5. Paul Curzon. "The Verified Compilation of Vista Programs". Presented at the 1st ProCoS Working Group Meeting, Gentofte, Denmark. January 1994.
  6. Paul Curzon. "The Formal Verification of the Fairisle ATM Switching Element". Technical Report 329, University of Cambridge Computer Laboratory, 1994.
  7. Paul Curzon. "The Formal Verification of the Fairisle ATM Switching Element: an Overview". Technical Report 328, University of Cambridge, Computer Laboratory, 1994.
  8. 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

  1. Paul Curzon. "Deriving Correctness Properties of Compiled Code", In Formal Methods in System Design, Volume 3, Numbers 1/2, pp 83-115, August 1993.
  2. 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 189-209, Dependable Computing and Fault-Tolerant Systems Volume 8, Springer-Verlag, 1993.
  3. Paul Curzon. "Deriving Correctness Properties of Compiled Code", In Higher Order Logic Theorem Proving and its Applications, IFIP Transactions A-20, edited by L.J.M. Claesen and M.J.C.Gordon, pp 327-346, North-Holland 1993.
  4. Paul Curzon. "A Verified Vista Implementation". Technical Report 311, University of Cambridge Computer Laboratory, September 1993.

1992

  1. 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 403-408, Springer-Verlag, 1992. DOI: 10.1007/BFb0013078
  2. 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
  3. Paul Curzon. "Of What Use is a Verified Compiler Specification?" Technical Report 274, University of Cambridge Computer Laboratory, November 1992.

1991

  1. Paul Curzon. A Structured Approach to the Verification of Low Level Code. Technical Report Number 215, University of Cambridge Computer Laboratory, February 1991.

1990

  1. 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.
  2. Paul Curzon. A Structured Approach to the Verification of Low Level Code. PhD Thesis, University of Cambridge, May 1990.

1986

  1. Paul Curzon. A Verification Condition Generator Program, Undergraduate Project Dissertation, University of Cambridge, 1986.