| 2016 | EICS | Modelling information resources and their salience in medical device design. | Michael D. Harrison, Jos Creissac Campos, Rimvydas Ruksenas, Paul Curzon |
| 2015 | CAV | PVSio-web 2.0: Joining PVS to HCI. | Paolo Masci, Patrick Oladimeji, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby |
| 2014 | COMPSAC | A Socio-technical Methodology for the Security and Privacy Analysis of Services. | Giampaolo Bella, Paul Curzon, Rosario Giustolisi, Gabriele Lenzini |
| 2014 | FASE | Formal Verification of Medical Device User Interfaces Using PVS. | Paolo Masci, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby |
| 2013 | EICS | Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example. | Paolo Masci, Anaheed Ayoub, Paul Curzon, Michael D. Harrison, Insup Lee, Harold W. Thimbleby |
| 2013 | IFM | Integrating Formal Predictions of Interactive System Behaviour with User Evaluation. | Rimvydas Ruksenas, Paul Curzon, Michael D. Harrison |
| 2013 | ITiCSE | Making computing interesting to school students: teachers' perspectives. | Jonathan Back, Jo Brodie, Paul Curzon, Chrystie Myketiak, Peter W. McOwan, Laura R. Meagher |
| 2013 | SIGCSE | Computer science unplugged, robotics, and outreach activities (abstract only). | Tim Bell, Daniela Marghitu, Lynn Lambert, Paul Curzon |
| 2013 | SAFECOMP | Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS. | Paolo Masci, Anaheed Ayoub, Paul Curzon, Insup Lee, Oleg Sokolsky, Harold W. Thimbleby |
| 2012 | ITiCSE | cs4fn: a flexible model for computer science outreach. | Chrystie Myketiak, Paul Curzon, Jonathan Back, Peter W. McOwan, Laura R. Meagher |
| 2011 | CHI | Confessions from a grounded theory PhD: experiences and lessons learnt. | Dominic Furniss, Ann Blandford, Paul Curzon |
| 2011 | EICS | Comparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps. | Ann Blandford, Abigail Cauchi, Paul Curzon, Parisa Eslambolchilar, Dominic Furniss, Andy Gimblett, Huayi Huang, Paul Lee, Yunqiu Li, Paolo Masci, Patrick Oladimeji, Atish Rajkomar, Rimvydas Ruksenas, Harold Thimbleby |
| 2011 | EICS | Towards Dependable Number Entry for Medical Devices. | Abigail Cauchi, Paul Curzon, Parisa Eslambolchilar, Andy Gimblett, Huayi Huang, Paul Lee, Yunqiu Li, Paolo Masci, Patrick Oladimeji, Rimvydas Ruksenas, Harold Thimbleby |
| 2011 | ITiCSE | A study in engaging female students in computer science using role models. | Jonathan Back, Paul Curzon, Chrystie Myketiak, Peter W. McOwan |
| 2011 | ITiCSE | Introducing students to computer science with programmes that don't emphasise programming. | Tim Bell, Paul Curzon, Quintin I. Cutts, Valentina Dagiene, Bruria Haberman |
| 2009 | ITiCSE | Enthusing & inspiring with reusable kinaesthetic activities. | Paul Curzon, Peter W. McOwan, Quintin I. Cutts, Tim Bell |
| 2009 | ITiCSE | Computational thinking (CT): on weaving it in. | Paul Curzon, Joan Peckham, Harriet G. Taylor, Amber Settle, Eric Roberts |
| 2008 | ITiCSE | Engaging with computer science through magic shows. | Paul Curzon, Peter W. McOwan |
| 2008 | SEFM | Modelling Rational User Behaviour as Games between an Angel and a Demon. | Rimvydas Ruksenas, Paul Curzon, Ann Blandford |
| 2007 | Interact | Recognising Erroneous and Exploratory Interactions. | Jonathan Back, Ann Blandford, Paul Curzon |
| 2007 | ITiCSE | Serious fun in computer science. | Paul Curzon |
| 2004 | IFM | Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors. | Paul Curzon, Ann Blandford |
| 2002 | IFM | Formally Linking MDG and HOL Based on a Verified MDG System. | Haiyan Xiong, Paul Curzon, Sofine Tahar, Ann Blandford |
| 2001 | Interact | PUMA Footprints: Linking Theory and Craft Skill in Usability Evaluation. | Ann Blandford, Richard Butterworth, Paul Curzon |
| 1998 | FMCAD | Three Approaches to Hardware Verification: HOL, MDG and VIS Compared. | Sofine Tahar, Paul Curzon, Jianping Lu |
| 1998 | ITiCSE | Why do students take programming modules? | Paul Curzon, Janet Rix |
| 1995 | ICECCS | A case study on design for provability. | Paul Curzon, Ian M. Leslie |
| 1994 | PODC | The Formal Verification of an ATM Network. | Paul Curzon |
| 1992 | LPAR | A Programming Logic for a Verified Structured Assembly Language. | Paul Curzon |