Paul Curzon
机构: Professor in Computer Science, Queen Mary University of London
每年引用次数
引用次数
引用: 3,925
H-指数: 35
I10-指数 : 99
出版物: 265
1455 de Maisonneuve West, Montreal, Quebec, H3G 1M8 Canada
SOFI ENE TAHAR , PAUL CURZON
xConcordia University, Department of Electrical and Computer Engineering 1455 de Maisonneuve West, Montreal, Quebec, H3G 1M8 Canada
SOFI ENE TAHAR , PAUL CURZON
Extended papers from the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007), Lancaster, UK, September 2007
Antonio CERONE , Paul CURZON , David DUCE
Formal aspects of computing 21 ( 6)
2009
COMPILER CORRECTNESS AND
Paul CURZON
Dependable Computing for Critical Applications 3 8 189 -189
1993
Developing Computational Thinking in the Classroom: A Framework
John Woollard , Paul Curzon , Cynthia Selby , Mark Dorling
Computing at School
104
2014
Capturing the distinction between task and device errors in a formal model of user behaviour
Duncan P. Brumby , Ann Blandford , Rimvydas Ruksenas , Paul Curzon
Electronic Communication of The European Association of Software Science and Technology 45
4
2011
Experiences route-planning by older people.
Paul Curzon , Judy Wilson
British HCI Group
1
2006
Interaction design at Middlesex University: innovative human-centred solutions.
Paul Curzon , B. L. William Wong
Springer
2005
PUMA Footprints: linking theory and craft skill in usability evaluation
Ann Blandford , Richard Butterworth , Paul Curzon
international conference on human-computer interaction 577 -584
9
2001
Exploring unlikely errors using video games: An example in number entry research
Paul Curzon , Ioanna Iacovides , Anna Cox , Patrick Oladimeji
In: : Fun & Games 2012 Workshop: Safety-Critical Systems and Video Games. (2012)
1
2012
Towards Dependable Number Entry for Medical Devices
Parisa Eslambolchilar , Paolo Masci , Andy Gimblett , Rimvydas Ruksenas
Eics4Med, the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care 53 -58
6
2011
Microwave Racing: An Interactive Activity to Enthuse Students About HCI
Peter W. McOwan , Chrystie Myketiak , Dominic Furniss , Paul Curzon
human factors in computing systems 1 -4
2012
INTERACTION DESIGN ISSUES FOR CAR NAVIGATION SYSTEMS
Ann Blandford , Richard Butterworth , Paul Curzon , Ravinder Bhogal
In: Faulkner, X. and Finlay, J. and Detienne, F., (eds.) People and Computers XVI - Memorable Yet Invisible: Proceedings of HCI 2002. (pp. pp. 38-41). Springer Verlag: London, UK. (2002)
11
2002
Comparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps
Parisa Eslambolchilar , Ann Blandford , Paolo Masci , Atish Rajkomar
Eics4Med, the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care 59 -64
7
2011
On formalising interactive number entry on infusion pumps
Paolo Masci , Andy Gimblett , Paul Curzon , Yunqiu Li
Electronic Communication of The European Association of Software Science and Technology 45
23
2011
Automated theorem proving for the systematic analysis of an infusion pump
Paolo Masci , Paul Curzon , Jose Creissac Campos , Michael D. Harrison
formal methods 69
2
2013
A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software
Paolo Masci , Paul Curzon , Paul L. Jones , Harold Thimbleby
Proceedings of Medical Cyber Physical Systems Workshop (MedCPS2014) 14
23
2014
Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach
Rimvydas Ruksenas , Paolo Masci , Paul Curzon ,
From Action Systems to Distributed Systems: The Refinement Approach 215 -230
2
2016
Abstract Models and Cognitive Mismatch in Formal Verification
Rimvydas Rukšėnas , Paul Curzon
Electronic Communication of The European Association of Software Science and Technology 45
3
2011
Resilience in Usability Consultancy Practice: The Case for a Positive Resonance Model
Ann Blandford , Dominic Furniss , Paul Curzon
Proceedings of the Resilience Engineering Workshop; 25-27 June; 2007; Vadstena; Sweden ( 023) 31 -35
5
2007