Harold W. Thimbleby

144 papers A* 3A 2B 3C 2Misc 11Journal 64Unranked 54
YearRankTypeTitle / Venue / Authors
2015 A* conf
Exploring the Effect of Pre-operational Priming Intervention on Number Entry Errors.
CHI
Karen Yunqiu Li, Patrick Oladimeji, Harold W. Thimbleby
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
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
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
Managing Gravity Infusion using a Mobile Application.
BCS HCI
Mark Davies, Alan Chamberlain, Harold W. Thimbleby, Paul Lee
2014 — conf
The Effects of Number-related Factors on Entry Performance.
BCS HCI
Huawei Tu, Patrick Oladimeji, Karen Yunqiu Li, Harold W. Thimbleby, Chris J. Vincent
2014 Misc conf
Triangulating empirical and analytic techniques for improving number entry user interfaces.
EICS
Abigail Cauchi, Patrick Oladimeji, Gerrit Niezen, Harold W. Thimbleby
2014 Misc conf
User experience evaluation through the brain's electrical activity.
NordiCHI
Akshay Aggarwal, Gerrit Niezen, Harold W. Thimbleby
2013 — conf
A Performance Review of Number Entry Interfaces.
INTERACT (1)
Patrick Oladimeji, Harold W. Thimbleby, Anna Louise Cox
2013 Misc conf
Applying theorem discovery to automatically find and check usability heuristics.
EICS
Andy Gimblett, Harold W. Thimbleby
2013 — book
Designing for Digital Reading
Jennifer S. Pearson, George Buchanan, Harold W. Thimbleby
2013 — conf
MediCHI: safer interaction in medical devices.
CHI Extended Abstracts
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
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 — conf
Using Medical Device Logs for Improving Medical Device Design.
ICHI
Abigail Cauchi, Harold W. Thimbleby, Patrick Oladimeji, Michael D. Harrison
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
2012 — conf
Co-reading: investigating collaborative group reading.
JCDL
Jennifer S. Pearson, Tom Owen, Harold W. Thimbleby, George Buchanan
2012 J jnl
Heedless programming: ignoring detectable error is a widespread hazard.
Softw. Pract. Exp.
Harold W. Thimbleby
2012 — conf
How good is this conference?: evaluating conference reviewing and selectivity.
BCS HCI
Harold W. Thimbleby, Paul A. Cairns
2012 — conf
Investigating collaborative annotation on slate pcs.
Mobile HCI
Jennifer S. Pearson, George Buchanan, Harold W. Thimbleby
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 J jnl
The Digital Reading Desk: A lightweight approach to digital note-taking.
Interact. Comput.
Jennifer S. Pearson, George Buchanan, Harold W. Thimbleby, Matt Jones
2012 — conf
Understanding user requirements in take-home diabetes management technologies.
BCS HCI
Tom Owen, George Buchanan, Harold W. Thimbleby
2011 Misc conf
Buffer automata: a UI architecture prioritising HCI concerns for interactive devices.
EICS
Harold W. Thimbleby, Andy Gimblett, Abigail Cauchi
2011 J jnl
Dependable keyed data entry for interactive systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Harold W. Thimbleby, Andy Gimblett
2011 Misc conf
Engineering interactive computer systems for medicine and healthcare (EICS4Med).
EICS
Ann Blandford, Giuseppe De Pietro, Luigi Gallo, Andy Gimblett, Patrick Oladimeji, Harold W. Thimbleby
2011 — conf
Interactive technologies for health special interest group.
CHI Extended Abstracts
Helena M. Mentis, Harold W. Thimbleby, Julie A. Kientz, Gillian R. Hayes, Madhu C. Reddy
2011 — conf
Number Entry Interfaces and Their Effects on Error Detection.
INTERACT (4)
Patrick Oladimeji, Harold W. Thimbleby, Anna Louise Cox
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 — ed.
Proceedings of the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care (EICS4Med 2011), Pisa, Italy, June 13, 2011
EICS4Med
Ann Blandford, Giuseppe De Pietro, Luigi Gallo, Andy Gimblett, Patrick Oladimeji, Harold W. Thimbleby
2011 — conf
RepliCHI - CHI should be replicating and validating results more: discuss.
CHI Extended Abstracts
Max L. Wilson, Wendy E. Mackay, Ed H. Chi, Michael S. Bernstein, Daniel M. Russell, Harold W. Thimbleby
2011 J jnl
Signposting in Documents.
Comput. J.
Harold W. Thimbleby
2011 B conf
The Reading Desk: Supporting Lightweight Note-Taking in Digital Documents.
TPDL
Jennifer S. Pearson, George Buchanan, Harold W. Thimbleby
2011 A* conf
The reading desk: applying physical interactions to digital documents.
CHI
Jennifer S. Pearson, George Buchanan, Harold W. Thimbleby
2010 J jnl
Avoiding Latent Design Conditions Using UI Discovery Tools.
Int. J. Hum. Comput. Interact.
Harold W. Thimbleby
2010 — conf
HCI design principles for ereaders.
BooksOnline
Jennifer S. Pearson, George Buchanan, Harold W. Thimbleby
2010 — conf
Human computer interaction and medical devices.
BCS HCI
Chitra Acharya, Harold W. Thimbleby, Patrick Oladimeji
2010 J jnl
Human-Computer Interaction for Medicine and Health Care (HCI4MED): Towards making Information usable.
Int. J. Hum. Comput. Stud.
Andreas Holzinger, Harold W. Thimbleby, Russell Beale
2010 J jnl
Inclusion and interaction: Designing interaction for inclusive populations.
Interact. Comput.
Patrick Langdon, Harold W. Thimbleby
2010 J jnl
Think! Interactive Systems Need Safety Locks.
J. Comput. Inf. Technol.
Harold W. Thimbleby
2010 Misc conf
User interface model discovery: towards a generic approach.
EICS
Andy Gimblett, Harold W. Thimbleby
2009 Misc conf
Contributing to safety and due diligence in safety-critical interactive systems development by generating and analyzing finite state models.
EICS
Harold W. Thimbleby
2009 — conf
Creating Visualisations for Digital Document Indexing.
ECDL
Jennifer S. Pearson, George Buchanan, Harold W. Thimbleby
2009 — conf
Improving Annotations in Digital Documents.
ECDL
Jennifer S. Pearson, George Buchanan, Harold W. Thimbleby
2009 — conf
Interaction programming: next steps.
CHI Extended Abstracts
Harold W. Thimbleby
2009 Misc conf
Social network analysis and interactive device design analysis.
EICS
Harold W. Thimbleby, Patrick Oladimeji
2009 — conf
Teaching and Learning HCI.
HCI (5)
Harold W. Thimbleby
2008 J jnl
Affordance and Symmetry in User Interfaces.
Comput. J.
Paul A. Cairns, Harold W. Thimbleby
2008 J jnl
Feature - Ignorance of interaction programming is killing people.
Interactions
Harold W. Thimbleby
2008 — conf
Research methods for HCI.
BCS HCI (2)
Anna Louise Cox, Paul A. Cairns, Harold W. Thimbleby, Natalie Webb
2008 J jnl
Robot ethics? Not yet: A reflection on Whitby's "Sometimes it's hard to be a robot".
Interact. Comput.
Harold W. Thimbleby
2008 C conf
Understanding User Centred Design (UCD) for People with Special Needs.
ICCHP
Harold W. Thimbleby
2008 — conf
Workshop HCI for medicine and health care (HCI4MED).
BCS HCI (2)
Andreas Holzinger, Harold W. Thimbleby, Russell Beale
2007 — conf
Applying Graph Theory to Interaction Design.
EHCI/DS-VIS
Harold W. Thimbleby, Jeremy Gow
2007 — conf
Internalist and externalist HCI.
BCS HCI (2)
Harold W. Thimbleby, Will Thimbleby
2007 — conf
Mathematical Mathematical User Interfaces.
EHCI/DS-VIS
Harold W. Thimbleby, Will Thimbleby
2007 — conf
Names and reference in user interfaces.
BCS HCI (2)
Harold W. Thimbleby, Michael D. Harrison
2007 — book
Press on - principles of interaction programming.
Harold W. Thimbleby
2007 — conf
User-Centered Methods Are Insufficient for Safety Critical Systems.
USAB
Harold W. Thimbleby
2007 — conf
Validating the unified theory of acceptance and use of technology (UTAUT) tool cross-culturally.
BCS HCI (2)
Lidia Oshlyansky, Paul A. Cairns, Harold W. Thimbleby
2006 — conf
Interaction Walkthrough: Evaluation of Safety Critical Interactive Systems.
DSV-IS
Harold W. Thimbleby
2006 — conf
Validity and Cross-Validity in HCI Publications.
DSV-IS
Harold W. Thimbleby
2005 — conf
Automatic Critiques of Interface Modes.
DSV-IS
Jeremy Gow, Harold W. Thimbleby, Paul A. Cairns
2004 Misc conf
Breaking affordance: culture as context.
NordiCHI
Lidia Oshlyansky, Harold W. Thimbleby, Paul A. Cairns
2004 A conf
Computer algebra in interface design research.
IUI
Harold W. Thimbleby, Jeremy Gow
2004 — conf
Integrating information seeking and structuring: exploring the role of spatial hypertext in a digital library.
Hypertext
George Buchanan, Ann Blandford, Harold W. Thimbleby, Matt Jones
2004 — conf
MAUI: An Interface Design Tool Based on Matrix Algebra.
CADUI
Jeremy Gow, Harold W. Thimbleby
2004 — conf
Supporting Information Structuring in a Digital Library.
ECDL
George Buchanan, Ann Blandford, Harold W. Thimbleby, Matt Jones
2004 J jnl
User interface design with matrix algebra.
ACM Trans. Comput. Hum. Interact.
Harold W. Thimbleby
2003 J jnl
Explaining code for publication.
Softw. Pract. Exp.
Harold W. Thimbleby
2003 J jnl
Explaining cryptographic systems.
Comput. Educ.
Tim Bell, Harold W. Thimbleby, Mike Fellows, Ian H. Witten, Neal Koblitz, Matthew Powell
2003 J jnl
Improving web search on small screen devices.
Interact. Comput.
Matt Jones, George Buchanan, Harold W. Thimbleby
2003 J jnl
The directed Chinese Postman Problem.
Softw. Pract. Exp.
Harold W. Thimbleby
2003 J jnl
The reduced Enigma.
Comput. Secur.
Harold W. Thimbleby
2002 J jnl
Data Structures in the Design of Interfaces.
Pers. Ubiquitous Comput.
Gary Marsden, Harold W. Thimbleby, Matt Jones, Paul Gillary
2002 J jnl
Obituary for a Fax.
Pers. Ubiquitous Comput.
Harold W. Thimbleby, Matt Jones
2002 — conf
Sorting Out Searching on Small Screen Devices.
Mobile HCI
Matt Jones, George Buchanan, Harold W. Thimbleby
2002 — conf
Spatial Hypertext as a Reader Tool in Digital Libraries.
Visual Interfaces to Digital Libraries
George Buchanan, Ann Blandford, Matt Jones, Harold W. Thimbleby
2001 — conf
Affordance and Symmetry.
DSV-IS
Harold W. Thimbleby
2001 — conf
Dynamic digital libraries for children.
JCDL
Yin Leng Theng, Norliza Mohd-Nasir, George Buchanan, Bob Fields, Harold W. Thimbleby, Noel Cassidy
2001 A* conf
Improving mobile internet usability.
WWW
George Buchanan, Sarah Farrant, Matt Jones, Harold W. Thimbleby, Gary Marsden, Michael J. Pazzani
2001 — conf
Keynote Address: The Computer Science of Everyday Things.
AUIC
Harold W. Thimbleby
2001 J jnl
Permissive user interfaces.
Int. J. Hum. Comput. Stud.
Harold W. Thimbleby
2001 J jnl
Reply to 'Comment on "A Framework for Modelling Trojans and Computer Virus Infection"' by E. Mäkinen.
Comput. J.
Harold W. Thimbleby, Stuart Anderson, Paul A. Cairns
2001 J jnl
Usability analysis with Markov models.
ACM Trans. Comput. Hum. Interact.
Harold W. Thimbleby, Paul A. Cairns, Matt Jones
2000 J jnl
Calculators are needlessly bad.
Int. J. Hum. Comput. Stud.
Harold W. Thimbleby
2000 — conf
Children as Design Partners and Testers for a Children's Digital Library.
ECDL
Yin Leng Theng, Norliza Mohd-Nasir, Harold W. Thimbleby, George Buchanan, Matt Jones, David Bainbridge, Noel Cassidy
2000 — conf
Designing a children's digital library with and for children.
ACM DL
Yin Leng Theng, Norliza Mohd-Nasir, Harold W. Thimbleby, George Buchanan, Matt Jones
2000 J jnl
Holistic programming environments.
South Afr. Comput. J.
Gary Marsden, Harold W. Thimbleby
2000 — conf
Purpose and usability of digital libraries.
ACM DL
Yin Leng Theng, Norliza Mohd-Nasir, Harold W. Thimbleby
1999 J jnl
A Critique of Java.
Softw. Pract. Exp.
Harold W. Thimbleby
1999 — conf
Design Guidelines and User-Centred Digital Libraries.
ECDL
Yin Leng Theng, Elke Duncker, Norliza Mohd-Nasir, George Buchanan, Harold W. Thimbleby
1999 — conf
Design Probes for Handheld and Ubiquitous Computing.
HUC
Harold W. Thimbleby
1999 — conf
Dynamic Metadata for Monitoring Digital Library Management.
ACM DL
George Buchanan, Gil Marsden, Harold W. Thimbleby
1999 Misc conf
Visualizing the Potential of Interactive Systems.
ICIAP
Harold W. Thimbleby
1998 J jnl
A Framework for Modelling Trojans and Computer Virus Infection.
Comput. J.
Harold W. Thimbleby, Stuart Anderson, Paul A. Cairns
1998 J jnl
Addressing Design and Usability Issues in Hypertext and on the World Wide Web by Re-Examining the "Lost in Hyperspace" Problem.
J. Univers. Comput. Sci.
Yin Leng Theng, Harold W. Thimbleby
1998 J jnl
Formal Methods in Human-Computer Interaction, by Philippe Palanque and Fabio Paterno (Editors), Springer-Verlag, 1998 (Book Review).
Softw. Test. Verification Reliab.
Harold W. Thimbleby
1998 — conf
HyperAT : Addressing Usability Issues In Web Authoring.
WebNet
Yin Leng Theng, Harold W. Thimbleby
1998 J jnl
Personal boundaries/global stage.
First Monday
Harold W. Thimbleby
1998 J jnl
Specification-Led Design for Interface Simulation, Collecting Use-Data, Interactive Help, Writing Manuals, Analysis, Comparing Alternative Designs.
Pers. Ubiquitous Comput.
Harold W. Thimbleby
1997 — conf
Benjamin Franklin House: An illustration of a site management and visual design tool for complex, multi-authored web sites.
WebNet
Gil Marsden, Gareth J. Palmer, Harold W. Thimbleby
1997 J jnl
Design for a Fax.
Pers. Ubiquitous Comput.
Harold W. Thimbleby
1997 — conf
Distributed Web Authoring.
WebNet
Harold W. Thimbleby
1997 J jnl
From logic to manuals again.
IEE Proc. Softw. Eng.
Harold W. Thimbleby, Peter B. Ladkin
1997 J jnl
Gentler: a tool for systematic web authoring.
Int. J. Hum. Comput. Stud.
Harold W. Thimbleby
1997 — conf
HyperAT: HCI and Web Authoring.
BCS HCI
Yin Leng Theng, Cécile Rigny, Harold W. Thimbleby, Matt Jones
1997 — ed.
People and Computers XII, Proceedings of HCI '97
BCS HCI
Harold W. Thimbleby, Brid O'Conaill, Peter Thomas
1996 J jnl
An Equivalence Class Algorithm for Drawing Autostereograms.
Softw. Pract. Exp.
Harold W. Thimbleby
1996 J jnl
Intelligent Adaptive Assistance and its Automatic Generation.
Interact. Comput.
Harold W. Thimbleby, Mark Addison
1995 J jnl
A New Calculator and Why it is Necessary.
Comput. J.
Harold W. Thimbleby
1995 — conf
A Proper Explanation When You Need One.
BCS HCI
Harold W. Thimbleby, Peter B. Ladkin
1995 J jnl
Concepts of cooperation in artificial life.
IEEE Trans. Syst. Man Cybern.
Harold W. Thimbleby, Ian H. Witten, David J. Pullinger
1995 — conf
HyperDoc: An Interactive Systems Tool.
BCS HCI
Harold W. Thimbleby, Mark Addison
1994 J jnl
Comments on a paper by Voas, Payne and Cohen: 'A model for detecting the existence of software corruption in real time'.
Comput. Secur.
Peter B. Ladkin, Harold W. Thimbleby
1994 J jnl
Controversy corner : An organizational solution to piracy and viruses.
J. Syst. Softw.
Harold W. Thimbleby
1994 J jnl
Designing User Interfaces for Problem Solving, with Application to Hypertext and Creative Writing.
AI Soc.
Harold W. Thimbleby
1994 J jnl
Displaying 3D Images: Algorithms for Single-Iamge Random-Dot Stereograms.
Computer
Harold W. Thimbleby, Stuart Inglis, Ian H. Witten
1994 — conf
Manuals as Structured Programs.
BCS HCI
Mark Addison, Harold W. Thimbleby
1994 J jnl
Semantic and Generative Models for Lossy Text Compression.
Comput. J.
Ian H. Witten, Timothy C. Bell, Alistair Moffat, Craig G. Nevill-Manning, Tony C. Smith, Harold W. Thimbleby
1994 J jnl
View binding and user enhanceable systems.
Vis. Comput.
Harold W. Thimbleby
1993 A conf
Reducing user effort in collaboration support.
IUI
Andy Cockburn, Harold W. Thimbleby
1993 J jnl
Solutioneering in user interface design.
Behav. Inf. Technol.
Harold W. Thimbleby, Will Thimbleby
1991 J jnl
Can viruses ever be useful?
Comput. Secur.
Harold W. Thimbleby
1991 J jnl
Liveware: A New Approach to Sharing Data in Social Networks.
Int. J. Man Mach. Stud.
Ian H. Witten, Harold W. Thimbleby, George Coulouris, Saul Greenberg
1990 J jnl
Reflexive CSCW: Supporting Long-Term Personal Work.
Interact. Comput.
Harold W. Thimbleby, Stuart Anderson, Ian H. Witten
1990 J jnl
The "Worm" Programs - Early Experience withh a Distributed Intelligence.
SIGART Bull.
Ian H. Witten, Harold W. Thimbleby
1990 — book
User interface design.
Harold W. Thimbleby
1990 J jnl
You're Right About the Cure: Don't Do That.
Interact. Comput.
Harold W. Thimbleby
1989 J jnl
A File Difference Program.
Commun. ACM
Christopher J. Van Wyk, Donald C. Lindsay, Harold W. Thimbleby
1989 J jnl
Using Sentinels in Insert Sort.
Softw. Pract. Exp.
Harold W. Thimbleby
1988 J jnl
Delaying Commitment.
IEEE Softw.
Harold W. Thimbleby
1987 — conf
Interaction Models and the Principled Design of Interactive Systems.
ESEC
Alan J. Dix, Michael D. Harrison, Colin Runciman, Harold W. Thimbleby
1987 J jnl
Optimising Self-Replicating Programs.
Comput. J.
Harold W. Thimbleby
1987 J jnl
The Design of a Terminal Independent Package.
Softw. Pract. Exp.
Harold W. Thimbleby
1986 J jnl
Equal Opportunity Interactive Systems.
Int. J. Man Mach. Stud.
Colin Runciman, Harold W. Thimbleby
1986 J jnl
Experiences of 'Literate Programming' Using Cweb (A Variant of Knuth's WEB).
Comput. J.
Harold W. Thimbleby
1986 C conf
The TIN: An Approach to Powerful and Cheap User Interfaces.
ICCC
Jok Macfarlane, Harold W. Thimbleby
1985 J jnl
Failure in the technical user-interface design process.
Comput. Graph.
Harold W. Thimbleby
1983 — conf
"What You See is What You Have Got" - a user engineering principle for manipulative display?
Software-Ergonomie
Harold W. Thimbleby
1982 J jnl
A Text Editing Interface: Definition and Use.
Comput. Lang.
Harold W. Thimbleby
1981 J jnl
A Word Boundary Algorithm for Text Processing.
Comput. J.
Harold W. Thimbleby
1980 J jnl
Dialogue Determination.
Int. J. Man Mach. Stud.
Harold W. Thimbleby
1980 J jnl
Leave and Recall: Primitives for Procedural Programming.
Softw. Pract. Exp.
Harold W. Thimbleby