default search action
Paul Curzon
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2023
- [b3]Paul Curzon, Peter W. McOwan:
Conjuring with Computation - A Manual of Magic and Computing for Beginners. WorldScientific 2023, ISBN 9789811264337, pp. 1-420 - 2017
- [b2]Paul Curzon, Peter W. McOwan:
The Power of Computational Thinking - Games, Magic and Puzzles to Help You Become a Computational Thinker. WorldScientific 2017, ISBN 9781786341839, pp. 1-232 - 1990
- [b1]Paul Curzon:
A structured approach to the verification of low level microcode. University of Cambridge, UK, 1990
Journal Articles
- 2020
- [j34]Jane Waite
, Paul Curzon, William Marsh, Sue Sentance
Difficulties with design: The challenges of teaching design in K-5 programming. Comput. Educ. 150: 103838 (2020) - 2018
- [j33]Jane Lisa Waite, Paul Curzon, William Marsh, Sue Sentance
Abstraction in action: K-5 teachers' uses of levels of abstraction, particularly the design level, in teaching programming. Int. J. Comput. Sci. Educ. Sch. 2(1): 14-40 (2018) - 2017
- [j32]Michael D. Harrison
Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices. IEEE Trans. Hum. Mach. Syst. 47(6): 834-846 (2017) - 2016
- [j31]Paul Lee, Laura R. Meagher, Paul Curzon
Impact on procurement and training by research on the interaction design of medical devices. EAI Endorsed Trans. Collab. Comput. 2(7): e2 (2016) - [j30]Paolo Masci
PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems. EAI Endorsed Trans. Collab. Comput. 2(7): e3 (2016) - [j29]Michael D. Harrison, José Creissac Campos
Templates as heuristics for proving properties of medical devices. EAI Endorsed Trans. Creative Technol. 3(8): e1 (2016) - [j28]Harold Thimbleby, Patrick Oladimeji, Paolo Masci
Issues in number entry user interface styles: Recommendations for mitigation. EAI Endorsed Trans. Creative Technol. 3(8): e2 (2016) - [j27]Paul Curzon
Safer Interactive Medical Device Design: Insights from the CHI+MED Project. EAI Endorsed Trans. Security Safety 3(9): e1 (2016) - 2015
- [j26]Judy Wilson, Paul Curzon
Exploring older women's confidence during route planning. Behav. Inf. Technol. 34(7): 725-740 (2015) - [j25]Paolo Masci
The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps. Innov. Syst. Softw. Eng. 11(2): 73-93 (2015) - [j24]Paolo Masci
Using PVS to support the analysis of distributed cognition systems. Innov. Syst. Softw. Eng. 11(2): 113-130 (2015) - [j23]Dominic Furniss
Exploring medical device design and use through layers of Distributed Cognition: How a glucometer is coupled with its context. J. Biomed. Informatics 53: 330-341 (2015) - [j22]Giampaolo Bella
Service security and privacy as a socio-technical problem. J. Comput. Secur. 23(5): 563-585 (2015) - 2014
- [j21]Rimvydas Ruksenas, Paul Curzon
Combining human error verification and timing analysis: a case study on an infusion pump. Formal Aspects Comput. 26(5): 1033-1076 (2014) - 2013
- [j20]Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon:
Automated theorem proving for the systematic analysis of an infusion pump. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 69 (2013) - [j19]Patrick Oladimeji, Paolo Masci, Paul Curzon, Harold W. Thimbleby:
PVSio-web: a tool for rapid prototyping device user interfaces in PVS. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 69 (2013) - [j18]Rimvydas Ruksenas, Paolo Masci, Michael D. Harrison, Paul Curzon:
Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 69 (2013) - 2011
- [j17]Huayi Huang, Rimvydas Ruksenas, Maartje Ament, Paul Curzon, Anna Louise Cox
Capturing the distinction between task and device errors in a formal model of user behaviour. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011) - [j16]Paolo Masci, Paul Curzon, Ann Blandford, Dominic Furniss:
Modelling Distributed Cognition Systems in PVS. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011) - [j15]Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Karen Yunqiu Li, Paul Curzon, Harold W. Thimbleby:
On formalising interactive number entry on infusion pumps. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011) - [j14]Rimvydas Ruksenas, Paul Curzon:
Abstract Models and Cognitive Mismatch in Formal Verification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011) - 2009
- [j13]Antonio Cerone, Paul Curzon
Editorial. Formal Aspects Comput. 21(6): 511-512 (2009) - [j12]Rimvydas Ruksenas, Jonathan Back, Paul Curzon
Verification-guided modelling of salience and cognitive load. Formal Aspects Comput. 21(6): 541-569 (2009) - 2008
- [j11]Antonio Cerone, Paul Curzon
Formal methods for interactive systems. Innov. Syst. Softw. Eng. 4(2): 123 (2008) - [j10]Rimvydas Ruksenas, Paul Curzon
Modelling and analysing cognitive causes of security breaches. Innov. Syst. Softw. Eng. 4(2): 143-160 (2008) - 2007
- [j9]Paul Curzon
An approach to formal verification of human-computer interaction. Formal Aspects Comput. 19(4): 513-550 (2007) - [j8]Haiyan Xiong, Paul Curzon
Providing a formal linkage between MDG and HOL. Formal Methods Syst. Des. 30(2): 83-116 (2007) - 2006
- [j7]Rabeb Mizouni
Hybrid verification integrating HOL theorem proving with MDG model checking. Microelectron. J. 37(11): 1200-1207 (2006) - 2005
- [j6]Paul Curzon
Successful strategies of older people for finding information. Interact. Comput. 17(6): 660-671 (2005) - 2004
- [j5]Ann Blandford
Models of interactive systems: a case study on programmable user modelling. Int. J. Hum. Comput. Stud. 60(2): 149-200 (2004) - 2003
- [j4]Skander Kort, Sofiène Tahar, Paul Curzon
Hierarchical formal verification using a hybrid tool. Int. J. Softw. Tools Technol. Transf. 4(3): 313-322 (2003) - 1999
- [j3]Sofiène Tahar, Paul Curzon:
Comparing HOL and MDG: a Case Study on the Verification of an ATM Switch Fabric. Nord. J. Comput. 6(4): 372-402 (1999) - 1995
- [j2]Paul Curzon
Tracking Design Changes with Formal Machine - Checked Proof. Comput. J. 38(2): 91-100 (1995) - 1993
- [j1]Paul Curzon
Deriving Correctness Properties of Compiled Code. Formal Methods Syst. Des. 3(1/2): 83-115 (1993)
Conference and Workshop Papers
- 2024
- [c74]Paul Curzon
Teaching CS with and through other forms of knowledge. WiPSCE 2024: 17:1-17:4 - 2020
- [c73]Ali Fahmi
From Personalised Predictions to Targeted Advice: Improving Self-Management in Rheumatoid Arthritis. EFMI-STC 2020: 62-66 - [c72]Paul Curzon, Jane Waite
Using semantic waves to analyse the effectiveness of unplugged computing activities. WiPSCE 2020: 18:1-18:10 - 2019
- [c71]Jane Waite
Unplugged Computing and Semantic Waves: Analysing Crazy Characters. UKICER 2019: 4:1-4:7 - 2018
- [c70]Jane Waite
Comparing K-5 teachers' reported use of design in teaching programming and planning in teaching writing. WiPSCE 2018: 4:1-4:10 - 2017
- [c69]Jane Waite, Paul Curzon
K-5 Teachers' Uses of Levels of Abstraction Focusing on Design. WiPSCE 2017: 115-116 - 2016
- [c68]Michael D. Harrison, José Creissac Campos
Modelling information resources and their salience in medical device design. EICS 2016: 194-203 - [c67]Jane Waite, Paul Curzon
Abstraction and common classroom activities. WiPSCE 2016: 112-113 - 2015
- [c66]Paolo Masci
PVSio-web 2.0: Joining PVS to HCI. CAV (1) 2015: 470-478 - 2014
- [c65]Giampaolo Bella
A Socio-technical Methodology for the Security and Privacy Analysis of Services. COMPSAC Workshops 2014: 401-406 - [c64]Paolo Masci
Formal Verification of Medical Device User Interfaces Using PVS. FASE 2014: 200-214 - [c63]Michael D. Harrison, Paolo Masci
Demonstrating that Medical Devices Satisfy User Related Safety Requirements. FHIES/SEHC 2014: 113-128 - [c62]Paolo Masci
Using PVSio-web to Demonstrate Software Issues in Medical User Interfaces. FHIES/SEHC 2014: 214-221 - [c61]Paolo Masci
A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software. MCPS 2014: 1-14 - [c60]Paolo Masci
Combining PVSio with Stateflow. NASA Formal Methods 2014: 209-214 - [c59]Paul Curzon, Peter W. McOwan, Nicola Plant, Laura R. Meagher:
Introducing teachers to computational thinking using unplugged storytelling. WiPSCE 2014: 89-92 - 2013
- [c58]Paolo Masci
Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example. EICS 2013: 81-90 - [c57]Rimvydas Ruksenas, Paul Curzon
Integrating Formal Predictions of Interactive System Behaviour with User Evaluation. IFM 2013: 238-252 - [c56]Jonathan Back, Jo Brodie, Paul Curzon
Making computing interesting to school students: teachers' perspectives. ITiCSE 2013: 255-260 - [c55]Paolo Masci
Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS. SAFECOMP 2013: 228-240 - [c54]Tim Bell, Daniela Marghitu, Lynn Lambert, Paul Curzon:
Computer science unplugged, robotics, and outreach activities (abstract only). SIGCSE 2013: 758 - [c53]Paul Curzon
cs4fn and computational thinking unplugged. WiPSCE 2013: 47-50 - 2012
- [c52]Abigail Cauchi, Andy Gimblett, Harold W. Thimbleby, Paul Curzon, Paolo Masci:
Safer "5-key" number entry user interfaces using differential formal analysis. BCS HCI 2012: 29-38 - [c51]Chrystie Myketiak
cs4fn: a flexible model for computer science outreach. ITiCSE 2012: 297-302 - [c50]Paolo Masci
Using PVS to Investigate Incidents through the Lens of Distributed Cognition. NASA Formal Methods 2012: 273-278 - [c49]Paolo Masci
Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain. SERENE 2012: 150-164 - [c48]Jonathan Back, Paul Curzon
Teachers' perceptions of the value of research-based school lectures. WiPSCE 2012: 145-146 - 2011
- [c47]Dominic Furniss
Confessions from a grounded theory PhD: experiences and lessons learnt. CHI 2011: 113-122 - [c46]Abigail Cauchi, Paul Curzon, Parisa Eslambolchilar, Andy Gimblett, Huayi Huang, Paul Lee, Yunqiu Li, Paolo Masci, Patrick Oladimeji, Rimvydas Ruksenas, Harold Thimbleby:
Towards Dependable Number Entry for Medical Devices. EICS4Med 2011: 53-58 - [c45]Ann Blandford, Abigail Cauchi, Paul Curzon, Parisa Eslambolchilar, Dominic Furniss, Andy Gimblett, Huayi Huang, Paul Lee, Yunqiu Li, Paolo Masci, Patrick Oladimeji, Atish Rajkomar, Rimvydas Ruksenas, Harold Thimbleby:
Comparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps. EICS4Med 2011: 59-64 - [c44]Paolo Masci
Towards a formal framework for reasoning about the resilience of dynamic interactive systems. EWDC 2011: 109-110 - [c43]Tim Bell, Paul Curzon
Overcoming Obstacles to CS Education by Using Non-programming Outreach Programmes. ISSEP 2011: 71-81 - [c42]Jonathan Back, Paul Curzon
A study in engaging female students in computer science using role models. ITiCSE 2011: 63-67 - [c41]Tim Bell, Paul Curzon
Introducing students to computer science with programmes that don't emphasise programming. ITiCSE 2011: 391 - [c40]Paolo Masci
Checking User-Centred Design Principles in Distributed Cognition Models: A Case Study in the Healthcare Domain. USAB 2011: 95-108 - 2009
- [c39]Paul Curzon
Enthusing & inspiring with reusable kinaesthetic activities. ITiCSE 2009: 94-98 - [c38]Paul Curzon
Computational thinking (CT): on weaving it in. ITiCSE 2009: 201-202 - 2008
- [c37]Ann Blandford
EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System. DSV-IS 2008: 1-14 - [c36]Paul Curzon
Engaging with computer science through magic shows. ITiCSE 2008: 179-183 - [c35]Rimvydas Ruksenas, Paul Curzon
Modelling Rational User Behaviour as Games between an Angel and a Demon. SEFM 2008: 355-364 - 2007
- [c34]Paul Curzon, Antonio Cerone:
2nd International Workshop on Formal Methods for Interactive Systems. BCS HCI (2) 2007: 199-200 - [c33]Jonathan Back, Ann Blandford
Slip errors and cue salience. ECCE 2007: 221-224 - [c32]Dominic Furniss
Usability evaluation methods in practice: understanding the context in which they are embedded. ECCE 2007: 253-256 - [c31]Rimvydas Ruksenas, Paul Curzon
Combining Human Error Verification and Timing Analysis. EHCI/DS-VIS 2007: 18-35 - [c30]Georgios Papatzanis, Paul Curzon
Identifying Phenotypes and Genotypes: A Case Study Evaluating an In-Car Navigation System. EHCI/DS-VIS 2007: 227-242 - [c29]Jonathan Back, Ann Blandford
Recognising Erroneous and Exploratory Interactions. INTERACT (2) 2007: 127-140 - [c28]Paul Curzon
Serious fun in computer science. ITiCSE 2007: 1 - [c27]Antonio Cerone, Paul Curzon
Preface. FMIS@BCS HCI 2007: 1-3 - [c26]Rimvydas Ruksenas, Jonathan Back, Paul Curzon
Formal Modelling of Salience and Cognitive Load. FMIS@BCS HCI 2007: 57-75 - 2006
- [c25]Rimvydas Ruksenas, Paul Curzon, Jonathan Back, Ann Blandford
Formal Modelling of Cognitive Interpretation. DSV-IS 2006: 123-136 - [c24]T. C. Nicholas Graham, Paul Curzon, Gavin J. Doherty
Usability and Computer Games: Working Group Report. DSV-IS 2006: 265-268 - [c23]Antonio Cerone, Paul Curzon
Preface. FMIS@ICFEM 2006: 1-2 - [c22]Rimvydas Ruksenas, Paul Curzon
Detecting Cognitive Causes of Confidentiality Leaks. FMIS@ICFEM 2006: 21-38 - 2005
- [c21]Veronica Davis Perkins, Richard Butterworth, Paul Curzon
A Study into the Effect of Digitisation Projects on the Management and Stability of Historic Photograph Collections. ECDL 2005: 278-289 - 2004
- [c20]Paul Curzon, Ann Blandford
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors. IFM 2004: 461-480 - [c19]Paul Curzon, Suzette Keith, Judy Wilson, Gill Whitney:
Strategies for Finding Government Information by Older People. User Interfaces for All 2004: 34-41 - 2002
- [c18]Paul Curzon
From a Formal User Model to Design Rules. DSV-IS 2002: 1-15 - [c17]Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford
Formally Linking MDG and HOL Based on a Verified MDG System. IFM 2002: 205-224 - 2001
- [c16]Iskander Kort, Sofiène Tahar, Paul Curzon:
Hierarchical Verification Using an MDG-HOL Hybrid Tool. CHARME 2001: 244-258 - [c15]Paul Curzon, Ann Blandford
Detecting Multiple Classes of User Errors. EHCI 2001: 57-72 - [c14]Ann Blandford, Richard Butterworth, Paul Curzon:
PUMA Footprints: Linking Theory and Craft Skill in Usability Evaluation. INTERACT 2001: 577-584 - 2000
- [c13]V. K. Pisini, Sofiène Tahar, Paul Curzon, Otmane Aït Mohamed, Xiaoyu Song:
Formal hardware verification by integrating HOL and MDG. ACM Great Lakes Symposium on VLSI 2000: 23-28 - 1999
- [c12]Haiyan Xiong, Paul Curzon
Importing MDG Verification Results into HOL. TPHOLs 1999: 293-310 - 1998
- [c11]Sofiène Tahar, Paul Curzon, Jianping Lu:
Three Approaches to Hardware Verification: HOL, MDG and VIS Compared. FMCAD 1998: 433-450 - [c10]Paul Curzon
Why do students take programming modules? ITiCSE 1998: 59-63 - 1996
- [c9]Sofiène Tahar, Paul Curzon:
A Comparison of MDG and HOL for Hardware Verification. TPHOLs 1996: 415-430 - 1995
- [c8]Paul Curzon:
Problems encountered in the machine-assisted proof of hardware. CHARME 1995: 56-70 - [c7]Paul Curzon, Ian M. Leslie:
A case study on design for provability. ICECCS 1995: 59-62 - [c6]Paul Curzon
Virtual Theories. TPHOLs 1995: 138-153 - 1994
- [c5]Paul Curzon:
The Formal Verification of an ATM Network. PODC 1994: 392 - [c4]Paul Curzon:
Tracking Design Changes with Formal Verification. TPHOLs 1994: 177-192 - 1992
- [c3]Paul Curzon
A Programming Logic for a Verified Structured Assembly Language. LPAR 1992: 403-408 - [c2]Paul Curzon:
Deriving Correctness Properties of Compiled Code. TPHOLs 1992: 327-346 - 1991
- [c1]Paul Curzon:
A Verified Compiler for a Structured Assembly Language. TPHOLs 1991: 253-262
Parts in Books or Collections
- 2017
- [p4]Paul Curzon, Rimvydas Ruksenas:
Modelling the User. Handbook of Formal Methods in Human-Computer Interaction 2017: 211-245 - [p3]Michael D. Harrison, Paolo M. Masci
The Specification and Analysis of Use Properties of a Nuclear Control System. Handbook of Formal Methods in Human-Computer Interaction 2017: 379-403 - 2016
- [p2]Rimvydas Ruksenas, Paolo Masci
Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach. From Action Systems to Distributed Systems 2016: 215-230 - 2008
- [p1]Dominic Furniss, Ann Blandford
Usability Work in Professional Website Design: Insights from Practitioners' Perspectives. Maturing Usability 2008: 144-167
Editorship
- 2008
- [e2]Antonio Cerone, Paul Curzon:
Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems, FMIS@BCS HCI 2007, Lancaster, UK, September 4, 2007. Electronic Notes in Theoretical Computer Science 208, Elsevier 2008 [contents] - 2007
- [e1]Antonio Cerone, Paul Curzon:
Proceedings of the First International Workshop on Formal Methods for Interactive Systems, FMIS@ICFEM 2006, Macao, October 31, 2006. Electronic Notes in Theoretical Computer Science 183, Elsevier 2007 [contents]
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 20:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: