Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHarold W. Thimbleby
Harold Thimbleby
Person information
- affiliation: Swansea University, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j83]Harold Thimbleby
:
NHS Number Open Source Software: Implications for Digital Health Regulation and Development. ACM Trans. Comput. Heal. 3(4): 42:1-42:26 (2022)
2010 – 2019
- 2018
- [j82]Harold Thimbleby, David Williams:
A tool for publishing reproducible algorithms & A reproducible, elegant algorithm for sequential experiments. Sci. Comput. Program. 156: 45-67 (2018) - 2017
- [j81]Harold Thimbleby:
Improve IT, Improve Healthcare. Computer 50(6): 86-91 (2017) - 2016
- [j80]Na Sun, Pei-Luen Patrick Rau, Yunqiu Li, Tom Owen, Harold Thimbleby:
Design and evaluation of a mobile phone-based health intervention for patients with hypertensive condition. Comput. Hum. Behav. 63: 98-105 (2016) - [j79]Harold Thimbleby:
Human factors and missed solutions to Enigma design weaknesses. Cryptologia 40(2): 177-202 (2016) - [j78]Paolo Masci, Patrick Oladimeji, Piergiuseppe Mallozzi, Paul Curzon, Harold Thimbleby:
PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems. EAI Endorsed Trans. Collab. Comput. 2(7): e3 (2016) - [j77]Harold Thimbleby, Patrick Oladimeji, Paolo Masci, Paul Curzon:
Issues in number entry user interface styles: Recommendations for mitigation. EAI Endorsed Trans. Creative Technol. 3(8): e2 (2016) - [j76]Huawei Tu, Paolo Masci, Chris J. Vincent, Karen Yunqiu Li, Harold Thimbleby:
IWC Special Issue in Human Factors and Interaction Design for Critical Systems. Interact. Comput. 28(2): 149-150 (2016) - [j75]Huawei Tu, Patrick Oladimeji, Sarah Wiseman, Harold Thimbleby, Paul A. Cairns, Gerrit Niezen:
Employing Number-Based Graphical Representations to Enhance the Effects of Visual Check on Entry Error Detection. Interact. Comput. 28(2): 194-207 (2016) - [j74]Paul Curzon, Ann Blandford, Harold Thimbleby, Anna Louise Cox:
Safer Interactive Medical Device Design: Insights from the CHI+MED Project. EAI Endorsed Trans. Security Safety 3(9): e1 (2016) - [c96]Gioacchino Mauro, Harold Thimbleby, Andrea Domenici, Cinzia Bernardeschi:
Extending a User Interface Prototyping Tool with Automatic MISRA C Code Generation. F-IDE@FM 2016: 53-66 - 2015
- [j73]Harold Thimbleby, Ross Koppel:
The Healthtech Declaration. IEEE Secur. Priv. 13(6): 82-84 (2015) - [j72]Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Karen Yunqiu Li, Paul Curzon, Harold W. Thimbleby:
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) - [j71]Harold Thimbleby:
Safer User Interfaces: A Case Study in Improving Number Entry. IEEE Trans. Software Eng. 41(7): 711-729 (2015) - [c95]Paolo Masci, Patrick Oladimeji, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby:
PVSio-web 2.0: Joining PVS to HCI. CAV (1) 2015: 470-478 - [c94]Karen Yunqiu Li, Patrick Oladimeji, Harold W. Thimbleby:
Exploring the Effect of Pre-operational Priming Intervention on Number Entry Errors. CHI 2015: 1335-1344 - [c93]Per Ola Kristensson, Xiaojun Bi, Andrew Howes, Antti Oulasvirta, Roderick Murray-Smith, Harold Thimbleby, John Williamson, Shumin Zhai:
Principles, Techniques and Perspectives on Optimization and HCI. CHI Extended Abstracts 2015: 2441-2444 - [c92]Tom Owen, Jennifer Pearson, Harold Thimbleby, George Buchanan:
ConCap: Designing to Empower Individual Reflection on Chronic Conditions using Mobile Apps. MobileHCI 2015: 105-114 - 2014
- [c91]Mark Davies, Alan Chamberlain, Harold W. Thimbleby, Paul Lee:
Managing Gravity Infusion using a Mobile Application. BCS HCI 2014 - [c90]Huawei Tu, Patrick Oladimeji, Karen Yunqiu Li, Harold W. Thimbleby, Chris J. Vincent:
The Effects of Number-related Factors on Entry Performance. BCS HCI 2014 - [c89]Abigail Cauchi, Patrick Oladimeji, Gerrit Niezen, Harold W. Thimbleby:
Triangulating empirical and analytic techniques for improving number entry user interfaces. EICS 2014: 243-252 - [c88]Paolo Masci, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby:
Formal Verification of Medical Device User Interfaces Using PVS. FASE 2014: 200-214 - [c87]Paolo Masci, Patrick Oladimeji, Paul Curzon, Harold Thimbleby:
Using PVSio-web to Demonstrate Software Issues in Medical User Interfaces. FHIES/SEHC 2014: 214-221 - [c86]Paolo Masci, Yi Zhang, Paul L. Jones, Harold Thimbleby, Paul Curzon:
A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software. MCPS 2014: 1-14 - [c85]Paolo Masci, Yi Zhang, Paul L. Jones, Patrick Oladimeji, Enrico D'Urso, Cinzia Bernardeschi, Paul Curzon, Harold Thimbleby:
Combining PVSio with Stateflow. NASA Formal Methods 2014: 209-214 - [c84]Akshay Aggarwal, Gerrit Niezen, Harold W. Thimbleby:
User experience evaluation through the brain's electrical activity. NordiCHI 2014: 491-500 - 2013
- [b3]Jennifer S. Pearson, George Buchanan, Harold W. Thimbleby:
Designing for Digital Reading. Synthesis Lectures on Information Concepts, Retrieval, and Services, Morgan & Claypool Publishers 2013, ISBN 9781627052436, pp. 1-135 - [j70]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) - [j69]Harold Thimbleby:
Action graphs and user performance analysis. Int. J. Hum. Comput. Stud. 71(3): 276-302 (2013) - [j68]Harold Thimbleby:
Targeting the Fitts Law. Interactions 20(1): 12-13 (2013) - [j67]Todd R. Johnson, Eliz Markowitz, Elmer V. Bernstam, Jorge R. Herskovic, Harold Thimbleby:
SYFSA: A framework for Systematic Yet Flexible Systems Analysis. J. Biomed. Informatics 46(4): 665-675 (2013) - [c83]Eliz Markowitz, Todd R. Johnson, Elmer V. Bernstam, Jorge R. Herskovic, Harold Thimbleby:
A Systematic Yet Flexible Systems Analysis Framework. AMIA 2013 - [c82]Harold Thimbleby:
Reasons to question seven segment displays. CHI 2013: 1431-1440 - [c81]Karen Yunqiu Li, Sharon Xianghua Ding, Zhanxun Dong, Liping Qin, Paolo Masci, Chris J. Vincent, Harold W. Thimbleby, Abigail Cauchi, Alexis Lewis, Sisy Baixi Xing, Shouqian Sun, Eric Liu, John Di, Jenson Wang, Mary Welch-Brady:
MediCHI: safer interaction in medical devices. CHI Extended Abstracts 2013: 3267-3270 - [c80]Yunqiu Li, Tom Owen, Harold Thimbleby, Na Sun, Pei-Luen Patrick Rau:
A Design to Empower Patients in Long Term Wellbeing Monitoring and Chronic Disease Management in mHealth. CSHI 2013: 82-87 - [c79]Paolo Masci, Anaheed Ayoub, Paul Curzon, Michael D. Harrison, Insup Lee, Harold W. Thimbleby:
Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example. EICS 2013: 81-90 - [c78]Andy Gimblett, Harold W. Thimbleby:
Applying theorem discovery to automatically find and check usability heuristics. EICS 2013: 101-106 - [c77]Harold Thimbleby:
Improving Safety in Medical Devices and Systems. ICHI 2013: 1-13 - [c76]Abigail Cauchi, Harold W. Thimbleby, Patrick Oladimeji, Michael D. Harrison:
Using Medical Device Logs for Improving Medical Device Design. ICHI 2013: 56-65 - [c75]Harold Thimbleby, David Williams:
Using Nomograms to Reduce Harm from Clinical Calculations. ICHI 2013: 461-470 - [c74]Patrick Oladimeji, Harold W. Thimbleby, Anna Louise Cox:
A Performance Review of Number Entry Interfaces. INTERACT (1) 2013: 365-382 - [c73]Paolo Masci, Anaheed Ayoub, Paul Curzon, Insup Lee, Oleg Sokolsky, Harold W. Thimbleby:
Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS. SAFECOMP 2013: 228-240 - [i1]Karen Yunqiu Li, Harold Thimbleby:
ViM: Vital Signs in Music Creatively Facilitating Effective Long-Term Wellbeing Self-Management. ICHI 2013: 480 - 2012
- [j66]Jennifer S. Pearson, George Buchanan, Harold W. Thimbleby, Matt Jones:
The Digital Reading Desk: A lightweight approach to digital note-taking. Interact. Comput. 24(5): 327-338 (2012) - [j65]Harold W. Thimbleby:
Heedless programming: ignoring detectable error is a widespread hazard. Softw. Pract. Exp. 42(11): 1393-1407 (2012) - [c72]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 - [c71]Tom Owen, George Buchanan, Harold W. Thimbleby:
Understanding user requirements in take-home diabetes management technologies. BCS HCI 2012: 268-273 - [c70]Harold W. Thimbleby, Paul A. Cairns:
How good is this conference?: evaluating conference reviewing and selectivity. BCS HCI 2012: 410-415 - [c69]Julie Webster, Parisa Eslambolchilar, Harold Thimbleby:
From rotary telephones to universal number entry systems: can the past re-shape the future? UbiComp 2012: 596-597 - [c68]Jennifer S. Pearson, Tom Owen, Harold W. Thimbleby, George Buchanan:
Co-reading: investigating collaborative group reading. JCDL 2012: 325-334 - [c67]Jennifer S. Pearson, George Buchanan, Harold W. Thimbleby:
Investigating collaborative annotation on slate pcs. Mobile HCI 2012: 413-416 - 2011
- [j64]Harold W. Thimbleby:
Signposting in Documents. Comput. J. 54(7): 1119-1135 (2011) - [j63]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) - [j62]Harold W. Thimbleby, Andy Gimblett:
Dependable keyed data entry for interactive systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 45 (2011) - [c66]Max L. Wilson, Wendy E. Mackay, Ed H. Chi, Michael S. Bernstein, Daniel M. Russell, Harold W. Thimbleby:
RepliCHI - CHI should be replicating and validating results more: discuss. CHI Extended Abstracts 2011: 463-466 - [c65]Helena M. Mentis, Harold W. Thimbleby, Julie A. Kientz, Gillian R. Hayes, Madhu C. Reddy:
Interactive technologies for health special interest group. CHI Extended Abstracts 2011: 519-522 - [c64]Jennifer S. Pearson, George Buchanan, Harold W. Thimbleby:
The reading desk: applying physical interactions to digital documents. CHI 2011: 3199-3202 - [c63]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 - [c62]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 - [c61]Harold W. Thimbleby, Andy Gimblett, Abigail Cauchi:
Buffer automata: a UI architecture prioritising HCI concerns for interactive devices. EICS 2011: 73-78 - [c60]Ann Blandford, Giuseppe De Pietro, Luigi Gallo, Andy Gimblett, Patrick Oladimeji, Harold W. Thimbleby:
Engineering interactive computer systems for medicine and healthcare (EICS4Med). EICS 2011: 341-342 - [c59]Jennifer S. Pearson, George Buchanan, Harold W. Thimbleby:
The Reading Desk: Supporting Lightweight Note-Taking in Digital Documents. TPDL 2011: 438-441 - [c58]Patrick Oladimeji, Harold W. Thimbleby, Anna Louise Cox:
Number Entry Interfaces and Their Effects on Error Detection. INTERACT (4) 2011: 178-185 - [e2]Ann Blandford, Giuseppe De Pietro, Luigi Gallo, Andy Gimblett, Patrick Oladimeji, Harold W. Thimbleby:
Proceedings of the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care (EICS4Med 2011), Pisa, Italy, June 13, 2011. CEUR Workshop Proceedings 727, CEUR-WS.org 2011 [contents] - 2010
- [j61]Harold W. Thimbleby:
Think! Interactive Systems Need Safety Locks. J. Comput. Inf. Technol. 18(4) (2010) - [j60]Harold W. Thimbleby:
Avoiding Latent Design Conditions Using UI Discovery Tools. Int. J. Hum. Comput. Interact. 26(2&3): 120-131 (2010) - [j59]Andreas Holzinger, Harold W. Thimbleby, Russell Beale:
Human-Computer Interaction for Medicine and Health Care (HCI4MED): Towards making Information usable. Int. J. Hum. Comput. Stud. 68(6): 325-327 (2010) - [j58]Patrick Langdon, Harold W. Thimbleby:
Inclusion and interaction: Designing interaction for inclusive populations. Interact. Comput. 22(6): 439-448 (2010) - [c57]Chitra Acharya, Harold W. Thimbleby, Patrick Oladimeji:
Human computer interaction and medical devices. BCS HCI 2010: 168-176 - [c56]Jennifer S. Pearson, George Buchanan, Harold W. Thimbleby:
HCI design principles for ereaders. BooksOnline 2010: 15-24 - [c55]Andy Gimblett, Harold W. Thimbleby:
User interface model discovery: towards a generic approach. EICS 2010: 145-154
2000 – 2009
- 2009
- [c54]Harold W. Thimbleby:
Interaction programming: next steps. CHI Extended Abstracts 2009: 3811-3816 - [c53]Harold W. Thimbleby, Patrick Oladimeji:
Social network analysis and interactive device design analysis. EICS 2009: 91-100 - [c52]Harold W. Thimbleby:
Contributing to safety and due diligence in safety-critical interactive systems development by generating and analyzing finite state models. EICS 2009: 221-230 - [c51]Jennifer S. Pearson, George Buchanan, Harold W. Thimbleby:
Creating Visualisations for Digital Document Indexing. ECDL 2009: 87-93 - [c50]Jennifer S. Pearson, George Buchanan, Harold W. Thimbleby:
Improving Annotations in Digital Documents. ECDL 2009: 429-432 - [c49]Harold W. Thimbleby:
Teaching and Learning HCI. HCI (5) 2009: 625-635 - 2008
- [j57]Paul A. Cairns, Harold W. Thimbleby:
Affordance and Symmetry in User Interfaces. Comput. J. 51(6): 650-661 (2008) - [j56]Harold W. Thimbleby:
Feature - Ignorance of interaction programming is killing people. Interactions 15(5): 52-57 (2008) - [j55]Harold W. Thimbleby:
Robot ethics? Not yet: A reflection on Whitby's "Sometimes it's hard to be a robot". Interact. Comput. 20(3): 338-341 (2008) - [j54]Harold Thimbleby:
Teaching HCI to make it come alive. IxD&A 3-4: 9-16 (2008) - [c48]Andreas Holzinger, Harold W. Thimbleby, Russell Beale:
Workshop HCI for medicine and health care (HCI4MED). BCS HCI (2) 2008: 191-192 - [c47]Anna Louise Cox, Paul A. Cairns, Harold W. Thimbleby, Natalie Webb:
Research methods for HCI. BCS HCI (2) 2008: 221-222 - [c46]Harold W. Thimbleby:
Understanding User Centred Design (UCD) for People with Special Needs. ICCHP 2008: 1-17 - 2007
- [b2]Harold W. Thimbleby:
Press on - principles of interaction programming. MIT Press 2007, ISBN 978-0-262-20170-4, pp. I-XVII, 1-510 - [c45]Lidia Oshlyansky, Paul A. Cairns, Harold W. Thimbleby:
Validating the unified theory of acceptance and use of technology (UTAUT) tool cross-culturally. BCS HCI (2) 2007: 83-86 - [c44]Harold W. Thimbleby, Michael D. Harrison:
Names and reference in user interfaces. BCS HCI (2) 2007: 107-110 - [c43]Harold W. Thimbleby, Will Thimbleby:
Internalist and externalist HCI. BCS HCI (2) 2007: 111-114 - [c42]Harold W. Thimbleby, Jeremy Gow:
Applying Graph Theory to Interaction Design. EHCI/DS-VIS 2007: 501-519 - [c41]Harold W. Thimbleby, Will Thimbleby:
Mathematical Mathematical User Interfaces. EHCI/DS-VIS 2007: 520-536 - [c40]Harold W. Thimbleby:
User-Centered Methods Are Insufficient for Safety Critical Systems. USAB 2007: 1-20 - 2006
- [c39]Harold W. Thimbleby:
Validity and Cross-Validity in HCI Publications. DSV-IS 2006: 11-24 - [c38]Harold W. Thimbleby:
Interaction Walkthrough: Evaluation of Safety Critical Interactive Systems. DSV-IS 2006: 52-66 - 2005
- [c37]Jeremy Gow, Harold W. Thimbleby, Paul A. Cairns:
Automatic Critiques of Interface Modes. DSV-IS 2005: 201-212 - 2004
- [j53]Harold W. Thimbleby:
User interface design with matrix algebra. ACM Trans. Comput. Hum. Interact. 11(2): 181-236 (2004) - [c36]Jeremy Gow, Harold W. Thimbleby:
MAUI: An Interface Design Tool Based on Matrix Algebra. CADUI 2004: 81-94 - [c35]George Buchanan, Ann Blandford, Harold W. Thimbleby, Matt Jones:
Supporting Information Structuring in a Digital Library. ECDL 2004: 464-475 - [c34]George Buchanan, Ann Blandford, Harold W. Thimbleby, Matt Jones:
Integrating information seeking and structuring: exploring the role of spatial hypertext in a digital library. Hypertext 2004: 225-234 - [c33]Harold W. Thimbleby, Jeremy Gow:
Computer algebra in interface design research. IUI 2004: 366-367 - [c32]Lidia Oshlyansky, Harold W. Thimbleby, Paul A. Cairns:
Breaking affordance: culture as context. NordiCHI 2004: 81-84 - 2003
- [j52]Tim Bell, Harold W. Thimbleby, Mike Fellows, Ian H. Witten, Neal Koblitz, Matthew Powell:
Explaining cryptographic systems. Comput. Educ. 40(3): 199-215 (2003) - [j51]Harold W. Thimbleby:
The reduced Enigma. Comput. Secur. 22(7): 624-642 (2003) - [j50]Matt Jones, George Buchanan, Harold W. Thimbleby:
Improving web search on small screen devices. Interact. Comput. 15(4): 479-495 (2003) - [j49]Harold W. Thimbleby:
Explaining code for publication. Softw. Pract. Exp. 33(10): 975-1001 (2003) - [j48]Harold W. Thimbleby:
The directed Chinese Postman Problem. Softw. Pract. Exp. 33(11): 1081-1096 (2003) - 2002
- [j47]Gary Marsden, Harold W. Thimbleby, Matt Jones, Paul Gillary:
Data Structures in the Design of Interfaces. Pers. Ubiquitous Comput. 6(2): 132-140 (2002) - [j46]Harold W. Thimbleby, Matt Jones:
Obituary for a Fax. Pers. Ubiquitous Comput. 6(2): 151-152 (2002) - [c31]Harold Thimbleby:
Reflections on symmetry. AVI 2002: 28-33 - [c30]Harold Thimbleby:
Symmetry for successful interactive systems. CHINZ 2002: 1-9 - [c29]George Buchanan, Ann Blandford, Matt Jones, Harold W. Thimbleby:
Spatial Hypertext as a Reader Tool in Digital Libraries. Visual Interfaces to Digital Libraries 2002: 13-24 - [c28]Matt Jones, George Buchanan, Harold W. Thimbleby:
Sorting Out Searching on Small Screen Devices. Mobile HCI 2002: 81-94 - 2001
- [j45]Harold W. Thimbleby, Stuart Anderson, Paul A. Cairns:
Reply to 'Comment on "A Framework for Modelling Trojans and Computer Virus Infection"' by E. Mäkinen. Comput. J. 44(4): 324-325 (2001) - [j44]Harold W. Thimbleby:
Permissive user interfaces. Int. J. Hum. Comput. Stud. 54(3): 333-350 (2001) - [j43]Harold W. Thimbleby, Paul A. Cairns, Matt Jones:
Usability analysis with Markov models. ACM Trans. Comput. Hum. Interact. 8(2): 99-132 (2001) - [c27]Harold W. Thimbleby:
Keynote Address: The Computer Science of Everyday Things. AUIC 2001: 3-12 - [c26]Harold W. Thimbleby:
Affordance and Symmetry. DSV-IS 2001: 199-218 - [c25]Yin Leng Theng, Norliza Mohd-Nasir, George Buchanan, Bob Fields, Harold W. Thimbleby, Noel Cassidy:
Dynamic digital libraries for children. JCDL 2001: 406-415 - [c24]