| Computational thinking-A guide for teachers A Csizmadia, P Curzon, M Dorling, S Humphreys, T Ng, C Selby, ... Computing at School, 2015 | 236 | 2015 |
| Confessions from a grounded theory PhD: experiences and lessons learnt D Furniss, A Blandford, P Curzon Proceedings of the SIGCHI Conference on Human Factors in Computing Systems …, 2011 | 100 | 2011 |
| Introducing teachers to computational thinking using unplugged storytelling P Curzon, PW McOwan, N Plant, LR Meagher Proceedings of the 9th workshop in primary and secondary computing education …, 2014 | 93 | 2014 |
| An approach to formal verification of human–computer interaction P Curzon, R Rukšėnas, A Blandford Formal Aspects of Computing 19 (4), 513-550, 2007 | 90 | 2007 |
| Developing computational thinking in the classroom: a framework P Curzon, M Dorling, T Ng, C Selby, J Woollard Computing at School, 2014 | 82 | 2014 |
| Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example P Masci, A Ayoub, P Curzon, MD Harrison, I Lee, H Thimbleby Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive …, 2013 | 65 | 2013 |
| PVSio-web 2.0: Joining PVS to HCI P Masci, P Oladimeji, Y Zhang, P Jones, P Curzon, H Thimbleby International Conference on Computer Aided Verification, 470-478, 2015 | 55 | 2015 |
| Engaging with computer science through magic shows P Curzon, PW McOwan Proceedings of the 13th annual conference on Innovation and technology in …, 2008 | 53 | 2008 |
| The benefits of formalising design guidelines: A case study on the predictability of drug infusion pumps P Masci, R Rukšėnas, P Oladimeji, A Cauchi, A Gimblett, Y Li, P Curzon, ... Innovations in Systems and Software Engineering 11 (2), 73-93, 2015 | 52 | 2015 |
| The formal verification of the Fairisle ATM switching element P Curzon University of Cambridge, Computer Laboratory, 1994 | 52 | 1994 |
| Making computing interesting to school students: teachers' perspectives J Black, J Brodie, P Curzon, C Myketiak, PW McOwan, LR Meagher Proceedings of the 18th ACM conference on Innovation and technology in …, 2013 | 50 | 2013 |
| Enthusing & inspiring with reusable kinaesthetic activities P Curzon, PW McOwan, QI Cutts, T Bell Proceedings of the 14th annual ACM SIGCSE conference on Innovation and …, 2009 | 50 | 2009 |
| Formal verification of medical device user interfaces using PVS P Masci, Y Zhang, P Jones, P Curzon, H Thimbleby International Conference on Fundamental Approaches to Software Engineering …, 2014 | 49 | 2014 |
| The power of computational thinking: Games, magic and puzzles to help you become a computational thinker P Curzon, PW McOwan | 46 | 2017 |
| Verification-guided modelling of salience and cognitive load R Rukšėnas, J Back, P Curzon, A Blandford Formal Aspects of Computing 21 (6), 541-569, 2009 | 46 | 2009 |
| Models of interactive systems: a case study on programmable user modelling A Blandford, R Butterworth, P Curzon International Journal of Human-Computer Studies 60 (2), 149-200, 2004 | 45 | 2004 |
| PVSio-web: a tool for rapid prototyping device user interfaces in PVS P Oladimeji, P Masci, P Curzon, H Thimbleby Electronic Communications of the EASST 69, 2014 | 44 | 2014 |
| Safer “5–key” number entry user interfaces using Differential Formal Analysis A Cauchi, A Gimblett, H Thimbleby, P Curzon, P Masci The 26th BCS Conference on Human Computer Interaction 26, 29-38, 2012 | 44 | 2012 |
| On formalising interactive number entry on infusion pumps P Masci, R Ruksenas, P Oladimeji, A Cauchi, A Gimblett, Y Li, P Curzon, ... Electronic Communications of the EASST 45, 2011 | 44* | 2011 |
| Exploring medical device design and use through layers of distributed cognition: how a glucometer is coupled with its context D Furniss, P Masci, P Curzon, A Mayer, A Blandford Journal of biomedical informatics 53, 330-341, 2015 | 41 | 2015 |
