Paul Curzon
Paul Curzon
Professor in Computer Science, Queen Mary University of London
Verifierad e-postadress på eecs.qmul.ac.uk
Titel
Citeras av
Citeras av
År
Computational thinking-A guide for teachers
A Csizmadia, P Curzon, M Dorling, S Humphreys, T Ng, C Selby, ...
Computing at School, 2015
1132015
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
922011
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
822007
Developing computational thinking in the classroom: a framework
P Curzon, M Dorling, T Ng, C Selby, J Woollard
Computing At School, 2014
592014
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
572013
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
552014
Cyber-physical systems design: formal foundations, methods and integrated tool chains
J Fitzgerald, C Gamble, PG Larsen, K Pierce, J Woodcock
2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering, 40-46, 2015
542015
The formal verification of the Fairisle ATM switching element
P Curzon
University of Cambridge, Computer Laboratory, 1994
501994
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
492015
Engaging with computer science through magic shows
P Curzon, PW McOwan
Proceedings of the 13th annual conference on Innovation and technology in …, 2008
472008
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
472004
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
462014
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
442015
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
442012
Verification-guided modelling of salience and cognitive load
R Rukšėnas, J Back, P Curzon, A Blandford
Formal Aspects of Computing 21 (6), 541, 2009
432009
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
432009
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
41*2011
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
382014
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
362013
Detecting multiple classes of user errors
P Curzon, A Blandford
IFIP International Conference on Engineering for Human-Computer Interaction …, 2001
362001
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20