Paul Curzon - RankMe

121 papers A* 2A 1B 19Misc 2Journal 36Unranked 52

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Dynamic Bayesian network models for self-management of chronic diseases: Rheumatoid arthritis case-study. Comput. Biol. Medicine Ali Fahmi, Amy MacBrayne, Frances Humby, Paul Curzon, William Marsh
2025	J	`jnl`	Explainable AI: definition and attributes of a good explanation for health AI. AI Ethics Evangelia Kyrimi, Scott McLachlan, Jared M. Wohlgemut, Zane B. Perkins, David A. Lagnado, William Marsh, Alexander Gimson, Ali Shafti, Ari Ercole, Amitava Banerjee, Ben Glocker, Burkhard Schafer, Constantine Gatsonis, Crina Grosan, Danielle Sent, David S. Berman, David Glass, Declan P. O'Regan, Dimitrios Letsios, Dylan Morrissey, Erhan Pisirir, Francesco Leofante, Hamit Soyel, Jon Williamson, Keri Grieman, Kudakwashe Dube, Max Marsden, Myura Nagendran, Nigel Tai, Olga Kostopoulou, Owain Jones, Paul Curzon, Rebecca S. Stoner, Sankalp Tandle, Shalmali Joshi, Somayyeh Mossadegh, Stefan Buijsman, Tim Miller, Vince Istvan Madai
2025	—	`conf`	Foregrounding the 'Rules' of Learning to Program with the LCT Epistemic Plane. UKICER Paul Curzon
2025	—	`conf`	Using the LCT Semantic Plane to Reflect on Teaching Programming. UKICER Paul Curzon
2024	—	`conf`	Teaching CS with and through other forms of knowledge. WiPSCE Paul Curzon, Jane Waite, Karl Maton
2023	—	`book`	Conjuring with Computation - A Manual of Magic and Computing for Beginners Conjuring with Computation Paul Curzon, Peter W. McOwan
2020	J	`jnl`	Difficulties with design: The challenges of teaching design in K-5 programming. Comput. Educ. Jane Waite, Paul Curzon, William Marsh, Sue Sentance
2020	—	`conf`	From Personalised Predictions to Targeted Advice: Improving Self-Management in Rheumatoid Arthritis. EFMI-STC Ali Fahmi, Hamit Soyel, William Marsh, Paul Curzon, Amy MacBrayne, Frances Humby
2020	—	`conf`	Using semantic waves to analyse the effectiveness of unplugged computing activities. WiPSCE Paul Curzon, Jane Waite, Karl Maton, James Donohue
2019	—	`conf`	Unplugged Computing and Semantic Waves: Analysing Crazy Characters. UKICER Jane Waite, Karl Maton, Paul Curzon, Lucinda Tuttiett
2018	J	`jnl`	Abstraction in action: K-5 teachers' uses of levels of abstraction, particularly the design level, in teaching programming. Int. J. Comput. Sci. Educ. Sch. Jane Lisa Waite, Paul Curzon, William Marsh, Sue Sentance, Alex Hadwen-Bennett
2018	—	`conf`	Comparing K-5 teachers' reported use of design in teaching programming and planning in teaching writing. WiPSCE Jane Waite, Paul Curzon, William Marsh, Sue Sentance
2017	—	`conf`	K-5 Teachers' Uses of Levels of Abstraction Focusing on Design. WiPSCE Jane Waite, Paul Curzon, William Marsh, Sue Sentance
2017	—	`ch.`	Modelling the User. Handbook of Formal Methods in Human-Computer Interaction Paul Curzon, Rimvydas Ruksenas
2017	—	`book`	The Power of Computational Thinking - Games, Magic and Puzzles to Help You Become a Computational Thinker The Power of Computational Thinking Paul Curzon, Peter W. McOwan
2017	—	`ch.`	The Specification and Analysis of Use Properties of a Nuclear Control System. Handbook of Formal Methods in Human-Computer Interaction Michael D. Harrison, Paolo M. Masci, José Creissac Campos, Paul Curzon
2017	J	`jnl`	Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices. IEEE Trans. Hum. Mach. Syst. Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon
2016	—	`conf`	Abstraction and common classroom activities. WiPSCE Jane Waite, Paul Curzon, William Marsh, Sue Sentance
2016	—	`ch.`	Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach. From Action Systems to Distributed Systems Rimvydas Ruksenas, Paolo Masci, Paul Curzon
2016	J	`jnl`	Impact on procurement and training by research on the interaction design of medical devices. EAI Endorsed Trans. Collab. Comput. Paul Lee, Laura R. Meagher, Paul Curzon
2016	J	`jnl`	Issues in number entry user interface styles: Recommendations for mitigation. EAI Endorsed Trans. Creative Technol. Harold Thimbleby, Patrick Oladimeji, Paolo Masci, Paul Curzon
2016	Misc	`conf`	Modelling information resources and their salience in medical device design. EICS Michael D. Harrison, José Creissac Campos, Rimvydas Ruksenas, Paul Curzon
2016	J	`jnl`	PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems. EAI Endorsed Trans. Collab. Comput. Paolo Masci, Patrick Oladimeji, Piergiuseppe Mallozzi, Paul Curzon, Harold Thimbleby
2016	J	`jnl`	Safer Interactive Medical Device Design: Insights from the CHI+MED Project. EAI Endorsed Trans. Security Safety Paul Curzon, Ann Blandford, Harold Thimbleby, Anna Louise Cox
2016	J	`jnl`	Templates as heuristics for proving properties of medical devices. EAI Endorsed Trans. Creative Technol. Michael D. Harrison, José Creissac Campos, Paolo Masci, Paul Curzon
2015	J	`jnl`	Exploring medical device design and use through layers of Distributed Cognition: How a glucometer is coupled with its context. J. Biomed. Informatics Dominic Furniss, Paolo Masci, Paul Curzon, Astrid Mayer, Ann Blandford
2015	J	`jnl`	Exploring older women's confidence during route planning. Behav. Inf. Technol. Judy Wilson, Paul Curzon, Elke Duncker
2015	—	`conf`	PVSio-web 2.0: Joining PVS to HCI. CAV (1) Paolo Masci, Patrick Oladimeji, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby
2015	J	`jnl`	Service security and privacy as a socio-technical problem. J. Comput. Secur. Giampaolo Bella, Paul Curzon, Gabriele Lenzini
2015	J	`jnl`	The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps. Innov. Syst. Softw. Eng. Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Karen Yunqiu Li, Paul Curzon, Harold W. Thimbleby
2015	J	`jnl`	Using PVS to support the analysis of distributed cognition systems. Innov. Syst. Softw. Eng. Paolo Masci, Paul Curzon, Dominic Furniss, Ann Blandford
2014	—	`conf`	A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software. MCPS Paolo Masci, Yi Zhang, Paul L. Jones, Harold Thimbleby, Paul Curzon
2014	—	`conf`	A Socio-technical Methodology for the Security and Privacy Analysis of Services. COMPSAC Workshops Giampaolo Bella, Paul Curzon, Rosario Giustolisi, Gabriele Lenzini
2014	—	`conf`	Combining PVSio with Stateflow. NASA Formal Methods Paolo Masci, Yi Zhang, Paul L. Jones, Patrick Oladimeji, Enrico D'Urso, Cinzia Bernardeschi, Paul Curzon, Harold Thimbleby
2014	J	`jnl`	Combining human error verification and timing analysis: a case study on an infusion pump. Formal Aspects Comput. Rimvydas Ruksenas, Paul Curzon, Ann Blandford, Jonathan Back
2014	—	`conf`	Demonstrating that Medical Devices Satisfy User Related Safety Requirements. FHIES/SEHC Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon
2014	B	`conf`	Formal Verification of Medical Device User Interfaces Using PVS. FASE Paolo Masci, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby
2014	—	`conf`	Introducing teachers to computational thinking using unplugged storytelling. WiPSCE Paul Curzon, Peter W. McOwan, Nicola Plant, Laura R. Meagher
2014	—	`conf`	Using PVSio-web to Demonstrate Software Issues in Medical User Interfaces. FHIES/SEHC Paolo Masci, Patrick Oladimeji, Paul Curzon, Harold Thimbleby
2013	J	`jnl`	Automated theorem proving for the systematic analysis of an infusion pump. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Michael D. Harrison, Paolo Masci, José Creissac Campos, Paul Curzon
2013	A	`conf`	Computer science unplugged, robotics, and outreach activities (abstract only). SIGCSE Tim Bell, Daniela Marghitu, Lynn Lambert, Paul Curzon
2013	J	`jnl`	Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Rimvydas Ruksenas, Paolo Masci, Michael D. Harrison, Paul Curzon
2013	B	`conf`	Integrating Formal Predictions of Interactive System Behaviour with User Evaluation. IFM Rimvydas Ruksenas, Paul Curzon, Michael D. Harrison
2013	B	`conf`	Making computing interesting to school students: teachers' perspectives. ITiCSE Jonathan Back, Jo Brodie, Paul Curzon, Chrystie Myketiak, Peter W. McOwan, Laura R. Meagher
2013	B	`conf`	Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS. SAFECOMP Paolo Masci, Anaheed Ayoub, Paul Curzon, Insup Lee, Oleg Sokolsky, Harold W. Thimbleby
2013	J	`jnl`	PVSio-web: a tool for rapid prototyping device user interfaces in PVS. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Patrick Oladimeji, Paolo Masci, Paul Curzon, Harold W. Thimbleby
2013	Misc	`conf`	Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example. EICS Paolo Masci, Anaheed Ayoub, Paul Curzon, Michael D. Harrison, Insup Lee, Harold W. Thimbleby
2013	—	`conf`	cs4fn and computational thinking unplugged. WiPSCE Paul Curzon
2012	—	`conf`	Safer "5-key" number entry user interfaces using differential formal analysis. BCS HCI Abigail Cauchi, Andy Gimblett, Harold W. Thimbleby, Paul Curzon, Paolo Masci
2012	—	`conf`	Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain. SERENE Paolo Masci, Dominic Furniss, Paul Curzon, Michael D. Harrison, Ann Blandford
2012	—	`conf`	Teachers' perceptions of the value of research-based school lectures. WiPSCE Jonathan Back, Paul Curzon, Chrystie Myketiak, Peter W. McOwan, Laura R. Meagher
2012	—	`conf`	Using PVS to Investigate Incidents through the Lens of Distributed Cognition. NASA Formal Methods Paolo Masci, Huayi Huang, Paul Curzon, Michael D. Harrison
2012	B	`conf`	cs4fn: a flexible model for computer science outreach. ITiCSE Chrystie Myketiak, Paul Curzon, Jonathan Back, Peter W. McOwan, Laura R. Meagher
2011	B	`conf`	A study in engaging female students in computer science using role models. ITiCSE Jonathan Back, Paul Curzon, Chrystie Myketiak, Peter W. McOwan
2011	J	`jnl`	Abstract Models and Cognitive Mismatch in Formal Verification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Rimvydas Ruksenas, Paul Curzon
2011	J	`jnl`	Capturing the distinction between task and device errors in a formal model of user behaviour. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Huayi Huang, Rimvydas Ruksenas, Maartje Ament, Paul Curzon, Anna Louise Cox, Ann Blandford, Duncan P. Brumby
2011	—	`conf`	Checking User-Centred Design Principles in Distributed Cognition Models: A Case Study in the Healthcare Domain. USAB Paolo Masci, Paul Curzon
2011	—	`conf`	Comparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps. EICS4Med 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
2011	A*	`conf`	Confessions from a grounded theory PhD: experiences and lessons learnt. CHI Dominic Furniss, Ann Blandford, Paul Curzon
2011	B	`conf`	Introducing students to computer science with programmes that don't emphasise programming. ITiCSE Tim Bell, Paul Curzon, Quintin I. Cutts, Valentina Dagiene, Bruria Haberman
2011	J	`jnl`	Modelling Distributed Cognition Systems in PVS. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Paolo Masci, Paul Curzon, Ann Blandford, Dominic Furniss
2011	J	`jnl`	On formalising interactive number entry on infusion pumps. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Karen Yunqiu Li, Paul Curzon, Harold W. Thimbleby
2011	—	`conf`	Overcoming Obstacles to CS Education by Using Non-programming Outreach Programmes. ISSEP Tim Bell, Paul Curzon, Quintin I. Cutts, Valentina Dagiene, Bruria Haberman
2011	—	`conf`	Towards Dependable Number Entry for Medical Devices. EICS4Med Abigail Cauchi, Paul Curzon, Parisa Eslambolchilar, Andy Gimblett, Huayi Huang, Paul Lee, Yunqiu Li, Paolo Masci, Patrick Oladimeji, Rimvydas Ruksenas, Harold Thimbleby
2011	—	`conf`	Towards a formal framework for reasoning about the resilience of dynamic interactive systems. EWDC Paolo Masci, Paul Curzon, Huayi Huang, Rimvydas Ruksenas, Ann Blandford, Dominic Furniss, Atish Rajkomar
2009	B	`conf`	Computational thinking (CT): on weaving it in. ITiCSE Paul Curzon, Joan Peckham, Harriet G. Taylor, Amber Settle, Eric Roberts
2009	J	`jnl`	Editorial. Formal Aspects Comput. Antonio Cerone, Paul Curzon, David Duce
2009	B	`conf`	Enthusing & inspiring with reusable kinaesthetic activities. ITiCSE Paul Curzon, Peter W. McOwan, Quintin I. Cutts, Tim Bell
2009	J	`jnl`	Verification-guided modelling of salience and cognitive load. Formal Aspects Comput. Rimvydas Ruksenas, Jonathan Back, Paul Curzon, Ann Blandford
2008	—	`conf`	EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System. DSV-IS Ann Blandford, Paul Curzon, Joanne K. Hyde, George Papatzanis
2008	B	`conf`	Engaging with computer science through magic shows. ITiCSE Paul Curzon, Peter W. McOwan
2008	J	`jnl`	Formal methods for interactive systems. Innov. Syst. Softw. Eng. Antonio Cerone, Paul Curzon
2008	B	`conf`	Modelling Rational User Behaviour as Games between an Angel and a Demon. SEFM Rimvydas Ruksenas, Paul Curzon, Ann Blandford
2008	J	`jnl`	Modelling and analysing cognitive causes of security breaches. Innov. Syst. Softw. Eng. Rimvydas Ruksenas, Paul Curzon, Ann Blandford
2008	—	`ed.`	Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems, FMIS@BCS HCI 2007, Lancaster, UK, September 4, 2007 FMIS@BCS HCI Antonio Cerone, Paul Curzon
2008	—	`ch.`	Usability Work in Professional Website Design: Insights from Practitioners' Perspectives. Maturing Usability Dominic Furniss, Ann Blandford, Paul Curzon
2007	—	`conf`	2 BCS HCI (2) Paul Curzon, Antonio Cerone
2007	J	`jnl`	An approach to formal verification of human-computer interaction. Formal Aspects Comput. Paul Curzon, Rimvydas Ruksenas, Ann Blandford
2007	—	`conf`	Combining Human Error Verification and Timing Analysis. EHCI/DS-VIS Rimvydas Ruksenas, Paul Curzon, Ann Blandford, Jonathan Back
2007	—	`conf`	Formal Modelling of Salience and Cognitive Load. FMIS@BCS HCI Rimvydas Ruksenas, Jonathan Back, Paul Curzon, Ann Blandford
2007	—	`conf`	Identifying Phenotypes and Genotypes: A Case Study Evaluating an In-Car Navigation System. EHCI/DS-VIS Georgios Papatzanis, Paul Curzon, Ann Blandford
2007	—	`conf`	Preface. FMIS@BCS HCI Antonio Cerone, Paul Curzon
2007	—	`ed.`	Proceedings of the First International Workshop on Formal Methods for Interactive Systems, FMIS@ICFEM 2006, Macao, October 31, 2006 FMIS@ICFEM Antonio Cerone, Paul Curzon
2007	J	`jnl`	Providing a formal linkage between MDG and HOL. Formal Methods Syst. Des. Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford
2007	—	`conf`	Recognising Erroneous and Exploratory Interactions. INTERACT (2) Jonathan Back, Ann Blandford, Paul Curzon
2007	B	`conf`	Serious fun in computer science. ITiCSE Paul Curzon
2007	—	`conf`	Slip errors and cue salience. ECCE Jonathan Back, Ann Blandford, Paul Curzon
2007	—	`conf`	Usability evaluation methods in practice: understanding the context in which they are embedded. ECCE Dominic Furniss, Ann Blandford, Paul Curzon
2006	—	`conf`	Detecting Cognitive Causes of Confidentiality Leaks. FMIS@ICFEM Rimvydas Ruksenas, Paul Curzon, Ann Blandford
2006	—	`conf`	Formal Modelling of Cognitive Interpretation. DSV-IS Rimvydas Ruksenas, Paul Curzon, Jonathan Back, Ann Blandford
2006	J	`jnl`	Hybrid verification integrating HOL theorem proving with MDG model checking. Microelectron. J. Rabeb Mizouni, Sofiène Tahar, Paul Curzon
2006	—	`conf`	Preface. FMIS@ICFEM Antonio Cerone, Paul Curzon
2006	—	`conf`	Usability and Computer Games: Working Group Report. DSV-IS T. C. Nicholas Graham, Paul Curzon, Gavin J. Doherty, Philippe A. Palanque, Richard Potter, Christopher Roast, Shamus P. Smith
2005	—	`conf`	A Study into the Effect of Digitisation Projects on the Management and Stability of Historic Photograph Collections. ECDL Veronica Davis Perkins, Richard Butterworth, Paul Curzon, Bob Fields
2005	J	`jnl`	Successful strategies of older people for finding information. Interact. Comput. Paul Curzon, Judy Wilson, Gill Whitney
2004	B	`conf`	Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors. IFM Paul Curzon, Ann Blandford
2004	J	`jnl`	Models of interactive systems: a case study on programmable user modelling. Int. J. Hum. Comput. Stud. Ann Blandford, Richard Butterworth, Paul Curzon
2004	—	`conf`	Strategies for Finding Government Information by Older People. User Interfaces for All Paul Curzon, Suzette Keith, Judy Wilson, Gill Whitney
2003	J	`jnl`	Hierarchical formal verification using a hybrid tool. Int. J. Softw. Tools Technol. Transf. Skander Kort, Sofiène Tahar, Paul Curzon
2002	B	`conf`	Formally Linking MDG and HOL Based on a Verified MDG System. IFM Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford
2002	—	`conf`	From a Formal User Model to Design Rules. DSV-IS Paul Curzon, Ann Blandford
2001	—	`conf`	Detecting Multiple Classes of User Errors. EHCI Paul Curzon, Ann Blandford
2001	—	`conf`	Hierarchical Verification Using an MDG-HOL Hybrid Tool. CHARME Iskander Kort, Sofiène Tahar, Paul Curzon
2001	B	`conf`	PUMA Footprints: Linking Theory and Craft Skill in Usability Evaluation. INTERACT Ann Blandford, Richard Butterworth, Paul Curzon
2000	—	`conf`	Formal hardware verification by integrating HOL and MDG. ACM Great Lakes Symposium on VLSI V. K. Pisini, Sofiène Tahar, Paul Curzon, Otmane Aït Mohamed, Xiaoyu Song
1999	J	`jnl`	Comparing HOL and MDG: a Case Study on the Verification of an ATM Switch Fabric. Nord. J. Comput. Sofiène Tahar, Paul Curzon
1999	—	`conf`	Importing MDG Verification Results into HOL. TPHOLs Haiyan Xiong, Paul Curzon, Sofiène Tahar
1998	B	`conf`	Three Approaches to Hardware Verification: HOL, MDG and VIS Compared. FMCAD Sofiène Tahar, Paul Curzon, Jianping Lu
1998	B	`conf`	Why do students take programming modules? ITiCSE Paul Curzon, Janet Rix
1996	—	`conf`	A Comparison of MDG and HOL for Hardware Verification. TPHOLs Sofiène Tahar, Paul Curzon
1995	B	`conf`	A case study on design for provability. ICECCS Paul Curzon, Ian M. Leslie
1995	—	`conf`	Problems encountered in the machine-assisted proof of hardware. CHARME Paul Curzon
1995	J	`jnl`	Tracking Design Changes with Formal Machine - Checked Proof. Comput. J. Paul Curzon
1995	—	`conf`	Virtual Theories. TPHOLs Paul Curzon
1994	A*	`conf`	The Formal Verification of an ATM Network. PODC Paul Curzon
1994	—	`conf`	Tracking Design Changes with Formal Verification. TPHOLs Paul Curzon
1993	J	`jnl`	Deriving Correctness Properties of Compiled Code. Formal Methods Syst. Des. Paul Curzon
1992	B	`conf`	A Programming Logic for a Verified Structured Assembly Language. LPAR Paul Curzon
1992	—	`conf`	Deriving Correctness Properties of Compiled Code. TPHOLs Paul Curzon
1991	—	`conf`	A Verified Compiler for a Structured Assembly Language. TPHOLs Paul Curzon
1990	—	`—`	A structured approach to the verification of low level microcode. Paul Curzon