| 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, 1-21, 2013 | 58 | 2013 |
| Safer 5-key number entry user interfaces using differential formal analysis A Cauchi, A Gimblett, H Thimbleby, P Curzon, P Masci Proceedings of the 26th Annual BCS Interaction Specialist Group Conference …, 2012 | 46 | 2012 |
| 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 | 34 | 2011 |
| Design of interactive medical devices: Feedback and its improvement Y Li, P Oladimeji, C Monroy, A Cauchi, H Thimbleby, D Furniss, C Vincent, ... IT in Medicine and Education (ITME), 2011 International Symposium on 2, 204-208, 2011 | 15 | 2011 |
| Using Medical Device Logs for Improving Medical Device Design A Cauchi, H Thimbleby, P Oladimeji, M Harrison Healthcare Informatics (ICHI), 2013 IEEE International Conference on, 56-65, 2013 | 13 | 2013 |
| Comparing actual practice and user manuals: A case study based on programmable infusion pumps A Blandford, A Cauchi, P Curzon, P Eslambolchilar, D Furniss, A Gimblett, ... Eics4Med, the 1st Intl. Workshop on Engineering Interactive Computing …, 2011 | 10 | 2011 |
| Comparing actual practice and user manuals: A case study based on programmable infusion pumps P Curzon, H Huang, P Masci, R Rukšenas, P Lee, A Cauchi, ... | 10* | 2011 |
| Triangulating empirical and analytic techniques for improving number entry user interfaces A Cauchi, P Oladimeji, G Niezen, H Thimbleby Proceedings of the 2014 ACM SIGCHI symposium on Engineering interactive …, 2014 | 8 | 2014 |
| Differential formal analysis: evaluating safer 5-key number entry user interface designs A Cauchi Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive …, 2012 | 8 | 2012 |
| Buffer automata: a UI architecture prioritising HCI concerns for interactive devices H Thimbleby, A Gimblett, A Cauchi Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive …, 2011 | 8 | 2011 |
| Towards dependable number entry for medical devices A Cauchi, P Curzon, P Eslambolchilar, A Gimblett, H Huang, P Lee, Y Li, ... EICS4Med 2011, 53, 2011 | 7 | 2011 |
| Visualising medical device logs P Oladimeji, Y Li, A Cauchi, P Eslambolchilar, P Lee, H Thimbleby | 4 | 2011 |
| Using differential formal analysis for dependable number entry A Cauchi Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive …, 2013 | 3 | 2013 |
| MediCHI: safer interaction in medical devices KY Li, SX Ding, Z Dong, L Qin, P Masci, C Vincent, H Thimbleby, A Cauchi, ... CHI'13 Extended Abstracts on Human Factors in Computing Systems, 3267-3270, 2013 | 3 | 2013 |
| Simulation to evaluate alternative approaches to blocking use errors H Thimbleby, A Cauchi Journal of Medical Devices 6 (1), 017502, 2012 | 1 | 2012 |
| Model Checking User Interfaces A Cauchi, G Pace, S Spina | 1* | |
| KIKI-A Key to the Integration of Knowledge and Innovation A Cauchi, J Fenech, K Fenech, L Micallef CSAW 2007: 5th Computer Science Annual Workshop, 130-139, 2007 | | 2007 |
Harold ThimblebyProfessor of Computer Science, Swansea UniversityZweryfikowany adres z swansea.ac.uk