| 2015 | CAV | PVSio-web 2.0: Joining PVS to HCI. | Paolo Masci, Patrick Oladimeji, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby |
| 2015 | CHI | Exploring the Effect of Pre-operational Priming Intervention on Number Entry Errors. | Karen Yunqiu Li, Patrick Oladimeji, Harold W. Thimbleby |
| 2014 | EICS | Triangulating empirical and analytic techniques for improving number entry user interfaces. | Abigail Cauchi, Patrick Oladimeji, Gerrit Niezen, Harold W. Thimbleby |
| 2014 | FASE | Formal Verification of Medical Device User Interfaces Using PVS. | Paolo Masci, Yi Zhang, Paul L. Jones, Paul Curzon, Harold W. Thimbleby |
| 2014 | NordiCHI | User experience evaluation through the brain's electrical activity. | Akshay Aggarwal, Gerrit Niezen, Harold W. Thimbleby |
| 2013 | CHI | MediCHI: safer interaction in medical devices. | 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 | EICS | Applying theorem discovery to automatically find and check usability heuristics. | Andy Gimblett, Harold W. Thimbleby |
| 2013 | EICS | Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example. | Paolo Masci, Anaheed Ayoub, Paul Curzon, Michael D. Harrison, Insup Lee, Harold W. Thimbleby |
| 2013 | Interact | A Performance Review of Number Entry Interfaces. | Patrick Oladimeji, Harold W. Thimbleby, Anna Louise Cox |
| 2013 | SAFECOMP | Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS. | Paolo Masci, Anaheed Ayoub, Paul Curzon, Insup Lee, Oleg Sokolsky, Harold W. Thimbleby |
| 2011 | CHI | Interactive technologies for health special interest group. | Helena M. Mentis, Harold W. Thimbleby, Julie A. Kientz, Gillian R. Hayes, Madhu C. Reddy |
| 2011 | CHI | The reading desk: applying physical interactions to digital documents. | Jennifer S. Pearson, George Buchanan, Harold W. Thimbleby |
| 2011 | CHI | RepliCHI - CHI should be replicating and validating results more: discuss. | Max L. Wilson, Wendy E. Mackay, Ed H. Chi, Michael S. Bernstein, Daniel M. Russell, Harold W. Thimbleby |
| 2011 | EICS | Engineering interactive computer systems for medicine and healthcare (EICS4Med). | Ann Blandford, Giuseppe De Pietro, Luigi Gallo, Andy Gimblett, Patrick Oladimeji, Harold W. Thimbleby |
| 2011 | EICS | Buffer automata: a UI architecture prioritising HCI concerns for interactive devices. | Harold W. Thimbleby, Andy Gimblett, Abigail Cauchi |
| 2011 | Interact | Number Entry Interfaces and Their Effects on Error Detection. | Patrick Oladimeji, Harold W. Thimbleby, Anna Louise Cox |
| 2010 | CIKM | HCI design principles for ereaders. | Jennifer S. Pearson, George Buchanan, Harold W. Thimbleby |
| 2010 | EICS | User interface model discovery: towards a generic approach. | Andy Gimblett, Harold W. Thimbleby |
| 2009 | CHI | Interaction programming: next steps. | Harold W. Thimbleby |
| 2009 | EICS | Contributing to safety and due diligence in safety-critical interactive systems development by generating and analyzing finite state models. | Harold W. Thimbleby |
| 2009 | EICS | Social network analysis and interactive device design analysis. | Harold W. Thimbleby, Patrick Oladimeji |
| 2009 | HCI | Teaching and Learning HCI. | Harold W. Thimbleby |
| 2008 | ICCHP | Understanding User Centred Design (UCD) for People with Special Needs. | Harold W. Thimbleby |
| 2004 | IUI | Computer algebra in interface design research. | Harold W. Thimbleby, Jeremy Gow |
| 2004 | NordiCHI | Breaking affordance: culture as context. | Lidia Oshlyansky, Harold W. Thimbleby, Paul A. Cairns |
| 2001 | WWW | Improving mobile internet usability. | George Buchanan, Sarah Farrant, Matt Jones, Harold W. Thimbleby, Gary Marsden, Michael J. Pazzani |
| 1999 | ICIAP | Visualizing the Potential of Interactive Systems. | Harold W. Thimbleby |
| 1993 | IUI | Reducing user effort in collaboration support. | Andy Cockburn, Harold W. Thimbleby |
| 1986 | ICCC | The TIN: An Approach to Powerful and Cheap User Interfaces. | Jok Macfarlane, Harold W. Thimbleby |