Computational thinking-A guide for teachers A Csizmadia, P Curzon, M Dorling, S Humphreys, T Ng, C Selby, ... Computing at School, 2015 | 479 | 2015 |
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 | 150 | 2014 |
Developing computational thinking in the classroom: a framework P Curzon, M Dorling, T Ng, C Selby, J Woollard Computing at School, 2014 | 131 | 2014 |
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 | 127 | 2011 |
An approach to formal verification of human–computer interaction P Curzon, R Rukšėnas, A Blandford Formal Aspects of Computing 19, 513-550, 2007 | 96 | 2007 |
Computational thinking P Curzon, T Bell, J Waite, M Dorling The Cambridge handbook of computing education research, 513-546, 2019 | 91 | 2019 |
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 | 70 | 2013 |
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 | 68 | 2013 |
The power of computational thinking: Games, magic and puzzles to help you become a computational thinker P Curzon, PW McOwan | 67 | 2017 |
Engaging with computer science through magic shows P Curzon, PW McOwan Proceedings of the 13th annual conference on Innovation and technology in …, 2008 | 66 | 2008 |
PVSio-web 2.0: Joining PVS to HCI P Masci, P Oladimeji, Y Zhang, P Jones, P Curzon, H Thimbleby Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 61 | 2015 |
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, 73-93, 2015 | 57 | 2015 |
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 | 56 | 2009 |
The formal verification of the Fairisle ATM switching element P Curzon University of Cambridge, Computer Laboratory, 1994 | 55 | 1994 |
cs4fn and computational thinking unplugged P Curzon Proceedings of the 8th workshop in primary and secondary computing education …, 2013 | 54 | 2013 |
Computational thinking: Searching to speak P Curzon | 53 | 2015 |
Formal verification of medical device user interfaces using PVS P Masci, Y Zhang, P Jones, P Curzon, H Thimbleby Fundamental Approaches to Software Engineering: 17th International …, 2014 | 53 | 2014 |
A study in engaging female students in computer science using role models J Black, P Curzon, C Myketiak, PW McOwan Proceedings of the 16th annual joint conference on Innovation and technology …, 2011 | 53 | 2011 |
cs4fn. org: Enthusing students about Computer Science P Curzon, J Black, LR Meagher, PW McOwan Proceedings of Informatics Education Europe IV, 73-80, 2009 | 53 | 2009 |
Using FRAM beyond safety: a case study to explore how sociotechnical systems can flourish or stall D Furniss, P Curzon, A Blandford Theoretical Issues in Ergonomics Science 17 (5-6), 507-532, 2016 | 52 | 2016 |