BibTeX records: Harold W. Thimbleby

download as .bib file

@article{DBLP:journals/health/Thimbleby22,
  author       = {Harold Thimbleby},
  title        = {{NHS} Number Open Source Software: Implications for Digital Health
                  Regulation and Development},
  journal      = {{ACM} Trans. Comput. Heal.},
  volume       = {3},
  number       = {4},
  pages        = {42:1--42:26},
  year         = {2022},
  url          = {https://doi.org/10.1145/3538382},
  doi          = {10.1145/3538382},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/health/Thimbleby22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ThimblebyW18,
  author       = {Harold Thimbleby and
                  David Williams},
  title        = {A tool for publishing reproducible algorithms {\&} {A} reproducible,
                  elegant algorithm for sequential experiments},
  journal      = {Sci. Comput. Program.},
  volume       = {156},
  pages        = {45--67},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.scico.2017.12.010},
  doi          = {10.1016/J.SCICO.2017.12.010},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/ThimblebyW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/Thimbleby17,
  author       = {Harold Thimbleby},
  title        = {Improve IT, Improve Healthcare},
  journal      = {Computer},
  volume       = {50},
  number       = {6},
  pages        = {86--91},
  year         = {2017},
  url          = {https://doi.org/10.1109/MC.2017.167},
  doi          = {10.1109/MC.2017.167},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computer/Thimbleby17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chb/SunRLOT16,
  author       = {Na Sun and
                  Pei{-}Luen Patrick Rau and
                  Yunqiu Li and
                  Tom Owen and
                  Harold Thimbleby},
  title        = {Design and evaluation of a mobile phone-based health intervention
                  for patients with hypertensive condition},
  journal      = {Comput. Hum. Behav.},
  volume       = {63},
  pages        = {98--105},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.chb.2016.05.001},
  doi          = {10.1016/J.CHB.2016.05.001},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/chb/SunRLOT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cryptologia/Thimbleby16,
  author       = {Harold Thimbleby},
  title        = {Human factors and missed solutions to Enigma design weaknesses},
  journal      = {Cryptologia},
  volume       = {40},
  number       = {2},
  pages        = {177--202},
  year         = {2016},
  url          = {https://doi.org/10.1080/01611194.2015.1028680},
  doi          = {10.1080/01611194.2015.1028680},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cryptologia/Thimbleby16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eetcc/MasciOMCT16,
  author       = {Paolo Masci and
                  Patrick Oladimeji and
                  Piergiuseppe Mallozzi and
                  Paul Curzon and
                  Harold Thimbleby},
  title        = {PVSio-web: mathematically based tool support for the design of interactive
                  and interoperable medical systems},
  journal      = {{EAI} Endorsed Trans. Collab. Comput.},
  volume       = {2},
  number       = {7},
  pages        = {e3},
  year         = {2016},
  url          = {https://doi.org/10.4108/eai.14-10-2015.2261720},
  doi          = {10.4108/EAI.14-10-2015.2261720},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eetcc/MasciOMCT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eetct/ThimblebyOMC16,
  author       = {Harold Thimbleby and
                  Patrick Oladimeji and
                  Paolo Masci and
                  Paul Curzon},
  title        = {Issues in number entry user interface styles: Recommendations for
                  mitigation},
  journal      = {{EAI} Endorsed Trans. Creative Technol.},
  volume       = {3},
  number       = {8},
  pages        = {e2},
  year         = {2016},
  url          = {https://doi.org/10.4108/eai.14-10-2015.2261763},
  doi          = {10.4108/EAI.14-10-2015.2261763},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eetct/ThimblebyOMC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iwc/TuMVLT16,
  author       = {Huawei Tu and
                  Paolo Masci and
                  Chris J. Vincent and
                  Karen Yunqiu Li and
                  Harold Thimbleby},
  title        = {\emph{IWC} Special Issue in Human Factors and Interaction Design for
                  Critical Systems},
  journal      = {Interact. Comput.},
  volume       = {28},
  number       = {2},
  pages        = {149--150},
  year         = {2016},
  url          = {https://doi.org/10.1093/iwc/iwv038},
  doi          = {10.1093/IWC/IWV038},
  timestamp    = {Mon, 13 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iwc/TuMVLT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iwc/TuOWTCN16,
  author       = {Huawei Tu and
                  Patrick Oladimeji and
                  Sarah Wiseman and
                  Harold Thimbleby and
                  Paul A. Cairns and
                  Gerrit Niezen},
  title        = {Employing Number-Based Graphical Representations to Enhance the Effects
                  of Visual Check on Entry Error Detection},
  journal      = {Interact. Comput.},
  volume       = {28},
  number       = {2},
  pages        = {194--207},
  year         = {2016},
  url          = {https://doi.org/10.1093/iwc/iwv020},
  doi          = {10.1093/IWC/IWV020},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iwc/TuOWTCN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sesa/CurzonBTC16,
  author       = {Paul Curzon and
                  Ann Blandford and
                  Harold Thimbleby and
                  Anna Louise Cox},
  title        = {Safer Interactive Medical Device Design: Insights from the {CHI+MED}
                  Project},
  journal      = {{EAI} Endorsed Trans. Security Safety},
  volume       = {3},
  number       = {9},
  pages        = {e1},
  year         = {2016},
  url          = {https://doi.org/10.4108/eai.14-10-2015.2261752},
  doi          = {10.4108/EAI.14-10-2015.2261752},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sesa/CurzonBTC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/MauroTDB17,
  author       = {Gioacchino Mauro and
                  Harold Thimbleby and
                  Andrea Domenici and
                  Cinzia Bernardeschi},
  editor       = {Catherine Dubois and
                  Paolo Masci and
                  Dominique M{\'{e}}ry},
  title        = {Extending a User Interface Prototyping Tool with Automatic {MISRA}
                  {C} Code Generation},
  booktitle    = {Proceedings of the Third Workshop on Formal Integrated Development
                  Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016},
  series       = {{EPTCS}},
  volume       = {240},
  pages        = {53--66},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.240.4},
  doi          = {10.4204/EPTCS.240.4},
  timestamp    = {Tue, 01 Jun 2021 08:33:36 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/MauroTDB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeesp/ThimblebyK15,
  author       = {Harold Thimbleby and
                  Ross Koppel},
  title        = {The Healthtech Declaration},
  journal      = {{IEEE} Secur. Priv.},
  volume       = {13},
  number       = {6},
  pages        = {82--84},
  year         = {2015},
  url          = {https://doi.org/10.1109/MSP.2015.127},
  doi          = {10.1109/MSP.2015.127},
  timestamp    = {Sun, 15 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ieeesp/ThimblebyK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/MasciROCGLCT15,
  author       = {Paolo Masci and
                  Rimvydas Ruksenas and
                  Patrick Oladimeji and
                  Abigail Cauchi and
                  Andy Gimblett and
                  Karen Yunqiu Li and
                  Paul Curzon and
                  Harold W. Thimbleby},
  title        = {The benefits of formalising design guidelines: a case study on the
                  predictability of drug infusion pumps},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {11},
  number       = {2},
  pages        = {73--93},
  year         = {2015},
  url          = {https://doi.org/10.1007/s11334-013-0200-4},
  doi          = {10.1007/S11334-013-0200-4},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isse/MasciROCGLCT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Thimbleby15,
  author       = {Harold Thimbleby},
  title        = {Safer User Interfaces: {A} Case Study in Improving Number Entry},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {41},
  number       = {7},
  pages        = {711--729},
  year         = {2015},
  url          = {https://doi.org/10.1109/TSE.2014.2383396},
  doi          = {10.1109/TSE.2014.2383396},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/Thimbleby15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MasciOZJCT15,
  author       = {Paolo Masci and
                  Patrick Oladimeji and
                  Yi Zhang and
                  Paul L. Jones and
                  Paul Curzon and
                  Harold W. Thimbleby},
  editor       = {Daniel Kroening and
                  Corina S. Pasareanu},
  title        = {PVSio-web 2.0: Joining {PVS} to {HCI}},
  booktitle    = {Computer Aided Verification - 27th International Conference, {CAV}
                  2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
                  {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9206},
  pages        = {470--478},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21690-4\_30},
  doi          = {10.1007/978-3-319-21690-4\_30},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/MasciOZJCT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/LiOT15,
  author       = {Karen Yunqiu Li and
                  Patrick Oladimeji and
                  Harold W. Thimbleby},
  editor       = {Bo Begole and
                  Jinwoo Kim and
                  Kori Inkpen and
                  Woontack Woo},
  title        = {Exploring the Effect of Pre-operational Priming Intervention on Number
                  Entry Errors},
  booktitle    = {Proceedings of the 33rd Annual {ACM} Conference on Human Factors in
                  Computing Systems, {CHI} 2015, Seoul, Republic of Korea, April 18-23,
                  2015},
  pages        = {1335--1344},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2702123.2702477},
  doi          = {10.1145/2702123.2702477},
  timestamp    = {Fri, 12 Mar 2021 15:27:48 +0100},
  biburl       = {https://dblp.org/rec/conf/chi/LiOT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/KristenssonBHOM15,
  author       = {Per Ola Kristensson and
                  Xiaojun Bi and
                  Andrew Howes and
                  Antti Oulasvirta and
                  Roderick Murray{-}Smith and
                  Harold Thimbleby and
                  John Williamson and
                  Shumin Zhai},
  editor       = {Bo Begole and
                  Jinwoo Kim and
                  Kori Inkpen and
                  Woontack Woo},
  title        = {Principles, Techniques and Perspectives on Optimization and {HCI}},
  booktitle    = {Proceedings of the 33rd Annual {ACM} Conference Extended Abstracts
                  on Human Factors in Computing Systems, Seoul, {CHI} 2015 Extended
                  Abstracts, Republic of Korea, April 18 - 23, 2015},
  pages        = {2441--2444},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2702613.2702662},
  doi          = {10.1145/2702613.2702662},
  timestamp    = {Thu, 11 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/chi/KristenssonBHOM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mhci/Owen0TB15,
  author       = {Tom Owen and
                  Jennifer Pearson and
                  Harold Thimbleby and
                  George Buchanan},
  editor       = {Sebastian Boring and
                  Enrico Rukzio and
                  Hans Gellersen and
                  Ken Hinckley},
  title        = {ConCap: Designing to Empower Individual Reflection on Chronic Conditions
                  using Mobile Apps},
  booktitle    = {Proceedings of the 17th International Conference on Human-Computer
                  Interaction with Mobile Devices and Services, MobileHCI 2015, Copenhagen,
                  Denmark, August 24-27, 2015},
  pages        = {105--114},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2785830.2785881},
  doi          = {10.1145/2785830.2785881},
  timestamp    = {Mon, 05 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mhci/Owen0TB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcshci/DaviesCTL14,
  author       = {Mark Davies and
                  Alan Chamberlain and
                  Harold W. Thimbleby and
                  Paul Lee},
  editor       = {Daniel Fitton and
                  Matthew Horton and
                  Janet C. Read and
                  Gavin Sim},
  title        = {Managing Gravity Infusion using a Mobile Application},
  booktitle    = {{BCS-HCI} 2014 Proceedings of the 28th International {BCS} Human Computer
                  Interaction Conference, Southport, UK, 9-12 September 2014},
  series       = {Workshops in Computing},
  publisher    = {British Computer Society},
  year         = {2014},
  url          = {http://ewic.bcs.org/content/ConWebDoc/54228},
  timestamp    = {Fri, 18 Sep 2015 10:45:52 +0200},
  biburl       = {https://dblp.org/rec/conf/bcshci/DaviesCTL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcshci/TuOLTV14,
  author       = {Huawei Tu and
                  Patrick Oladimeji and
                  Karen Yunqiu Li and
                  Harold W. Thimbleby and
                  Chris J. Vincent},
  editor       = {Daniel Fitton and
                  Matthew Horton and
                  Janet C. Read and
                  Gavin Sim},
  title        = {The Effects of Number-related Factors on Entry Performance},
  booktitle    = {{BCS-HCI} 2014 Proceedings of the 28th International {BCS} Human Computer
                  Interaction Conference, Southport, UK, 9-12 September 2014},
  series       = {Workshops in Computing},
  publisher    = {British Computer Society},
  year         = {2014},
  url          = {http://ewic.bcs.org/content/ConWebDoc/54218},
  timestamp    = {Mon, 13 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bcshci/TuOLTV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/CauchiONT14,
  author       = {Abigail Cauchi and
                  Patrick Oladimeji and
                  Gerrit Niezen and
                  Harold W. Thimbleby},
  editor       = {Fabio Patern{\`{o}} and
                  Carmen Santoro and
                  J{\"{u}}rgen Ziegler},
  title        = {Triangulating empirical and analytic techniques for improving number
                  entry user interfaces},
  booktitle    = {{ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems,
                  EICS'14, Rome, Italy, June 17-20, 2014},
  pages        = {243--252},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2607023.2607025},
  doi          = {10.1145/2607023.2607025},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eics/CauchiONT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/MasciZJCT14,
  author       = {Paolo Masci and
                  Yi Zhang and
                  Paul L. Jones and
                  Paul Curzon and
                  Harold W. Thimbleby},
  editor       = {Stefania Gnesi and
                  Arend Rensink},
  title        = {Formal Verification of Medical Device User Interfaces Using {PVS}},
  booktitle    = {Fundamental Approaches to Software Engineering - 17th International
                  Conference, {FASE} 2014, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France,
                  April 5-13, 2014, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8411},
  pages        = {200--214},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-642-54804-8\_14},
  doi          = {10.1007/978-3-642-54804-8\_14},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/MasciZJCT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fhies/MasciOCT14,
  author       = {Paolo Masci and
                  Patrick Oladimeji and
                  Paul Curzon and
                  Harold Thimbleby},
  editor       = {Michaela Huhn and
                  Laurie A. Williams},
  title        = {Using PVSio-web to Demonstrate Software Issues in Medical User Interfaces},
  booktitle    = {Software Engineering in Health Care - 4th International Symposium,
                  {FHIES} 2014, and 6th International Workshop, {SEHC} 2014, Washington,
                  DC, USA, July 17-18, 2014, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9062},
  pages        = {214--221},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-63194-3\_14},
  doi          = {10.1007/978-3-319-63194-3\_14},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fhies/MasciOCT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcps/MasciZJTC14,
  author       = {Paolo Masci and
                  Yi Zhang and
                  Paul L. Jones and
                  Harold Thimbleby and
                  Paul Curzon},
  editor       = {Volker Turau and
                  Marta Z. Kwiatkowska and
                  Rahul Mangharam and
                  Christoph Weyer},
  title        = {A Generic User Interface Architecture for Analyzing Use Hazards in
                  Infusion Pump Software},
  booktitle    = {5th Workshop on Medical Cyber-Physical Systems, {MCPS} 2014, Berlin,
                  Germany, April 14, 2014},
  series       = {OASIcs},
  volume       = {36},
  pages        = {1--14},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2014},
  url          = {https://doi.org/10.4230/OASIcs.MCPS.2014.1},
  doi          = {10.4230/OASICS.MCPS.2014.1},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mcps/MasciZJTC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/MasciZJODBCT14,
  author       = {Paolo Masci and
                  Yi Zhang and
                  Paul L. Jones and
                  Patrick Oladimeji and
                  Enrico D'Urso and
                  Cinzia Bernardeschi and
                  Paul Curzon and
                  Harold Thimbleby},
  editor       = {Julia M. Badger and
                  Kristin Yvonne Rozier},
  title        = {Combining PVSio with Stateflow},
  booktitle    = {{NASA} Formal Methods - 6th International Symposium, {NFM} 2014, Houston,
                  TX, USA, April 29 - May 1, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8430},
  pages        = {209--214},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06200-6\_16},
  doi          = {10.1007/978-3-319-06200-6\_16},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/MasciZJODBCT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nordichi/AggarwalNT14,
  author       = {Akshay Aggarwal and
                  Gerrit Niezen and
                  Harold W. Thimbleby},
  editor       = {Virpi Roto and
                  Jonna H{\"{a}}kkil{\"{a}} and
                  Kaisa V{\"{a}}{\"{a}}n{\"{a}}nen{-}Vainio{-}Mattila and
                  Oskar Juhlin and
                  Thomas Olsson and
                  Ebba Thora Hvannberg},
  title        = {User experience evaluation through the brain's electrical activity},
  booktitle    = {Proceedings of the 8th Nordic Conference on Human-Computer Interaction:
                  Fun, Fast, Foundational, Helsinki, Finland, October 26-30, 2014},
  pages        = {491--500},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2639189.2639236},
  doi          = {10.1145/2639189.2639236},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nordichi/AggarwalNT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/synthesis/2013Pearson,
  author       = {Jennifer S. Pearson and
                  George Buchanan and
                  Harold W. Thimbleby},
  title        = {Designing for Digital Reading},
  series       = {Synthesis Lectures on Information Concepts, Retrieval, and Services},
  publisher    = {Morgan {\&} Claypool Publishers},
  year         = {2013},
  url          = {https://doi.org/10.2200/S00539ED1V01Y201310ICR029},
  doi          = {10.2200/S00539ED1V01Y201310ICR029},
  isbn         = {9781627052436},
  timestamp    = {Thu, 26 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/synthesis/2013Pearson.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/OladimejiMCT13,
  author       = {Patrick Oladimeji and
                  Paolo Masci and
                  Paul Curzon and
                  Harold W. Thimbleby},
  title        = {PVSio-web: a tool for rapid prototyping device user interfaces in
                  {PVS}},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {69},
  year         = {2013},
  url          = {https://doi.org/10.14279/tuj.eceasst.69.963},
  doi          = {10.14279/TUJ.ECEASST.69.963},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/OladimejiMCT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/Thimbleby13,
  author       = {Harold Thimbleby},
  title        = {Action graphs and user performance analysis},
  journal      = {Int. J. Hum. Comput. Stud.},
  volume       = {71},
  number       = {3},
  pages        = {276--302},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.ijhcs.2012.10.014},
  doi          = {10.1016/J.IJHCS.2012.10.014},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijmms/Thimbleby13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/interactions/Thimbleby13,
  author       = {Harold Thimbleby},
  title        = {Targeting the Fitts Law},
  journal      = {Interactions},
  volume       = {20},
  number       = {1},
  pages        = {12--13},
  year         = {2013},
  url          = {https://doi.org/10.1145/2405716.2405720},
  doi          = {10.1145/2405716.2405720},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/interactions/Thimbleby13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbi/JohnsonMBHT13,
  author       = {Todd R. Johnson and
                  Eliz Markowitz and
                  Elmer V. Bernstam and
                  Jorge R. Herskovic and
                  Harold Thimbleby},
  title        = {{SYFSA:} {A} framework for Systematic Yet Flexible Systems Analysis},
  journal      = {J. Biomed. Informatics},
  volume       = {46},
  number       = {4},
  pages        = {665--675},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.jbi.2013.05.003},
  doi          = {10.1016/J.JBI.2013.05.003},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jbi/JohnsonMBHT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/MarkowitzJBHT13,
  author       = {Eliz Markowitz and
                  Todd R. Johnson and
                  Elmer V. Bernstam and
                  Jorge R. Herskovic and
                  Harold Thimbleby},
  title        = {A Systematic Yet Flexible Systems Analysis Framework},
  booktitle    = {{AMIA} 2013, American Medical Informatics Association Annual Symposium,
                  Washington, DC, USA, November 16-20, 2013},
  publisher    = {{AMIA}},
  year         = {2013},
  url          = {https://knowledge.amia.org/amia-55142-a2013e-1.580047/t-06-1.582200/f-006-1.582201/a-332-1.582995/a-333-1.582989},
  timestamp    = {Wed, 17 Apr 2024 11:47:55 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/MarkowitzJBHT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/Thimbleby13,
  author       = {Harold Thimbleby},
  editor       = {Wendy E. Mackay and
                  Stephen A. Brewster and
                  Susanne B{\o}dker},
  title        = {Reasons to question seven segment displays},
  booktitle    = {2013 {ACM} {SIGCHI} Conference on Human Factors in Computing Systems,
                  {CHI} '13, Paris, France, April 27 - May 2, 2013},
  pages        = {1431--1440},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2470654.2466190},
  doi          = {10.1145/2470654.2466190},
  timestamp    = {Tue, 01 Jun 2021 15:21:42 +0200},
  biburl       = {https://dblp.org/rec/conf/chi/Thimbleby13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/LiDDQMVTCLXSLDWW13,
  author       = {Karen Yunqiu Li and
                  Sharon Xianghua Ding and
                  Zhanxun Dong and
                  Liping Qin and
                  Paolo Masci and
                  Chris J. Vincent and
                  Harold W. Thimbleby and
                  Abigail Cauchi and
                  Alexis Lewis and
                  Sisy Baixi Xing and
                  Shouqian Sun and
                  Eric Liu and
                  John Di and
                  Jenson Wang and
                  Mary Welch{-}Brady},
  editor       = {Wendy E. Mackay and
                  Stephen A. Brewster and
                  Susanne B{\o}dker},
  title        = {MediCHI: safer interaction in medical devices},
  booktitle    = {2013 {ACM} {SIGCHI} Conference on Human Factors in Computing Systems,
                  {CHI} '13, Paris, France, April 27 - May 2, 2013, Extended Abstracts},
  pages        = {3267--3270},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2468356.2479663},
  doi          = {10.1145/2468356.2479663},
  timestamp    = {Mon, 13 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/chi/LiDDQMVTCLXSLDWW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cshi/LiOTSR13,
  author       = {Yunqiu Li and
                  Tom Owen and
                  Harold Thimbleby and
                  Na Sun and
                  Pei{-}Luen Patrick Rau},
  editor       = {Marie{-}Catherine Beuscart{-}Z{\'{e}}phir and
                  Monique W. M. Jaspers and
                  Craig E. Kuziemsky and
                  Christian N{\o}hr and
                  Jos Aarts},
  title        = {A Design to Empower Patients in Long Term Wellbeing Monitoring and
                  Chronic Disease Management in mHealth},
  booktitle    = {Context Sensitive Health Informatics: Human and Sociotechnical Approaches,
                  {CSHI} 2013, Copenhagen, Denmark, August 2013},
  series       = {Studies in Health Technology and Informatics},
  volume       = {194},
  pages        = {82--87},
  publisher    = {{IOS} Press},
  year         = {2013},
  url          = {https://doi.org/10.3233/978-1-61499-293-6-82},
  doi          = {10.3233/978-1-61499-293-6-82},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cshi/LiOTSR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/MasciACHLT13,
  author       = {Paolo Masci and
                  Anaheed Ayoub and
                  Paul Curzon and
                  Michael D. Harrison and
                  Insup Lee and
                  Harold W. Thimbleby},
  editor       = {Peter Forbrig and
                  Prasun Dewan and
                  Michael Harrison and
                  Kris Luyten},
  title        = {Verification of interactive software for medical devices: {PCA} infusion
                  pumps and {FDA} regulation as an example},
  booktitle    = {{ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems,
                  EICS'13, London, United Kingdom - June 24 - 27, 2013},
  pages        = {81--90},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2494603.2480302},
  doi          = {10.1145/2494603.2480302},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eics/MasciACHLT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/GimblettT13,
  author       = {Andy Gimblett and
                  Harold W. Thimbleby},
  editor       = {Peter Forbrig and
                  Prasun Dewan and
                  Michael Harrison and
                  Kris Luyten},
  title        = {Applying theorem discovery to automatically find and check usability
                  heuristics},
  booktitle    = {{ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems,
                  EICS'13, London, United Kingdom - June 24 - 27, 2013},
  pages        = {101--106},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2494603.2480320},
  doi          = {10.1145/2494603.2480320},
  timestamp    = {Mon, 20 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eics/GimblettT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ichi/Thimbleby13,
  author       = {Harold Thimbleby},
  title        = {Improving Safety in Medical Devices and Systems},
  booktitle    = {{IEEE} International Conference on Healthcare Informatics, {ICHI}
                  2013, 9-11 September, 2013, Philadelphia, PA, {USA}},
  pages        = {1--13},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICHI.2013.91},
  doi          = {10.1109/ICHI.2013.91},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ichi/Thimbleby13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ichi/CauchiTOH13,
  author       = {Abigail Cauchi and
                  Harold W. Thimbleby and
                  Patrick Oladimeji and
                  Michael D. Harrison},
  title        = {Using Medical Device Logs for Improving Medical Device Design},
  booktitle    = {{IEEE} International Conference on Healthcare Informatics, {ICHI}
                  2013, 9-11 September, 2013, Philadelphia, PA, {USA}},
  pages        = {56--65},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICHI.2013.14},
  doi          = {10.1109/ICHI.2013.14},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ichi/CauchiTOH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ichi/ThimblebyW13,
  author       = {Harold Thimbleby and
                  David Williams},
  title        = {Using Nomograms to Reduce Harm from Clinical Calculations},
  booktitle    = {{IEEE} International Conference on Healthcare Informatics, {ICHI}
                  2013, 9-11 September, 2013, Philadelphia, PA, {USA}},
  pages        = {461--470},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICHI.2013.62},
  doi          = {10.1109/ICHI.2013.62},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ichi/ThimblebyW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/OladimejiTC13,
  author       = {Patrick Oladimeji and
                  Harold W. Thimbleby and
                  Anna Louise Cox},
  editor       = {Paula Kotz{\'{e}} and
                  Gary Marsden and
                  Gitte Lindgaard and
                  Janet Wesson and
                  Marco Winckler},
  title        = {A Performance Review of Number Entry Interfaces},
  booktitle    = {Human-Computer Interaction - {INTERACT} 2013 - 14th {IFIP} {TC} 13
                  International Conference, Cape Town, South Africa, September 2-6,
                  2013, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8117},
  pages        = {365--382},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40483-2\_26},
  doi          = {10.1007/978-3-642-40483-2\_26},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/interact/OladimejiTC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/MasciACLST13,
  author       = {Paolo Masci and
                  Anaheed Ayoub and
                  Paul Curzon and
                  Insup Lee and
                  Oleg Sokolsky and
                  Harold W. Thimbleby},
  editor       = {Friedemann Bitsch and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  Mohamed Ka{\^{a}}niche},
  title        = {Model-Based Development of the Generic {PCA} Infusion Pump User Interface
                  Prototype in {PVS}},
  booktitle    = {Computer Safety, Reliability, and Security - 32nd International Conference,
                  {SAFECOMP} 2013, Toulouse, France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8153},
  pages        = {228--240},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40793-2\_21},
  doi          = {10.1007/978-3-642-40793-2\_21},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/safecomp/MasciACLST13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ichi/LiT13,
  author       = {Karen Yunqiu Li and
                  Harold Thimbleby},
  title        = {ViM: Vital Signs in Music Creatively Facilitating Effective Long-Term
                  Wellbeing Self-Management},
  booktitle    = {{IEEE} International Conference on Healthcare Informatics, {ICHI}
                  2013, 9-11 September, 2013, Philadelphia, PA, {USA}},
  pages        = {480},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICHI.2013.68},
  doi          = {10.1109/ICHI.2013.68},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ichi/LiT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iwc/PearsonBTJ12,
  author       = {Jennifer S. Pearson and
                  George Buchanan and
                  Harold W. Thimbleby and
                  Matt Jones},
  title        = {The Digital Reading Desk: {A} lightweight approach to digital note-taking},
  journal      = {Interact. Comput.},
  volume       = {24},
  number       = {5},
  pages        = {327--338},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.intcom.2012.03.001},
  doi          = {10.1016/J.INTCOM.2012.03.001},
  timestamp    = {Mon, 05 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iwc/PearsonBTJ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/Thimbleby12,
  author       = {Harold W. Thimbleby},
  title        = {Heedless programming: ignoring detectable error is a widespread hazard},
  journal      = {Softw. Pract. Exp.},
  volume       = {42},
  number       = {11},
  pages        = {1393--1407},
  year         = {2012},
  url          = {https://doi.org/10.1002/spe.1141},
  doi          = {10.1002/SPE.1141},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/Thimbleby12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcshci/CauchiGTCM12,
  author       = {Abigail Cauchi and
                  Andy Gimblett and
                  Harold W. Thimbleby and
                  Paul Curzon and
                  Paolo Masci},
  title        = {Safer "5-key" number entry user interfaces using differential
                  formal analysis},
  booktitle    = {{BCS-HCI} '12 Proceedings of the 26th Annual {BCS} Interaction Specialist
                  Group Conference on People and Computers, {BCS-HCI} 2012, 12-14 September
                  2012, Birmingham, {UK}},
  pages        = {29--38},
  publisher    = {British Computer Society},
  year         = {2012},
  url          = {http://dl.acm.org/citation.cfm?id=2377921},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bcshci/CauchiGTCM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcshci/OwenBT12,
  author       = {Tom Owen and
                  George Buchanan and
                  Harold W. Thimbleby},
  title        = {Understanding user requirements in take-home diabetes management technologies},
  booktitle    = {{BCS-HCI} '12 Proceedings of the 26th Annual {BCS} Interaction Specialist
                  Group Conference on People and Computers, {BCS-HCI} 2012, 12-14 September
                  2012, Birmingham, {UK}},
  pages        = {268--273},
  publisher    = {British Computer Society},
  year         = {2012},
  url          = {http://dl.acm.org/citation.cfm?id=2377950},
  timestamp    = {Mon, 05 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bcshci/OwenBT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcshci/ThimblebyC12,
  author       = {Harold W. Thimbleby and
                  Paul A. Cairns},
  title        = {How good is this conference?: evaluating conference reviewing and
                  selectivity},
  booktitle    = {{BCS-HCI} '12 Proceedings of the 26th Annual {BCS} Interaction Specialist
                  Group Conference on People and Computers, {BCS-HCI} 2012, 12-14 September
                  2012, Birmingham, {UK}},
  pages        = {410--415},
  publisher    = {British Computer Society},
  year         = {2012},
  url          = {http://dl.acm.org/citation.cfm?id=2377976},
  timestamp    = {Fri, 28 Sep 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bcshci/ThimblebyC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/huc/WebsterET12,
  author       = {Julie Webster and
                  Parisa Eslambolchilar and
                  Harold Thimbleby},
  editor       = {Anind K. Dey and
                  Hao{-}Hua Chu and
                  Gillian R. Hayes},
  title        = {From rotary telephones to universal number entry systems: can the
                  past re-shape the future?},
  booktitle    = {The 2012 {ACM} Conference on Ubiquitous Computing, Ubicomp '12, Pittsburgh,
                  PA, USA, September 5-8, 2012},
  pages        = {596--597},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2370216.2370322},
  doi          = {10.1145/2370216.2370322},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/huc/WebsterET12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jcdl/PearsonOTB12,
  author       = {Jennifer S. Pearson and
                  Tom Owen and
                  Harold W. Thimbleby and
                  George Buchanan},
  editor       = {Karim B. Boughida and
                  Barrie Howard and
                  Michael L. Nelson and
                  Herbert Van de Sompel and
                  Ingeborg S{\o}lvberg},
  title        = {Co-reading: investigating collaborative group reading},
  booktitle    = {Proceedings of the 12th {ACM/IEEE-CS} Joint Conference on Digital
                  Libraries, {JCDL} '12, Washington, DC, USA, June 10-14, 2012},
  pages        = {325--334},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2232817.2232876},
  doi          = {10.1145/2232817.2232876},
  timestamp    = {Mon, 05 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jcdl/PearsonOTB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mhci/PearsonBT12,
  author       = {Jennifer S. Pearson and
                  George Buchanan and
                  Harold W. Thimbleby},
  editor       = {Elizabeth F. Churchill and
                  Sriram Subramanian and
                  Patrick Baudisch and
                  Kenton O'Hara},
  title        = {Investigating collaborative annotation on slate pcs},
  booktitle    = {Mobile {HCI} '12, Proceedings of the 14th international conference
                  on Human-computer interaction with mobile devices and services, San
                  Francsico, CA, USA, September 21-24, 2012},
  pages        = {413--416},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2371574.2371637},
  doi          = {10.1145/2371574.2371637},
  timestamp    = {Mon, 05 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mhci/PearsonBT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Thimbleby11,
  author       = {Harold W. Thimbleby},
  title        = {Signposting in Documents},
  journal      = {Comput. J.},
  volume       = {54},
  number       = {7},
  pages        = {1119--1135},
  year         = {2011},
  url          = {https://doi.org/10.1093/comjnl/bxq061},
  doi          = {10.1093/COMJNL/BXQ061},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Thimbleby11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/MasciROCGLCT11,
  author       = {Paolo Masci and
                  Rimvydas Ruksenas and
                  Patrick Oladimeji and
                  Abigail Cauchi and
                  Andy Gimblett and
                  Karen Yunqiu Li and
                  Paul Curzon and
                  Harold W. Thimbleby},
  title        = {On formalising interactive number entry on infusion pumps},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {45},
  year         = {2011},
  url          = {https://doi.org/10.14279/tuj.eceasst.45.654},
  doi          = {10.14279/TUJ.ECEASST.45.654},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/MasciROCGLCT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/ThimblebyG11,
  author       = {Harold W. Thimbleby and
                  Andy Gimblett},
  title        = {Dependable keyed data entry for interactive systems},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {45},
  year         = {2011},
  url          = {https://doi.org/10.14279/tuj.eceasst.45.642},
  doi          = {10.14279/TUJ.ECEASST.45.642},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/ThimblebyG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/WilsonMCBRT11,
  author       = {Max L. Wilson and
                  Wendy E. Mackay and
                  Ed H. Chi and
                  Michael S. Bernstein and
                  Daniel M. Russell and
                  Harold W. Thimbleby},
  editor       = {Desney S. Tan and
                  Saleema Amershi and
                  Bo Begole and
                  Wendy A. Kellogg and
                  Manas Tungare},
  title        = {RepliCHI - {CHI} should be replicating and validating results more:
                  discuss},
  booktitle    = {Proceedings of the International Conference on Human Factors in Computing
                  Systems, {CHI} 2011, Extended Abstracts Volume, Vancouver, BC, Canada,
                  May 7-12, 2011},
  pages        = {463--466},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1979742.1979491},
  doi          = {10.1145/1979742.1979491},
  timestamp    = {Fri, 12 Mar 2021 15:27:48 +0100},
  biburl       = {https://dblp.org/rec/conf/chi/WilsonMCBRT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/MentisTKHR11,
  author       = {Helena M. Mentis and
                  Harold W. Thimbleby and
                  Julie A. Kientz and
                  Gillian R. Hayes and
                  Madhu C. Reddy},
  editor       = {Desney S. Tan and
                  Saleema Amershi and
                  Bo Begole and
                  Wendy A. Kellogg and
                  Manas Tungare},
  title        = {Interactive technologies for health special interest group},
  booktitle    = {Proceedings of the International Conference on Human Factors in Computing
                  Systems, {CHI} 2011, Extended Abstracts Volume, Vancouver, BC, Canada,
                  May 7-12, 2011},
  pages        = {519--522},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1979742.1979535},
  doi          = {10.1145/1979742.1979535},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/chi/MentisTKHR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/PearsonBT11,
  author       = {Jennifer S. Pearson and
                  George Buchanan and
                  Harold W. Thimbleby},
  editor       = {Desney S. Tan and
                  Saleema Amershi and
                  Bo Begole and
                  Wendy A. Kellogg and
                  Manas Tungare},
  title        = {The reading desk: applying physical interactions to digital documents},
  booktitle    = {Proceedings of the International Conference on Human Factors in Computing
                  Systems, {CHI} 2011, Vancouver, BC, Canada, May 7-12, 2011},
  pages        = {3199--3202},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1978942.1979416},
  doi          = {10.1145/1978942.1979416},
  timestamp    = {Mon, 05 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/chi/PearsonBT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/CauchiCEGHLLMOR11,
  author       = {Abigail Cauchi and
                  Paul Curzon and
                  Parisa Eslambolchilar and
                  Andy Gimblett and
                  Huayi Huang and
                  Paul Lee and
                  Yunqiu Li and
                  Paolo Masci and
                  Patrick Oladimeji and
                  Rimvydas Ruksenas and
                  Harold Thimbleby},
  editor       = {Ann Blandford and
                  Giuseppe De Pietro and
                  Luigi Gallo and
                  Andy Gimblett and
                  Patrick Oladimeji and
                  Harold W. Thimbleby},
  title        = {Towards Dependable Number Entry for Medical Devices},
  booktitle    = {Proceedings of the 1st International Workshop on Engineering Interactive
                  Computing Systems for Medicine and Health Care (EICS4Med 2011), Pisa,
                  Italy, June 13, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {727},
  pages        = {53--58},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-727/eics4med10.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:31 +0100},
  biburl       = {https://dblp.org/rec/conf/eics/CauchiCEGHLLMOR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/BlandfordCCEFGH11,
  author       = {Ann Blandford and
                  Abigail Cauchi and
                  Paul Curzon and
                  Parisa Eslambolchilar and
                  Dominic Furniss and
                  Andy Gimblett and
                  Huayi Huang and
                  Paul Lee and
                  Yunqiu Li and
                  Paolo Masci and
                  Patrick Oladimeji and
                  Atish Rajkomar and
                  Rimvydas Ruksenas and
                  Harold Thimbleby},
  editor       = {Ann Blandford and
                  Giuseppe De Pietro and
                  Luigi Gallo and
                  Andy Gimblett and
                  Patrick Oladimeji and
                  Harold W. Thimbleby},
  title        = {Comparing Actual Practice and User Manuals: {A} Case Study Based on
                  Programmable Infusion Pumps},
  booktitle    = {Proceedings of the 1st International Workshop on Engineering Interactive
                  Computing Systems for Medicine and Health Care (EICS4Med 2011), Pisa,
                  Italy, June 13, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {727},
  pages        = {59--64},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-727/eics4med11.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eics/BlandfordCCEFGH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/ThimblebyGC11,
  author       = {Harold W. Thimbleby and
                  Andy Gimblett and
                  Abigail Cauchi},
  editor       = {Fabio Patern{\`{o}} and
                  Kris Luyten and
                  Frank Maurer},
  title        = {Buffer automata: a {UI} architecture prioritising {HCI} concerns for
                  interactive devices},
  booktitle    = {Proceedings of the 3rd {ACM} {SIGCHI} Symposium on Engineering Interactive
                  Computing System, {EICS} 2011, Pisa, Italy, June 13-16, 2011},
  pages        = {73--78},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1996461.1996497},
  doi          = {10.1145/1996461.1996497},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eics/ThimblebyGC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/BlandfordPGGOT11,
  author       = {Ann Blandford and
                  Giuseppe De Pietro and
                  Luigi Gallo and
                  Andy Gimblett and
                  Patrick Oladimeji and
                  Harold W. Thimbleby},
  editor       = {Fabio Patern{\`{o}} and
                  Kris Luyten and
                  Frank Maurer},
  title        = {Engineering interactive computer systems for medicine and healthcare
                  (EICS4Med)},
  booktitle    = {Proceedings of the 3rd {ACM} {SIGCHI} Symposium on Engineering Interactive
                  Computing System, {EICS} 2011, Pisa, Italy, June 13-16, 2011},
  pages        = {341--342},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1996461.1996556},
  doi          = {10.1145/1996461.1996556},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eics/BlandfordPGGOT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ercimdl/PearsonBT11,
  author       = {Jennifer S. Pearson and
                  George Buchanan and
                  Harold W. Thimbleby},
  editor       = {Stefan Gradmann and
                  Francesca Borri and
                  Carlo Meghini and
                  Heiko Schuldt},
  title        = {The Reading Desk: Supporting Lightweight Note-Taking in Digital Documents},
  booktitle    = {Research and Advanced Technology for Digital Libraries - International
                  Conference on Theory and Practice of Digital Libraries, {TPDL} 2011,
                  Berlin, Germany, September 26-28, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6966},
  pages        = {438--441},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-24469-8\_44},
  doi          = {10.1007/978-3-642-24469-8\_44},
  timestamp    = {Mon, 26 Jun 2023 20:46:07 +0200},
  biburl       = {https://dblp.org/rec/conf/ercimdl/PearsonBT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/OladimejiTC11,
  author       = {Patrick Oladimeji and
                  Harold W. Thimbleby and
                  Anna Louise Cox},
  editor       = {Pedro F. Campos and
                  T. C. Nicholas Graham and
                  Joaquim A. Jorge and
                  Nuno Jardim Nunes and
                  Philippe A. Palanque and
                  Marco Winckler},
  title        = {Number Entry Interfaces and Their Effects on Error Detection},
  booktitle    = {Human-Computer Interaction - {INTERACT} 2011 - 13th {IFIP} {TC} 13
                  International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings,
                  Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6949},
  pages        = {178--185},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23768-3\_15},
  doi          = {10.1007/978-3-642-23768-3\_15},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/interact/OladimejiTC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eics/2011med,
  editor       = {Ann Blandford and
                  Giuseppe De Pietro and
                  Luigi Gallo and
                  Andy Gimblett and
                  Patrick Oladimeji and
                  Harold W. Thimbleby},
  title        = {Proceedings of the 1st International Workshop on Engineering Interactive
                  Computing Systems for Medicine and Health Care (EICS4Med 2011), Pisa,
                  Italy, June 13, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {727},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-727},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eics/2011med.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cit/Thimbleby10,
  author       = {Harold W. Thimbleby},
  title        = {Think! Interactive Systems Need Safety Locks},
  journal      = {J. Comput. Inf. Technol.},
  volume       = {18},
  number       = {4},
  year         = {2010},
  url          = {https://doi.org/10.2498/cit.1001921},
  doi          = {10.2498/CIT.1001921},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cit/Thimbleby10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijhci/Thimbleby10,
  author       = {Harold W. Thimbleby},
  title        = {Avoiding Latent Design Conditions Using {UI} Discovery Tools},
  journal      = {Int. J. Hum. Comput. Interact.},
  volume       = {26},
  number       = {2{\&}3},
  pages        = {120--131},
  year         = {2010},
  url          = {https://doi.org/10.1080/10447310903498692},
  doi          = {10.1080/10447310903498692},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijhci/Thimbleby10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/HolzingerTB10,
  author       = {Andreas Holzinger and
                  Harold W. Thimbleby and
                  Russell Beale},
  title        = {Human-Computer Interaction for Medicine and Health Care {(HCI4MED):}
                  Towards making Information usable},
  journal      = {Int. J. Hum. Comput. Stud.},
  volume       = {68},
  number       = {6},
  pages        = {325--327},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.ijhcs.2010.03.001},
  doi          = {10.1016/J.IJHCS.2010.03.001},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijmms/HolzingerTB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iwc/LangdonT10,
  author       = {Patrick Langdon and
                  Harold W. Thimbleby},
  title        = {Inclusion and interaction: Designing interaction for inclusive populations},
  journal      = {Interact. Comput.},
  volume       = {22},
  number       = {6},
  pages        = {439--448},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.intcom.2010.08.007},
  doi          = {10.1016/J.INTCOM.2010.08.007},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iwc/LangdonT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcshci/AcharyaTO10,
  author       = {Chitra Acharya and
                  Harold W. Thimbleby and
                  Patrick Oladimeji},
  editor       = {Tom McEwan and
                  Lachlan McKinnon},
  title        = {Human computer interaction and medical devices},
  booktitle    = {Proceedings of the 2010 British Computer Society Conference on Human-Computer
                  Interaction, {BCS-HCI} 2010, Dundee, United Kingdom, 6-10 September
                  2010},
  pages        = {168--176},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {http://dl.acm.org/citation.cfm?id=2146329},
  timestamp    = {Mon, 26 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bcshci/AcharyaTO10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/PearsonBT10,
  author       = {Jennifer S. Pearson and
                  George Buchanan and
                  Harold W. Thimbleby},
  editor       = {Gabriella Kazai and
                  Peter Brusilovsky},
  title        = {{HCI} design principles for ereaders},
  booktitle    = {Proceedings of the 2010 {ACM} Workshop on Research Advances in Large
                  Digital Book Repositories and Complementary Media, BooksOnline 2010,
                  Toronto , ON, Canada - October 26, 2010},
  pages        = {15--24},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1871854.1871860},
  doi          = {10.1145/1871854.1871860},
  timestamp    = {Mon, 05 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cikm/PearsonBT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/GimblettT10,
  author       = {Andy Gimblett and
                  Harold W. Thimbleby},
  editor       = {Noi Sukaviriya and
                  Jean Vanderdonckt and
                  Michael Harrison},
  title        = {User interface model discovery: towards a generic approach},
  booktitle    = {Proceedings of the 2nd {ACM} {SIGCHI} Symposium on Engineering Interactive
                  Computing System, {EICS} 2010, Berlin, Germany, June 19-23, 2010},
  pages        = {145--154},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1822018.1822041},
  doi          = {10.1145/1822018.1822041},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eics/GimblettT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/Thimbleby09,
  author       = {Harold W. Thimbleby},
  editor       = {Dan R. Olsen Jr. and
                  Richard B. Arthur and
                  Ken Hinckley and
                  Meredith Ringel Morris and
                  Scott E. Hudson and
                  Saul Greenberg},
  title        = {Interaction programming: next steps},
  booktitle    = {Proceedings of the 27th International Conference on Human Factors
                  in Computing Systems, {CHI} 2009, Extended Abstracts Volume, Boston,
                  MA, USA, April 4-9, 2009},
  pages        = {3811--3816},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1520340.1520576},
  doi          = {10.1145/1520340.1520576},
  timestamp    = {Fri, 12 Mar 2021 15:27:48 +0100},
  biburl       = {https://dblp.org/rec/conf/chi/Thimbleby09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/ThimblebyO09,
  author       = {Harold W. Thimbleby and
                  Patrick Oladimeji},
  editor       = {T. C. Nicholas Graham and
                  Ga{\"{e}}lle Calvary and
                  Philip D. Gray},
  title        = {Social network analysis and interactive device design analysis},
  booktitle    = {Proceedings of the 1st {ACM} {SIGCHI} symposium on Engineering Interactive
                  Computing System , {EICS} 2009, Pittsburgh, PA, USA, July 15-17, 2009},
  pages        = {91--100},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1570433.1570453},
  doi          = {10.1145/1570433.1570453},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eics/ThimblebyO09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/Thimbleby09,
  author       = {Harold W. Thimbleby},
  editor       = {T. C. Nicholas Graham and
                  Ga{\"{e}}lle Calvary and
                  Philip D. Gray},
  title        = {Contributing to safety and due diligence in safety-critical interactive
                  systems development by generating and analyzing finite state models},
  booktitle    = {Proceedings of the 1st {ACM} {SIGCHI} symposium on Engineering Interactive
                  Computing System , {EICS} 2009, Pittsburgh, PA, USA, July 15-17, 2009},
  pages        = {221--230},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1570433.1570474},
  doi          = {10.1145/1570433.1570474},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eics/Thimbleby09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ercimdl/PearsonBT09,
  author       = {Jennifer S. Pearson and
                  George Buchanan and
                  Harold W. Thimbleby},
  editor       = {Maristella Agosti and
                  Jos{\'{e}} Borbinha and
                  Sarantos Kapidakis and
                  Christos Papatheodorou and
                  Giannis Tsakonas},
  title        = {Creating Visualisations for Digital Document Indexing},
  booktitle    = {Research and Advanced Technology for Digital Libraries, 13th European
                  Conference, {ECDL} 2009, Corfu, Greece, September 27 - October 2,
                  2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5714},
  pages        = {87--93},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04346-8\_10},
  doi          = {10.1007/978-3-642-04346-8\_10},
  timestamp    = {Mon, 05 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ercimdl/PearsonBT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ercimdl/PearsonBT09a,
  author       = {Jennifer S. Pearson and
                  George Buchanan and
                  Harold W. Thimbleby},
  editor       = {Maristella Agosti and
                  Jos{\'{e}} Borbinha and
                  Sarantos Kapidakis and
                  Christos Papatheodorou and
                  Giannis Tsakonas},
  title        = {Improving Annotations in Digital Documents},
  booktitle    = {Research and Advanced Technology for Digital Libraries, 13th European
                  Conference, {ECDL} 2009, Corfu, Greece, September 27 - October 2,
                  2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5714},
  pages        = {429--432},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04346-8\_51},
  doi          = {10.1007/978-3-642-04346-8\_51},
  timestamp    = {Mon, 05 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ercimdl/PearsonBT09a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/Thimbleby09,
  author       = {Harold W. Thimbleby},
  editor       = {Constantine Stephanidis},
  title        = {Teaching and Learning {HCI}},
  booktitle    = {Universal Access in Human-Computer Interaction. Addressing Diversity,
                  5th International Conference, {UAHCI} 2009, Held as Part of {HCI}
                  International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {5614},
  pages        = {625--635},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02707-9\_71},
  doi          = {10.1007/978-3-642-02707-9\_71},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hci/Thimbleby09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/CairnsT08,
  author       = {Paul A. Cairns and
                  Harold W. Thimbleby},
  title        = {Affordance and Symmetry in User Interfaces},
  journal      = {Comput. J.},
  volume       = {51},
  number       = {6},
  pages        = {650--661},
  year         = {2008},
  url          = {https://doi.org/10.1093/comjnl/bxm102},
  doi          = {10.1093/COMJNL/BXM102},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/CairnsT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/interactions/Thimbleby08,
  author       = {Harold W. Thimbleby},
  title        = {Feature - Ignorance of interaction programming is killing people},
  journal      = {Interactions},
  volume       = {15},
  number       = {5},
  pages        = {52--57},
  year         = {2008},
  url          = {https://doi.org/10.1145/1390085.1390098},
  doi          = {10.1145/1390085.1390098},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/interactions/Thimbleby08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iwc/Thimbleby08,
  author       = {Harold W. Thimbleby},
  title        = {Robot ethics? Not yet: {A} reflection on Whitby's "Sometimes
                  it's hard to be a robot"},
  journal      = {Interact. Comput.},
  volume       = {20},
  number       = {3},
  pages        = {338--341},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.intcom.2008.02.006},
  doi          = {10.1016/J.INTCOM.2008.02.006},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iwc/Thimbleby08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ixda/Thimbleby08,
  author       = {Harold Thimbleby},
  title        = {Teaching {HCI} to make it come alive},
  journal      = {IxD{\&}A},
  volume       = {3-4},
  pages        = {9--16},
  year         = {2008},
  url          = {http://www.mifav.uniroma2.it/inevent/events/idea2010/index.php?s=10\&\#38;a=10\&\#38;link=4toc\&\#38;link=4\_1abstract},
  timestamp    = {Wed, 22 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ixda/Thimbleby08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcshci/HolzingerTB08,
  author       = {Andreas Holzinger and
                  Harold W. Thimbleby and
                  Russell Beale},
  editor       = {David England},
  title        = {Workshop {HCI} for medicine and health care {(HCI4MED)}},
  booktitle    = {Proceedings of the 22nd British {HCI} Group Annual Conference on {HCI}
                  2008: People and Computers {XXII:} Culture, Creativity, Interaction
                  - Volume 2, {BCS} {HCI} 2008, Liverpool, United Kingdom, 1-5 September
                  2008},
  pages        = {191--192},
  publisher    = {{BCS}},
  year         = {2008},
  url          = {https://dl.acm.org/citation.cfm?id=1531884},
  timestamp    = {Mon, 26 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bcshci/HolzingerTB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcshci/CoxCTW08,
  author       = {Anna Louise Cox and
                  Paul A. Cairns and
                  Harold W. Thimbleby and
                  Natalie Webb},
  editor       = {David England},
  title        = {Research methods for {HCI}},
  booktitle    = {Proceedings of the 22nd British {HCI} Group Annual Conference on {HCI}
                  2008: People and Computers {XXII:} Culture, Creativity, Interaction
                  - Volume 2, {BCS} {HCI} 2008, Liverpool, United Kingdom, 1-5 September
                  2008},
  pages        = {221--222},
  publisher    = {{BCS}},
  year         = {2008},
  url          = {https://dl.acm.org/citation.cfm?id=1531899},
  timestamp    = {Mon, 26 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bcshci/CoxCTW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icchp/Thimbleby08,
  author       = {Harold W. Thimbleby},
  editor       = {Klaus Miesenberger and
                  Joachim Klaus and
                  Wolfgang L. Zagler and
                  Arthur I. Karshmer},
  title        = {Understanding User Centred Design {(UCD)} for People with Special
                  Needs},
  booktitle    = {Computers Helping People with Special Needs, 11th International Conference,
                  {ICCHP} 2008, Linz, Austria, July 9-11, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5105},
  pages        = {1--17},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-70540-6\_1},
  doi          = {10.1007/978-3-540-70540-6\_1},
  timestamp    = {Tue, 29 Dec 2020 18:41:22 +0100},
  biburl       = {https://dblp.org/rec/conf/icchp/Thimbleby08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0019507,
  author       = {Harold W. Thimbleby},
  title        = {Press on - principles of interaction programming},
  publisher    = {{MIT} Press},
  year         = {2007},
  isbn         = {978-0-262-20170-4},
  timestamp    = {Mon, 18 Apr 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0019507.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcshci/OshlyanskyCT07,
  author       = {Lidia Oshlyansky and
                  Paul A. Cairns and
                  Harold W. Thimbleby},
  editor       = {Thomas C. Ormerod and
                  Corina Sas},
  title        = {Validating the unified theory of acceptance and use of technology
                  {(UTAUT)} tool cross-culturally},
  booktitle    = {Proceedings of the 21st British {HCI} Group Annual Conference on {HCI}
                  2007: HCI...but not as we know it - Volume 2, {BCS} {HCI} 2007, University
                  of Lancaster, United Kingdom, 3-7 September 2007},
  pages        = {83--86},
  publisher    = {{BCS}},
  year         = {2007},
  url          = {https://dl.acm.org/citation.cfm?id=1531429},
  timestamp    = {Mon, 26 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bcshci/OshlyanskyCT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcshci/ThimblebyH07,
  author       = {Harold W. Thimbleby and
                  Michael D. Harrison},
  editor       = {Thomas C. Ormerod and
                  Corina Sas},
  title        = {Names and reference in user interfaces},
  booktitle    = {Proceedings of the 21st British {HCI} Group Annual Conference on {HCI}
                  2007: HCI...but not as we know it - Volume 2, {BCS} {HCI} 2007, University
                  of Lancaster, United Kingdom, 3-7 September 2007},
  pages        = {107--110},
  publisher    = {{BCS}},
  year         = {2007},
  url          = {https://dl.acm.org/citation.cfm?id=1531435},
  timestamp    = {Mon, 26 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bcshci/ThimblebyH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcshci/ThimblebyT07,
  author       = {Harold W. Thimbleby and
                  Will Thimbleby},
  editor       = {Thomas C. Ormerod and
                  Corina Sas},
  title        = {Internalist and externalist {HCI}},
  booktitle    = {Proceedings of the 21st British {HCI} Group Annual Conference on {HCI}
                  2007: HCI...but not as we know it - Volume 2, {BCS} {HCI} 2007, University
                  of Lancaster, United Kingdom, 3-7 September 2007},
  pages        = {111--114},
  publisher    = {{BCS}},
  year         = {2007},
  url          = {https://dl.acm.org/citation.cfm?id=1531436},
  timestamp    = {Mon, 26 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bcshci/ThimblebyT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ehci/ThimblebyG07,
  author       = {Harold W. Thimbleby and
                  Jeremy Gow},
  editor       = {Jan Gulliksen and
                  Morten Borup Harning and
                  Philippe A. Palanque and
                  Gerrit C. van der Veer and
                  Janet Wesson},
  title        = {Applying Graph Theory to Interaction Design},
  booktitle    = {Engineering Interactive Systems - {EIS} 2007 Joint Working Conferences,
                  {EHCI} 2007, {DSV-IS} 2007, {HCSE} 2007, Salamanca, Spain, March 22-24,
                  2007. Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4940},
  pages        = {501--519},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-92698-6\_30},
  doi          = {10.1007/978-3-540-92698-6\_30},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ehci/ThimblebyG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ehci/ThimblebyT07,
  author       = {Harold W. Thimbleby and
                  Will Thimbleby},
  editor       = {Jan Gulliksen and
                  Morten Borup Harning and
                  Philippe A. Palanque and
                  Gerrit C. van der Veer and
                  Janet Wesson},
  title        = {Mathematical Mathematical User Interfaces},
  booktitle    = {Engineering Interactive Systems - {EIS} 2007 Joint Working Conferences,
                  {EHCI} 2007, {DSV-IS} 2007, {HCSE} 2007, Salamanca, Spain, March 22-24,
                  2007. Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4940},
  pages        = {520--536},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-92698-6\_31},
  doi          = {10.1007/978-3-540-92698-6\_31},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ehci/ThimblebyT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usab/Thimbleby07,
  author       = {Harold W. Thimbleby},
  editor       = {Andreas Holzinger},
  title        = {User-Centered Methods Are Insufficient for Safety Critical Systems},
  booktitle    = {{HCI} and Usability for Medicine and Health Care, Third Symposium
                  of the Workgroup Human-Computer Interaction and Usability Engineering
                  of the Austrian Computer Society, {USAB} 2007, Graz, Austria, November,
                  22, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4799},
  pages        = {1--20},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-76805-0\_1},
  doi          = {10.1007/978-3-540-76805-0\_1},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/usab/Thimbleby07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/Thimbleby06,
  author       = {Harold W. Thimbleby},
  editor       = {Gavin J. Doherty and
                  Ann Blandford},
  title        = {Validity and Cross-Validity in {HCI} Publications},
  booktitle    = {Interactive Systems. Design, Specification, and Verification, 13th
                  International Workshop, {DSVIS} 2006, Dublin, Ireland, July 26-28,
                  2006. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4323},
  pages        = {11--24},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-69554-7\_2},
  doi          = {10.1007/978-3-540-69554-7\_2},
  timestamp    = {Sun, 02 Jun 2019 21:16:06 +0200},
  biburl       = {https://dblp.org/rec/conf/dsvis/Thimbleby06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/Thimbleby06a,
  author       = {Harold W. Thimbleby},
  editor       = {Gavin J. Doherty and
                  Ann Blandford},
  title        = {Interaction Walkthrough: Evaluation of Safety Critical Interactive
                  Systems},
  booktitle    = {Interactive Systems. Design, Specification, and Verification, 13th
                  International Workshop, {DSVIS} 2006, Dublin, Ireland, July 26-28,
                  2006. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4323},
  pages        = {52--66},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/978-3-540-69554-7\_5},
  doi          = {10.1007/978-3-540-69554-7\_5},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsvis/Thimbleby06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/GowTC05,
  author       = {Jeremy Gow and
                  Harold W. Thimbleby and
                  Paul A. Cairns},
  editor       = {Stephen W. Gilroy and
                  Michael D. Harrison},
  title        = {Automatic Critiques of Interface Modes},
  booktitle    = {Interactive Systems, Design, Specification, and Verification, 12th
                  International Workshop, {DSVIS} 2005, Newcastle upon Tyne, UK, July
                  13-15, 2005, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3941},
  pages        = {201--212},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11752707\_17},
  doi          = {10.1007/11752707\_17},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsvis/GowTC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tochi/Thimbleby04,
  author       = {Harold W. Thimbleby},
  title        = {User interface design with matrix algebra},
  journal      = {{ACM} Trans. Comput. Hum. Interact.},
  volume       = {11},
  number       = {2},
  pages        = {181--236},
  year         = {2004},
  url          = {https://doi.org/10.1145/1005361.1005364},
  doi          = {10.1145/1005361.1005364},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tochi/Thimbleby04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cadui/GowT04,
  author       = {Jeremy Gow and
                  Harold W. Thimbleby},
  editor       = {Robert J. K. Jacob and
                  Quentin Limbourg and
                  Jean Vanderdonckt},
  title        = {{MAUI:} An Interface Design Tool Based on Matrix Algebra},
  booktitle    = {Computer-Aided Design of User Interfaces IV, Proceedings of Fourth
                  International Conference on Computer-Aided Design of User Interfaces,
                  January 14-16, 2004, Funchal, Portugal},
  pages        = {81--94},
  publisher    = {Kluwer},
  year         = {2004},
  timestamp    = {Thu, 12 May 2005 08:43:35 +0200},
  biburl       = {https://dblp.org/rec/conf/cadui/GowT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ercimdl/BuchananBTJ04,
  author       = {George Buchanan and
                  Ann Blandford and
                  Harold W. Thimbleby and
                  Matt Jones},
  editor       = {Rachel Heery and
                  Liz Lyon},
  title        = {Supporting Information Structuring in a Digital Library},
  booktitle    = {Research and Advanced Technology for Digital Libraries, 8th European
                  Conference, {ECDL} 2004, Bath, UK, September 12-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3232},
  pages        = {464--475},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30230-8\_42},
  doi          = {10.1007/978-3-540-30230-8\_42},
  timestamp    = {Mon, 28 Aug 2023 21:17:44 +0200},
  biburl       = {https://dblp.org/rec/conf/ercimdl/BuchananBTJ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ht/BuchananBTJ04,
  author       = {George Buchanan and
                  Ann Blandford and
                  Harold W. Thimbleby and
                  Matt Jones},
  editor       = {Jim Whitehead and
                  David De Roure},
  title        = {Integrating information seeking and structuring: exploring the role
                  of spatial hypertext in a digital library},
  booktitle    = {{HYPERTEXT} 2004, Proceedings of the 15th {ACM} Conference on Hypertext
                  and Hypermedia, August 9-13, 2004, Santa Cruz, California, {USA}},
  pages        = {225--234},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1012807.1012864},
  doi          = {10.1145/1012807.1012864},
  timestamp    = {Mon, 05 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ht/BuchananBTJ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iui/ThimblebyG04,
  author       = {Harold W. Thimbleby and
                  Jeremy Gow},
  editor       = {Jean Vanderdonckt and
                  Nuno Jardim Nunes and
                  Charles Rich},
  title        = {Computer algebra in interface design research},
  booktitle    = {Proceedings of the 9th International Conference on Intelligent User
                  Interfaces, {IUI} 2004, Funchal, Madeira, Portugal, January 13-16,
                  2004},
  pages        = {366--367},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/964442.964537},
  doi          = {10.1145/964442.964537},
  timestamp    = {Tue, 06 Nov 2018 11:07:40 +0100},
  biburl       = {https://dblp.org/rec/conf/iui/ThimblebyG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nordichi/OshlyanskyTC04,
  author       = {Lidia Oshlyansky and
                  Harold W. Thimbleby and
                  Paul A. Cairns},
  editor       = {Roope Raisamo},
  title        = {Breaking affordance: culture as context},
  booktitle    = {Proceedings of the Third Nordic Conference on Human-Computer Interaction
                  2004, Tampere, Finland, October 23-27, 2004},
  pages        = {81--84},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/1028014.1028025},
  doi          = {10.1145/1028014.1028025},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nordichi/OshlyanskyTC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ce/BellTFWKP03,
  author       = {Tim Bell and
                  Harold W. Thimbleby and
                  Mike Fellows and
                  Ian H. Witten and
                  Neal Koblitz and
                  Matthew Powell},
  title        = {Explaining cryptographic systems},
  journal      = {Comput. Educ.},
  volume       = {40},
  number       = {3},
  pages        = {199--215},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0360-1315(02)00102-1},
  doi          = {10.1016/S0360-1315(02)00102-1},
  timestamp    = {Tue, 29 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ce/BellTFWKP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/Thimbleby03,
  author       = {Harold W. Thimbleby},
  title        = {The reduced Enigma},
  journal      = {Comput. Secur.},
  volume       = {22},
  number       = {7},
  pages        = {624--642},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0167-4048(03)00712-0},
  doi          = {10.1016/S0167-4048(03)00712-0},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/compsec/Thimbleby03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iwc/JonesBT03,
  author       = {Matt Jones and
                  George Buchanan and
                  Harold W. Thimbleby},
  title        = {Improving web search on small screen devices},
  journal      = {Interact. Comput.},
  volume       = {15},
  number       = {4},
  pages        = {479--495},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0953-5438(03)00036-5},
  doi          = {10.1016/S0953-5438(03)00036-5},
  timestamp    = {Mon, 05 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iwc/JonesBT03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/Thimbleby03,
  author       = {Harold W. Thimbleby},
  title        = {Explaining code for publication},
  journal      = {Softw. Pract. Exp.},
  volume       = {33},
  number       = {10},
  pages        = {975--1001},
  year         = {2003},
  url          = {https://doi.org/10.1002/spe.537},
  doi          = {10.1002/SPE.537},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/Thimbleby03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/Thimbleby03a,
  author       = {Harold W. Thimbleby},
  title        = {The directed Chinese Postman Problem},
  journal      = {Softw. Pract. Exp.},
  volume       = {33},
  number       = {11},
  pages        = {1081--1096},
  year         = {2003},
  url          = {https://doi.org/10.1002/spe.540},
  doi          = {10.1002/SPE.540},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/Thimbleby03a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/puc/MarsdenTJG02,
  author       = {Gary Marsden and
                  Harold W. Thimbleby and
                  Matt Jones and
                  Paul Gillary},
  title        = {Data Structures in the Design of Interfaces},
  journal      = {Pers. Ubiquitous Comput.},
  volume       = {6},
  number       = {2},
  pages        = {132--140},
  year         = {2002},
  url          = {https://doi.org/10.1007/s007790200012},
  doi          = {10.1007/S007790200012},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/puc/MarsdenTJG02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/puc/ThimblebyJ02,
  author       = {Harold W. Thimbleby and
                  Matt Jones},
  title        = {Obituary for a Fax},
  journal      = {Pers. Ubiquitous Comput.},
  volume       = {6},
  number       = {2},
  pages        = {151--152},
  year         = {2002},
  url          = {https://doi.org/10.1007/s007790200014},
  doi          = {10.1007/S007790200014},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/puc/ThimblebyJ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/avi/Thimbleby02,
  author       = {Harold Thimbleby},
  editor       = {Maria De Marsico and
                  Stefano Levialdi and
                  Emanuele Panizzi},
  title        = {Reflections on symmetry},
  booktitle    = {Proceedings of the Working Conference on Advanced Visual Interfaces,
                  {AVI} 2002, Trento, Italy, May 22-24, 2002},
  pages        = {28--33},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/1556262.1556265},
  doi          = {10.1145/1556262.1556265},
  timestamp    = {Tue, 06 Nov 2018 16:58:13 +0100},
  biburl       = {https://dblp.org/rec/conf/avi/Thimbleby02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chinz/Thimbleby02,
  author       = {Harold Thimbleby},
  editor       = {Matt Jones and
                  Steve Jones and
                  Masood Masoodian},
  title        = {Symmetry for successful interactive systems},
  booktitle    = {Proceedings of the {SIGCHI-NZ} Symposium on Computer-Human Interaction,
                  11-12 July 2002, Hamilton, New Zealand},
  pages        = {1--9},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/2181216.2181217},
  doi          = {10.1145/2181216.2181217},
  timestamp    = {Tue, 24 Sep 2019 16:56:29 +0200},
  biburl       = {https://dblp.org/rec/conf/chinz/Thimbleby02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jcdl/BuchananBJT02,
  author       = {George Buchanan and
                  Ann Blandford and
                  Matt Jones and
                  Harold W. Thimbleby},
  editor       = {Katy B{\"{o}}rner and
                  Chaomei Chen},
  title        = {Spatial Hypertext as a Reader Tool in Digital Libraries},
  booktitle    = {Visual Interfaces to Digital Libraries {[JCDL} 2002 Workshop]},
  series       = {Lecture Notes in Computer Science},
  volume       = {2539},
  pages        = {13--24},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36222-3\_2},
  doi          = {10.1007/3-540-36222-3\_2},
  timestamp    = {Mon, 05 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jcdl/BuchananBJT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mhci/JonesBT02,
  author       = {Matt Jones and
                  George Buchanan and
                  Harold W. Thimbleby},
  editor       = {Fabio Patern{\`{o}}},
  title        = {Sorting Out Searching on Small Screen Devices},
  booktitle    = {Mobile Human-Computer Interaction, 4th International Symposium, Mobile
                  {HCI} 2002, Pisa, Italy, September 18-20, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2411},
  pages        = {81--94},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45756-9\_8},
  doi          = {10.1007/3-540-45756-9\_8},
  timestamp    = {Mon, 05 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mhci/JonesBT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/ThimblebyAC01,
  author       = {Harold W. Thimbleby and
                  Stuart Anderson and
                  Paul A. Cairns},
  title        = {Reply to 'Comment on "A Framework for Modelling Trojans and Computer
                  Virus Infection"' by E. M{\"{a}}kinen},
  journal      = {Comput. J.},
  volume       = {44},
  number       = {4},
  pages        = {324--325},
  year         = {2001},
  url          = {https://doi.org/10.1093/comjnl/44.4.324},
  doi          = {10.1093/COMJNL/44.4.324},
  timestamp    = {Sun, 06 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/ThimblebyAC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/Thimbleby01,
  author       = {Harold W. Thimbleby},
  title        = {Permissive user interfaces},
  journal      = {Int. J. Hum. Comput. Stud.},
  volume       = {54},
  number       = {3},
  pages        = {333--350},
  year         = {2001},
  url          = {https://doi.org/10.1006/ijhc.2000.0442},
  doi          = {10.1006/IJHC.2000.0442},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijmms/Thimbleby01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tochi/ThimblebyCJ01,
  author       = {Harold W. Thimbleby and
                  Paul A. Cairns and
                  Matt Jones},
  title        = {Usability analysis with Markov models},
  journal      = {{ACM} Trans. Comput. Hum. Interact.},
  volume       = {8},
  number       = {2},
  pages        = {99--132},
  year         = {2001},
  url          = {https://doi.org/10.1145/376929.376941},
  doi          = {10.1145/376929.376941},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tochi/ThimblebyCJ01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/auic/Thimbleby01,
  author       = {Harold W. Thimbleby},
  title        = {Keynote Address: The Computer Science of Everyday Things},
  booktitle    = {2nd Australasian User Interface Conference {(AUIC} 2001), 29 January
                  - 1 February 2001, Gold Coast, Queensland, Australia},
  pages        = {3--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/AUIC.2001.906270},
  doi          = {10.1109/AUIC.2001.906270},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/auic/Thimbleby01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsvis/Thimbleby01,
  author       = {Harold W. Thimbleby},
  editor       = {Chris W. Johnson},
  title        = {Affordance and Symmetry},
  booktitle    = {Interactive Systems: Design, Specification, and Verification, 8th
                  International Workshop, {DSV-IS} 2001, Glasgow, Scotland, UK, June
                  13-15, 2001, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2220},
  pages        = {199--218},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45522-1\_12},
  doi          = {10.1007/3-540-45522-1\_12},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/dsvis/Thimbleby01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jcdl/ThengMBFTC01,
  author       = {Yin Leng Theng and
                  Norliza Mohd{-}Nasir and
                  George Buchanan and
                  Bob Fields and
                  Harold W. Thimbleby and
                  Noel Cassidy},
  title        = {Dynamic digital libraries for children},
  booktitle    = {{ACM/IEEE} Joint Conference on Digital Libraries, {JCDL} 2001, Roanoke,
                  Virginia, USA, June 24-28, 2001, Proceedings},
  pages        = {406--415},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/379437.379738},
  doi          = {10.1145/379437.379738},
  timestamp    = {Mon, 05 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jcdl/ThengMBFTC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/BuchananFJTMP01,
  author       = {George Buchanan and
                  Sarah Farrant and
                  Matt Jones and
                  Harold W. Thimbleby and
                  Gary Marsden and
                  Michael J. Pazzani},
  editor       = {Vincent Y. Shen and
                  Nobuo Saito and
                  Michael R. Lyu and
                  Mary Ellen Zurko},
  title        = {Improving mobile internet usability},
  booktitle    = {Proceedings of the Tenth International World Wide Web Conference,
                  {WWW} 10, Hong Kong, China, May 1-5, 2001},
  pages        = {673--680},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/371920.372181},
  doi          = {10.1145/371920.372181},
  timestamp    = {Mon, 05 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/www/BuchananFJTMP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/Thimbleby00,
  author       = {Harold W. Thimbleby},
  title        = {Calculators are needlessly bad},
  journal      = {Int. J. Hum. Comput. Stud.},
  volume       = {52},
  number       = {6},
  pages        = {1031--1069},
  year         = {2000},
  url          = {https://doi.org/10.1006/ijhc.1999.0341},
  doi          = {10.1006/IJHC.1999.0341},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijmms/Thimbleby00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/saj/MarsdenT00,
  author       = {Gary Marsden and
                  Harold W. Thimbleby},
  title        = {Holistic programming environments},
  journal      = {South Afr. Comput. J.},
  volume       = {26},
  pages        = {237--242},
  year         = {2000},
  url          = {http://reference.sabinet.co.za/document/EJC27876},
  timestamp    = {Thu, 03 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/saj/MarsdenT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcshci/Thimbleby00,
  author       = {Harold Thimbleby},
  editor       = {Sharon McDonald and
                  Yvonne Waern and
                  Gilbert Cockton},
  title        = {Analysis and Simulation of User Interfaces},
  booktitle    = {People and Computers {XIV} - Usability or Else!, {BCS} {HCI} 2000,
                  Sunderland, UK, September 5-8, 2000},
  pages        = {221--237},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/978-1-4471-0515-2\_15},
  doi          = {10.1007/978-1-4471-0515-2\_15},
  timestamp    = {Thu, 14 May 2020 15:58:22 +0200},
  biburl       = {https://dblp.org/rec/conf/bcshci/Thimbleby00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/MarsdenTJG00,
  author       = {Gary Marsden and
                  Harold Thimbleby and
                  Matt Jones and
                  Paul Gillary},
  editor       = {Marilyn Tremaine},
  title        = {Successful user interface design from efficient computer algorithms},
  booktitle    = {{CHI} '00 Extended Abstracts on Human Factors in Computing Systems,
                  {CHI} Extended Abstracts '00, The Hague, The Netherlands, April 1-6,
                  2000},
  pages        = {181--182},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/633292.633392},
  doi          = {10.1145/633292.633392},
  timestamp    = {Fri, 12 Mar 2021 15:27:48 +0100},
  biburl       = {https://dblp.org/rec/conf/chi/MarsdenTJG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/DavenportDFMRT00,
  author       = {Elisabeth Davenport and
                  Mark R. Dibben and
                  Batya Friedman and
                  Steven Marsh and
                  Howard Rosenbaum and
                  Harold Thimbleby},
  editor       = {Marilyn Tremaine},
  title        = {Non-contractual trust, design, and human and computer interactions},
  booktitle    = {{CHI} '00 Extended Abstracts on Human Factors in Computing Systems,
                  {CHI} Extended Abstracts '00, The Hague, The Netherlands, April 1-6,
                  2000},
  pages        = {239--240},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/633292.633432},
  doi          = {10.1145/633292.633432},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/chi/DavenportDFMRT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dl/ThengMT00,
  author       = {Yin Leng Theng and
                  Norliza Mohd{-}Nasir and
                  Harold W. Thimbleby},
  title        = {Purpose and usability of digital libraries},
  booktitle    = {Proceedings of the Fifth {ACM} Conference on Digital Libraries, June
                  2-7, 2000, San Antonio, TX, {USA}},
  pages        = {238--239},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/336597.336674},
  doi          = {10.1145/336597.336674},
  timestamp    = {Thu, 08 Aug 2019 11:33:22 +0200},
  biburl       = {https://dblp.org/rec/conf/dl/ThengMT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dl/ThengMTBJ00,
  author       = {Yin Leng Theng and
                  Norliza Mohd{-}Nasir and
                  Harold W. Thimbleby and
                  George Buchanan and
                  Matt Jones},
  title        = {Designing a children's digital library with and for children},
  booktitle    = {Proceedings of the Fifth {ACM} Conference on Digital Libraries, June
                  2-7, 2000, San Antonio, TX, {USA}},
  pages        = {266--267},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/336597.336697},
  doi          = {10.1145/336597.336697},
  timestamp    = {Mon, 05 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dl/ThengMTBJ00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ercimdl/ThengMTBJBC00,
  author       = {Yin Leng Theng and
                  Norliza Mohd{-}Nasir and
                  Harold W. Thimbleby and
                  George Buchanan and
                  Matt Jones and
                  David Bainbridge and
                  Noel Cassidy},
  editor       = {Jos{\'{e}} Borbinha and
                  Thomas Baker},
  title        = {Children as Design Partners and Testers for a Children's Digital Library},
  booktitle    = {Research and Advanced Technology for Digital Libraries, 4th European
                  Conference, {ECDL} 2000, Lisbon, Portugal, September 18-20, 2000,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1923},
  pages        = {249--258},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45268-0\_23},
  doi          = {10.1007/3-540-45268-0\_23},
  timestamp    = {Mon, 28 Aug 2023 21:17:44 +0200},
  biburl       = {https://dblp.org/rec/conf/ercimdl/ThengMTBJBC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/Thimbleby99,
  author       = {Harold W. Thimbleby},
  title        = {A Critique of Java},
  journal      = {Softw. Pract. Exp.},
  volume       = {29},
  number       = {5},
  pages        = {457--478},
  year         = {1999},
  url          = {https://doi.org/10.1002/(SICI)1097-024X(19990425)29:5\&\#60;457::AID-SPE243\&\#62;3.0.CO;2-5},
  doi          = {10.1002/(SICI)1097-024X(19990425)29:5\&\#60;457::AID-SPE243\&\#62;3.0.CO;2-5},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/Thimbleby99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dl/BuchananMT99,
  author       = {George Buchanan and
                  Gil Marsden and
                  Harold W. Thimbleby},
  title        = {Dynamic Metadata for Monitoring Digital Library Management},
  booktitle    = {Proceedings of the Fourth {ACM} conference on Digital Libraries, August
                  11-14, 1999, Berkeley, CA, {USA}},
  pages        = {219--220},
  publisher    = {{ACM}},
  year         = {1999},
  url          = {https://doi.org/10.1145/313238.313332},
  doi          = {10.1145/313238.313332},
  timestamp    = {Mon, 05 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dl/BuchananMT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ercimdl/ThengDMBT99,
  author       = {Yin Leng Theng and
                  Elke Duncker and
                  Norliza Mohd{-}Nasir and
                  George Buchanan and
                  Harold W. Thimbleby},
  editor       = {Serge Abiteboul and
                  Anne{-}Marie Vercoustre},
  title        = {Design Guidelines and User-Centred Digital Libraries},
  booktitle    = {Research and Advanced Technology for Digital Libraries, Third European
                  Conference, ECDL'99, Paris, France, September 22-24, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1696},
  pages        = {167--183},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48155-9\_12},
  doi          = {10.1007/3-540-48155-9\_12},
  timestamp    = {Mon, 28 Aug 2023 21:17:44 +0200},
  biburl       = {https://dblp.org/rec/conf/ercimdl/ThengDMBT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/huc/Thimbleby99,
  author       = {Harold W. Thimbleby},
  editor       = {Hans{-}Werner Gellersen},
  title        = {Design Probes for Handheld and Ubiquitous Computing},
  booktitle    = {Handheld and Ubiquitous Computing, First International Symposium,
                  HUC'99, Karlsruhe, Germany, September 27-29, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1707},
  pages        = {1--19},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48157-5\_1},
  doi          = {10.1007/3-540-48157-5\_1},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/huc/Thimbleby99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iciap/Thimbleby99,
  author       = {Harold W. Thimbleby},
  title        = {Visualizing the Potential of Interactive Systems},
  booktitle    = {1oth International Conference on Image Analysis and Processing {(ICIAP}
                  1999), 27-29 September 1999, Venice, Italy},
  pages        = {670},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/ICIAP.1999.797672},
  doi          = {10.1109/ICIAP.1999.797672},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iciap/Thimbleby99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/DuquenoyT99,
  author       = {Penny Duquenoy and
                  Harold Thimbleby},
  editor       = {M. Angela Sasse and
                  Chris W. Johnson},
  title        = {Justice and Design},
  booktitle    = {Human-Computer Interaction {INTERACT} '99: {IFIP} {TC13} International
                  Conference on Human-Computer Interaction, Edinburgh, UK, 30th August-3rd
                  September 1999},
  pages        = {281--286},
  publisher    = {{IOS} Press},
  year         = {1999},
  timestamp    = {Mon, 19 Sep 2016 17:00:14 +0200},
  biburl       = {https://dblp.org/rec/conf/interact/DuquenoyT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/ThimblebyAC98,
  author       = {Harold W. Thimbleby and
                  Stuart Anderson and
                  Paul A. Cairns},
  title        = {A Framework for Modelling Trojans and Computer Virus Infection},
  journal      = {Comput. J.},
  volume       = {41},
  number       = {7},
  pages        = {444--458},
  year         = {1998},
  url          = {https://doi.org/10.1093/comjnl/41.7.444},
  doi          = {10.1093/COMJNL/41.7.444},
  timestamp    = {Sun, 06 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/ThimblebyAC98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/firstmonday/Thimbleby98,
  author       = {Harold W. Thimbleby},
  title        = {Personal boundaries/global stage},
  journal      = {First Monday},
  volume       = {3},
  number       = {3},
  year         = {1998},
  url          = {https://doi.org/10.5210/fm.v3i2.582},
  doi          = {10.5210/FM.V3I2.582},
  timestamp    = {Mon, 04 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/firstmonday/Thimbleby98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/ThengT98,
  author       = {Yin Leng Theng and
                  Harold W. Thimbleby},
  title        = {Addressing Design and Usability Issues in Hypertext and on the World
                  Wide Web by Re-Examining the "Lost in Hyperspace" Problem},
  journal      = {J. Univers. Comput. Sci.},
  volume       = {4},
  number       = {11},
  pages        = {839--855},
  year         = {1998},
  url          = {https://doi.org/10.3217/jucs-004-11-0839},
  doi          = {10.3217/JUCS-004-11-0839},
  timestamp    = {Thu, 07 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jucs/ThengT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/puc/Thimbleby98,
  author       = {Harold W. Thimbleby},
  title        = {Specification-Led Design for Interface Simulation, Collecting Use-Data,
                  Interactive Help, Writing Manuals, Analysis, Comparing Alternative
                  Designs},
  journal      = {Pers. Ubiquitous Comput.},
  volume       = {2},
  number       = {4},
  pages        = {241--254},
  year         = {1998},
  url          = {https://doi.org/10.1007/BF01885563},
  doi          = {10.1007/BF01885563},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/puc/Thimbleby98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/Thimbleby98,
  author       = {Harold W. Thimbleby},
  title        = {Formal Methods in Human-Computer Interaction, by Philippe Palanque
                  and Fabio Paterno (Editors), Springer-Verlag, 1998 (Book Review)},
  journal      = {Softw. Test. Verification Reliab.},
  volume       = {8},
  number       = {2},
  pages        = {103--104},
  year         = {1998},
  url          = {https://doi.org/10.1002/(SICI)1099-1689(199806)8:2\&\#60;103::AID-STVR158\&\#62;3.0.CO;2-\%23},
  doi          = {10.1002/(SICI)1099-1689(199806)8:2\&\#60;103::AID-STVR158\&\#62;3.0.CO;2-\%23},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/stvr/Thimbleby98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webnet/ThengT98,
  author       = {Yin Leng Theng and
                  Harold W. Thimbleby},
  editor       = {Hermann A. Maurer and
                  Richard G. Olson},
  title        = {HyperAT : Addressing Usability Issues In Web Authoring},
  booktitle    = {Proceedings of WebNet 98 - World Conference on the {WWW} and Internet
                  {\&} Intranet, Orlando, Florida, USA, November 7-12, 1998},
  publisher    = {{AACE}},
  year         = {1998},
  timestamp    = {Sat, 07 Sep 2019 11:59:24 +0200},
  biburl       = {https://dblp.org/rec/conf/webnet/ThengT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/ThimblebyL97,
  author       = {Harold W. Thimbleby and
                  Peter B. Ladkin},
  title        = {From logic to manuals again},
  journal      = {{IEE} Proc. Softw. Eng.},
  volume       = {144},
  number       = {3},
  pages        = {185--192},
  year         = {1997},
  url          = {https://doi.org/10.1049/ip-sen:19971104},
  doi          = {10.1049/IP-SEN:19971104},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/ThimblebyL97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/Thimbleby97,
  author       = {Harold W. Thimbleby},
  title        = {Gentler: a tool for systematic web authoring},
  journal      = {Int. J. Hum. Comput. Stud.},
  volume       = {47},
  number       = {1},
  pages        = {139--168},
  year         = {1997},
  url          = {https://doi.org/10.1006/ijhc.1997.0131},
  doi          = {10.1006/IJHC.1997.0131},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijmms/Thimbleby97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/puc/Thimbleby97,
  author       = {Harold W. Thimbleby},
  title        = {Design for a Fax},
  journal      = {Pers. Ubiquitous Comput.},
  volume       = {1},
  number       = {2},
  pages        = {101--117},
  year         = {1997},
  url          = {https://doi.org/10.1007/BF02199215},
  doi          = {10.1007/BF02199215},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/puc/Thimbleby97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcshci/ThengRTJ97,
  author       = {Yin Leng Theng and
                  C{\'{e}}cile Rigny and
                  Harold W. Thimbleby and
                  Matt Jones},
  editor       = {Harold W. Thimbleby and
                  Brid O'Conaill and
                  Peter Thomas},
  title        = {HyperAT: {HCI} and Web Authoring},
  booktitle    = {People and Computers XII, Proceedings of {HCI} '97},
  series       = {{BCS} conference series},
  pages        = {359--378},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/978-1-4471-3601-9\_21},
  doi          = {10.1007/978-1-4471-3601-9\_21},
  timestamp    = {Tue, 25 Jun 2019 12:25:42 +0200},
  biburl       = {https://dblp.org/rec/conf/bcshci/ThengRTJ97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webnet/MarsdenPT97,
  author       = {Gil Marsden and
                  Gareth J. Palmer and
                  Harold W. Thimbleby},
  editor       = {Suave Lobodzinski and
                  Ivan Tomek},
  title        = {Benjamin Franklin House: An illustration of a site management and
                  visual design tool for complex, multi-authored web sites},
  booktitle    = {Proceedings of WebNet 97 - World Conference on the WWW, Internet {\&}
                  Intranet, Toronto, Canada, November 1-5, 1997},
  publisher    = {{AACE}},
  year         = {1997},
  timestamp    = {Sat, 07 Sep 2019 11:59:24 +0200},
  biburl       = {https://dblp.org/rec/conf/webnet/MarsdenPT97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webnet/Thimbleby97,
  author       = {Harold W. Thimbleby},
  editor       = {Suave Lobodzinski and
                  Ivan Tomek},
  title        = {Distributed Web Authoring},
  booktitle    = {Proceedings of WebNet 97 - World Conference on the WWW, Internet {\&}
                  Intranet, Toronto, Canada, November 1-5, 1997},
  publisher    = {{AACE}},
  year         = {1997},
  timestamp    = {Fri, 14 Nov 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/webnet/Thimbleby97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bcshci/1997,
  editor       = {Harold W. Thimbleby and
                  Brid O'Conaill and
                  Peter Thomas},
  title        = {People and Computers XII, Proceedings of {HCI} '97},
  series       = {{BCS} conference series},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/978-1-4471-3601-9},
  doi          = {10.1007/978-1-4471-3601-9},
  isbn         = {3-540-76172-1},
  timestamp    = {Tue, 25 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bcshci/1997.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/ThimblebyL96,
  author       = {Harold Thimbleby and
                  Peter B. Ladkin},
  title        = {From logic to manuals},
  journal      = {Softw. Eng. J.},
  volume       = {11},
  number       = {6},
  pages        = {347--354},
  year         = {1996},
  url          = {https://doi.org/10.1049/sej.1996.0045},
  doi          = {10.1049/SEJ.1996.0045},
  timestamp    = {Wed, 11 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iee/ThimblebyL96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iwc/ThimblebyA96,
  author       = {Harold W. Thimbleby and
                  Mark Addison},
  title        = {Intelligent Adaptive Assistance and its Automatic Generation},
  journal      = {Interact. Comput.},
  volume       = {8},
  number       = {1},
  pages        = {51--68},
  year         = {1996},
  url          = {https://doi.org/10.1016/0953-5438(95)01019-X},
  doi          = {10.1016/0953-5438(95)01019-X},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iwc/ThimblebyA96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/Thimbleby96,
  author       = {Harold W. Thimbleby},
  title        = {An Equivalence Class Algorithm for Drawing Autostereograms},
  journal      = {Softw. Pract. Exp.},
  volume       = {26},
  number       = {3},
  pages        = {309--325},
  year         = {1996},
  url          = {https://doi.org/10.1002/(SICI)1097-024X(199603)26:3\&\#60;309::AID-SPE11\&\#62;3.0.CO;2-O},
  doi          = {10.1002/(SICI)1097-024X(199603)26:3\&\#60;309::AID-SPE11\&\#62;3.0.CO;2-O},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/Thimbleby96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/Thimbleby96,
  author       = {Harold Thimbleby},
  editor       = {Michael J. Tauber},
  title        = {Creating user manuals for using in collaborative design},
  booktitle    = {Conference on Human Factors in Computing Systems: Common Ground, {CHI}
                  '96, Vancouver, BC, Canada, April 13-18, 1996, Conference Companion},
  pages        = {279--280},
  publisher    = {{ACM}},
  year         = {1996},
  url          = {https://doi.org/10.1145/257089.257321},
  doi          = {10.1145/257089.257321},
  timestamp    = {Thu, 10 Jun 2021 16:47:12 +0200},
  biburl       = {https://dblp.org/rec/conf/chi/Thimbleby96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Thimbleby95,
  author       = {Harold W. Thimbleby},
  title        = {A New Calculator and Why it is Necessary},
  journal      = {Comput. J.},
  volume       = {38},
  number       = {6},
  pages        = {418--433},
  year         = {1995},
  url          = {https://doi.org/10.1093/comjnl/38.6.418},
  doi          = {10.1093/COMJNL/38.6.418},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Thimbleby95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/ThimblebyWP95,
  author       = {Harold W. Thimbleby and
                  Ian H. Witten and
                  David J. Pullinger},
  title        = {Concepts of cooperation in artificial life},
  journal      = {{IEEE} Trans. Syst. Man Cybern.},
  volume       = {25},
  number       = {7},
  pages        = {1166--1171},
  year         = {1995},
  url          = {https://doi.org/10.1109/21.391298},
  doi          = {10.1109/21.391298},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsmc/ThimblebyWP95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcshci/ThimblebyA95,
  author       = {Harold W. Thimbleby and
                  Mark Addison},
  editor       = {Mark A. R. Kirby and
                  Alan J. Dix and
                  Janet Finlay},
  title        = {HyperDoc: An Interactive Systems Tool},
  booktitle    = {People and Computers X, Proceedings of {HCI} '95, Huddersfield, UK,
                  August 1995},
  pages        = {95--106},
  publisher    = {Cambridge University Press},
  year         = {1995},
  timestamp    = {Mon, 18 Jun 2018 21:25:44 +0200},
  biburl       = {https://dblp.org/rec/conf/bcshci/ThimblebyA95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcshci/ThimblebyL95,
  author       = {Harold W. Thimbleby and
                  Peter B. Ladkin},
  editor       = {Mark A. R. Kirby and
                  Alan J. Dix and
                  Janet Finlay},
  title        = {A Proper Explanation When You Need One},
  booktitle    = {People and Computers X, Proceedings of {HCI} '95, Huddersfield, UK,
                  August 1995},
  pages        = {107--118},
  publisher    = {Cambridge University Press},
  year         = {1995},
  timestamp    = {Tue, 29 Oct 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bcshci/ThimblebyL95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ais/Thimbleby94,
  author       = {Harold W. Thimbleby},
  title        = {Designing User Interfaces for Problem Solving, with Application to
                  Hypertext and Creative Writing},
  journal      = {{AI} Soc.},
  volume       = {8},
  number       = {1},
  pages        = {29--44},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF02065176},
  doi          = {10.1007/BF02065176},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ais/Thimbleby94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/WittenBMST94,
  author       = {Ian H. Witten and
                  Timothy C. Bell and
                  Alistair Moffat and
                  Craig G. Nevill{-}Manning and
                  Tony C. Smith and
                  Harold W. Thimbleby},
  title        = {Semantic and Generative Models for Lossy Text Compression},
  journal      = {Comput. J.},
  volume       = {37},
  number       = {2},
  pages        = {83--87},
  year         = {1994},
  url          = {https://doi.org/10.1093/comjnl/37.2.83},
  doi          = {10.1093/COMJNL/37.2.83},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/WittenBMST94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/LadkinT94,
  author       = {Peter B. Ladkin and
                  Harold W. Thimbleby},
  title        = {Comments on a paper by Voas, Payne and Cohen: 'A model for detecting
                  the existence of software corruption in real time'},
  journal      = {Comput. Secur.},
  volume       = {13},
  number       = {6},
  pages        = {527--531},
  year         = {1994},
  url          = {https://doi.org/10.1016/0167-4048(91)90140-9},
  doi          = {10.1016/0167-4048(91)90140-9},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/compsec/LadkinT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/ThimblebyIW94,
  author       = {Harold W. Thimbleby and
                  Stuart Inglis and
                  Ian H. Witten},
  title        = {Displaying 3D Images: Algorithms for Single-Iamge Random-Dot Stereograms},
  journal      = {Computer},
  volume       = {27},
  number       = {10},
  pages        = {38--48},
  year         = {1994},
  url          = {https://doi.org/10.1109/2.318576},
  doi          = {10.1109/2.318576},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computer/ThimblebyIW94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/Thimbleby94,
  author       = {Harold W. Thimbleby},
  title        = {Controversy corner : An organizational solution to piracy and viruses},
  journal      = {J. Syst. Softw.},
  volume       = {25},
  number       = {2},
  pages        = {207--215},
  year         = {1994},
  url          = {https://doi.org/10.1016/0164-1212(94)90008-6},
  doi          = {10.1016/0164-1212(94)90008-6},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/Thimbleby94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigchi/Thimbleby94,
  author       = {Harold Thimbleby},
  title        = {Formulating usability},
  journal      = {{ACM} {SIGCHI} Bull.},
  volume       = {26},
  number       = {2},
  pages        = {59--64},
  year         = {1994},
  url          = {https://doi.org/10.1145/198125.198145},
  doi          = {10.1145/198125.198145},
  timestamp    = {Fri, 18 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigchi/Thimbleby94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vc/Thimbleby94,
  author       = {Harold W. Thimbleby},
  title        = {View binding and user enhanceable systems},
  journal      = {Vis. Comput.},
  volume       = {10},
  number       = {6},
  pages        = {337--349},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01900828},
  doi          = {10.1007/BF01900828},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/vc/Thimbleby94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcshci/AddisonT94,
  author       = {Mark Addison and
                  Harold W. Thimbleby},
  editor       = {Gilbert Cockton and
                  Stephen W. Draper and
                  George R. S. Weir},
  title        = {Manuals as Structured Programs},
  booktitle    = {People and Computers IX, Proceedings of {HCI} '94, Glasgow, UK, August
                  1994},
  pages        = {67--79},
  publisher    = {Cambridge University Press},
  year         = {1994},
  timestamp    = {Mon, 18 Jun 2018 21:25:35 +0200},
  biburl       = {https://dblp.org/rec/conf/bcshci/AddisonT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/behaviourIT/ThimblebyT93,
  author       = {Harold W. Thimbleby and
                  Will Thimbleby},
  title        = {Solutioneering in user interface design},
  journal      = {Behav. Inf. Technol.},
  volume       = {12},
  number       = {3},
  pages        = {190--193},
  year         = {1993},
  url          = {https://doi.org/10.1080/01449299308924379},
  doi          = {10.1080/01449299308924379},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/behaviourIT/ThimblebyT93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iui/CockburnT93,
  author       = {Andy Cockburn and
                  Harold W. Thimbleby},
  editor       = {Wayne D. Gray and
                  William E. Hefley and
                  Dianne Murray},
  title        = {Reducing user effort in collaboration support},
  booktitle    = {Proceedings of the 1st International Workshop on Intelligent User
                  Interfaces, {IUI} 1993, Orlando, Florida, USA, January 4-7, 1993},
  pages        = {215--218},
  publisher    = {{ACM}},
  year         = {1993},
  url          = {https://doi.org/10.1145/169891.169989},
  doi          = {10.1145/169891.169989},
  timestamp    = {Tue, 06 Nov 2018 11:07:41 +0100},
  biburl       = {https://dblp.org/rec/conf/iui/CockburnT93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/Thimbleby91,
  author       = {Harold W. Thimbleby},
  title        = {Can viruses ever be useful?},
  journal      = {Comput. Secur.},
  volume       = {10},
  number       = {2},
  pages        = {111--114},
  year         = {1991},
  url          = {https://doi.org/10.1016/0167-4048(91)90004-W},
  doi          = {10.1016/0167-4048(91)90004-W},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/compsec/Thimbleby91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/WittenTCG91,
  author       = {Ian H. Witten and
                  Harold W. Thimbleby and
                  George Coulouris and
                  Saul Greenberg},
  title        = {Liveware: {A} New Approach to Sharing Data in Social Networks},
  journal      = {Int. J. Man Mach. Stud.},
  volume       = {34},
  number       = {3},
  pages        = {337--348},
  year         = {1991},
  url          = {https://doi.org/10.1016/0020-7373(91)90024-2},
  doi          = {10.1016/0020-7373(91)90024-2},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijmms/WittenTCG91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigchi/CockburnT91,
  author       = {Andrew J. G. Cockburn and
                  Harold Thimbleby},
  title        = {A reflexive perspective of {CSCW}},
  journal      = {{ACM} {SIGCHI} Bull.},
  volume       = {23},
  number       = {3},
  pages        = {63--68},
  year         = {1991},
  url          = {https://doi.org/10.1145/126505.126509},
  doi          = {10.1145/126505.126509},
  timestamp    = {Tue, 22 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigchi/CockburnT91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0067710,
  author       = {Harold W. Thimbleby},
  title        = {User interface design},
  series       = {{ACM} Press Frontier Series},
  publisher    = {{ACM}},
  year         = {1990},
  isbn         = {978-0-201-41618-3},
  timestamp    = {Fri, 20 May 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0067710.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iwc/Thimbleby90,
  author       = {Harold W. Thimbleby},
  title        = {You're Right About the Cure: Don't Do That},
  journal      = {Interact. Comput.},
  volume       = {2},
  number       = {1},
  pages        = {8--25},
  year         = {1990},
  url          = {https://doi.org/10.1016/0953-5438(90)90011-6},
  doi          = {10.1016/0953-5438(90)90011-6},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iwc/Thimbleby90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iwc/ThimblebyAW90,
  author       = {Harold W. Thimbleby and
                  Stuart Anderson and
                  Ian H. Witten},
  title        = {Reflexive {CSCW:} Supporting Long-Term Personal Work},
  journal      = {Interact. Comput.},
  volume       = {2},
  number       = {3},
  pages        = {330--336},
  year         = {1990},
  url          = {https://doi.org/10.1016/0953-5438(90)90005-3},
  doi          = {10.1016/0953-5438(90)90005-3},
  timestamp    = {Sun, 06 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iwc/ThimblebyAW90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigart/WittenT90,
  author       = {Ian H. Witten and
                  Harold W. Thimbleby},
  title        = {The "Worm" Programs - Early Experience withh a Distributed
                  Intelligence},
  journal      = {{SIGART} Bull.},
  volume       = {1},
  number       = {2},
  pages        = {14--17},
  year         = {1990},
  url          = {https://doi.org/10.1145/84234.84254},
  doi          = {10.1145/84234.84254},
  timestamp    = {Tue, 19 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigart/WittenT90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/WykLT89,
  author       = {Christopher J. Van Wyk and
                  Donald C. Lindsay and
                  Harold W. Thimbleby},
  title        = {A File Difference Program},
  journal      = {Commun. {ACM}},
  volume       = {32},
  number       = {6},
  pages        = {740--755},
  year         = {1989},
  timestamp    = {Tue, 16 Oct 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cacm/WykLT89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/Thimbleby89,
  author       = {Harold W. Thimbleby},
  title        = {Using Sentinels in Insert Sort},
  journal      = {Softw. Pract. Exp.},
  volume       = {19},
  number       = {3},
  pages        = {303--307},
  year         = {1989},
  url          = {https://doi.org/10.1002/spe.4380190308},
  doi          = {10.1002/SPE.4380190308},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/Thimbleby89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Thimbleby88,
  author       = {Harold W. Thimbleby},
  title        = {Delaying Commitment},
  journal      = {{IEEE} Softw.},
  volume       = {5},
  number       = {3},
  pages        = {78--86},
  year         = {1988},
  url          = {https://doi.org/10.1109/52.2027},
  doi          = {10.1109/52.2027},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/Thimbleby88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Thimbleby87,
  author       = {Harold W. Thimbleby},
  title        = {Optimising Self-Replicating Programs},
  journal      = {Comput. J.},
  volume       = {30},
  number       = {5},
  pages        = {475--476},
  year         = {1987},
  url          = {https://doi.org/10.1093/comjnl/30.5.475},
  doi          = {10.1093/COMJNL/30.5.475},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Thimbleby87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/Thimbleby87,
  author       = {Harold W. Thimbleby},
  title        = {The Design of a Terminal Independent Package},
  journal      = {Softw. Pract. Exp.},
  volume       = {17},
  number       = {5},
  pages        = {351--367},
  year         = {1987},
  url          = {https://doi.org/10.1002/spe.4380170505},
  doi          = {10.1002/SPE.4380170505},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/Thimbleby87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/DixHRT87,
  author       = {Alan J. Dix and
                  Michael D. Harrison and
                  Colin Runciman and
                  Harold W. Thimbleby},
  editor       = {Howard K. Nichols and
                  Dan Simpson},
  title        = {Interaction Models and the Principled Design of Interactive Systems},
  booktitle    = {{ESEC} '87, 1st European Software Engineering Conference, Strasbourg,
                  France, September 9-11, 1987, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {289},
  pages        = {118--126},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/BFb0022105},
  doi          = {10.1007/BFB0022105},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/esec/DixHRT87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Thimbleby86,
  author       = {Harold W. Thimbleby},
  title        = {Experiences of 'Literate Programming' Using Cweb {(A} Variant of Knuth's
                  {WEB)}},
  journal      = {Comput. J.},
  volume       = {29},
  number       = {3},
  pages        = {201--211},
  year         = {1986},
  url          = {https://doi.org/10.1093/comjnl/29.3.201},
  doi          = {10.1093/COMJNL/29.3.201},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Thimbleby86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/RuncimanT86,
  author       = {Colin Runciman and
                  Harold W. Thimbleby},
  title        = {Equal Opportunity Interactive Systems},
  journal      = {Int. J. Man Mach. Stud.},
  volume       = {25},
  number       = {4},
  pages        = {439--451},
  year         = {1986},
  url          = {https://doi.org/10.1016/S0020-7373(86)80070-0},
  doi          = {10.1016/S0020-7373(86)80070-0},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijmms/RuncimanT86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccc/MacfarlaneT86,
  author       = {Jok Macfarlane and
                  Harold W. Thimbleby},
  editor       = {Paul J. K{\"{u}}hn},
  title        = {The {TIN:} An Approach to Powerful and Cheap User Interfaces},
  booktitle    = {New Communication Services: {A} Challenge to Computer Technology,
                  Proceedings of the Eigth International Conference on Computer Communication,
                  Munich, Germany, September 15-19, 1986},
  pages        = {238--241},
  publisher    = {International Council for Computer Communication / Elsevier},
  year         = {1986},
  timestamp    = {Fri, 22 Jul 2016 09:50:51 +0200},
  biburl       = {https://dblp.org/rec/conf/iccc/MacfarlaneT86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cg/Thimbleby85,
  author       = {Harold W. Thimbleby},
  title        = {Failure in the technical user-interface design process},
  journal      = {Comput. Graph.},
  volume       = {9},
  number       = {3},
  pages        = {187--193},
  year         = {1985},
  url          = {https://doi.org/10.1016/0097-8493(85)90046-9},
  doi          = {10.1016/0097-8493(85)90046-9},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cg/Thimbleby85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/softerg/Thimbleby83,
  author       = {Harold W. Thimbleby},
  editor       = {Helmut Balzert},
  title        = {"What You See is What You Have Got" - a user engineering
                  principle for manipulative display?},
  booktitle    = {Software-Ergonomie - Tagung {I/1983} des German Chapter of the {ACM}
                  am 28. und 29.04.1983 in N{\"{u}}rnberg},
  series       = {Berichte des German Chapter of the {ACM}},
  volume       = {14},
  pages        = {70--84},
  publisher    = {Teubner},
  year         = {1983},
  url          = {http://dl.mensch-und-computer.de/handle/123456789/923},
  timestamp    = {Mon, 23 Nov 2020 15:00:17 +0100},
  biburl       = {https://dblp.org/rec/conf/softerg/Thimbleby83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/Thimbleby82,
  author       = {Harold W. Thimbleby},
  title        = {A Text Editing Interface: Definition and Use},
  journal      = {Comput. Lang.},
  volume       = {7},
  number       = {1},
  pages        = {25--40},
  year         = {1982},
  url          = {https://doi.org/10.1016/0096-0551(82)90019-4},
  doi          = {10.1016/0096-0551(82)90019-4},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cl/Thimbleby82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Thimbleby81,
  author       = {Harold W. Thimbleby},
  title        = {A Word Boundary Algorithm for Text Processing},
  journal      = {Comput. J.},
  volume       = {24},
  number       = {3},
  pages        = {249--255},
  year         = {1981},
  url          = {https://doi.org/10.1093/comjnl/24.3.249},
  doi          = {10.1093/COMJNL/24.3.249},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Thimbleby81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/Thimbleby80,
  author       = {Harold W. Thimbleby},
  title        = {Dialogue Determination},
  journal      = {Int. J. Man Mach. Stud.},
  volume       = {13},
  number       = {3},
  pages        = {295--304},
  year         = {1980},
  url          = {https://doi.org/10.1016/S0020-7373(80)80044-7},
  doi          = {10.1016/S0020-7373(80)80044-7},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijmms/Thimbleby80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/Thimbleby80,
  author       = {Harold W. Thimbleby},
  title        = {Leave and Recall: Primitives for Procedural Programming},
  journal      = {Softw. Pract. Exp.},
  volume       = {10},
  number       = {2},
  pages        = {127--134},
  year         = {1980},
  url          = {https://doi.org/10.1002/spe.4380100204},
  doi          = {10.1002/SPE.4380100204},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/Thimbleby80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics