Follow
Paul Curzon
Paul Curzon
Professor in Computer Science, Queen Mary University of London
Verified email at eecs.qmul.ac.uk
Title
Cited by
Cited by
Year
Computational thinking-A guide for teachers
A Csizmadia, P Curzon, M Dorling, S Humphreys, T Ng, C Selby, ...
Computing at School, 2015
4142015
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
1402014
Developing computational thinking in the classroom: a framework
P Curzon, M Dorling, T Ng, C Selby, J Woollard
Computing at School, 2014
1202014
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
1202011
An approach to formal verification of human–computer interaction
P Curzon, R Rukąėnas, A Blandford
Formal Aspects of Computing 19, 513-550, 2007
962007
Computational thinking
P Curzon, T Bell, J Waite, M Dorling
The Cambridge handbook of computing education research, 513-546, 2019
752019
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
682013
Engaging with computer science through magic shows
P Curzon, PW McOwan
Proceedings of the 13th annual conference on Innovation and technology in …, 2008
662008
The power of computational thinking: Games, magic and puzzles to help you become a computational thinker
P Curzon, PW McOwan
642017
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
642013
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
612015
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
562015
The formal verification of the Fairisle ATM switching element
P Curzon
University of Cambridge, Computer Laboratory, 1994
551994
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
542014
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
532009
Computational thinking: Searching to speak
P Curzon
512015
cs4fn and computational thinking unplugged
P Curzon
Proceedings of the 8th workshop in primary and secondary computing education …, 2013
512013
Verification-guided modelling of salience and cognitive load
R Rukąėnas, J Back, P Curzon, A Blandford
Formal Aspects of Computing 21, 541-569, 2009
502009
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
492015
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
48*2011
The system can't perform the operation now. Try again later.
Articles 1–20