All publications

@book{HT155,
   title = {Press On --- Principles of Interaction Programming},
   author = {Harold Thimbleby},
   year = {in press},
   url = {http://mitpress.com/presson},
   highlight = {Russian edition},
   publisher = {MIT Press}
}

@unpublished{HT181,
   title = {Formal Approaches to Computing and Information Technology (edited by P.~Palanque and F.~Patern{\'o})},
   author = {Harold Thimbleby},
   year = {in press},
   journal = {Requirements Engineering}
}

@article{HT195,
   title = {Interaction design by algebra!?},
   author = {Harold Thimbleby},
   year = {in press},
   journal = {ACM Interactions},
   publisher = {ACM}
}

@inproceedings{HT103,
   title = {Goal-based design improves interaction dependability},
   author = {Harold Thimbleby and Abigail Cauchi and Andy Gimblett and Paul Cairns and Anna Cox},
   year = {in press},
   booktitle = {Digital Engagement 2011},
   location = {Newcastle}
}

@article{jen-iwc,
   title = {The {Digital Reading Desk}: A Lightweight Approach to Digital Note-taking},
   author = {Harold Thimbleby and {\main{Jennifer Pearson}} and George Buchanan},
   year = {in press},
   journal = {Interacting with Computers}
}

@article{errorbug2,
   title = {Reaching to the stars with {IT} projects},
   author = {Harold Thimbleby},
   year = {in press},
   journal = {Public Service Review: {UK} Science \& Technology}
}

@inproceedings{HT35,
   title = {Simulation to evaluate alternative approaches to blocking use errors},
   author = {Harold Thimbleby and Abigail Cauchi and Andy Gimblett},
   year = {2012},
   booktitle = {Proceedings Design of Medical Devices Conference}
}

Software should be correct and robust. This paper suggests that we need forthright words for the failure of not being robust — heedless and heedlessness — and of recursively creating software (such as a compiler or virtual machine) that itself does not support dependable software development. Heedless programming is common, particularly affecting “trivial” operations such as on numbers, and extends deep into programming language design and into the use of computers more widely, thus making robust, dependable applications of all sorts unnecessarily problematic. The paper defines the problem and presents a call to action to start addressing the problems identified.

@article{heedless-spae,
   title = {Heedless Programming: Ignoring Detectable Error is a Widespread Hazard},
   author = {Harold Thimbleby},
   abstract = {Software should be correct and robust. This paper suggests that we need forthright words for the failure of not being robust --- \emph{heedless\/} and \emph{heedlessness} --- and of recursively creating software (such as a compiler or virtual machine) that itself does not support dependable software development. Heedless programming is common, particularly affecting ``trivial'' operations such as on numbers, and extends deep into programming language design and into the use of computers more widely, thus making robust, dependable applications of all sorts unnecessarily problematic. The paper defines the problem and presents a call to action to start addressing the problems identified.},
   year = {2012},
   journal = {Software --- Practice {\&} Experience},
   doi = {10.1002/spe.1141}
}

Number entry is an ubiquitous task in medical devices, but is implemented in many different ways, from decimal keypads to seemingly simple up/down buttons. Operator manuals often do not give clear and complete explanations, and all approaches have subtle variations, with details varying from device to device. This paper explores the design issues, critiques designs, and shows that methods have advantages and disadvantages, particularly in terms of undetected error rates.

@inproceedings{HT39,
   title = {Towards Dependable Number Entry for Medical Devices},
   author = {Harold Thimbleby and 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 {Ruk\v{s}\.{e}nas}},
   abstract = {Number entry is an ubiquitous task in medical devices, but is implemented in many different ways, from decimal keypads to seemingly simple up/down buttons. Operator manuals often do not give clear and complete explanations, and all approaches have subtle variations, with details varying from device to device. This paper explores the design issues, critiques designs, and shows that methods have advantages and disadvantages, particularly in terms of undetected error rates.},
   year = {2011},
   booktitle = {Proceedings {ACM SIGCHI} Symposium on Engineering Interactive Computing Systems ({EICS}): Engineering Interactive Computing Systems for Medicine and Health Care},
   pages = {53--58},
   publisher = {ACM},
   location = {Pisa, Italy}
}

This workshop brings together and develops the community of researchers and practitioners concerned with the design and evaluation of interactive medical devices (infusion pumps, etc) and systems (electronic patient records, etc), to deliver a roadmap for future research in this area. The workshop involves researchers and practitioners designing and evaluating dependable systems in a variety of contexts, and those developing innovative interactive computer systems for healthcare. These pose particular challenges because of the inherent variability — of patients, system configurations, and so on. Participants will represent a range of perspectives, including safety engineering and innovative design.

@inproceedings{HT38,
   title = {Engineering Interactive Computer Systems for Medicine and Healthcare, {EICS4Med}},
   author = {Harold Thimbleby and Ann Blandford and Giuseppe De Pietro and Luigi Gallo and Andy Gimblett and Patrick Oladimeji},
   abstract = {This workshop brings together and develops the community of researchers and practitioners concerned with the design and evaluation of interactive medical devices (infusion pumps, etc) and systems (electronic patient records, etc), to deliver a roadmap for future research in this area. The workshop involves researchers and practitioners designing and evaluating dependable systems in a variety of contexts, and those developing innovative interactive computer systems for healthcare. These pose particular challenges because of the inherent variability --- of patients, system configurations, and so on. Participants will represent a range of perspectives, including safety engineering and innovative design.},
   year = {2011},
   booktitle = {Proceedings {ACM SIGCHI} Symposium on Engineering Interactive Computing Systems --- {EICS2011}},
   pages = {341--342},
   publisher = {ACM},
   location = {Pisa, Italy}
}

We report on a case study investigating current practice in the use of a programmable infusion pump. We start by formalising an existing description of the procedure followed by nurses for setting up a commercial infusion pump obtained via observation and interview. We then compare and contrast this procedure with a formal description of the sequence of actions reported in the pump’s user manual. Mismatches were validated by a training manager. The aim of this comparison is to point out how minor mismatches between the two descriptions can be used to reveal major safety issues. Our contributions are: first, we analyse a real-world system and show the importance of having a clear and consistent specification of the procedures; second, we show how a graph-based notation can be conveniently used as the basis for building non-ambiguous and intuitive specifications in higher-order logic. We argue that this can provide support to an investigator when building a description of actual practice in that it can help focus attention on areas to observe more closely and on questions to ask to understand why procedures, as followed, are the way they are.

@inproceedings{HT40,
   title = {Comparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps},
   author = {Harold Thimbleby and 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 {\main{Paolo Masci}} and Patrick Oladimeji and Atish Rjakomar and Rimvydas {Ruk\v{s}\.{e}nas}},
   abstract = {We report on a case study investigating current practice in the use of a programmable infusion pump. We start by formalising an existing description of the procedure followed by nurses for setting up a commercial infusion pump obtained via observation and interview. We then compare and contrast this procedure with a formal description of the sequence of actions reported in the pump's user manual. Mismatches were validated by a training manager. The aim of this comparison is to point out how minor mismatches between the two descriptions can be used to reveal major safety issues. Our contributions are: first, we analyse a real-world system and show the importance of having a clear and consistent specification of the procedures; second, we show how a graph-based notation can be conveniently used as the basis for building non-ambiguous and intuitive specifications in higher-order logic. We argue that this can provide support to an investigator when building a description of actual practice in that it can help focus attention on areas to observe more closely and on questions to ask to understand why procedures, as followed, are the way they are.},
   year = {2011},
   booktitle = {Proceedings {ACM SIGCHI} Symposium on Engineering Interactive Computing Systems ({EICS}): Engineering Interactive Computing Systems for Medicine and Health Care},
   pages = {59--64},
   publisher = {ACM},
   location = {Pisa, Italy}
}

Health and how to support it with interactive computer systems, networks, and devices is a global and, for many countries, an explicit national priority. Significant interest in issues related to interactive systems for health has been demonstrated repeatedly within SIGCHI. A community focused on health started in 2010, fostering collaboration and dissemination of research findings as well as bridging with practitioners. As part of this community’s on-going efforts, we will hold a special interest group session during ACM CHI 2011 to discuss, prioritize, and promote some of these most pressing issues facing the community.

@inproceedings{health-sig-chi,
   title = {Interactive Technologies for Health Special Interest Group},
   author = {Harold Thimbleby and Helena Mentis and Julie A. Kientz and Gillian R. Hayes and Madhu Reddy},
   abstract = {Health and how to support it with interactive computer systems, networks, and devices is a global and, for many countries, an explicit national priority. Significant interest in issues related to interactive systems for health has been demonstrated repeatedly within SIGCHI{\@}. A community focused on health started in 2010, fostering collaboration and dissemination of research findings as well as bridging with practitioners. As part of this community's on-going efforts, we will hold a special interest group session during {ACM} {CHI} 2011 to discuss, prioritize, and promote some of these most pressing issues facing the community.},
   year = {2011},
   booktitle = {Proceedings ACM Conference on Computer-Human Interaction --- CHI 2011},
   pages = {519--522},
   publisher = {ACM}
}

Reading is increasingly being performed interactively on-screen; for instance, new novels are now routinely released in electronic format for viewing on PCs and mobile devices. Unfortunately, on-screen reading loses many of the natural features of conventional physical media, such as the ability to annotate, slip in bookmarks, turn page corners, and so on. How best should these features be represented electronically? Can computerized representations give benefits that excel the conventional benefits of paper? We describe the design and implementation of a novel reading system that mimics key properties of paper and surpasses them by incorporating digital techniques. A comparative user study evaluating the system confirmed the effectiveness of the features and the value of the system as a whole.

@inproceedings{book-chi,
   title = {The Reading Desk: Applying Physical Interactions to Digital Documents},
   author = {Harold Thimbleby and {\main{Jennifer Pearson}} and George Buchanan},
   abstract = {Reading is increasingly being performed interactively on-screen; for instance, new novels are now routinely released in electronic format for viewing on PCs and mobile devices. Unfortunately, on-screen reading loses many of the natural features of conventional physical media, such as the ability to annotate, slip in bookmarks, turn page corners, and so on. How best should these features be represented electronically? Can computerized representations give benefits that excel the conventional benefits of paper? We describe the design and implementation of a novel reading system that mimics key properties of paper and surpasses them by incorporating digital techniques. A comparative user study evaluating the system confirmed the effectiveness of the features and the value of the system as a whole.},
   year = {2011},
   booktitle = {Proceedings ACM Conference on Computer-Human Interaction --- CHI'2011},
   pages = {3199--3202},
   publisher = {ACM}
}

Seven segment number displays are ubiquitous and popular. They make economic sense: they are simple, and with only seven on/off segments, they require very little wiring and electronics to support. They are cheap to buy and cheap to use; they make cheap and seemingly effective products.

We show how seven segment may be more or less dependable, and suggest some improvements to standard designs. However, we argue that for dependable domains (healthcare, avionics, etc) and for handheld devices that may be used in dependable domains, seven segment displays should not be used.

The paper includes many recommendations for developers and purchasers.

@inproceedings{7-hci,
   title = {don't use 7-segment displays},
   author = {Harold Thimbleby},
   abstract = {Seven segment number displays are ubiquitous and popular. They make economic sense: they are simple, and with only seven on/off segments, they require very little wiring and electronics to support. They are cheap to buy and cheap to use; they make cheap and seemingly effective products. 

We show how seven segment may be more or less dependable, and suggest some improvements to standard designs. However, we argue that for dependable domains (healthcare, avionics, etc) and for handheld devices that may be used in dependable domains, seven segment displays should not be used. 

The paper includes many recommendations for developers and purchasers.},
   year = {2011},
   booktitle = {Proceedings BCS Conference on HCI},
   pages = {3C:1--6},
   publisher = {Oxford University Press},
   location = {Newcastle, England}
}

We introduce an architectural software formalism, buffer automata, for the specification, implementation and analysis of a particular class of discrete interactive systems and devices. The approach defines a layer between the physical user interface and the application (if any) and provides a clear framework for highlighting a number of interaction design issues.

@inproceedings{buffer-eics,
   title = {{Buffer} {Automata}: a {UI} architecture prioritising {HCI} concerns for interactive devices},
   author = {Harold Thimbleby and Andy Gimblett and Abigail Cauchi},
   abstract = {We introduce an architectural software formalism, {\emph{buffer automata}}, for the specification, implementation and analysis of a particular class of discrete interactive systems and devices. The approach defines a layer between the physical user interface and the application (if any) and provides a clear framework for highlighting a number of interaction design issues.},
   year = {2011},
   booktitle = {Proceedings {ACM} Engineering Interactive Computer Systems --- {EICS} 2011},
   pages = {73--78},
   publisher = {ACM},
   location = {Pisa, Italy}
}

Medical device logs are currently used for incident investigation, technical support, monitoring patterns of usage and so on. This paper explores issues on visualizing device logs to discover how devices are used or misused in practice. This paper includes an analysis of logs from 58 infusion pumps of the same model. We give examples of presenting logs graphically, which makes them more prominent. Making logs visible should raise awareness of incidents that occur everyday, as well as the general value of logs.

@inproceedings{HT37,
   title = {Visualising Medical Device Logs},
   author = {Harold Thimbleby and Patrick Oladimeji and Yunqiu Li and Abigail Cauchi and Parisa Eslamblochilar and Andy Gimblett and Paul Lee},
   abstract = {Medical device logs are currently used for incident investigation, technical support, monitoring patterns of usage and so on. This paper explores issues on visualizing device logs to discover how devices are used or misused in practice. This paper includes an analysis of logs from 58 infusion pumps of the same model. We give examples of presenting logs graphically, which makes them more prominent. Making logs visible should raise awareness of incidents that occur everyday, as well as the general value of logs.},
   year = {2011},
   booktitle = {Proceedings first BCS Health Wales/ehi2 Joint Workshop},
   pages = {23--26},
   location = {Wrexham},
   publisher = {BCS}
}

The design of medical devices directly affects the way healthcare practitioners carry out their daily tasks. Users welcome design that takes into account the clinical environment, in which the device is operated and is compatible with their workflow. However, if the design fails to fit, the likelihood of errors increases, which will put patient safety at risk. In this paper, we report current practice related to UCD (User Centred Design) in the context of medical device, focusing on end user feedback mechanisms deployed in pre-market and post-market phases of the device lifecycle. The results of an interview and workshop study are reported, revealing shortcomings in current feedback channels. In reaction to these shortcomings, we discuss the advantages and feasibility of enabling automatic feedback channel in medical device design, to ensure the quality and the effectiveness of feedback.

@inproceedings{HT36,
   title = {Design of Interactive Medical Devices: Feedback and Its Improvement},
   author = {Harold Thimbleby and {\main{Yunqiu Li}} and Patrick Oladimeji and Carlos Monroy and Abigail Cauchi and Dominic Furniss and Chris Vincent and Ann Blandford},
   abstract = {The design of medical devices directly affects the way healthcare practitioners carry out their daily tasks. Users welcome design that takes into account the clinical environment, in which the device is operated and is compatible with their workflow. However, if the design fails to fit, the likelihood of errors increases, which will put patient safety at risk. In this paper, we report current practice related to UCD (User Centred Design) in the context of medical device, focusing on end user feedback mechanisms deployed in pre-market and post-market phases of the device lifecycle. The results of an interview and workshop study are reported, revealing shortcomings in current feedback channels. In reaction to these shortcomings, we discuss the advantages and feasibility of enabling automatic feedback channel in medical device design, to ensure the quality and the effectiveness of feedback.},
   year = {2011},
   booktitle = {Proceedings IEEE International Symposium on IT in Medicine {\&} Education --- ITME 2011},
   pages = {204--208},
   location = {China}
}

@inproceedings{numbers-interact,
   title = {Number Entry Interfaces and their Effects on Errors and Number Perception},
   author = {Harold Thimbleby and {\main{Patrick Oladimeji}} and Anna Cox},
   year = {2011},
   booktitle = {Proceedings IFIP Conference on Human-Computer Interaction --- Interact 2011},
   pages = {178--185},
   isbn = {978-3-642-23767-6},
   url = {http://dl.acm.org/citation.cfm?id=2042283.2042302},
   volume = {IV},
   location = {Lisbon, Portugal},
   publisher = {Springer-Verlag}
}

Keyed data entry is fundamental and ubiquitous, occurring when filling data fields in web forms, entering burglar alarm pass-codes, using calculators, entering drug delivery rates in infusion pumps, making cash withdrawals from cash machines, setting destinations for GPS navigation, to name but a few of its applications. Unfortunately data entry is often implemented poorly.

We introduce divergence, a loss of predictability in a user interface, and show that it is in general unavoidable in data entry, and therefore a systematic approach is called for. This paper presents one such an approach. Many inter-related ideas “fall into place”—e.g., autocompletion, prompting, automatic color coding—through the approach. The approach contrasts with conventional systems that are generally inconsistent and unhelpful to users, particularly after errors.

@article{regex-fmis,
   title = {Dependable Keyed Data Entry for Interactive Systems},
   author = {Harold Thimbleby and Andy Gimblett},
   abstract = {Keyed data entry is fundamental and ubiquitous, occurring when filling data fields in web forms, entering burglar alarm pass-codes, using calculators, entering drug delivery rates in infusion pumps, making cash withdrawals from cash machines, setting destinations for GPS navigation, to name but a few of its applications. Unfortunately data entry is often implemented poorly.

We introduce {\emph{divergence}}, a loss of predictability in a user interface, and show that it is in general unavoidable in data entry, and therefore a systematic approach is called for. This paper presents one such an approach. Many inter-related ideas ``fall into place''---e.g., autocompletion, prompting, automatic color coding---through the approach. The approach contrasts with conventional systems that are generally inconsistent and unhelpful to users, particularly after errors.},
   year = {2011},
   booktitle = {{FMIS} 2011, 4th International Workshop on Formal Methods for Interactive Systems},
   pages = {1/16--16/16},
   journal = {Electronic Communications of the EASST},
   url = {http://cs.swan.ac.uk/~csharold/regex},
   volume = {45},
   issn = {1863-2122},
   location = {Limerick, Ireland}
}

We define predictability of a user interface as the property that a user can predict with sufficient certainty the effect of any action in a given state in a system, where state information is inferred from the perceptible output of the system. In our definition, the user is not required to have full knowledge of a history of actions from an initial state to the current state. A predicting user relies on cognitive and knowledge assumptions; in this paper we explore the notion in the situation where the user is an expert and understands perfectly how the device works. In this situation predictability concerns whether the user can tell what state the device is in and accurately predict the consequences of an action from that state simply by looking at the device. We give a formal definition of predictability in higher order logic and explore how real systems can be verified against the property. We specify two real number entry interfaces in the medical domain as case studies of predictable and unpredictable user interfaces. We analyse the specifications with respect to our formal definition of predictability and thus show how to make unpredictable systems predictable.

@article{number-fmis,
   title = {The Benefits of Formalising Interactive Number Entry},
   author = {Harold Thimbleby and Andy Gimblett and Rimvydas {Ruk\v{s}\.{e}nas} and Patrick Oladimeji and Abigail Cauchi and Y. Li and P. Curzon and Paolo Masci},
   abstract = {We define \emph{predictability of a user interface\/} as the property that a user can predict with sufficient certainty the effect of any action in a given state in a system, where state information is inferred from the perceptible output of the system. In our definition, the user is not required to have full knowledge of a history of actions from an initial state to the current state. A predicting user relies on cognitive and knowledge assumptions; in this paper we explore the notion in the situation where the user is an expert and understands perfectly how the device works. In this situation predictability concerns whether the user can tell what state the device is in and accurately predict the consequences of an action from that state simply by looking at the device. We give a formal definition of predictability in higher order logic and explore how real systems can be verified against the property. We specify two real number entry interfaces in the medical domain as case studies of predictable and unpredictable user interfaces. We analyse the specifications with respect to our formal definition of predictability and thus show how to make unpredictable systems predictable.},
   year = {2011},
   booktitle = {{FMIS} 2011, 4th International Workshop on Formal Methods for Interactive Systems},
   pages = {1/14--14/14},
   journal = {Electronic Communications of the EASST},
   volume = {45},
   issn = {1863-2122},
   location = {Limerick, Ireland}
}

A short film clip about medical device design, about the problems and opportunities to improve design.

@article{saferdesignyt,
   title = {Saving lives by design},
   author = {Harold Thimbleby},
   abstract = {A short film clip about medical device design, about the problems and opportunities to improve design.},
   year = {2011},
   journal = {YouTube},
   url = {http://cs.swan.ac.uk/~csharold/saferdesign},
   video = {http://www.youtube.com/watch?v=3LiGsPR34w8}
}

@inproceedings{HT112,
   title = {Interactive numbers --- {A} grand challenge},
   author = {Harold Thimbleby},
   year = {2011},
   booktitle = {Proceedings of {IHCI} 2011: {IADIS} International Conference Interfaces and Human Computer Interaction 2011},
   aftertitle = {Keynote},
   pages = {xxviii--xxxv},
   editor = {K. Blashki},
   location = {Rome}
}

@book{HT157,
   title = {Proceedings of the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care},
   year = {2011},
   note = {(86pp)},
   url = {EICS4Med-2011-proceedings-report.pdf},
   editor = {Ann Blandford and Giuseppe De Pietro and Luigi Gallo and Andy Gimblett and Patrick Oladimeji and Harold Thimbleby},
   location = {Pisa, Italy}
}

@article{HT228,
   title = {Next level: call of social duty},
   author = {Harold Thimbleby},
   year = {12 May, 2011},
   booktitle = {Reality is broken: Why games make us better and how they can change the world (by Jane McGonigal)},
   pages = {54},
   journal = {Times Higher Education Textbook Guide},
   url = {http://www.timeshighereducation.co.uk/story.asp?sectioncode=26&storycode=416081},
   number = {1,998}
}

@article{HT227,
   title = {How to get {What We Want} from {IT}},
   author = {Harold Thimbleby},
   year = {26 May, 2011},
   booktitle = {Programming the World Wide Web (by Robert W.~Sebesta)},
   pages = {vi},
   journal = {Times Higher Education Textbook Guide},
   url = {http://www.timeshighereducation.co.uk/story.asp?sectioncode=26&storycode=416312},
   number = {2,000}
}

@article{HT226,
   title = {See, hear and seek no evil},
   author = {Harold Thimbleby},
   year = {11 August, 2011},
   booktitle = {The Googlization of Everything---and Why We Should Worry (by S.~Vaidhyanathan)},
   pages = {48},
   journal = {Times Higher Education},
   url = {http://www.timeshighereducation.co.uk/story.asp?sectioncode=26&storycode=417065},
   number = {2,011}
}

@article{errorbug,
   title = {Errors + bugs needn't mean death},
   author = {Harold Thimbleby},
   year = {2011},
   pages = {18--19},
   journal = {Public Service Review: {UK} Science \& Technology},
   volume = {2}
}

Summary report of the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care (EICS4Med 2011)

@inproceedings{HT154,
   title = {The biggest challenges are the social ones: Workshop report from EICS4Med 2011},
   author = {Harold Thimbleby and Ann Blandford and Giuseppe De Pietro and Luigi Gallo and Andy Gimblett and Patrick Oladimeji},
   abstract = {Summary report of the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care (EICS4Med 2011)},
   year = {2011},
   booktitle = {Proceedings of the 1st International Workshop on Engineering Interactive Computing Systems for Medicine and Health Care},
   pages = {81--82},
   publisher = {ACM},
   location = {Pisa, Italy}
}

@unpublished{HT130,
   title = {Looking Beyond `Human Error' to its Causes},
   author = {Harold Thimbleby},
   year = {2011},
   booktitle = {Patient Safety and Clinical Decision Making},
   aftertitle = {Keynote},
   location = {Royal College of Physicians, Edinburgh, Scotland}
}

@unpublished{HT126,
   title = {Widespread errors are fixable by better design},
   author = {Harold Thimbleby},
   year = {2011},
   booktitle = {15th National Biomedical and Clinical Engineering Conference},
   aftertitle = {Keynote},
   locations = {Birmingham}
}

@unpublished{HT127,
   title = {Dependable user interfaces --- avoiding computer-provoked ``human error'' in medical systems},
   author = {Harold Thimbleby},
   year = {2011},
   booktitle = {24th {IEEE} International Symposium on Computer-Based Medical Systems ({CBMS} 2011)},
   aftertitle = {Keynote},
   location = {Bristol, England}
}

@unpublished{HT128,
   title = {Secrets of research success},
   author = {Harold Thimbleby},
   year = {2011},
   booktitle = {{SICSA} ({Scottish Informatics and Computer Science Alliance}) {PhD} Conference 2011},
   aftertitle = {Keynote},
   location = {Edinburgh, Scotland},
   video = {http://wn.com/Harold_Thimbleby__Secrets_of_Successful_Research_SICSA_2011_Keynote}
}

@article{HT229,
   title = {Another view ({LOL}, Lots of Love)},
   author = {Harold Thimbleby},
   year = {14 February, 2011},
   pages = {21},
   journal = {The Guardian},
   url = {http://www.guardian.co.uk/stage/2011/feb/13/harold-thimbleby-lol-social-networking?INTCMP=SRCH}
}

@article{HT225,
   title = {Relight the fire of the mind, online},
   author = {Harold Thimbleby},
   year = {1 December, 2011},
   booktitle = {Reinventing Discovery (by M.~Nielsen)},
   pages = {58},
   journal = {Times Higher Education},
   url = {http://www.timeshighereducation.co.uk/story.asp?sectioncode=26&storycode=418270},
   number = {2,027}
}

@unpublished{HT129,
   title = {Looking Beyond `Human Error' to its Causes and Prevention},
   author = {Harold Thimbleby},
   year = {2011},
   booktitle = {Scottish Intensive Care Society Annual Scientific Meeting},
   aftertitle = {Keynote},
   location = {St Andrews, Scotland}
}

There is evidence that widely used interactive medical devices such as infusion pumps pose interaction difficulties. Yet this evidence is widely dispersed, and difficulties in programming, interaction and socio-technical design have rarely been a focus for study. Interaction difficulties are effectively invisible. To understand why, it is necessary to study the cultural and organizational contexts within which devices are designed, deployed and used. In this paper, we present examples illustrating interaction difficulties and outline features of the context that keep those difficulties invisible.

@inproceedings{few-chi,
   title = {Few are Looking: Invisible Problems with Interactive Medical Devices},
   author = {Harold Thimbleby and Ann Blandford and George Buchanan and Dominic Furniss and P. Curzon},
   abstract = {There is evidence that widely used interactive medical devices such as infusion pumps pose interaction difficulties. Yet this evidence is widely dispersed, and difficulties in programming, interaction and socio-technical design have rarely been a focus for study. Interaction difficulties are effectively invisible. To understand why, it is necessary to study the cultural and organizational contexts within which devices are designed, deployed and used. In this paper, we present examples illustrating interaction difficulties and outline features of the context that keep those difficulties invisible.},
   year = {2010},
   booktitle = {Proceedings of the ACM Workshop on Interactive Systems in Healthcare ({WISH}) --- {CHI} 2010},
   pages = {9-12},
   location = {Atlanta},
   publisher = {ACM},
   editor = {G. R. Hayes and D. S. Tan}
}

To achieve dependable, usable, and well-engineered interactive devices in healthcare requires applied Human Computer Interaction (HCI) research and awareness of HCI issues throughout the lifecycle, from design through to procurement, training and use. This paper shows that some healthcare devices fall far short, and thus identifies a gap in applied HCI.

We use a basic, interactive hospital bed as a case study, arguably so routine and simple enough that there should have been very few problems. However, the bed’s interactive control panel design violates standard HCI principles. It is also badly programmed by the manufacturer. Evidently, something has gone wrong, somewhere from design to procurement, and we argue most of the problems would have been managed or avoided by conventional HCI processes.

Driven by the case study, this paper explores the problems and makes recommendations. There are many similarly poorly designed medical devices. Manufacturers and healthcare purchasing groups should adhere to HCI processes and guidelines, as well as those provided by regulatory agencies for the design, regulation, and procurement of devices, products, or systems that contribute to patient safety. The challenge is to make HCI knowledge and priorities available to and effective in this important domain in any places that can make a difference.

@inproceedings{chitra-bcs,
   title = {Human Computer Interaction and Medical Devices},
   author = {Harold Thimbleby and {\main{Chitra Acharya}} and Patrick Oladimeji},
   abstract = {To achieve dependable, usable, and well-engineered interactive devices in healthcare requires applied Human Computer Interaction (HCI) research and awareness of HCI issues throughout the lifecycle, from design through to procurement, training and use. This paper shows that some healthcare devices fall far short, and thus identifies a gap in applied HCI.

We use a basic, interactive hospital bed as a case study, arguably so routine and simple enough that there should have been very few problems. However, the bed's interactive control panel design violates standard HCI principles. It is also badly programmed by the manufacturer. Evidently, something has gone wrong, somewhere from design to procurement, and we argue most of the problems would have been managed or avoided by conventional HCI processes.

Driven by the case study, this paper explores the problems and makes recommendations. There are many similarly poorly designed medical devices. Manufacturers and healthcare purchasing groups should adhere to HCI processes and guidelines, as well as those provided by regulatory agencies for the design, regulation, and procurement of devices, products, or systems that contribute to patient safety. The challenge is to make HCI knowledge and priorities available to and effective in this important domain in any places that can make a difference.},
   year = {2010},
   booktitle = {Proceedings BCS Conference on {HCI}},
   location = {Dundee},
   publisher = {BCS}
}

Motivation — Designers make decisions that later influence how users work with the systems that they have designed. When errors occur in use, it is tempting to focus on the active errors rather than on the latent design decisions that framed the context of error, and fixing latent conditions can have a more general (and future) impact than addressing particular active failures. Research approach — A constructive computer science approach is used, and results from a simulation reported. Research limitations — Error is a complex multidisciplinary field; this paper makes a new contribution complimentary to human factors engineering. Take away message — This paper shows that latent design decisions cause serious problems (including fatalities) in safety critical applications; the paper proposes UI discovery tools to identify and manage latent errors. UI discovery enables human factors engineers and programmers to work together to help eliminate broad classes of latent design errors.

@article{latent-ijhcs,
   title = {Avoiding Latent Design Conditions Using UI Discovery Tools},
   author = {Harold Thimbleby},
   abstract = {Motivation --- Designers make decisions that later influence how users work with the systems that they have designed. When errors occur in use, it is tempting to focus on the active errors rather than on the latent design decisions that framed the context of error, and fixing latent conditions can have a more general (and future) impact than addressing particular active failures. Research approach --- A constructive computer science approach is used, and results from a simulation reported. Research limitations --- Error is a complex multidisciplinary field; this paper makes a new contribution complimentary to human factors engineering. Take away message --- This paper shows that latent design decisions cause serious problems (including fatalities) in safety critical applications; the paper proposes UI discovery tools to identify and manage latent errors. UI discovery enables human factors engineers and programmers to work together to help eliminate broad classes of latent design errors.},
   year = {2010},
   pages = {1--12},
   journal = {International Journal of Human-Computer Studies},
   volume = {26},
   number = {2},
   doi = {10.1080/10447310903498692}
}

Signposts make complex documents more flexible and easier to read; signposts exist in many forms, but are familiar as cross references and as hypertext links. Signposting systems need to be carefully designed, so that they are reliable, easy to use for readers yet convenient for authors to embed in their writing. There are fundamental problems in achieving good signposting, which this paper explores through cross referencing in the popular medium of LaT_EX, which is often the typesetting system of choice for heavily cross referenced documents.

This paper provides an implementation of cross references for LaT_EX users. Problems with LaT_EX and T_EX arise, and are explored and mostly solved: some problems are due to the designs of these systems, but, crucially, some problems are unavoidable, an inevitable part of signposting in principle, whatever systems are used, even including the web.

@article{signposts,
   title = {Signposting in documents},
   author = {Harold Thimbleby},
   abstract = {Signposts make complex documents more flexible and easier to read; signposts exist in many forms, but are familiar as cross references and as hypertext links. Signposting systems need to be carefully designed, so that they are reliable, easy to use for readers yet convenient for authors to embed in their writing. There are fundamental problems in achieving good signposting, which this paper explores through cross referencing in the popular medium of {\LaTeX}, which is often the typesetting system of choice for heavily cross referenced documents.

This paper provides an implementation of cross references for {\LaTeX} users. Problems with {\LaTeX} and {\TeX} arise, and are explored and mostly solved: some problems are due to the designs of these systems, but, crucially, some problems are unavoidable, an inevitable part of signposting in principle, whatever systems are used, even including the web.},
   year = {2010},
   pages = {1119--1135},
   journal = {Computer Journal},
   url = {http://comjnl.oxfordjournals.org/content/54/7/1119},
   volume = {54},
   publisher = {OUP},
   doi = {10.1093/comjnl/bxq061},
   number = {7}
}

This paper uses a simple analogy. A gun is designed to shoot bullets, but it is obvious that accidentally shooting is a danger one should avoid if at all possible. Thus guns have safety locks, which aim to protect users and bystanders.

Interactive computer systems sometimes accidentally do bad things too, but something like “safety locks” are not often enough implemented to help protect user or bystanders from harm.

Worse, user interfaces often behave quite unpredictably with erroneous input Ñ– rather than blocking errors and requiring the user to correct them. This is a bit like guns that misbehave.

Computers and computers embedded in everyday devices are not always as dangerous as guns, although there are many cases where they can be as dangerous. Medical devices may give patients undetected overdoses. In-car entertainment devices, like radios, may, through their badly-designed user interfaces, cause a driver to have an accident. A slip in a spreadsheet may be the first step towards an organisation going bankrupt. And so on.

The solution should include better design, including the concept of safety locks, that block some forms of user error.

@article{think!,
   title = {Think! Interactive Systems Need Safety Locks},
   author = {Harold Thimbleby},
   abstract = {This paper uses a simple analogy. A gun is designed to shoot bullets, but it is obvious that accidentally shooting is a danger one should avoid if at all possible. Thus guns have safety locks, which aim to protect users and bystanders.

Interactive computer systems sometimes accidentally do bad things too, but something like ``safety locks'' are not often enough implemented to help protect user or bystanders from harm.

Worse, user interfaces often behave quite unpredictably with erroneous input Ñ-- rather than blocking errors and requiring the user to correct them. This is a bit like guns that misbehave.

Computers and computers embedded in everyday devices are not always as dangerous as guns, although there are many cases where they can be as dangerous. Medical devices may give patients undetected overdoses. In-car entertainment devices, like radios, may, through their badly-designed user interfaces, cause a driver to have an accident. A slip in a spreadsheet may be the first step towards an organisation going bankrupt. And so on.

The solution should include better design, including the concept of {\textbf{safety}} locks, that block some forms of user error.},
   year = {2010},
   pages = {349--360},
   journal = {Journal of Computing and Information Technology},
   volume = {18},
   number = {4},
   doi = {10.2498/cit.1001921}
}

@article{IT-dangerous,
   title = {Is {IT} a dangerous prescription?},
   author = {Harold Thimbleby},
   year = {2010},
   pages = {5--10},
   journal = {BCS Interfaces},
   volume = {84}
}

@inproceedings{discovery-eics,
   title = {User Interface Model Discovery: Towards a Generic Approach},
   author = {Harold Thimbleby and Andy Gimblett},
   year = {2010},
   booktitle = {Proceedings ACM SIGCHI Symposium on Engineering Interactive Computing Systems --- EICS 2010},
   pages = {145--154},
   highlight = {Best Paper Award},
   editor = {G. Doherty and J. Nichols and Michael D. Harrison},
   location = {Berlin},
   publisher = {ACM},
   doi = {10.1145/1822018.1822041}
}

@book{HT156,
   title = {Press On --- Principles of Interaction Programming},
   author = {Harold Thimbleby},
   year = {2010},
   isbn = {978--0--262--51423--1},
   url = {http://mitpress.com/presson},
   highlight = {Paperback edition},
   publisher = {MIT Press}
}

Number entry is ubiquitous: it is required in many fields including science, healthcare, education, government, mathematics and finance. People entering numbers are to be expected to make errors, but shockingly few systems make any effort to detect, block or otherwise manage errors. Worse, errors may be ignored but processed in arbitrary ways, with unintended results.

A standard class of error (defined in the paper) is an “out by ten error,” which is easily made by miskeying a decimal point or a zero. In safety-critical domains, such as drug delivery, out by ten errors generally have adverse consequences.

Here we expose the extent of the problem of numeric errors in a very wide range of systems. An analysis of better error management is presented: under reasonable assumptions we show that the probability of out by ten errors can be halved by better user interface design. We provide a demonstration user interface to show that the approach is practical.

@article{numbererrors,
   title = {Reducing Number Entry Errors: Solving a Widespread, Serious Problem},
   author = {Harold Thimbleby and Paul Cairns},
   abstract = {Number entry is ubiquitous: it is required in many fields including science, healthcare, education, government, mathematics and finance. People entering numbers are to be expected to make errors, but shockingly few systems make any effort to detect, block or otherwise manage errors. Worse, errors may be ignored but processed in arbitrary ways, with unintended results.

A standard class of error (defined in the paper) is an ``out by ten error,'' which is easily made by miskeying a decimal point or a zero. In safety-critical domains, such as drug delivery, out by ten errors generally have adverse consequences. 

Here we expose the extent of the problem of numeric errors in a very wide range of systems. An analysis of better error management is presented: under reasonable assumptions we show that the probability of out by ten errors can be halved by better user interface design. We provide a demonstration user interface to show that the approach is practical.},
   year = {2010},
   pages = {1429--1439},
   journal = {Journal Royal Society Interface},
   url = {http://cs.swan.ac.uk/~csharold/interface/},
   volume = {7},
   doi = {10.1098/rsif.2010.0112},
   number = {51}
}

As interactive digital documents are becoming more and more commonplace, we find ourselves searching for new ways to make good use of them. The fast delivery and large storage capacity that digital devices offer, make reading from bulky physical books seem obsolete, even nonsensical. EReaders, the latest craze in digital reading, follows from the introduction of eInk and promises paper-like reading capabilities with the added digital benefits. But is the excitement justified? Can you ‘curl up’ with an eReader in the same way as you can a physical book, or is the design of eReading devices hindering this process?.

As of yet, no one has taken a scientific view of current eReader technology from the systematic standpoint of basic HCI principles. This paper discusses guidelines for good eReader design and illustrates them with examples of shortcomings of some of the more popular eReader devices on the market today.

@inproceedings{HT41,
   title = {{HCI} Design Principles for {eReaders}},
   author = {Harold Thimbleby and {\main{Jennifer Pearson}} and George Buchanan},
   abstract = {As interactive digital documents are becoming more and more commonplace, we find ourselves searching for new ways to make good use of them. The fast delivery and large storage capacity that digital devices offer, make reading from bulky physical books seem obsolete, even nonsensical. EReaders, the latest craze in digital reading, follows from the introduction of eInk and promises paper-like reading capabilities with the added digital benefits. But is the excitement justified? Can you `curl up' with an eReader in the same way as you can a physical book, or is the design of eReading devices hindering this process?.

As of yet, no one has taken a scientific view of current eReader technology from the systematic standpoint of basic HCI principles. This paper discusses guidelines for good eReader design and illustrates them with examples of shortcomings of some of the more popular eReader devices on the market today.},
   year = {2010},
   booktitle = {Proceedings BooksOnline'10: Proceedings of the third workshop on research advances in large digital book repositories and complementary media},
   pages = {15--24},
   isbn = {978-1-4503-0377-4},
   doi = {10.1145/1871854.1871860},
   location = {Toronto, Ontario, Canada}
}

User interfaces often behave unpredictably on erroneous input — rather than blocking errors and requiring the user to correct them. The consequences of this in the context of medical devices, which may give patients undetected overdoses, can be unfortunate. The solution should include better design, including the concept of safety locks, that block some forms of user error.

@inproceedings{think-cavtat,
   title = {Interactive systems need safety locks},
   author = {Harold Thimbleby},
   abstract = {User interfaces often behave unpredictably on erroneous input --- rather than blocking errors and requiring the user to correct them. The consequences of this in the context of medical devices, which may give patients undetected overdoses, can be unfortunate. The solution should include better design, including the concept of safety locks, that block some forms of user error.},
   year = {2010},
   booktitle = {Proceedings of the IEEE ITI 2010 32nd International Conference on Information Technology Interfaces},
   aftertitle = {Keynote},
   pages = {29--36},
   isbn = {978--953--7138--18-9},
   editor = {V. Luzar-Stiffler and I. Jarec and Z. Bekic},
   location = {Cavtat, Croatia}
}

@article{hci4med-ijhcs,
   title = {Human-Computer Interaction for Medicine and Health Care (HCI4MED): Towards making information usable},
   author = {Harold Thimbleby and {\main{Andreas Holzinger}} and Russell Beale},
   year = {2010},
   pages = {325--327},
   journal = {International Journal of Human-Computer Studies},
   volume = {68},
   doi = {10.1016/j.ijhcs.2010.03.001},
   number = {6}
}

@unpublished{HT131,
   title = {Looking Beyond `Human Error' to its Causes},
   author = {Harold Thimbleby},
   year = {2010},
   booktitle = {Scottish Clinical Skills Network},
   aftertitle = {Keynote},
   location = {Dundee, Scotland}
}

@article{HT230,
   title = {The human side of good research},
   author = {Harold Thimbleby},
   year = {27 May, 2010},
   booktitle = {Research Methods in Human-Computer Interaction (by Jonathan Lazar, Jinjuan Heidi Feng and Harry Hochheiser)},
   journal = {Times Higher Education Textbook Guide},
   url = {http://www.timeshighereducation.co.uk/story.asp?sectioncode=26&storycode=411753}
}

@article{inclusion-iwc,
   title = {Inclusion and interaction: Designing interaction for inclusive populations},
   author = {Harold Thimbleby and Patrick Langdon},
   year = {2010},
   aftertitle = {Foreword},
   pages = {439--448},
   isbn = {978--972--8939--52-6},
   journal = {Interacting with Computers},
   volume = {22},
   number = {6},
   doi = {10.1016/j.intcom.2010.08.007}
}

Interaction programming bridges the gap between interaction design and programming, but it has not yet been related directly to mainstream user interface development practice. This paper presents UI model discovery tools to enable existing systems and traditional development processes to benefit from interaction programming tools and methods; in particular, to enable checking of safety-critical interaction properties, and to contribute to due diligence practices in safety-critical interactive systems design.

@inproceedings{safety-eics,
   title = {Contributing to Safety and Due Diligence in Safety-critical Interactive Systems Development},
   author = {Harold Thimbleby},
   abstract = {Interaction programming bridges the gap between interaction design and programming, but it has not yet been related directly to mainstream user interface development practice. This paper presents {\emph{UI model discovery tools\/}} to enable existing systems and traditional development processes to benefit from interaction programming tools and methods; in particular, to enable checking of safety-critical interaction properties, and to contribute to due diligence practices in safety-critical interactive systems design.},
   year = {2009},
   booktitle = {Proceedings {ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems --- {EICS}'09},
   pages = {221--230},
   editor = {G. Calvary and T. C. N. Graham and P. Gray},
   location = {Pittsburgh},
   publisher = {ACM},
   doi = {10.1145/1570433.1570474}
}

We consider how to teach effectively with particular reference to HCI. HCI can be taught to explicitly empower students to engage with their own learning. Further, HCI motivates because HCI empowers students to make a valuable and lasting contribution to the world.

@inproceedings{learn-hcii,
   title = {Teaching and Learning {HCI}},
   author = {Harold Thimbleby},
   abstract = {We consider how to teach effectively with particular reference to HCI\@. HCI can be taught to explicitly empower students to engage with their own learning. Further, HCI motivates because HCI empowers students to make a valuable and lasting contribution to the world.},
   year = {2009},
   booktitle = {Proceedings {HCI} International, Part I, Universal Access, {HCII} 2009},
   pages = {625--635},
   volume = {5614},
   publisher = {Springer Verlag},
   series = {Lecture Notes in Computer Science},
   location = {San Diego},
   editor = {C. Stephanidis},
   doi = {10.1007/978-3-642-02707-9_71}
}

@inproceedings{HT104,
   title = {Improving Annotations In Digital Documents},
   author = {Harold Thimbleby and {\main{Jennifer Pearson}} and George Buchanan},
   year = {2009},
   booktitle = {Proceedings of the 13th European conference on Research and advanced technology for digital libraries --- ECDL'09},
   pages = {429--432},
   isbn = {978-3-642-04345-1},
   volume = {5714},
   editor = {M. Agosti and J. Borbinha and S. Kapidakis and C. Papatheodorou and G. Tsakonas},
   series = {Lecture Notes in Computer Science},
   publisher = {Springer Verlag},
   location = {Corfu, Greece}
}

What methods can we use to help understand why users adopt certain use strategies, and how can we evaluate designs to anticipate and perhaps positively modify how users are likely to behave? This paper proposes taking advantage of social network analysis (SNA) to identify features of interaction. There are plausible reasons why SNA should be relevant to interaction programming and design, but we also show that SNA has promise, identifies and explains interesting use phenomena, and can be used effectively on conventionally-programmed interactive devices. Social network analysis is a very rich field, practically and theoretically, and many further forms of application and analysis beyond the promising examples explored in this paper are possible.

@inproceedings{network-eics,
   title = {Social Network Analysis and Interactive Device Design},
   author = {Harold Thimbleby and Patrick Oladimeji},
   abstract = {What methods can we use to help understand why users adopt certain use strategies, and how can we evaluate designs to anticipate and perhaps positively modify how users are likely to behave? This paper proposes taking advantage of social network analysis (SNA) to identify features of interaction. There are plausible reasons why SNA should be relevant to interaction programming and design, but we also show that SNA has promise, identifies and explains interesting use phenomena, and can be used effectively on conventionally-programmed interactive devices. Social network analysis is a very rich field, practically and theoretically, and many further forms of application and analysis beyond the promising examples explored in this paper are possible.},
   year = {2009},
   booktitle = {Proceedings {ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems --- {EICS}'09},
   pages = {91--100},
   editor = {G. Calvary and T. C. N. Graham and P. Gray},
   location = {Pittsburgh},
   publisher = {ACM},
   doi = {10.1145/1570433.1570453}
}

@unpublished{HT132,
   title = {Reducing designed-in errors in interactive medical devices},
   author = {Harold Thimbleby},
   year = {2009},
   booktitle = {2009 Health and Life Sciences Symposium},
   aftertitle = {Keynote},
   location = {Phoenix, Arizona}
}

Motivation — Designers make decisions that later influence how users work with the systems that they have designed. When errors occur in use, it is tempting to focus on the active errors rather than on the latent design decisions that framed the context of error, and fixing latent conditions can have a more general (and future) impact than addressing particular active failures. Research approach — A constructive computer science approach is used, and results from a simulation reported. Research limitations — Error is a complex multidisciplinary field; this paper makes a new contribution complimentary to human factors engineering. Take away message — This paper shows that latent design decisions cause serious problems (including fatalities) in safety critical applications; the paper proposes UI discovery tools to identify and manage latent errors. UI discovery enables human factors engineers and programmers to work together to help eliminate broad classes of latent design errors.

@inproceedings{ndm-keynote,
   title = {Avoiding latent design conditions using UI discovery tools},
   author = {Harold Thimbleby},
   abstract = {{\textbf{Motivation}} --- Designers make decisions that later influence how users work with the systems that they have designed. When errors occur in use, it is tempting to focus on the active errors rather than on the latent design decisions that framed the context of error, and fixing latent conditions can have a more general (and future) impact than addressing particular active failures. {\textbf{Research approach}} --- A constructive computer science approach is used, and results from a simulation reported. {\textbf{Research limitations}} --- Error is a complex multidisciplinary field; this paper makes a new contribution complimentary to human factors engineering. {\textbf{Take away message}} --- This paper shows that latent design decisions cause serious problems (including fatalities) in safety critical applications; the paper proposes UI discovery tools to identify and manage latent errors. UI discovery enables human factors engineers and programmers to work together to help eliminate broad classes of latent design errors.},
   year = {2009},
   booktitle = {Proceedings 9th Naturalistic Decision Making, NDM9},
   aftertitle = {Keynote},
   pages = {20--27},
   editor = {B. L. W. Wong and N. A. Stanton},
   location = {London},
   doi = {10.1080/10447310903498692}
}

Indexes are a well established method of locating information in printed literature just as find is a popular technique when searching in digital documents. However, document reader software has seldom adopted the concept of an index in a systematic manner. This paper describes an implemented system that not only facilitates user created digital indexes but also uses colour and size as key factors in their visual presentation. We report a pilot study that was conducted to test the validity of each visualisation and analyses the results of both the quantitative analysis and subjective user reviews.

@inproceedings{HT42,
   title = {Creating Visualisations for Digital Document Indexing},
   author = {Harold Thimbleby and {\main{Jennifer Pearson}} and George Buchanan},
   abstract = {Indexes are a well established method of locating information in printed literature just as find is a popular technique when searching in digital documents. However, document reader software has seldom adopted the concept of an index in a systematic manner. This paper describes an implemented system that not only facilitates user created digital indexes but also uses colour and size as key factors in their visual presentation. We report a pilot study that was conducted to test the validity of each visualisation and analyses the results of both the quantitative analysis and subjective user reviews.},
   year = {2009},
   booktitle = {Proceedings of the 13th European conference on Research and advanced technology for digital libraries, ECDL'09},
   pages = {87--93},
   isbn = {978-3-642-04345-1},
   url = {http://portal.acm.org/citation.cfm?id=1812799.1812813},
   series = {Lecture Notes in Computer Science},
   editor = {M. Agosti and J. Borbinha and S. Kapidakis and C. Papatheodorou and G. Tsakonas},
   location = {Corfu, Greece},
   acmid = {1812813},
   publisher = {Springer Verlag},
   address = {Berlin, Heidelberg},
   keywords = {document triage, indexing, information Visualisation}
}

@article{HT234,
   title = {No excuse to be illiterate about {IT}},
   author = {Harold Thimbleby},
   year = {3 December, 2009},
   booktitle = {Interactive Graphics for Data Analysis: Principles and Examples (by M.~Theus and S.~Urbanek)},
   pages = {vii},
   journal = {Times Higher Education Textbook Guide},
   url = {http://www.timeshighereducation.co.uk/story.asp?sectioncode=26&storycode=409351},
   number = {1925}
}

Interaction programming bridges the gap between interaction design and programming, but it has not yet been related directly to mainstream development practice. This paper presents UI model discovery tools to enable existing systems and traditional development processes to benefit from interaction programming tools and methods.

@inproceedings{interaction-chi,
   title = {Interaction Programming: Next Steps},
   author = {Harold Thimbleby},
   abstract = {Interaction programming bridges the gap between interaction design and programming, but it has not yet been related directly to mainstream development practice. This paper presents UI model discovery tools to enable existing systems and traditional development processes to benefit from interaction programming tools and methods.},
   year = {2009},
   booktitle = {Proceedings {ACM} {CHI}},
   pages = {3811--3816},
   doi = {10.1145/1520340.1520576},
   publisher = {ACM}
}

@article{HT233,
   title = {No excuse to be illiterate about {IT}},
   author = {Harold Thimbleby},
   year = {3 December, 2009},
   booktitle = {Introduction to Algorithms (by T.~H.~Cormen, C.~E.~Leiserson, R.~L.~Rivest and C.~Stein)},
   pages = {vii},
   journal = {Times Higher Education Textbook Guide},
   url = {http://www.timeshighereducation.co.uk/story.asp?sectioncode=26&storycode=409350},
   number = {1925}
}

@article{HT189,
   title = {The cutting edge of {HCI}},
   author = {Harold Thimbleby},
   year = {2009},
   pages = {6--7},
   journal = {BCS Interfaces},
   volume = {80}
}

@article{HT232,
   title = {No excuse to be illiterate about {IT}},
   author = {Harold Thimbleby},
   year = {3 December, 2009},
   booktitle = {How to Think Like a Programmer (by P.~Vickers)},
   pages = {vi--vii},
   journal = {Times Higher Education Textbook Guide},
   url = {http://www.timeshighereducation.co.uk/story.asp?sectioncode=26&storycode=409349},
   number = {1925}
}

One of the reasons why people make mistakes is that the systems they use are badly designed, and this is perhaps nowhere more alarming than in hospital errors involving drug delivery systems. This talk reviews a well-documented, but otherwise typical, fatality and shows that many causes could be prevented by better design, and better programming in particular. Harold Thimbleby is Emeritus Gresham Professor of Geometry and a Royal Society-Leverhulme Trust Senior Research Fellow at Swansea University.

@techreport{gresham-first,
   title = {Avoiding Death by Computer},
   author = {Harold Thimbleby},
   abstract = {One of the reasons why people make mistakes is that the systems they use are badly designed, and this is perhaps nowhere more alarming than in hospital errors involving drug delivery systems. This talk reviews a well-documented, but otherwise typical, fatality and shows that many causes could be prevented by better design, and better programming in particular. Harold Thimbleby is Emeritus Gresham Professor of Geometry and a Royal Society-Leverhulme Trust Senior Research Fellow at Swansea University.},
   year = {28 September, 2009},
   series = {Gresham College},
   video = {http://www.gresham.ac.uk/lectures-and-events/avoiding-death-by-computer}
}

@article{HT231,
   title = {No excuse to be illiterate about {IT}},
   author = {Harold Thimbleby},
   year = {3 December, 2009},
   booktitle = {Discovering Computers 2010 (by G.~B.~Shelly and M.~E.~Vermaat)},
   pages = {vi},
   journal = {Times Higher Education Textbook Guide},
   url = {http://www.timeshighereducation.co.uk/story.asp?sectioncode=26&storycode=409348},
   number = {1925}
}

@article{HT235,
   title = {Don't panic --- help is at hand},
   author = {Harold Thimbleby},
   year = {27 November, 2008},
   booktitle = {The Algorithm Design Manual (by S.~S.~Skiena)},
   pages = {xiv},
   journal = {Times Higher Education Supplement},
   number = {1873}
}

@article{HT190,
   title = {Ignorance of interaction programming is killing people},
   author = {Harold Thimbleby},
   year = {September+October, 2008},
   pages = {52--57},
   journal = {ACM Interactions},
   url = {http://harold.thimbleby.net/health}
}

Affordance is a widely-used term in human-computer interaction that, while familiar and attractive, does not have a clear operational definition. Using the mathematical concept of symmetry, this paper shows it is possible to begin developing an operational definition for significant aspects of affordance by forming the theoretical concept of symmetry-affordance. The proposed definition restricts symmetry-affordance to particular contexts but in doing so makes it more useful, as it is clear how to exploit symmetry to aid design. The definition is in standard mathematics (in fact, group theory and model theory) and requires little additional structure. In examining symmetry-affordance, it becomes clear that some other HCI notions can be similarly interpreted by symmetry. The paper provides examples and design insights.

“Symmetry, as wide or as narrow as you may define its meaning, is one idea by which man through the ages has tried to comprehend and create order, beauty, and perfection.” Hermann Weyl

@article{affordance-cj,
   title = {Affordance and Symmetry in User Interfaces},
   author = {Harold Thimbleby and Paul Cairns},
   abstract = {Affordance is a widely-used term in human-computer interaction that, while familiar and attractive, does not have a clear operational definition. Using the mathematical concept of symmetry, this paper shows it is possible to begin developing an operational definition for significant aspects of affordance by forming the theoretical concept of {\emph{symmetry-affordance}}. The proposed definition restricts symmetry-affordance to particular contexts but in doing so makes it more useful, as it is clear how to exploit symmetry to aid design. The definition is in standard mathematics (in fact, group theory and model theory) and requires little additional structure. In examining symmetry-affordance, it becomes clear that some other HCI notions can be similarly interpreted by symmetry. The paper provides examples and design insights.

``Symmetry, as wide or as narrow as you may define its meaning, is one idea by which man through the ages has tried to comprehend and create order, beauty, and perfection.'' {\emph{Hermann~Weyl}}},
   year = {2008},
   pages = {650--661},
   journal = {Computer Journal},
   volume = {51},
   number = {6},
   doi = {10.1093/comjnl/bxm102}
}

Science fiction stories seductively portray robots as human. In present reality (early 21st century) robots are machines, even though they can do many things far better than humans (fly, swim, play chess to name a few). Any ethics for or of robots is therefore a seductive mix of fiction and reality. The key issue for rational discourse is to provide a rigorous framework for reasoning about the issues, including identifying flaws in the framework. We find such meta-reasoning in discussion about robot ethics to be ready for improvement.

@article{robot-iwc,
   title = {Robot ethics? {Not} yet. {A} reflection on {Whitby's} ``{Sometimes} it's hard to be a robot''},
   author = {Harold Thimbleby},
   abstract = {Science fiction stories seductively portray robots as human. In present reality (early 21st century) robots are machines, even though they can do many things far better than humans (fly, swim, play chess to name a few). Any ethics for or of robots is therefore a seductive mix of fiction and reality. The key issue for rational discourse is to provide a rigorous framework for reasoning about the issues, including identifying flaws in the framework. We find such meta-reasoning in discussion about robot ethics to be ready for improvement.},
   year = {2008},
   pages = {338--341},
   journal = {Interacting with Computers},
   volume = {20},
   number = {3},
   doi = {10.1016/j.intcom.2008.02.006}
}

@article{HT192,
   title = {Marks for the da {Vinci} Code: {B-}},
   author = {Harold Thimbleby},
   year = {2008},
   journal = {CS4FN},
   url = {http://www.cs4fn.org/maths/bee-davinci.php},
   issn = {1754-3657 print; 1754-3665 online}
}

@article{HT191,
   title = {Press On},
   author = {Harold Thimbleby},
   year = {May, 2008},
   pages = {17},
   journal = {British Computer Society ITNOW},
   issn = {1746-5702},
   publisher = {BCS}
}

Syringe pumps automate giving drugs to patients. This digital story shows a problem with time outs.

@article{grasebyyt,
   title = {Problems with a syringe pump},
   author = {Harold Thimbleby},
   abstract = {Syringe pumps automate giving drugs to patients. This digital story shows a problem with time outs.},
   year = {2008},
   journal = {YouTube},
   video = {http://www.youtube.com/watch?v=brNbDWnHDVs&feature=player_embedded}
}

@inbook{HT160,
   title = {Write Now!},
   author = {Harold Thimbleby},
   year = {2008},
   booktitle = {Research Methods for Human-Computer Interaction},
   pages = {196--211},
   editor = {Paul Cairns and Anna Cox},
   publisher = {Cambridge University Press}
}

“User centred design” (UCD) has become a central, largely unquestioned, tenet of good practice for the design of interactive systems. With the increasing recognition of the importance of special needs in influencing design, UCD needs to be re-examined, in particular to be clear about the difference between using its methods, which may not suit special needs, and achieving its objectives. This paper introduces a simple two-category classification of special needs, to which UCD applies very differently and which are heavily affected by developments in technology; in other words, the role of UCD, particularly with respect to special needs, will continue to change and demand close scrutiny.

@inproceedings{HT113,
   title = {Understanding User Centered Design (UCD) for People with Special Needs},
   author = {Harold Thimbleby},
   abstract = {``User centred design'' (UCD) has become a central, largely unquestioned, tenet of good practice for the design of interactive systems. With the increasing recognition of the importance of special needs in influencing design, UCD needs to be re-examined, in particular to be clear about the difference between using its {\emph{methods}}, which may not suit special needs, and achieving its {\emph{objectives}}. This paper introduces a simple two-category classification of special needs, to which UCD applies very differently and which are heavily affected by developments in technology; in other words, the role of UCD, particularly with respect to special needs, will continue to change and demand close scrutiny.},
   year = {2008},
   booktitle = {11th International Conference, ICCHP 2008, Computers Helping People with Special Needs},
   aftertitle = {Keynote},
   pages = {1--17},
   isbn = {978-3-540-70539-0},
   url = {http://www.icchp.org},
   volume = {5105},
   editor = {K. Miesenberger and J. Klaus and W. Zagler and A Karshmer},
   publisher = {Springer Verlag},
   series = {Lecture Notes in Computer Science},
   location = {Linz, Austria},
   doi = {10.1007/978-3-540-70540-6}
}

We review how to teach effectively in higher education (covering both the literature and the author’s own opinions), with particular reference to HCI and using real life-and-death examples, based on simple medical design issues. Students are motivated because even elementary HCI knowledge empowers them to make a real and significant difference in the world.

@article{teach-hci,
   title = {Teaching {HCI} to make it come alive},
   author = {Harold Thimbleby},
   abstract = {We review how to teach effectively in higher education (covering both the literature and the author's own opinions), with particular reference to HCI and using real life-and-death examples, based on simple medical design issues. Students are motivated because even elementary HCI knowledge empowers them to make a real and significant difference in the world.},
   year = {2008},
   aftertitle = {Keynote},
   pages = {9--16},
   journal = {Magazine of Interaction Design and Architecture(s)},
   editor = {C. Giovannella and P. Kotze and W. Wong},
   issn = {1826-9745},
   number = {3 {\&} 4}
}

@unpublished{HT133,
   title = {Teaching {HCI} to make it come alive},
   author = {Harold Thimbleby},
   year = {2008},
   booktitle = {Human-Computer Interaction Educators, {HCIEd}},
   aftertitle = {Keynote},
   url = {http://www.mifav.uniroma2.it/hcied2008},
   location = {Rome}
}

We can consider a calculator together with its user make a Turing Complete system; in this sense, all calculators are mathematically equivalent and therefore mathematical user interfaces need not innovate beyond what is absolutely necessary. Typically, user interfaces are character-based and imperative, with mice used to select windows, and modes used to control the hidden complexities of the system.

Taking Mathematica and xThink as representatives of the state of the art in interactive mathematics, we show conventional mathematical user interfaces leave much to be desired, because they separate the mathematics from the context of the user interface, which remains as unmathematical as ever.

We put the usability of such systems into mathematical perspective, and compare the conventional approach with our approach, as exemplified by True Calculator.

@inproceedings{math-dsvis,
   title = {Mathematical Mathematical User Interfaces},
   author = {Harold Thimbleby and Will Thimbleby},
   abstract = {We can consider a calculator together with its user make a Turing Complete system; in this sense, all calculators are mathematically equivalent and therefore mathematical user interfaces need not innovate beyond what is absolutely necessary. Typically, user interfaces are character-based and imperative, with mice used to select windows, and modes used to control the hidden complexities of the system.

Taking Mathematica and xThink as representatives of the state of the art in interactive mathematics, we show conventional mathematical user interfaces leave much to be desired, because they separate the mathematics from the context of the user interface, which remains as unmathematical as ever. 

We put the usability of such systems into mathematical perspective, and compare the conventional approach with our approach, as exemplified by True Calculator.},
   year = {2008},
   booktitle = {Proceedings Engineering Interactive Computer Systems --- EICS2007/{DSVIS} 2007},
   pages = {519--535},
   url = {http://cs.swan.ac.uk/~csharold/calculators/index.html},
   volume = {4940},
   location = {Salamanca, Spain},
   publisher = {Springer Verlag},
   series = {Lecture Notes in Computer Science},
   editor = {J. Gulliksen},
   doi = {10.1007/978-3-540-92698-6_31}
}

Graph theory provides a very substantial resource for a diverse range of quantitative and qualitative usability measures, which may be used for evaluating recovery from error, informing design tradeoffs, probing topics for user training, and so on. This paper gives many concrete examples based on the analysis of a real non-trivial interactive device, a medical syringe pump, itself implemented as a graph.

Graph theory is a straight-forward, practical and flexible way to implement and analyse real interactive systems. Hence, graph theory complements other approaches to formal HCI, such as theorem proving and model checking, which have a less direct relation to interaction.

@inproceedings{graph-dsvis,
   title = {Applying Graph Theory to Interaction Design},
   author = {Harold Thimbleby and Jeremy Gow},
   abstract = {Graph theory provides a very substantial resource for a diverse range of quantitative and qualitative usability measures, which may be used for evaluating recovery from error, informing design tradeoffs, probing topics for user training, and so on. This paper gives many concrete examples based on the analysis of a real non-trivial interactive device, a medical syringe pump, itself implemented as a graph. 

Graph theory is a straight-forward, practical and flexible way to implement and analyse {\emph{real\/}} interactive systems. Hence, graph theory complements other approaches to formal HCI, such as theorem proving and model checking, which have a less direct relation to interaction.},
   year = {2008},
   booktitle = {Proceedings Engineering Interactive Computer Systems --- EICS2007/DSVIS 2007},
   pages = {501--518},
   volume = {4940},
   publisher = {Springer Verlag},
   series = {Lecture Notes in Computer Science},
   editor = {J. Gulliksen},
   location = {Salamanca, Spain},
   doi = {10.1007/978-3-540-92698-6_30}
}

@article{HT303,
   title = {Driven to distraction?},
   author = {Harold Thimbleby},
   year = {19 August, 2008},
   aftertitle = {Letter},
   pages = {25},
   journal = {The Times}
}

@article{HT279,
   author = {Harold Thimbleby},
   year = {27 November, 2008},
   booktitle = {How to Think about Algorithms (by J.~Edmonds)},
   pages = {xv},
   journal = {Times Higher Education Supplement},
   url = {http://www.timeshighereducation.co.uk/story.asp?sectioncode=26&storycode=404472},
   number = {1873}
}

@inproceedings{hci3med-bcs,
   title = {Workshop on {HCI} for Medicine and Health Care ({HCI4MED})},
   author = {Harold Thimbleby and {\main{Andreas Holzinger}} and Russell Beale},
   year = {2008},
   booktitle = {Proceedings BCS HCI Conference, People and Computers},
   pages = {191--192},
   volume = {XXII.2},
   location = {Liverpool, England},
   publisher = {BCS}
}

@inproceedings{research-bcs,
   title = {Research Methods for {HCI}},
   author = {Harold Thimbleby and {\main{Anna Cox}} and {\main{Paul Cairns}} and Natalie Webb},
   year = {2008},
   booktitle = {Proceedings BCS HCI Conferences, People and Computers},
   pages = {221--222},
   volume = {XXII.2},
   location = {Liverpool, England},
   publisher = {BCS}
}

@article{HT280,
   author = {Harold Thimbleby},
   year = {27 November, 2008},
   booktitle = {Principles of Mobile Computing (by M.~Othman)},
   pages = {xv},
   journal = {Times Higher Education Supplement},
   url = {http://www.timeshighereducation.co.uk/story.asp?sectioncode=26&storycode=404471},
   number = {1873}
}

Papers in HCI play different roles, whether to inspire, solve industrial problems or further the science of HCI. There is a potential conflict between the different views, and a danger that different forms of validity are assumed by author and reader — deliberately or accidentally.

This paper reviews some of the issues in this complex area and makes practical recommendations. In particular, the paper introduces the term “cross-validity” to help make explicit the issues, problems and means to tackle them.

@inproceedings{validity-dsvis,
   title = {Validity and Cross-Validity in {HCI} publications},
   author = {Harold Thimbleby},
   abstract = {Papers in HCI play different roles, whether to inspire, solve industrial problems or further the science of HCI\@. There is a potential conflict between the different views, and a danger that different forms of validity are assumed by author and reader --- deliberately or accidentally. 

This paper reviews some of the issues in this complex area and makes practical recommendations. In particular, the paper introduces the term ``cross-validity'' to help make explicit the issues, problems and means to tackle them.},
   year = {2007},
   booktitle = {Proceedings The {XIII} International Workshop on Design, Specification and Verification of Interactive Systems --- {DSVIS} 2006},
   pages = {11--24},
   volume = {4323},
   publisher = {Springer Verlag},
   series = {Lecture Notes in Computer Science},
   editor = {G. Doherty and Ann Blandford},
   location = {Dublin, Ireland}
}

Usability evaluation methods are a battery of techniques for assessing the usability of interactive systems or of proposed interactive systems. This paper describes a new evaluation method, particularly appropriate for evaluating safety critical and high quality user interfaces. The method can also be used for informing HCI research. The method is applied when a specification is available of an interactive system, or when a system (or prototype) is working.

@inproceedings{walkthrough-dsvis,
   title = {Interaction Walkthrough: Evaluation of Safety Critical Interactive Systems},
   author = {Harold Thimbleby},
   abstract = {Usability evaluation methods are a battery of techniques for assessing the usability of interactive systems or of proposed interactive systems. This paper describes a new evaluation method, particularly appropriate for evaluating safety critical and high quality user interfaces. The method can also be used for informing HCI research. The method is applied when a specification is available of an interactive system, or when a system (or prototype) is working.},
   year = {2007},
   booktitle = {Proceedings The {XIII} International Workshop on Design, Specification and Verification of Interactive Systems --- {DSVIS} 2006},
   pages = {52--66},
   volume = {4323},
   publisher = {Springer Verlag},
   series = {Lecture Notes in Computer Science},
   editor = {G. Doherty and Ann Blandford},
   location = {Dublin, Ireland},
   doi = {10.1007/978-3-540-69554-7_5}
}

@inproceedings{fitts-fmis,
   title = {Using the Fitts Law with State Transition Systems to Find Optimal Task Timings},
   author = {Harold Thimbleby},
   year = {2007},
   booktitle = {Proceedings 2nd International Workshop on Formal Methods for Interactive Systems ({FMIS2007})},
   pages = {151--162},
   editor = {P. Curzon and A. Cerone},
   location = {Lancaster, England}
}

@inproceedings{utaut-bcs,
   title = {Validating the Unified Theory of Acceptance and Use of Technology ({UTAUT}) tool cross-culturally},
   author = {Harold Thimbleby and {\main{Lidia Oshlyansky}} and Paul Cairns},
   year = {2007},
   booktitle = {Proceedings British Computer Society {HCI} 2007 Conference},
   pages = {83--86},
   volume = {2}
}

The history of technology, as a discipline, supports alternate points of view termed internalist and externalist, which terms highlight an approximately similar division in points of view in HCI. Conventional HCI is externalist, rightly concerned with human-centered issues; but externalism risks ignoring important internalist issues. A successful human-computer system is better if it is successful from both perspectives. This discussion paper argues that the externalist view, while necessary and immensely useful, is not sufficient — and in the worst case, risks eclipsing innovation from internalist quarters.

@inproceedings{internalist-bcs,
   title = {Internalist and Externalist {HCI}},
   author = {Harold Thimbleby and Will Thimbleby},
   abstract = {The history of technology, as a discipline, supports alternate points of view termed internalist and externalist, which terms highlight an approximately similar division in points of view in HCI\@. Conventional HCI is externalist, rightly concerned with human-centered issues; but externalism risks ignoring important internalist issues. A successful human-computer system is better if it is successful from both perspectives. This discussion paper argues that the externalist view, while necessary and immensely useful, is not sufficient --- and in the worst case, risks eclipsing innovation from internalist quarters.},
   year = {2007},
   booktitle = {Proceedings British Computer Society {HCI} 2007 Conference},
   pages = {111--114},
   volume = {2},
   location = {Lancaster, England}
}

This short paper argues that references in user interfaces, in particular names and the values they denote, are often designed in a way that is incomplete and inconsistent thereby causing problems for users. This paper explores names and values through illustrations in order to clear the way for a more systematic approach to the design of names and reference.

@inproceedings{names-bcs,
   title = {Names and References in User Interfaces},
   author = {Harold Thimbleby and Michael D. Harrison},
   abstract = {This short paper argues that references in user interfaces, in particular names and the values they denote, are often designed in a way that is incomplete and inconsistent thereby causing problems for users. This paper explores names and values through illustrations in order to clear the way for a more systematic approach to the design of names and reference.},
   year = {2007},
   booktitle = {Proceedings British Computer Society {HCI} 2007 Conference},
   pages = {107--110},
   volume = {2},
   location = {Lancaster, England}
}

@article{HT193,
   title = {Computing is the new `Queen of Sciences'},
   author = {Harold Thimbleby and {\main{Y.~Wilks}} and 60 other authors},
   year = {February 23, 2007},
   pages = {14},
   journal = {The Times Higher Education Supplement}
}

@book{presson,
   title = {Press On --- Principles of Interaction Programming},
   author = {Harold Thimbleby},
   year = {2007},
   isbn = {978--0--262--20170--4},
   url = {http://mitpress.com/presson},
   highlight = {Choice Outstanding Academic Title, 2008. Winner, Computer and Information Sciences category, 2007 Professional/Scholarly Publishing Awards for Excellence Competition presented by the Association of American Publishers, Inc.},
   publisher = {MIT Press}
}

@unpublished{HT135,
   title = {{HCI} and Ethics},
   author = {Harold Thimbleby},
   year = {2007},
   booktitle = {{EPSRC} Loughborough Workshop on the Future of {HCI}}
}

@unpublished{HT134,
   title = {Models of Reactive Systems and Their Complex Interactive Behaviour},
   author = {Harold Thimbleby},
   year = {2007},
   booktitle = {Brain Computer Interaction: {PASCAL} Workshop 2007---{BCI} Meets {HCI}},
   aftertitle = {Keynote}
}

@article{HT236,
   title = {Hands off those joysticks},
   author = {Harold Thimbleby},
   year = {12 January, 2007},
   booktitle = {Computer Games: Text, Narrative and Play (by D.~Carr, D.~Buckingham and G.~Schott)},
   pages = {22},
   journal = {Times Higher Education Supplement},
   url = {http://www.timeshighereducation.co.uk/story.asp?sectioncode=4&storycode=207461},
   number = {xxxx}
}

@inproceedings{HT114,
   title = {User-centered Methods are Insufficient for Safety Critical Systems},
   author = {Harold Thimbleby},
   year = {2007},
   booktitle = {{USAB'07} --- Usability {\&} {HCI} for Medicine and Health Care},
   aftertitle = {Keynote},
   pages = {1--20},
   volume = {4799},
   editor = {Andreas Holzinger},
   publisher = {Springer Verlag},
   series = {Lecture Notes in Computer Science},
   location = {Graz, Austria}
}

Even simple interactive devices have many usability and safety problems. This talk reviews some of those problems, and how they can be detected either in design (using formal methods) or by getting feedback from users (using new digital story telling techniques).

@techreport{HT304,
   title = {Problems and solutions with ``simple'' interactive devices},
   author = {Harold Thimbleby},
   abstract = {Even simple interactive devices have many usability and safety problems. This talk reviews some of those problems, and how they can be detected either in design (using formal methods) or by getting feedback from users (using new digital story telling techniques).},
   year = {19 January, 2007},
   video = {http://hci.stanford.edu/courses/cs547/speaker.php?date=2007-01-19},
   series = {Stanford University, CS~47: Seminar on People, Computers and Design}
}

@unpublished{HT138,
   title = {The Computer Science of Everyday Things},
   author = {Harold Thimbleby},
   year = {2006},
   booktitle = {Faculty Lecture},
   aftertitle = {Keynote},
   location = {Glasgow University}
}

@unpublished{HT139,
   title = {Digital Stories},
   author = {Harold Thimbleby},
   year = {2006},
   booktitle = {ESRC Workshop on Universal Access},
   aftertitle = {Keynote},
   location = {London}
}

@unpublished{HT137,
   title = {Highly interactive mathematical user interfaces},
   author = {Harold Thimbleby},
   year = {2006},
   booktitle = {Mathematical User-Interfaces Workshop, Fifth Mathematical Knowledge Management Conference},
   aftertitle = {Keynote}
}

@unpublished{HT136,
   title = {The Lansdown Lecture},
   author = {Harold Thimbleby},
   year = {2006},
   location = {London}
}

@unpublished{inaugural-fmis,
   title = {Making Formal Methods Work in {HCI}},
   author = {Harold Thimbleby},
   year = {2006},
   booktitle = {1st International Workshop on Formal Methods for Interactive Systems},
   aftertitle = {Keynote},
   location = {Macau}
}

@unpublished{HT140,
   title = {Series of 3 lectures},
   author = {Harold Thimbleby},
   year = {2006},
   booktitle = {Distinguished Lecture Series},
   location = {Department of Computer Science, St.\ Andrews University}
}

@article{HT237,
   title = {How you can make a real killing in virtual universes},
   author = {Harold Thimbleby},
   year = {9 June, 2006},
   booktitle = {Synthetic Worlds: The Business and Culture of Online Games (by E.~Castronova)},
   pages = {35},
   journal = {Times Higher Education Supplement},
   number = {1746}
}

@techreport{calc-patent,
   title = {Interactive Display},
   author = {Harold Thimbleby and Will Thimbleby},
   year = {2006},
   aftertitle = {Licence granted to Promethean Ltd, 2007},
   journal = {A novel user interface},
   series = {UK Patent No. 0512865.7 (subsequently patented in Australia, Europe, New Zealand and the USA)}
}

@inproceedings{HT43,
   title = {Automatic Critiques of Interface Modes},
   author = {Harold Thimbleby and {\main{Jeremy Gow}} and Paul Cairns},
   year = {2006},
   booktitle = {Proceedings Interactive Systems, Design, Specification, and Verification 12th. International Workshop --- DSVIS 2005},
   note = {Revised Papers},
   pages = {201--212},
   volume = {3941},
   publisher = {Springer Verlag},
   series = {Lecture Notes in Computer Science},
   editor = {S. W. Gilroy and Michael D. Harrison},
   location = {Newcastle, England},
   issn = {0302--9743}
}

@inproceedings{hofstede-bcs,
   title = {A Cautionary Tale: Hofstede's {VSM} Revisited},
   author = {Harold Thimbleby and {\main{Lidia Oshlyansky}} and Paul Cairns},
   year = {2006},
   booktitle = {Proceedings of British Computer Society Human Computer Interaction Conference},
   pages = {11--15},
   volume = {2},
   location = {Edinburgh, Scotland}
}

@article{HT305,
   title = {Is it worth banning TV standby buttons?},
   author = {Harold Thimbleby},
   year = {17 July, 2006},
   aftertitle = {Letter},
   pages = {18},
   journal = {The Times}
}

@inproceedings{HT44,
   title = {Applying Bohm's ideas in the age of intelligent environments},
   author = {Harold Thimbleby},
   year = {2006},
   booktitle = {Proceedings International Symposium on Intelligent Environments},
   pages = {27--33},
   location = {Cambridge, England}
}

@inproceedings{HT105,
   title = {Weapons of Maths Construction},
   author = {Harold Thimbleby and Will Thimbleby},
   year = {2005},
   booktitle = {Royal Society Summer Science Exhibition},
   url = {http://cs.swan.ac.uk/calculators},
   location = {London \& Mumbai}
}

@unpublished{HT141,
   title = {Weapons of maths construction},
   author = {Harold Thimbleby},
   year = {2005},
   booktitle = {BT Science and Technology Seminar}
}

@inproceedings{lost2-bcs,
   title = {Lost --- or Liberated? --- Without Theory},
   author = {Harold Thimbleby and J. Gulliksen and I. Boivie and L. Bannon and Lidia Oshlyansky},
   year = {2005},
   booktitle = {Proceedings 19th. British Computer Society {HCI} Conference},
   pages = {299--301},
   volume = {2},
   editor = {L. MacKinnon and O. Bertelsen and N. Bryan-Kinns},
   publisher = {British Computer Society},
   location = {Edinburgh, Scotland}
}

@inproceedings{will-bcs,
   title = {A Novel Gesture-Based Calculator and Its Design Principles},
   author = {Harold Thimbleby and {\main{Will Thimbleby}}},
   year = {2005},
   booktitle = {Proceedings 19th. British Computer Society {HCI} Conference},
   pages = {27--32},
   url = {http://cs.swan.ac.uk/~csharold/calculators/index.html},
   volume = {2},
   editor = {L. MacKinnon and O. Bertelsen and N. Bryan-Kinns},
   publisher = {British Computer Society},
   location = {Edinburgh, Scotland}
}

@inproceedings{auto-dsvis,
   title = {Automatic Critiques of Interface Modes},
   author = {Harold Thimbleby and {\main{Jeremy Gow}} and Paul Cairns},
   year = {2005},
   booktitle = {Proceedings 12th International Workshop on Design, Specification and Verification of Interactive Systems --- {DSVIS} 2005},
   pages = {189--200},
   volume = {3941},
   publisher = {Springer Verlag},
   series = {Lecture Notes in Computer Science},
   editor = {S. W. Gilroy and Michael D. Harrison}
}

@article{news1,
   title = {La pi{\`u} grande opportunit{\`a} del mondo},
   author = {Harold Thimbleby},
   year = {2005},
   pages = {5--6},
   journal = {Spoletosceinza},
   volume = {XVII},
   number = {30}
}

@inbook{HT194,
   title = {Weapons of Maths Construction},
   author = {Harold Thimbleby and W.~Thimbleby},
   year = {2005},
   booktitle = {Royal Society Summer Science Exhibition Guide},
   pages = {6--7}
}

@unpublished{HT142,
   title = {Weapons of maths construction},
   author = {Harold Thimbleby},
   year = {2005},
   booktitle = {Computing Science New Year Lecture},
   location = {Glasgow University}
}

@inproceedings{lost-bcs,
   title = {Lost --- or Liberated? --- Without Theory},
   author = {Harold Thimbleby and J. Gulliksen and I. Boivie and L. Bannon and Lidia Oshlyansky},
   year = {2005},
   booktitle = {Proceedings 19th. British Computer Society {HCI} Conference},
   pages = {344},
   volume = {2},
   editor = {L. MacKinnon and O. Bertelsen and N. Bryan-Kinns},
   publisher = {British Computer Society},
   location = {Edinburgh, Scotland}
}

@inproceedings{HT45,
   title = {Designing for Usability},
   author = {Harold Thimbleby},
   year = {2005},
   booktitle = {CIRCUA ESRC Conference}
}

@article{HT243,
   title = {Give your computer's {IQ} a boost},
   author = {Harold Thimbleby},
   year = {9 May, 2004},
   booktitle = {Journal of Machine Learning Research},
   journal = {Times Higher Education Supplement},
   url = {http://www.timeshighereducation.co.uk/story.asp?sectioncode=26&storycode=176549}
}

@inproceedings{gow-cadui2,
   title = {Computer Algebra in Interface Design Research},
   author = {Harold Thimbleby and Jeremy Gow},
   year = {2004},
   booktitle = {Proceedings of the Fifth ACM International Conference on Computer-Aided Design of User Interfaces --- {CADUI}'2004},
   location = {Funchal, Madeira}
}

Tools to design, analyse and evaluate user interfaces can be used in user interface design research and in interface modelling research. This demonstration shows two working systems: one in Mathematica that is mathematically sophisticated, and one as a ‘conventional’ rapid application development environment, where the mathematics is hidden, and which could form the basis of a professional design tool — but which is based rigorously on the same algebraic formalism.

@inproceedings{gow-cadui3,
   title = {Computer Algebra in Interface Design Research},
   author = {Harold Thimbleby and Jeremy Gow},
   abstract = {Tools to design, analyse and evaluate user interfaces can be used in user interface design research and in interface modelling research. This demonstration shows two working systems: one in Mathematica that is mathematically sophisticated, and one as a `conventional' rapid application development environment, where the mathematics is hidden, and which could form the basis of a professional design tool --- but which is based rigorously on the same algebraic formalism.},
   year = {2004},
   booktitle = {Proceedings 2004 {ACM/SIGCHI} International Conference on Intelligent User Interfaces --- {IUI}'04},
   pages = {366--367},
   isbn = {1-58113-815-6},
   url = {http://doi.acm.org/10.1145/964442.964537},
   editor = {N. J. Nunes and C. Rich},
   location = {Funchal, Madeira}
}

@article{HT241,
   author = {Harold Thimbleby},
   year = {2004},
   booktitle = {Object Orientated Macromedia Flash {MX} (by W.~Drol)},
   url = {http://www.ics.heacademy.ac.uk/publications/book_reviews/full_review.php?id=115}
}

@article{HT242,
   title = {Dip Your Toes into Wet Computing},
   author = {Harold Thimbleby},
   year = {16 July, 2004},
   booktitle = {Molecular Computing (edited by T.~Sienko, A.~Adamatzky, N.~G.~Rambidi {\&} M.~Conrad)},
   pages = {26},
   journal = {Times Higher Education Supplement},
   url = {http://www.timeshighereducation.co.uk/story.asp?sectioncode=4&storycode=190093},
   number = {1649}
}

@techreport{HT328,
   title = {Computer Circles},
   author = {Harold Thimbleby},
   year = {26 February, 2004},
   url = {http://www.harold.thimbleby.net/lisp},
   series = {Gresham College},
   video = {http://www.gresham.ac.uk/lectures-and-events/computer-circles}
}

@unpublished{HT144,
   title = {Quality Research and Ethics},
   author = {Harold Thimbleby},
   year = {2004},
   booktitle = {EPSRC `EQUAL' Conference},
   aftertitle = {Keynote},
   location = {London}
}

It is usually very hard, both for designers and users, to reason reliably about user interfaces. This paper shows that ‘push button’ and ‘point and click’ user interfaces are algebraic structures. Users effectively do matrix algebra when they interact, and therefore we can be precise about some important issues of usability. Matrices, in particular, are useful for explicit calculation and for proof of various user interface properties.

With matrix algebra, we are able to undertake with ease unusally thorough reviews of real user interfaces: this paper examines a mobile phone, a handheld calculator and a digital multimeter as case studies. All difficulties in applying the approach correspond to awkward or avoidable complexities in the user interfaces being modelled: using matrix algebra in design therefore encourages designers to avoid such user interface complexities.

@article{matrix-tochi,
   title = {User Interface Design with Matrix Algebra},
   author = {Harold Thimbleby},
   abstract = {It is usually very hard, both for designers and users, to reason reliably about user interfaces. This paper shows that `push button' and `point and click' user interfaces are algebraic structures. Users effectively do matrix algebra when they interact, and therefore we can be precise about some important issues of usability. Matrices, in particular, are useful for explicit calculation and for proof of various user interface properties. 

With matrix algebra, we are able to undertake with ease unusally thorough reviews of real user interfaces: this paper examines a mobile phone, a handheld calculator and a digital multimeter as case studies. All difficulties in applying the approach correspond to awkward or avoidable complexities in the user interfaces being modelled: using matrix algebra in design therefore encourages designers to avoid such user interface complexities.},
   year = {2004},
   pages = {181--236},
   journal = {ACM Transactions on Computer-Human Interaction},
   url = {http://cs.swan.ac.uk/~csharold/matrixweb/index.html},
   volume = {11},
   doi = {10.1145/1005361.1005364},
   number = {2}
}

@unpublished{HT143,
   title = {Knowing Computer Technology},
   author = {Harold Thimbleby},
   year = {2004},
   booktitle = {Christians in Science Annual Conference},
   aftertitle = {Keynote}
}

@article{HT306,
   title = {Don't Ditch Lectures 2},
   author = {Harold Thimbleby},
   year = {2 April, 2004},
   aftertitle = {Letter},
   journal = {Times Higher Education Supplement}
}

This series of Geometry Lectures looked at all aspects of computer science, from how it works, how we can teach it better, what the exciting issues are, and what the future research questions should be. We’ve explored some very exciting areas, and we have covered some of the areas that are exciting, but often misunderstood. This final lecture of series, turned to how the computer science community itself works. * Where do all these ideas come from? * How reliable are they? * And, how can we do even better?

@techreport{HT327,
   title = {Better Programming},
   author = {Harold Thimbleby},
   abstract = {This series of Geometry Lectures looked at all aspects of computer science, from how it works, how we can teach it better, what the exciting issues are, and what the future research questions should be. We've explored some very exciting areas, and we have covered some of the areas that are exciting, but often misunderstood. This final lecture of series, turned to how the computer science community itself works. * Where do all these ideas come from? * How reliable are they? * And, how can we do even better?},
   year = {13 May, 2004},
   series = {Gresham College},
   video = {http://www.gresham.ac.uk/lectures-and-events/better-programming}
}

@inproceedings{integrating,
   title = {Integrating Information Seeking and Structuring: Exploring the Role of Spatial Hypertext in a Digital Library},
   author = {Harold Thimbleby and {\main{George Buchanan}} and Ann Blandford and M. Jones},
   year = {2004},
   booktitle = {Proceedings Hypertext 2004, Fifteenth {ACM} Conference on Hypertext and Hypermedia --- HT04},
   pages = {225--234},
   highlight = {Winner of Ted Nelson Newcomer Award}
}

@inproceedings{gow-cadui,
   title = {{MAUI}: An Interface Design Tool Based on Matrix Algebra},
   author = {Harold Thimbleby and Jeremy Gow},
   year = {2004},
   booktitle = {Proceedings of the Fifth ACM International Conference on Computer-Aided Design of User Interfaces IV --- {CADUI}'2004},
   pages = {81--94},
   isbn = {1--4020--3145--9},
   url = {http://cs.swan.ac.uk/~csharold/matrixweb/index.html},
   editor = {R. J. K. Jacob and Q. Limbourg and J. Vanderdonckt},
   publisher = {Kluwer Aacedmic Publishers},
   location = {Funchal, Maderia}
}

@inproceedings{wali-bcs,
   title = {Evaluating a Novel Calculator Interface},
   author = {Harold Thimbleby and Paul Cairns and {\main{S. Wali}}},
   year = {2004},
   booktitle = {Proceedings British Computer Society {HCI} Conference},
   pages = {9--12},
   volume = {2},
   editor = {A. Dearden and L. Watts},
   publisher = {Research Press International}
}

@inproceedings{careers-bcs,
   title = {Effective and Enjoyable Research Careers in {HCI}},
   author = {Harold Thimbleby},
   year = {2004},
   booktitle = {Proceedings British Computer Society {HCI} Conference},
   pages = {125--128},
   volume = {2},
   editor = {A. Dearden and L. Watts},
   publisher = {Research Press International}
}

@inproceedings{HT48,
   title = {Integrating Information Seeking and Structuring: Exploring the Role of Spatial Hypertexts in a Digital Library},
   author = {Harold Thimbleby and {\main{George Buchanan}} and Ann Blandford and M. Jones},
   year = {2004},
   booktitle = {Proceedings of the fifteenth ACM Conference on Hypertext and Hypermedia, HT'04},
   pages = {225--234},
   publisher = {ACM Press}
}

@inproceedings{HT47,
   title = {Supporting Information Structuring in a Digital Library},
   author = {Harold Thimbleby and {\main{George Buchanan}} and Ann Blandford and M. Jones},
   year = {2004},
   booktitle = {Proceedings {ECDL4}, European Conference on Digital Libraries},
   pages = {464--475},
   volume = {3232},
   publisher = {Springer Verlag},
   series = {Lecture Notes in Computer Science},
   editor = {R. Heery and L. Lyon}
}

@inproceedings{HT46,
   title = {Integrating information seeking and structuring: Exploring the role of spatial hypertext in a digital library},
   author = {Harold Thimbleby and {\main{George Buchanan}} and M. Jones and Ann Blandford},
   year = {2004},
   booktitle = {Proceedings of the fifteenth ACM Conference on Hypertext and Hypermedia --- HT04},
   pages = {225--234},
   journal = {Proceedings of the European Conference on Digital Libraries},
   location = {Santa Cruz, CA, USA}
}

@article{HT240,
   title = {Break the Shackles of Genes and Memes and Escape to Utopia of Rationality},
   author = {Harold Thimbleby},
   year = {8 October, 2004},
   booktitle = {The Robot's Rebellion (by K.~E.~Stanovich)},
   pages = {30--31},
   journal = {Times Higher Education Supplement},
   url = {http://www.timeshighereducation.co.uk/story.asp?sectioncode=4&storycode=191641},
   number = {1661}
}

@article{HT239,
   author = {Harold Thimbleby},
   year = {2004},
   booktitle = {Languages for Developing User Interfaces (edited by B.~A.~Myers)},
   journal = {Higher Education Academy, Book reviews},
   url = {http://www.ics.heacademy.ac.uk/publications/book_reviews/full_review.php?id=114}
}

@inproceedings{diverse-bcs,
   title = {Supporting Diverse {HCI} Research},
   author = {Harold Thimbleby},
   year = {2004},
   booktitle = {Proceedings British Computer Society {HCI} Conference},
   pages = {125--128},
   volume = {2},
   editor = {A. Dearden and L. Watts},
   publisher = {Research Press International}
}

Formal methods in HCI are important, especially for safety critical systems, and of course for providing theory to underpin research. But formal methods are notoriously difficult, and the complexity of interactive systems that can be rigorously handled is limited. This paper shows how modern computer algebra systems can do some impressive mathematics that helps enormously in certain relevant areas of formalisation, such as in task/action mapping. Apart from learning how to use a computer algebra system, there is negligible craft knowledge — a new formal technique, as such, does not have to be learnt. One of the breakthroughs is the ability to generate formal interaction specifications, explore and generate theorems, from straight-forwardly programmed runnable animations; conventional iterative design can modify these implementations, and we can then automatically re-run the formal analyses.

@inproceedings{ca-bcs,
   title = {Computer Algebra in User Interface Design Analysis},
   author = {Harold Thimbleby},
   abstract = {Formal methods in {HCI} are important, especially for safety critical systems, and of course for providing theory to underpin research. But formal methods are notoriously difficult, and the complexity of interactive systems that can be rigorously handled is limited. This paper shows how modern computer algebra systems can do some impressive mathematics that helps enormously in certain relevant areas of formalisation, such as in task/action mapping. Apart from learning how to use a computer algebra system, there is negligible craft knowledge --- a new formal technique, as such, does not have to be learnt. One of the breakthroughs is the ability to generate formal interaction specifications, explore and generate theorems, from straight-forwardly programmed runnable animations; conventional iterative design can modify these implementations, and we can then automatically re-run the formal analyses.},
   year = {2004},
   booktitle = {Proceedings British Computer Society {HCI} Conference},
   pages = {121--124},
   url = {http://cs.swan.ac.uk/~csharold/CA/index.html},
   volume = {2},
   editor = {A. Dearden and L. Watts},
   publisher = {Research Press International}
}

@article{HT238,
   title = {Nature lessons for computers},
   author = {Harold Thimbleby},
   year = {22 April, 2004},
   booktitle = {Imitation of Life (by N.~Forbes)},
   pages = {30},
   journal = {Times Higher Education Supplement},
   number = {1688}
}

@inproceedings{misleading-bcs,
   title = {Misleading Behaviour in Interactive Systems},
   author = {Harold Thimbleby and Jeremy Gow and Paul Cairns},
   year = {2004},
   booktitle = {Proceedings British Computer Society {HCI} Conference},
   pages = {33--36},
   volume = {2},
   editor = {A. Dearden and L. Watts},
   publisher = {Research Press International}
}

@inproceedings{affordance-nordichi,
   title = {Breaking Affordance: Culture as Context},
   author = {Harold Thimbleby and {\main{Lidia Oshlyansky}} and Paul Cairns},
   year = {October 23-27, 2004},
   booktitle = {Proceedings of 3rd. Nordic {ACM} Conference on Computer-Human Interaction --- NordiChi 2004},
   pages = {81--84},
   location = {Tampere, Finland}
}

Modern cryptography can achieve levels of security and authentication that non-specialists find literally incredible. Techniques including information-hiding protocols, zero-knowledge proofs and public key cryptosystems can be used to support applications like digital signatures, digital cash, on-line poker and secure voting in ways that are provably secure — far more secure than the traditional systems they replace. This paper describes simple versions of such applications that have been used to give school-children and the general public a broad understanding of what can be achieved, and how.

The material has been extensively and successfully used by the authors in schools, science festivals and with undergraduates, and even postgraduate specialists.

@article{HT1,
   title = {Explaining Cryptographic Systems},
   author = {Harold Thimbleby and T. Bell and M. Fellows and I. Witten and N. Koblitz and M. Powell},
   abstract = {Modern cryptography can achieve levels of security and authentication that non-specialists find literally incredible. Techniques including information-hiding protocols, zero-knowledge proofs and public key cryptosystems can be used to support applications like digital signatures, digital cash, on-line poker and secure voting in ways that are provably secure --- far more secure than the traditional systems they replace. This paper describes simple versions of such applications that have been used to give school-children and the general public a broad understanding of what can be achieved, and how. 

The material has been extensively and successfully used by the authors in schools, science festivals and with undergraduates, and even postgraduate specialists.},
   year = {2003},
   pages = {199--215},
   journal = {Computers {\&} Education},
   volume = {40},
   doi = {10.1016/S0360-1315(02)00102-1},
   number = {3}
}

The Chinese Postman Problem has many applications, including robot exploration, and analysing interactive system and Web site usability. This paper reviews the wide range of applications of the problem and presents complete, executable code to solve it for the case of directed multigraphs. A variation called the “open Chinese Postman Problem” is also introduced and solved. Although optimizations are possible, no substantially better algorithms are likely.

@article{dcc-spae,
   title = {The Directed Chinese Postman Problem},
   author = {Harold Thimbleby},
   abstract = {The Chinese Postman Problem has many applications, including robot exploration, and analysing interactive system and Web site usability. This paper reviews the wide range of applications of the problem and presents complete, executable code to solve it for the case of directed multigraphs. A variation called the ``open Chinese Postman Problem'' is also introduced and solved. Although optimizations are possible, no substantially better algorithms are likely.},
   year = {2003},
   pages = {1081--1096},
   journal = {Software --- Practice {\&} Experience},
   url = {http://cs.swan.ac.uk/~csharold/cpp/index.html},
   volume = {33},
   doi = {10.1002/spe.540},
   number = {11}
}

A simple and efficient insert sort algorithm is presented in Java.

This paper uses warping (automatic code inclusion from actual program source) to ensure reliability of the published code; the code extracts in this paper are guaranteed compiled, run and tested. The preceding paper in this journal discusses both the tool warp and its rationale.

@article{warpsort-spae,
   title = {An Improved Insert Sort Algorithm},
   author = {Harold Thimbleby and O. Nevalainen and T. Raita},
   abstract = {A simple and efficient insert sort algorithm is presented in Java.

This paper uses warping (automatic code inclusion from actual program source) to ensure reliability of the published code; the code extracts in this paper are guaranteed compiled, run and tested. The preceding paper in this journal discusses both the tool warp and its rationale.},
   year = {2003},
   pages = {909--1001},
   journal = {Software --- Practice {\&} Experience},
   url = {http://cs.swan.ac.uk/~csharold/warp/index.html},
   volume = {33},
   number = {10}
}

@article{web-iwc,
   title = {Improving Web Search on Small Screen Devices},
   author = {Harold Thimbleby and {\main{M. Jones}} and George Buchanan},
   year = {2003},
   pages = {479--495},
   journal = {Interacting with Computers},
   volume = {15},
   doi = {10.1016/S0953-5438(03)00036-5},
   number = {4}
}

@techreport{HT334,
   title = {Designing for Humans},
   author = {Harold Thimbleby and Ann Blandford},
   year = {13 February, 2003},
   series = {Gresham College},
   video = {http://www.gresham.ac.uk/lectures-and-events/designing-for-humans}
}

This article describes a simplified cryptographic machine, based closely on the World War II Enigma. This ‘reduced Enigma’ exposes some of the design flaws of the original Enigma in a new way. Had the Axis powers built a reduced Enigma, the outcome of the war might have been different.

A fully working reduced Enigma has been used very successfully in numerous public lectures, in school talks, and in university seminars. Hands-on demonstrations of the reduced Enigma dramatically brings alive ideas about design, codes, permutations and groups. As a working trapdoor function, the reduced Enigma also provides an unusually clear introduction to public key cryptography. This article provides background information, lecture suggestions, and details for building it.

@article{enigma,
   title = {The Reduced Enigma},
   author = {Harold Thimbleby},
   abstract = {This article describes a simplified cryptographic machine, based closely on the World War II Enigma. This `reduced Enigma' exposes some of the design flaws of the original Enigma in a new way. Had the Axis powers built a reduced Enigma, the outcome of the war might have been different.

A fully working reduced Enigma has been used very successfully in numerous public lectures, in school talks, and in university seminars. Hands-on demonstrations of the reduced Enigma dramatically brings alive ideas about design, codes, permutations and groups. As a working trapdoor function, the reduced Enigma also provides an unusually clear introduction to public key cryptography. This article provides background information, lecture suggestions, and details for building it.},
   year = {2003},
   pages = {624--642},
   journal = {Computers {\&} Security},
   url = {http://cs.swan.ac.uk/~csharold/enigma/index.html},
   volume = {22},
   number = {7},
   doi = {10.1016/S0167-4048(03)00712-0}
}

@techreport{HT335,
   title = {Designing Microwave Cookers},
   author = {Harold Thimbleby},
   year = {26 January, 2003},
   series = {Gresham College},
   video = {http://www.gresham.ac.uk/lectures-and-events/designing-microwave-cookers}
}

@techreport{HT333,
   title = {From Lego, Java and Mathematica to feature interaction},
   author = {Harold Thimbleby},
   year = {13 March, 2003},
   series = {Gresham College},
   video = {http://www.gresham.ac.uk/lectures-and-events/designing-anything-from-lego-to-maths}
}

Symmetric things are often more attractive. Symmetry is also a geometric idea: things may have reflection symmetry or rotational symmetry, and so on. What better way to end this series of Geometry lectures on design than by showing how the design of interactive devices, like mobile phones, relates back to symmetry? Symmetry makes a versatile link between human perception and what interactive devices should be designed to do; it makes a constructive link between what is attractive and natural and what is easy to use.

@techreport{HT332,
   title = {Design by Symmetry},
   author = {Harold Thimbleby},
   abstract = {Symmetric things are often more attractive. Symmetry is also a geometric idea: things may have reflection symmetry or rotational symmetry, and so on. What better way to end this series of Geometry lectures on design than by showing how the design of interactive devices, like mobile phones, relates back to symmetry? Symmetry makes a versatile link between human perception and what interactive devices should be designed to do; it makes a constructive link between what is attractive and natural and what is easy to use.},
   year = {27 March, 2003},
   series = {Gresham College},
   video = {http://www.gresham.ac.uk/lectures-and-events/design-by-symmetry}
}

@techreport{HT330,
   title = {Magic Pictures},
   author = {Harold Thimbleby},
   year = {30 October, 2003},
   url = {http://cs.swan.ac.uk/~csharold/sirds/index.html},
   series = {Gresham College},
   video = {http://www.gresham.ac.uk/lectures-and-events/magic-pictures}
}

@techreport{HT331,
   title = {Unplugging Computers},
   author = {Harold Thimbleby},
   year = {9 October, 2003},
   series = {Gresham College},
   video = {http://www.gresham.ac.uk/lectures-and-events/unplugging-computers}
}

@techreport{HT329,
   title = {Plugging Computers In},
   author = {Harold Thimbleby},
   year = {27 November, 2003},
   series = {Gresham College},
   video = {http://www.gresham.ac.uk/lectures-and-events/plugging-computers-in}
}

Ensuring integrity between code and published papers so that algorithms can be written about reliably, whether for explaining them in scientific papers or books, requires automatic tool support. A versatile, light-weight approach that is easy to use is described.

(A Java implementation is available that works with Java, C and similar languages, and provides support for explanations in LaT_EX, XML, HTML, etc.)

@article{warp-spae,
   title = {Explaining Code for Publication},
   author = {Harold Thimbleby},
   abstract = {Ensuring integrity between code and published papers so that algorithms can be written about reliably, whether for explaining them in scientific papers or books, requires automatic tool support. A versatile, light-weight approach that is easy to use is described. 

(A Java implementation is available that works with Java, C and similar languages, and provides support for explanations in {\LaTeX}, XML, HTML, etc.)},
   year = {2003},
   pages = {975--1001},
   journal = {Software --- Practice {\&} Experience},
   url = {http://cs.swan.ac.uk/~csharold/warp/index.html},
   volume = {33},
   doi = {10.1002/spe.537},
   number = {10}
}

@article{HT245,
   author = {Harold Thimbleby},
   year = {2003},
   booktitle = {Concepts in Programming Languages (by J.~C.~Mitchell)},
   journal = {Higher Education Academy, Book reviews},
   url = {http://www.ics.heacademy.ac.uk/publications/book_reviews/full_review.php?id=125}
}

@article{HT244,
   title = {Biologists' Lives Full of Worrying Words},
   author = {Harold Thimbleby},
   year = {25 April, 2003},
   booktitle = {Making Sense of Life (by E.~F.~Keller)},
   pages = {30},
   journal = {Times Higher Education Supplement},
   url = {http://www.timeshighereducation.co.uk/story.asp?sectioncode=31&storycode=176229},
   number = {1586}
}

@inproceedings{traps-bcs,
   title = {Understanding Interaction Traps},
   author = {Harold Thimbleby and {\main{Ann Blandford}} and N. Bryan-Kinns},
   year = {2003},
   booktitle = {Proceedings of BCS {HCI2--3}: Designing for Society},
   pages = {57--60},
   volume = {2}
}

@article{HT2,
   title = {Data Structures in the Design of Interfaces},
   author = {Harold Thimbleby and {\main{G. Marsden}} and M. Jones and P. Gillary},
   year = {2002},
   pages = {132--140},
   journal = {Personal and Ubiquitous Computing},
   volume = {6},
   number = {2}
}

The continual failure of personal technology highlights the growing problem of obsolete, irreparable and non-recyclable toxic waste. Moore’s Law is a symptom of failure as much as a promise of better technology. Better design could avoid the problems.

@article{HT3,
   title = {Obituary for a Fax},
   author = {Harold Thimbleby and M. Jones},
   abstract = {The continual failure of personal technology highlights the growing problem of obsolete, irreparable and non-recyclable toxic waste. Moore's Law is a symptom of failure as much as a promise of better technology. Better design could avoid the problems.},
   year = {2002},
   pages = {151--152},
   journal = {Personal Technologies},
   volume = {6},
   number = {2}
}

Why were video recorders so difficult to use? Is there any hope for new gadgets like DVD players? What can we do about gadget complexity, and what can be learnt by approaching the design of gadgets mathematically? This lecture will show how video recorders, aircraft, the world wide web and user manuals are all interconnected.

@techreport{HT336,
   title = {Designing Gadgets},
   author = {Harold Thimbleby},
   abstract = {Why were video recorders so difficult to use? Is there any hope for new gadgets like DVD players? What can we do about gadget complexity, and what can be learnt by approaching the design of gadgets mathematically? This lecture will show how video recorders, aircraft, the world wide web and user manuals are all interconnected.},
   year = {26 September, 2002},
   series = {Gresham College},
   video = {http://www.gresham.ac.uk/lectures-and-events/designing-gadgets}
}

@inproceedings{HT50,
   title = {Spatial Hypertext as a Reader Tool in Digital Libraries},
   author = {Harold Thimbleby and {\main{George Buchanan}} and A. E. Blandford and M. Jones},
   year = {2002},
   booktitle = {Proceedings Visual Interfaces to Digital Libraries},
   pages = {13--24},
   volume = {2539},
   editor = {K. B{\"o}rner and C. Chen},
   publisher = {Springer Verlag},
   series = {Lecture Notes in Computer Science}
}

@article{HT248,
   title = {Put Life's Process into Your Program},
   author = {Harold Thimbleby},
   year = {8 February, 2002},
   booktitle = {Evolutionary Computation (edited by T.~B{\"a}ck, D.~B.~Fogel and Z.~Michalewicz)},
   pages = {34},
   journal = {Times Higher Education Supplement},
   number = {1524}
}

Symmetry is routinely used in visual design, but in fact is not just a visual concept. This paper explores how deeper symmetries in user interface implementations can be ‘reflected’ in the design of the user interface, and make them easier to use. This deeper application of symmetry for user interface design is related to affordance, and therefore makes that concept constructively applicable. Recommendations for programming better user interfaces are suggested.

“Symmetry, as wide or as narrow as you may define its meaning, is one idea by which man through the ages has tried to comprehend and create order, beauty, and perfection.” Hermann Weyl

@inproceedings{symmetry-avi,
   title = {Reflections on Symmetry},
   author = {Harold Thimbleby},
   abstract = {Symmetry is routinely used in visual design, but in fact is not just a visual concept. This paper explores how deeper symmetries in user interface implementations can be `reflected' in the design of the user interface, and make them easier to use. This deeper application of symmetry for user interface design is related to affordance, and therefore makes that concept constructively applicable. Recommendations for programming better user interfaces are suggested.

``Symmetry, as wide or as narrow as you may define its meaning, is one idea by which man through the ages has tried to comprehend and create order, beauty, and perfection.'' {\emph{Hermann Weyl\/}}},
   year = {2002},
   booktitle = {Proceedings IEEE/ACM Advanced Visual Interfaces --- AVI2002},
   aftertitle = {Keynote},
   pages = {28--33},
   location = {Venice, Italy}
}

Pressing buttons on a mobile phone chooses various functions, as if the phone’s functions are controlled by a code. Mobile phones are difficult to use almost entirely because their code is difficult to use. We can design a new code systematically, and using Huffman codes we can find one that is much faster and simpler than the manufacturer’s original code.

@techreport{HT337,
   title = {Designing Mobile Phones},
   author = {Harold Thimbleby},
   abstract = {Pressing buttons on a mobile phone chooses various functions, as if the phone's functions are controlled by a code. Mobile phones are difficult to use almost entirely because their code is difficult to use. We can design a new code systematically, and using Huffman codes we can find one that is much faster and simpler than the manufacturer's original code.},
   year = {28 November, 2002},
   series = {Gresham College},
   video = {http://www.gresham.ac.uk/lectures-and-events/designing-mobile-phones}
}

@techreport{HT338,
   title = {1,000 Years of Calculators},
   author = {Harold Thimbleby},
   year = {21 November, 2002},
   series = {Gresham College},
   video = {http://www.gresham.ac.uk/lectures-and-events/1000-years-of-calculators}
}

Keeping secrets is one of the earliest inventions of civilisation, and has become the science of cryptography. The World War II Enigma machine was just lots of scrambling, done in ways that could be understood in principle by a school child though it took daring and powerful computing to crack it. This lecture introduces the key ideas behind conventional cryptography, and explains why it is not good enough for modern applications such as international commerce on the Internet. The lecture also serves as an introduction to the following lecture (28 February, 2002) on modern cryptography.

@techreport{gresham-conventional-crypto,
   title = {Conventional Cryptography},
   author = {Harold Thimbleby},
   abstract = {Keeping secrets is one of the earliest inventions of civilisation, and has become the science of cryptography. The World War II Enigma machine was just lots of scrambling, done in ways that could be understood in principle by a school child though it took daring and powerful computing to crack it. This lecture introduces the key ideas behind conventional cryptography, and explains why it is not good enough for modern applications such as international commerce on the Internet. The lecture also serves as an introduction to the following lecture (28 February, 2002) on modern cryptography.},
   year = {21 February, 2002},
   video = {http://www.gresham.ac.uk/lectures-and-events/conventional-cryptography},
   series = {Gresham College}
}

@techreport{HT342,
   title = {Future Computers},
   author = {Harold Thimbleby},
   year = {24 January, 2002},
   series = {Gresham College},
   video = {http://www.gresham.ac.uk/lectures-and-events/future-computers}
}

Computers need not just automate what is already being done, but can do completely new things. In the 1970s a new form of cryptography was invented, which is usually presented as an esoteric application of number theory. This new cryptography is asymmetric, meaning that the coding and decoding methods are different. In fact, the basic ideas are easily explained using geometric arguments, and the amazing new applications of asymmetric methods — such as digital cash — become easy to understand.

@techreport{HT341,
   title = {Modern Cryptography},
   author = {Harold Thimbleby},
   abstract = {Computers need not just automate what is already being done, but can do completely new things. In the 1970s a new form of cryptography was invented, which is usually presented as an esoteric application of number theory. This new cryptography is asymmetric, meaning that the coding and decoding methods are different. In fact, the basic ideas are easily explained using geometric arguments, and the amazing new applications of asymmetric methods --- such as digital cash --- become easy to understand.},
   year = {28 February, 2002},
   series = {Gresham College},
   video = {http://www.gresham.ac.uk/lectures-and-events/modern-crytography}
}

@techreport{HT340,
   title = {Computer Viruses},
   author = {Harold Thimbleby},
   year = {21 March, 2002},
   series = {Gresham College},
   video = {http://www.gresham.ac.uk/lectures-and-events/computer-viruses}
}

When designing complex systems, it is standard systems engineering practice to carefully design the interfaces between subsystems. Yet when designing human/computer systems, the interface between human and system is not usually thought through in such terms. Instead, the human is often given wide access to arbitrary parts of the system, and the result is a complex human/computer system that fails in various ways.

We illustrate this argument with a case study of a public walk-up-and-use rail ticketing system. We show that the interaction imposed on the user is inappropriate to the user’s task needs; we show how user interface problems arise through access to organisational conventions that are of little interest to users. Furthermore, the wide interface is beyond the resources of the rail organisation to manage.

Conversely we show that an interface designed to hide irrelevant complexity (exactly as one would do approaching user interfaces as a systems engineering design problem) can have a beneficial impact on the user experience, including improving the reliability of the total system.

@inproceedings{ticket-bcs,
   title = {User Interface Design as Systems Design},
   author = {Harold Thimbleby and Ann Blandford and Paul Cairns and P. Curzon and M. Jones},
   abstract = {When designing complex systems, it is standard systems engineering practice to carefully design the interfaces between subsystems. Yet when designing human/computer systems, the interface between human and system is not usually thought through in such terms. Instead, the human is often given wide access to arbitrary parts of the system, and the result is a complex human/computer system that fails in various ways. 

We illustrate this argument with a case study of a public walk-up-and-use rail ticketing system. We show that the interaction imposed on the user is inappropriate to the user's task needs; we show how user interface problems arise through access to organisational conventions that are of little interest to users. Furthermore, the wide interface is beyond the resources of the rail organisation to manage. 

Conversely we show that an interface designed to hide irrelevant complexity (exactly as one would do approaching user interfaces as a systems engineering design problem) can have a beneficial impact on the user experience, including improving the reliability of the total system.},
   year = {2002},
   booktitle = {Proceedings People and Computers --- Memorable Yet Invisible},
   pages = {281--301},
   url = {http://cs.swan.ac.uk/~csharold/tvm},
   volume = {XVI},
   editor = {X. Faulkner and J. Finlay and F. D{\'e}tienne},
   publisher = {Springer Verlag},
   location = {London}
}

@techreport{HT339,
   title = {Design Creativity with Maths},
   author = {Harold Thimbleby},
   year = {26 September, 2002},
   series = {Gresham College}
}

HCI has some rich and suggestive ideas, like affordance and direct manipulation. Symmetry is a powerful explanation of why these concepts work, and it can be generalised to guide new design for more effective user interfaces.

@inproceedings{symmetry-ozchi,
   title = {Symmetry for Successful Interactive Systems},
   author = {Harold Thimbleby},
   abstract = {HCI has some rich and suggestive ideas, like affordance and direct manipulation. Symmetry is a powerful explanation of why these concepts work, and it can be generalised to guide new design for more effective user interfaces.},
   year = {2002},
   booktitle = {Proceedings ACM CHI New Zealand, OZCHI},
   aftertitle = {Keynote},
   pages = {1--9},
   editor = {S. Jones and M. Masoodian},
   location = {Waikato, New Zealand}
}

Small handheld devices — mobile phones, PDAs etc — are increasingly being used to access the Web. Search engines are the most used Web services and are an important user support. Recently, Google (and other search engine providers) have started to offer their services on the small screen.

This paper presents a detailed evaluation of the how easy to use such services are in these new contexts. An experiment was carried out to compare users’ abilities to complete realistic tourist orientated search tasks using a WAP, PDA-sized and conventional, desktop interface to the full Google index. With all three interfaces, when users succeed in completing a task, they do so quickly (within 2 to 3 minutes) and using few interactions with the search engine. When they fail, though, they fail badly. The paper examines the causes of failures in small screen searching and proposes guidelines for improving these interfaces.

@inproceedings{HT49,
   title = {Sorting out Searching on Small Screen Devices},
   author = {Harold Thimbleby and {\main{M. Jones}} and George Buchanan},
   abstract = {Small handheld devices --- mobile phones, PDAs etc --- are increasingly being used to access the Web. Search engines are the most used Web services and are an important user support. Recently, Google (and other search engine providers) have started to offer their services on the small screen.

This paper presents a detailed evaluation of the how easy to use such services are in these new contexts. An experiment was carried out to compare users' abilities to complete realistic tourist orientated search tasks using a WAP, PDA-sized and conventional, desktop interface to the full Google index. With all three interfaces, when users succeed in completing a task, they do so quickly (within 2 to 3 minutes) and using few interactions with the search engine. When they fail, though, they fail badly. The paper examines the causes of failures in small screen searching and proposes guidelines for improving these interfaces.},
   year = {2002},
   booktitle = {Proceedings 4th. International Symposium, Mobile Human-Computer Interaction {HCI} 2002},
   pages = {81--94},
   volume = {2411},
   publisher = {Springer Verlag},
   series = {Lecture Notes in Computer Science}
}

@inproceedings{HT51,
   title = {The New Usability: The Challenge of Designing for Pervasive Computing},
   author = {Harold Thimbleby and P. Thomas},
   year = {2002},
   booktitle = {Proceedings of the {ICCC2002}, 15th. International Conference on Computer Communication},
   pages = {382--388},
   editor = {S. V. Raghavan and S. P. Mudur}
}

@article{HT247,
   title = {We have a Lot to Learn from Ants},
   author = {Harold Thimbleby},
   year = {26 April, 2002},
   booktitle = {Digital Biology (by P.~Bentley)},
   pages = {28},
   journal = {Times Higher Education Supplement},
   number = {1535}
}

@article{HT246,
   title = {Keep it to Yourself},
   author = {Harold Thimbleby},
   year = {2002},
   booktitle = {Desktop Witness: The do's and don'ts of personal computer security (by M.~Caloyannides)},
   pages = {48},
   journal = {New Scientist},
   volume = {174},
   number = {2348}
}

@article{HT196,
   title = {Healthy {HCI}?},
   author = {Harold Thimbleby},
   year = {November/December, 2002},
   pages = {8},
   journal = {{ACM} {SIGCHI} Bulletin},
   doi = {10.1145/571740.571752},
   issn = {0736-6906}
}

@unpublished{HT145,
   title = {The Little Book of Research},
   author = {Harold Thimbleby},
   year = {2002},
   booktitle = {Leeds Metropolitan University Research Day},
   aftertitle = {Keynote}
}

@article{news2,
   title = {It simply adds up},
   author = {Harold Thimbleby},
   year = {October 2, 2002},
   journal = {The Independent}
}

@article{HT197,
   title = {The Computer Science of Everyday Things},
   author = {Harold Thimbleby},
   year = {2002},
   pages = {107--108},
   journal = {Mathematics Today},
   volume = {38},
   number = {4}
}

@article{HT198,
   title = {The Computer Science of Everyday Things},
   author = {Harold Thimbleby},
   year = {2002},
   pages = {328--330},
   journal = {Multimedia Information and Technology},
   volume = {27},
   number = {4}
}

@article{news4,
   title = {Not Everything Your Computer Does is Magical},
   author = {Harold Thimbleby},
   year = {January 7, 2002},
   pages = {4},
   journal = {The Independent, Monday Review},
   url = {http://www.independent.co.uk/opinion/commentators/harold-thimbleby--not-everything-your-computer-does-is-magical-662337.html}
}

@article{news3,
   title = {Overfed with Info},
   author = {Harold Thimbleby},
   year = {15 February, 2002},
   pages = {24},
   journal = {Church Times},
   number = {7251}
}

@article{HT307,
   title = {Higher Costs and Greater Gains 3},
   author = {Harold Thimbleby},
   year = {20 December, 2002},
   aftertitle = {Letter},
   pages = {15},
   journal = {Times Higher Education Supplement},
   number = {1569}
}

Moore’s Law predicts substantial, sustained improvement in computing power. Yet while the technology gets better and better, the usability of “everyday things” is low (video recorders being a notorious example). Obsolescence, a symptom of Moore’s Law, hides flawed design: poor products are replaced rather than fixed. The poor quality of the computer science of everyday things is continually eclipsed by the hope for fixing today’s problems with tomorrow’s developments. This lecture shows that computer science can improve usability with ease. Improvement will be essential when ethical and environmental issues become, as they will, unavoidable design criteria.

@techreport{gresham-last,
   title = {The Computer Science of Everyday Things},
   author = {Harold Thimbleby},
   abstract = {Moore's Law predicts substantial, sustained improvement in computing power. Yet while the technology gets better and better, the usability of ``everyday things'' is low (video recorders being a notorious example). Obsolescence, a symptom of Moore's Law, hides flawed design: poor products are replaced rather than fixed. The poor quality of the computer science of everyday things is continually eclipsed by the hope for fixing today's problems with tomorrow's developments. This lecture shows that computer science can improve usability with ease. Improvement will be essential when ethical and environmental issues become, as they will, unavoidable design criteria.},
   year = {15 October, 2001},
   series = {Gresham College},
   video = {http://www.gresham.ac.uk/lectures-and-events/the-computer-science-of-everyday-things}
}

Henry Briggs, the first Gresham Professor of Geometry, developed what we now call common logarithms to make multiplication easier. Nowadays few of us use logarithms because hand-held calculators make everything much easier. But do they? This lecture will show how bad many current calculators are, and it will show how ideas in computing science can circumvent many of their problems.

@techreport{HT343,
   title = {From Henry Briggs to Modern Calculators},
   author = {Harold Thimbleby},
   abstract = {Henry Briggs, the first Gresham Professor of Geometry, developed what we now call common logarithms to make multiplication easier. Nowadays few of us use logarithms because hand-held calculators make everything much easier. But do they? This lecture will show how bad many current calculators are, and it will show how ideas in computing science can circumvent many of their problems.},
   year = {29 November, 2001},
   series = {Gresham College},
   video = {http://www.gresham.ac.uk/lectures-and-events/from-henry-briggs-to-modern-calculators}
}

@article{HT250,
   title = {Free for All},
   author = {Harold Thimbleby},
   year = {2001},
   booktitle = {From Anarchy to Power (by W.~Grossman)},
   pages = {48},
   journal = {New Scientist},
   volume = {171},
   number = {2299}
}

@article{HT249,
   title = {{Da Vinci} Dissection Illuminates Conception},
   author = {Harold Thimbleby},
   year = {12 October, 2001},
   booktitle = {Visual Computing (by R.~M.~Friedhoff and M.~S.~Peercy)},
   pages = {34},
   journal = {Times Higher Education Supplement},
   number = {1508}
}

@article{HT251,
   title = {Seduced by the Simulated Life},
   author = {Harold Thimbleby},
   year = {2 February, 2001},
   booktitle = {Creation: Life and How to Make it (by S.~Grand)},
   pages = {27},
   journal = {Times Higher Education Supplement},
   number = {1472}
}

Technology is fashionable, wonderful and getting better; Moore’s Law predicts substantial, sustained improvement. Yet the usability of ‘everyday things’ is low (video recorders being a notorious example). It seems to follow that improvements must be sought in areas outside technology, such as human factors. But a premise is wrong: in fact, the technology — the embedded computer science — is appalling!

Obsolescence, a symptom of Moore’s Law, hides flawed design: poor products are replaced rather than fixed. The poor quality of the computer science of everyday things is eclipsed by the hope for fixing today’s problems with tomorrow’s consumption.

This paper reviews Moore’s Law and the usability of everyday things; it shows that professional computer science can improve usability with ease. Improvement will be essential when ethical and environmental issues become, as they will, unavoidable design criteria.

@inproceedings{HT115,
   title = {The Computer Science of Everyday Things},
   author = {Harold Thimbleby},
   abstract = {Technology is fashionable, wonderful and getting better; Moore's Law predicts substantial, sustained improvement. Yet the usability of `everyday things' is low (video recorders being a notorious example). It seems to follow that improvements must be sought in areas outside technology, such as human factors. But a premise is wrong: in fact, the technology --- the embedded computer science --- is appalling! 

Obsolescence, a symptom of Moore's Law, hides flawed design: poor products are replaced rather than fixed. The poor quality of the computer science of everyday things is eclipsed by the hope for fixing today's problems with tomorrow's consumption. 

This paper reviews Moore's Law and the usability of everyday things; it shows that professional computer science can improve usability with ease. Improvement will be essential when ethical and environmental issues become, as they will, unavoidable design criteria.},
   year = {2001},
   booktitle = {Proceedings of the 2nd. {IEEE} Australasian User Interface Conference --- AUIC'01},
   aftertitle = {Keynote},
   pages = {3--12},
   isbn = {0--7695--0969--Z},
   volume = {23},
   editor = {P. Calder and M. Rees},
   number = {5},
   location = {Australia}
}

Computer viruses are a worrying real-world problem, and a challenge to theoretical modelling. In this issue of the Computer Journal, Erkki Mäkinen proposes universal Turing machines in a critique of an earlier paper, “A framework for modelling Trojans and computer virus infection” (H. Thimbleby, S. O. Anderson and P. A. Cairns, Comp. J., 41(7):444–458, 1999). This short paper is a reply by those authors.

@article{comment-cj,
   title = {Reply to `Comment on ``A Framework for Modelling Trojans and Computer Virus Infection'', by E. M{\"a}kinen},
   author = {Harold Thimbleby and S. O. Anderson and P. A. Cairns},
   abstract = {Computer viruses are a worrying real-world problem, and a challenge to theoretical modelling. In this issue of the {\emph{Computer Journal}}, Erkki M{\"a}kinen proposes universal Turing machines in a critique of an earlier paper, ``A framework for modelling Trojans and computer virus infection'' (H. Thimbleby, S. O. Anderson and P. A. Cairns, {\emph{Comp. J.}}, {\textbf{41}}(7):444--458, 1999). This short paper is a reply by those authors.},
   year = {2001},
   pages = {324--325},
   journal = {Computer Journal},
   volume = {44},
   number = {4}
}

@article{news5,
   title = {Debating Government Control of the Internet},
   author = {Harold Thimbleby},
   year = {2001},
   journal = {Mots Pluriels et Grands Themes de Notre Temps},
   url = {http://www.arts.uwa.edu.au/MotsPluriels/MP1801ht.html},
   number = {18},
   issn = {1327 6220}
}

How hard do users find interactive devices to use to achieve their goals, and how can we get this information early enough to influence design?

We show that Markov modelling can obtain suitable measures, and we provide formulas that can be used for a large class of systems. We analyse and consider alternative designs for various examples. We introduce a “usability/knowledge graph,” and we show that a device that is “obviously” easy to use probably isn’t.

Markov models can be evaluated in suitable mathematical packages; Mathematica (one such package) can very conveniently simulate the device being evaluated: mathematical and empirical analysis may be combined. One would hope that in the future, design tools would include such mathematical analysis, and no new design skills would be required to evaluate devices. (This paper provides complete code in an Appendix.)

@article{markov-tochi,
   title = {Usability Analysis with Markov Models},
   author = {Harold Thimbleby and Paul Cairns and M. Jones},
   abstract = {How hard do users find interactive devices to use to achieve their goals, and how can we get this information early enough to influence design?

We show that Markov modelling can obtain suitable measures, and we provide formulas that can be used for a large class of systems. We analyse and consider alternative designs for various examples. We introduce a ``usability/knowledge graph,'' and we show that a device that is ``obviously'' easy to use probably isn't. 

Markov models can be evaluated in suitable mathematical packages; {\emph{Mathematica\/}} (one such package) can very conveniently simulate the device being evaluated: mathematical and empirical analysis may be combined. One would hope that in the future, design tools would include such mathematical analysis, and no new design skills would be required to evaluate devices. (This paper provides complete code in an Appendix.)},
   year = {2001},
   pages = {99--132},
   journal = {ACM Transactions on Computer-Human Interaction},
   url = {http://cs.swan.ac.uk/~csharold/Markov/index.html},
   volume = {8},
   number = {2}
}

User interfaces often only support one way to do a task when the physical interface or the logic of the task would permit other ways. In contrast, a user interface that supports multiple approaches is permissive. This paper argues that permissive user interfaces are easier to use — and even when they are not applicable for particular applications, considering permissiveness is a productive design heuristic.

@article{permissive-ijhcs,
   title = {Permissive User Interfaces},
   author = {Harold Thimbleby},
   abstract = {User interfaces often only support one way to do a task when the physical interface or the logic of the task would permit other ways. In contrast, a user interface that supports multiple approaches is {\emph{permissive\/}}. This paper argues that permissive user interfaces are easier to use --- and even when they are not applicable for particular applications, considering permissiveness is a productive design heuristic.},
   year = {2001},
   pages = {333--350},
   journal = {International Journal of Human-Computer Studies},
   volume = {54},
   number = {3}
}

Whilst it is generally accepted as a positive criterion, affordance only gives the weakest of hints for interactive systems designers. This paper shows how useful it is to consider affordance as a correspondence between program symmetries and user interface symmetries. Symmetries in state spaces (for instance, as might be visualised in statecharts) can be carried through to user interfaces and into user manuals, with beneficial results. Exploiting affordances, understood in this way, in addition to their well known user interface benefits, makes programs simpler and more reliable, and makes user manuals shorter.

@inproceedings{affordance-dsvis,
   title = {Affordance and Symmetry},
   author = {Harold Thimbleby},
   abstract = {Whilst it is generally accepted as a positive criterion, affordance only gives the weakest of hints for interactive systems designers. This paper shows how useful it is to consider affordance as a correspondence between program symmetries and user interface symmetries. Symmetries in state spaces (for instance, as might be visualised in statecharts) can be carried through to user interfaces and into user manuals, with beneficial results. Exploiting affordances, understood in this way, in addition to their well known user interface benefits, makes programs simpler and more reliable, and makes user manuals shorter.},
   year = {2001},
   booktitle = {Proceedings Interactive Systems: Design, Specification, and Verification, 8th. International Workshop --- DSVIS 2001},
   aftertitle = {Keynote},
   pages = {199--217},
   isbn = {3--540--42807--0},
   volume = {2220},
   editor = {C. Johnson},
   series = {Lecture Notes in Computer Science},
   publisher = {Springer Verlag},
   location = {Glasgow}
}

@inproceedings{symmetry-dsvis,
   title = {Symmetry as a Connection between Affordance and State Space},
   author = {Harold Thimbleby},
   year = {2001},
   booktitle = {Proceedings Design, Specification and Verification of Interactive Systems --- DSVIS 2001},
   aftertitle = {Keynote},
   pages = {10--19},
   editor = {C. Johnson},
   series = {GIST Technical Report, G2001-1},
   location = {Glasgow}
}

@unpublished{HT147,
   title = {Symmetry and Affordance},
   author = {Harold Thimbleby},
   year = {2001},
   booktitle = {Xootic Symposium on Pervasive Computing},
   aftertitle = {Keynote}
}

@unpublished{HT146,
   title = {Design Probes},
   author = {Harold Thimbleby},
   year = {2001},
   booktitle = {Xootic Symposium on Pervasive Computing},
   aftertitle = {Keynote}
}

@inproceedings{HT53,
   title = {Just Programming},
   author = {Harold Thimbleby and P. Duquenoy},
   year = {2001},
   booktitle = {Proceedings 5th. Ethicomp, The Social and Ethical Impacts of Information and Communication Technologies},
   pages = {83--91},
   editor = {T. W. Bynum and H. Krawczy and S. Rogerson and S. Szejko and B. Wiszniewski}
}

This paper describes preliminary work carried out to design a children’s digital library of stories and poems with and for children aged 11-14 years old. We describe our experience in engaging children as design partners, and propose a digital library environment and design features to provide an engaging, successful learning experience for children using it for collaborative writing.

@inproceedings{HT52,
   title = {Dynamic Digital Libraries For Children},
   author = {Harold Thimbleby and {\main{Y-L. Theng}} and N. Mohd-Nasir and George Buchanan and B. Fields and N. Cassidy},
   abstract = {This paper describes preliminary work carried out to design a children's digital library of stories and poems with and for children aged 11-14 years old. We describe our experience in engaging children as design partners, and propose a digital library environment and design features to provide an engaging, successful learning experience for children using it for collaborative writing.},
   year = {2001},
   booktitle = {The First {ACM+IEEE} Joint Conference on Digital Libraries, {JCDL}},
   pages = {406--415}
}

@inproceedings{HT54,
   title = {Improving Mobile Internet Usability},
   author = {Harold Thimbleby and George Buchanan and S. Farrant and {\main{M. Jones}} and G. Marsden and M. Pazzani},
   year = {2001},
   booktitle = {Proceedings 10th. World Wide Web Conference --- WWW10},
   pages = {673--680},
   location = {Hong Kong}
}

The Internet is a much bigger thing than any we are used to thinking about — it is the largest single thing humans have ever built (and the Y2K problem was the most expensive single problem ever to face humanity). We will have to come to terms with its great size, its multinational, multicultural diversity, and how it is impacting, and going to impact us — and what we should do. It is often asked whether the Internet poses new ethical problems, say, in comparison with the industrial revolution. This is a sterile debate: the industrial revolution is history; the Internet and its impact is unfolding in front of us. We can stand up to do some worthwhile things about the Internet now — and one of the most important things, in my view, is to clearly assert the ethical and spiritual impact it has on our lives.

@inproceedings{HT116,
   title = {Ethical and Spiritual Implications of the Internet},
   author = {Harold Thimbleby},
   abstract = {The Internet is a much bigger thing than any we are used to thinking about --- it is the largest single thing humans have ever built (and the Y2K problem was the most expensive single problem ever to face humanity). We will have to come to terms with its great size, its multinational, multicultural diversity, and how it is impacting, and going to impact us --- and what we should do. It is often asked whether the Internet poses new ethical problems, say, in comparison with the industrial revolution. This is a sterile debate: the industrial revolution is history; the Internet and its impact is unfolding in front of us. We can stand up to do some worthwhile things about the Internet now --- and one of the most important things, in my view, is to clearly assert the ethical and spiritual impact it has on our lives.},
   year = {2000},
   booktitle = {Worshipful Company of Information Technologists, Third Colloquium},
   aftertitle = {Keynote},
   location = {House of Lords, London}
}

This paper describes a usability tool implemented to demonstrate that meaningful results could be obtained from small user studies.

@inproceedings{HT106,
   title = {A Usability Tool for Web Evaluation applied to Digital Library Design},
   author = {Harold Thimbleby and Y. L. Theng and N. Mohd Nasir},
   abstract = {This paper describes a usability tool implemented to demonstrate that meaningful results could be obtained from small user studies.},
   year = {May 15-19, 2000},
   booktitle = {World Wide Web Conference --- {WWW9} Poster Proceedings},
   pages = {90--91},
   location = {Amsterdam}
}

A preliminary study was conducted to help understand the purpose of digital libraries (DLs) and to investigate whether meaningful results could be obtained from small user studies of digital libraries. Results stress the importance of mental models, and of “traditional” library support.

@inproceedings{HT58,
   title = {Purpose and Usability of Digital Libraries},
   author = {Harold Thimbleby and {\main{Y. L. Theng}} and George Buchanan and N. Mohd-Nasir},
   abstract = {A preliminary study was conducted to help understand the purpose of digital libraries (DLs) and to investigate whether meaningful results could be obtained from small user studies of digital libraries. Results stress the importance of mental models, and of ``traditional'' library support.},
   year = {2000},
   booktitle = {Proceedings Fifth {ACM} Conference on Digital Libraries, {ACM} {DL}'2000},
   pages = {238--239},
   location = {San Antonio, Texas}
}

In the two decades hand-held calculators have been readily available there has been ample time to develop a usable design and to educate the consumer public into choosing quality devices. This article reviews a representative calculator that is ‘state of the art’ and shows it has an execrable design. The design is shown to be confusing and essentially non-mathematical. Substantial evidence is presented that illustrates the inadequate documentation, bad implementation, feature interaction, and feature incoherence. These problems are shown to be typical of calculators generally. Despite the domain (arithmetic) being well-defined, the design problems are profound, widespread, confusing — and needless. Worrying questions are begged: about design quality control, about consumer behaviour, and about the role of education — both at school level (training children to acquiesce to bad design) and at university level (training professionals to design unusable products). The article concludes with recommendations.

@article{needless-ijhcs,
   title = {Calculators are Needlessly Bad},
   author = {Harold Thimbleby},
   abstract = {In the two decades hand-held calculators have been readily available there has been ample time to develop a usable design and to educate the consumer public into choosing quality devices. This article reviews a representative calculator that is `state of the art' and shows it has an execrable design. The design is shown to be confusing and essentially non-mathematical. Substantial evidence is presented that illustrates the inadequate documentation, bad implementation, feature interaction, and feature incoherence. These problems are shown to be typical of calculators generally. Despite the domain (arithmetic) being well-defined, the design problems are profound, widespread, confusing --- and needless. Worrying questions are begged: about design quality control, about consumer behaviour, and about the role of education --- both at school level (training children to acquiesce to bad design) and at university level (training professionals to design unusable products). The article concludes with recommendations.},
   year = {2000},
   pages = {1031--1069},
   journal = {International Journal of Human-Computer Studies},
   url = {http://cs.swan.ac.uk/~csharold/calculators/index.html},
   volume = {52},
   number = {6}
}

Exploiting standard computer science algorithms, we designed a more efficient user interface for a mobile phone. In experiments, the new design was found to be not only more efficient but preferred by users.

@inproceedings{uid-chi,
   title = {Successful User Interface Design from Efficient Computer Algorithms},
   author = {Harold Thimbleby and {\main{G. Marsden}} and P. Gillary and M. Jones},
   abstract = {Exploiting standard computer science algorithms, we designed a more efficient user interface for a mobile phone. In experiments, the new design was found to be not only more efficient but preferred by users.},
   year = {2000},
   booktitle = {Proceedings {ACM} {CHI} (Extended Abstracts)},
   pages = {181--182}
}

@article{HT200,
   title = {Beware False Gods},
   author = {Harold Thimbleby and S. Rogerson},
   year = {2000},
   pages = {26--27},
   journal = {Institute for the Management of Information Systems Journal},
   volume = {10},
   number = {2},
   issn = {1369--4189}
}

@inbook{HT161,
   title = {Java},
   author = {Harold Thimbleby},
   year = {2000},
   pages = {937--941},
   journal = {The Encyclopedia of Computer Science},
   editor = {A. Ralston and E. D. Reilly and D. Hemmendinger},
   edition = {4th},
   publisher = {Nature Publishing Group}
}

@inproceedings{trust-chi,
   title = {Non-contractual Trust},
   author = {Harold Thimbleby and {\main{E. Davenport}} and M. Dibben and B. Friedman and S. P. Marsh and H. Rosenbaum},
   year = {2000},
   booktitle = {Proceedings {ACM} {CHI} (Extended Abstracts)},
   note = {Design, and Human Computer Interactions},
   pages = {239--240},
   location = {Amsterdam, Holland}
}

@inbook{HT163,
   title = {Virus},
   author = {Harold Thimbleby and I. H. Witten},
   year = {2000},
   note = {Computer},
   pages = {1839--1841},
   journal = {The Encyclopedia of Computer Science},
   editor = {A. Ralston and E. D. Reilly and D. Hemmendinger},
   edition = {4th},
   publisher = {Nature Publishing Group}
}

@inbook{HT162,
   title = {Literate Programming},
   author = {Harold Thimbleby},
   year = {2000},
   pages = {1000--1002},
   journal = {The Encyclopedia of Computer Science},
   editor = {A. Ralston and E. D. Reilly and D. Hemmendinger},
   edition = {4th},
   publisher = {Nature Publishing Group}
}

User interfaces are bad and not getting better. Users would be empowered by usability certificates, so they could make informed choices when purchasing complex equipment, and hence apply market pressure to improve quality. A clear labelling scheme is required to enable consumer action.

@inproceedings{cert-bcs,
   title = {Empowering Users with Usability Certificates},
   author = {Harold Thimbleby and M. Jones and G. Marsden},
   abstract = {User interfaces are bad and not getting better. Users would be empowered by {\emph{usability certificates\/}}, so they could make informed choices when purchasing complex equipment, and hence apply market pressure to improve quality. A clear labelling scheme is required to enable consumer action.},
   year = {2000},
   booktitle = {Human Computer Interaction 2000, Proceedings British Computer Society Conference on Human-Computer Interaction},
   pages = {37--38},
   isbn = {1--902505--35--2},
   volume = {II},
   editor = {S. Turner and P. Turner},
   location = {Newcastle, England}
}

@inproceedings{HT59,
   title = {On Discerning Users},
   author = {Harold Thimbleby},
   year = {2000},
   booktitle = {How to make User Centred Design Usable},
   pages = {63--78},
   editor = {J. Gulliksen and A. Lantz and I. Boivie},
   series = {TRITA-NA-D0006, CID-72},
   location = {KTH, Stockholm, Sweden}
}

By taking a mobile phone as a worked example, we show how it and new interfaces can be analysed and simulated. A new interface is shown to reduce the optimal key press costs of accessing the phone’s functionality, without losing usability benefits — this is a specific contribution to menu design. However, the approach is not limited to mobile phones, nor just to menus; the techniques are general and can be applied widely. A distinctive feature of the approach is that it is fully inspectable and replicable — this is a contribution to the field of HCI more generally.

@inproceedings{ansim-bcs,
   title = {Analysis and Simulation of User Interfaces},
   author = {Harold Thimbleby},
   abstract = {By taking a mobile phone as a worked example, we show how it and new interfaces can be analysed and simulated. A new interface is shown to reduce the optimal key press costs of accessing the phone's functionality, without losing usability benefits --- this is a specific contribution to menu design. However, the approach is not limited to mobile phones, nor just to menus; the techniques are general and can be applied widely. A distinctive feature of the approach is that it is fully inspectable and replicable --- this is a contribution to the field of HCI more generally.},
   year = {2000},
   booktitle = {Human Computer Interaction 2000, Proceedings British Computer Society Conference on Human-Computer Interaction},
   pages = {221--237},
   isbn = {1--85233--318--9},
   volume = {XIV},
   editor = {S. McDonald and Y. Waern and G. Cockton},
   location = {Newcastle, England}
}

As a result of the popularity of graphical user interfaces, it is now almost impossible to buy a programming language compiler, instead, one purchases a development environment. Of course, we can scoff at the distinction and say that a development environment is nothing more than a programming language with visual (as opposed to syntactic) sugar. We believe, however, that this view must change if safer and more responsible programming languages are to be created for the next generation of programmer. Within this paper, we will argue that a more theoretical approach should be taken to the development of programming environments and suggest ways in which this may be achieved.

@article{HT4,
   title = {Holistic Programming Environments},
   author = {Harold Thimbleby and {\main{G. Marsden}}},
   abstract = {As a result of the popularity of graphical user interfaces, it is now almost impossible to buy a programming language compiler, instead, one purchases a development environment. Of course, we can scoff at the distinction and say that a development environment is nothing more than a programming language with visual (as opposed to syntactic) sugar. We believe, however, that this view must change if safer and more responsible programming languages are to be created for the next generation of programmer. Within this paper, we will argue that a more theoretical approach should be taken to the development of programming environments and suggest ways in which this may be achieved.},
   year = {2000},
   pages = {237--241},
   journal = {South African Computer Journal},
   volume = {26},
   issn = {1015-7999}
}

@unpublished{HT149,
   title = {Killer User Interfaces},
   author = {Harold Thimbleby},
   year = {2000},
   booktitle = {WAP und Mobile eCommerce},
   aftertitle = {Keynote},
   location = {Frankfurt}
}

@inproceedings{HT56,
   title = {Interaction Modelling for Digital Libraries},
   author = {Harold Thimbleby and N. Bryan-Kinns and A. E. Blandford},
   year = {2000},
   booktitle = {Proceedings Workshop on Evaluation of Information Management Systems},
   pages = {1--10}
}

@unpublished{HT148,
   title = {Just Programming},
   author = {Harold Thimbleby},
   year = {2000},
   booktitle = {Sixth International Conference on Object-Oriented Information Systems, OOIS2000},
   aftertitle = {Keynote}
}

@inproceedings{HT55,
   title = {Children as Design Partners and Testers for a Children's Digital Library},
   author = {Harold Thimbleby and {\main{Y. L. Theng}} and N. Mohd-Nasir and George Buchanan and M. Jones and D. Bainbridge and N. Cassidy},
   year = {2000},
   booktitle = {Proceedings 4th. European Conference on Research and Advanced Technology for Digital Libraries, ECDL 2000},
   pages = {249--258},
   volume = {1923},
   editor = {J. Borbinha and T. Baker},
   publisher = {Springer Verlag},
   series = {Lecture Notes in Computer Science}
}

Using a ballot box is so terribly quaint. In Britain, there is a policeman, a couple of volunteers, some bits of paper with curious holes in, a booth where there is a pencil and curtain, and finally the battered metal ballot box, with a padlock. It all may have looked state of the art in the twelfth century. Instead, we could be using the superhighway, and it would be so easy we could have referenda on all sorts of issues. Individuals up and down the country could easily find out what issues of importance were — from their digital televisions — and they could make their preferences known. Representatives in parliament would know what the country really thought, rather than what the media told it, and democracy would improve.

@article{HT199,
   title = {Cyberspace --- The Way of Future Votes},
   author = {Harold Thimbleby},
   abstract = {Using a ballot box is so terribly quaint. In Britain, there is a policeman, a couple of volunteers, some bits of paper with curious holes in, a booth where there is a pencil and curtain, and finally the battered metal ballot box, with a padlock. It all may have looked state of the art in the twelfth century. Instead, we could be using the superhighway, and it would be so easy we could have referenda on all sorts of issues. Individuals up and down the country could easily find out what issues of importance were --- from their digital televisions --- and they could make their preferences known. Representatives in parliament would know what the country really thought, rather than what the media told it, and democracy would improve.},
   year = {2000},
   pages = {18--19},
   journal = {Foundations},
   volume = {3},
   number = {2}
}

@article{HT252,
   title = {Techs Appeal},
   author = {Harold Thimbleby},
   year = {2000},
   booktitle = {Robo Sapiens: Evolution of a New Species (by P.~Menzel and F.~D'Aluisio)},
   pages = {51},
   journal = {New Scientist},
   volume = {167},
   number = {2256}
}

@article{HT308,
   title = {Time Bomb with a Longer Fuse},
   author = {Harold Thimbleby},
   year = {3 March, 2000},
   aftertitle = {Letter},
   pages = {17},
   journal = {Times Higher Education Supplement},
   number = {1425}
}

@inproceedings{HT57,
   title = {Designing a Children's Digital Library with and for Children},
   author = {Harold Thimbleby and {\main{Y. L. Theng}} and N. Mohd-Nasir and George Buchanan and M. Jones},
   year = {2000},
   booktitle = {Proceedings of the ACM Fifth Digital Library Conference},
   pages = {266--267}
}

@inproceedings{web-interact,
   title = {How do We Build Web Sites Fit for Purpose?},
   author = {Harold Thimbleby and George Buchanan and G. Marsden and Y. L. Theng},
   year = {1999},
   booktitle = {Proceedings IFIP Conference on {Human-Computer Interaction} --- Interact 1999},
   pages = {11--12},
   isbn = {1--902505--19-0},
   volume = {2},
   editor = {S. Brewster and A. Cawsey and G. Cockton}
}

@article{HT281,
   title = {False Image},
   author = {Harold Thimbleby},
   year = {1999},
   booktitle = {Media Technology and Society (by B.~Winston)},
   pages = {43},
   journal = {New Scientist},
   volume = {161},
   number = {2170}
}

In developing electronic gadgets, meters and oscilloscopes are used to probe into their workings, so that engineers can understand how they are behaving and how they can be improved. Analogously, this paper suggests a variety of conceptual probes that can be used to explore the process of design. The probes focus designers’ attention onto successfully managing complexity and in coping with socio-economic influences on design practice in the real world.

@inproceedings{HT119,
   title = {Design Probes for Handheld and Ubiquitous Computing},
   author = {Harold Thimbleby},
   abstract = {In developing electronic gadgets, meters and oscilloscopes are used to probe into their workings, so that engineers can understand how they are behaving and how they can be improved. Analogously, this paper suggests a variety of conceptual probes that can be used to explore the process of design. The probes focus designers' attention onto successfully managing complexity and in coping with socio-economic influences on design practice in the real world.},
   year = {1999},
   booktitle = {Proceedings Handheld and Ubiquitous Computing, First International Symposium --- HUC'99},
   aftertitle = {Keynote},
   pages = {1--19},
   volume = {1707},
   editor = {H-W. Gellersen},
   publisher = {Springer Verlag Heidelberg},
   series = {Lecture Notes in Computer Science},
   location = {Karlsruhe, Germany}
}

Modern cryptography can achieve levels of security and authentication that non-specialists find literally incredible. Techniques include information-hiding protocols, zero-knowledge proofs and public key cryptosystems; they can be used to support applications like digital signatures, digital cash, on-line poker and secure voting in ways that are provably secure — far more secure than the traditional systems they replace. This paper describes simple versions of such applications that have been used to give school-children and the general public a broad understanding of what can be achieved, and how.

@inproceedings{HT118,
   title = {Explaining Cryptosystems to the General Public},
   author = {Harold Thimbleby and T. Bell and M. Fellows and I. Witten and N. Koblitz},
   abstract = {Modern cryptography can achieve levels of security and authentication that non-specialists find literally incredible. Techniques include information-hiding protocols, zero-knowledge proofs and public key cryptosystems; they can be used to support applications like digital signatures, digital cash, on-line poker and secure voting in ways that are provably secure --- far more secure than the traditional systems they replace. This paper describes simple versions of such applications that have been used to give school-children and the general public a broad understanding of what can be achieved, and how.},
   year = {1999},
   booktitle = {Proceedings IFIP TC11 WG11.8 Conference},
   aftertitle = {Keynote},
   pages = {221--233},
   isbn = {91--7153--910--7},
   editor = {L. Yngstgr{\"o}m and S. Fischer-H{\"u}bner},
   location = {Stockholm University/Royal Institute of Technology, Sweden},
   series = {Report Series 99--008},
   issn = {1101--8526}
}

@inproceedings{HT63,
   title = {Dynamic Metadata for Monitoring Digital Library Management},
   author = {Harold Thimbleby and George Buchanan and G. E. Marsden},
   year = {1999},
   booktitle = {Proceedings Fourth {ACM} Conference on Digital Libraries},
   pages = {219--220},
   location = {Berkeley, California}
}

The Year 2000 problem is the most expensive single problem that has ever faced the human race. It has come about because computers cant do sums correctly around the millennium.

@article{news7,
   title = {The Millenium Bug},
   author = {Harold Thimbleby},
   abstract = {The Year 2000 problem is the most expensive single problem that has ever faced the human race. It has come about because computers cant do sums correctly around the millennium.},
   year = {1999},
   pages = {17--19 {\&} 27},
   journal = {The Brewer},
   volume = {85},
   number = {1010},
   issn = {0006--9736}
}

Harold Thimbleby challenges the view that lifelong learning should equip people to cope with an ever more complex world.

@article{news6,
   title = {Smart to be Simple},
   author = {Harold Thimbleby},
   abstract = {Harold Thimbleby challenges the view that lifelong learning should equip people to cope with an ever more complex world.},
   year = {12 February, 1999},
   pages = {15},
   journal = {The Times Higher Education Supplement: Multimedia},
   number = {1371}
}

Within the field of HCI there are a number of preferred approaches towards design. As within other disciplines, these approaches are often irreconcilable. We explore the possibilities of using ethics as a way to bridge the gap and re-establish the design focus of doing good towards the user. This is the idea of ‘justice’ to aid improved design. According to Aristotle, justice is classed as a virtue: to do justice is to act for the good, which is what is wanted for good HCI design. John Rawls’ classic A Theory of Justice, (1971) talks about justice as fairness, and it is in this context we apply justice to the area of design. We show some surprising links with HCI practice, and hence suggest some new perspectives on HCI.

@inproceedings{justice-interact,
   title = {Justice and Design},
   author = {Harold Thimbleby and P. Duquenoy},
   abstract = {Within the field of HCI there are a number of preferred approaches towards design. As within other disciplines, these approaches are often irreconcilable. We explore the possibilities of using ethics as a way to bridge the gap and re-establish the design focus of doing good towards the user. This is the idea of `justice' to aid improved design. According to Aristotle, justice is classed as a virtue: to do justice is to act for the good, which is what is wanted for good HCI design. John Rawls' classic {\emph{A Theory of Justice\/}}, (1971) talks about justice as fairness, and it is in this context we apply justice to the area of design. We show some surprising links with HCI practice, and hence suggest some new perspectives on HCI.},
   year = {1999},
   booktitle = {Proceedings {IFIP} Conference on Human-Computer Interaction --- Interact 1999},
   pages = {281--286},
   isbn = {0--9673355--0--7},
   editor = {M. A. Sasse and C. Johnson}
}

@book{cybernauts,
   title = {Cybernauts Awake!},
   author = {Harold Thimbleby and N.~Beale and T.~Byrne and D.~Leal and S.~Peyton-Jones and J.~Pickering and D.~J.~Pullinger},
   year = {1999},
   note = {(97pp)},
   isbn = {0--7151--6586--0},
   publisher = {Church House Press}
}

@article{HT253,
   title = {Natural Beauty of Computer Land},
   author = {Harold Thimbleby},
   year = {29 October, 1999},
   booktitle = {The Computational Beauty of Nature: Computer Explorations of Fractals, Chaos, Complex Systems and Adaptation (by G.~W.~Flake)},
   pages = {28},
   journal = {Times Higher Education Supplement},
   number = {1408}
}

@inproceedings{HT62,
   title = {Design Guidelines and User-centred Digital Libraries},
   author = {Harold Thimbleby and {\main{Y. L. Theng}} and E. Dunker and N. Mohd-Nasir and George Buchanan},
   year = {1999},
   booktitle = {Proceedings Research and Advanced Technology for Digital Libraries, Third European Conference on Digital Libraries, {ECDL'99}},
   pages = {167--183},
   volume = {1696},
   editor = {S. Abiteboul and A-M. Vercoustre},
   series = {Lecture Notes in Computer Science},
   publisher = {Springer Verlag}
}

The design of car (automobile) radios exposes ethical issues in the design of consumer electronics. We show that car radios, despite being manufactured for many years and being a well-understood technology, are unsafe to use. It is implausible that manufacturers design such unsafe devices unwittingly. We argue that complex in-car devices raise clear ethical issues:

• their complexity of operation demands and diverts driver attention from road safety (social ethics — social responsibility)
• the values embedded in their design (e.g., marketing values, seductive styling) are not consistent with their function (design ethics — issues of professional responsibility)

Further, we show there is a correspondence between theories of justice and these ethical issues.

@inproceedings{HT61,
   title = {Ethics and Consumer Electronics},
   author = {Harold Thimbleby and G. Marsden and P. Duquenoy},
   abstract = {The design of car (automobile) radios exposes ethical issues in the design of consumer electronics. We show that car radios, despite being manufactured for many years and being a well-understood technology, are unsafe to use. It is implausible that manufacturers design such unsafe devices unwittingly. We argue that complex in-car devices raise clear ethical issues: {\begin{itemize}}{\item} their complexity of operation demands and diverts driver attention from road safety (social ethics --- social responsibility) {\item} the values embedded in their design (e.g., marketing values, seductive styling) are not consistent with their function (design ethics --- issues of professional responsibility) {\end{itemize}}

Further, we show there is a correspondence between theories of justice and these ethical issues.},
   year = {1999},
   booktitle = {Proceedings of the 4th. {ETHICOMP} International Conference on the Social and Ethical Impacts of Information and Communication Technologies, Ethicomp'99},
   isbn = {88--900396--0--4},
   editor = {A. D'Atri and A. Marturano and S. Rogerson and T. Ward Bynum}
}

@inproceedings{principles-interact,
   title = {Using Computing Science Principles in Interface Design},
   author = {Harold Thimbleby and G. Marsden and P. Gillary and M. Jones},
   year = {1999},
   booktitle = {Proceedings IFIP Conference on {Human-Computer} Interaction --- Interact 1999},
   pages = {47--48},
   isbn = {1--902505--19-0},
   volume = {2},
   editor = {S. Brewster and A. Cawsey and G. Cockton}
}

@inproceedings{HT64,
   title = {A Stable View of the Hyperactive Web},
   author = {Harold Thimbleby and George Buchanan and G. Marsden and T. Tan and Y-L. Theng},
   year = {1999},
   booktitle = {Proceedings Workshop on The Active Web},
   pages = {27--33},
   isbn = {1--897898--45--2},
   editor = {D. Clarke and A. Dix and F. Dix}
}

As current digital libraries are becoming more complex, the facilities provided by them will increase and the difficulty of learning associated with the complexity of using these facilities will also increase. In order to produce usable and useful interactive systems, designers need to ensure that good design features are incorporated into the systems, taking into consideration end-users’ needs and cultural backgrounds. We carried out a study to investigate useful design features of digital libraries for task completion and end-user’s perceived impressions on the effectiveness of the digital libraries. The results also suggest that there is little provision on the interface to cater to end-users’ browsing and inter-cultural needs. Hence, this paper also discusses design guidelines for the design of user-centred digital libraries.

@inproceedings{HT65,
   title = {Design Guidelines and User-Centred Digital Libraries},
   author = {Harold Thimbleby and Y. L. Theng and E. Duncker and N. Mohd Nasir and George Buchanan},
   abstract = {As current digital libraries are becoming more complex, the facilities provided by them will increase and the difficulty of learning associated with the complexity of using these facilities will also increase. In order to produce usable and useful interactive systems, designers need to ensure that good design features are incorporated into the systems, taking into consideration end-users' needs and cultural backgrounds. We carried out a study to investigate useful design features of digital libraries for task completion and end-user's perceived impressions on the effectiveness of the digital libraries. The results also suggest that there is little provision on the interface to cater to end-users' browsing and inter-cultural needs. Hence, this paper also discusses design guidelines for the design of user-centred digital libraries.},
   year = {1999},
   booktitle = {Proceedings Third European Conference on Digital Libraries ECDL'99: Research and Advanced Technology for Digital Libraries},
   pages = {167--183},
   series = {Lecture Notes in Computer Science},
   editor = {S. Abiteboul and A. Vercoustre},
   publisher = {Springer Verlag}
}

@article{HT254,
   title = {Beyond the Fractal Frontier},
   author = {Harold Thimbleby},
   year = {21 May, 1999},
   booktitle = {Nonlinear Dynamics, Psychology and Life Sciences},
   pages = {33},
   journal = {Times Higher Education Supplement},
   number = {1385}
}

@inproceedings{HT60,
   title = {Towards a Synthesis of Discourse Ethics and Internet Regulation},
   author = {Harold Thimbleby and {\main{P. Duquenoy}} and S. Torrance},
   year = {1999},
   booktitle = {Proceedings of the 4th. {ETHICOMP} International Conference on the Social and Ethical Impacts of Information and Communication Technologies, Ethicomp'99},
   isbn = {88--900396--0--4},
   editor = {A. D'Atri and A. Marturano and S. Rogerson and T. Ward Bynum}
}

Interactive systems are complex and often difficult to use. Their complex design therefore presents ideal, and worthwhile, material for visualising. Some of the generic ways of visualising interaction, and some of the pitfalls, are illustrated using simple techniques applied to real examples. One problem with interactive devices, particularly in the consumer market, is rapid obsolescence: we visualise this as a performance-over-time graph, and show that doing so provides further insight into the design process and its problems.

@inproceedings{HT117,
   title = {Visualising the Potential of Interactive Systems},
   author = {Harold Thimbleby},
   abstract = {Interactive systems are complex and often difficult to use. Their complex design therefore presents ideal, and worthwhile, material for visualising. Some of the generic ways of visualising interaction, and some of the pitfalls, are illustrated using simple techniques applied to real examples. One problem with interactive devices, particularly in the consumer market, is rapid obsolescence: we visualise this as a performance-over-time graph, and show that doing so provides further insight into the design process and its problems.},
   year = {1999},
   booktitle = {Proceedings of the 10th. {IEEE} International Conference on Image Analysis and Processing ({ICIAP}'99)},
   aftertitle = {Keynote},
   pages = {670--677},
   location = {Trento, Italy}
}

It is not possible to view a computer operating in the real world, including the possibility of Trojan Horse programs and computer viruses, as simply a finite realisation of a Turing Machine. We consider the actions of Trojan Horses and viruses in real computer systems and suggest a minimal framework for an adequate formal understanding of the phenomena. Some conventional approaches, including biological metaphors, are shown to be inadequate; some suggestions are made towards constructing virally-resistant systems.

@article{framework-cj,
   title = {A Framework for Modelling Trojans and Computer Virus Infection},
   author = {Harold Thimbleby and S. O. Anderson and Paul Cairns},
   abstract = {It is not possible to view a computer operating in the real world, including the possibility of Trojan Horse programs and computer viruses, as simply a finite realisation of a Turing Machine. We consider the actions of Trojan Horses and viruses in real computer systems and suggest a minimal framework for an adequate formal understanding of the phenomena. Some conventional approaches, including biological metaphors, are shown to be inadequate; some suggestions are made towards constructing virally-resistant systems.},
   year = {1999},
   pages = {444--458},
   journal = {Computer Journal},
   volume = {41},
   number = {7}
}

Our experience of using Java is disappointing: as a programming language (irrespective of its implementations and libraries) Java itself leaves much to be desired. This paper discusses a few serious problems with Java’s design, which leads us to suggest that the language definition should have been an integral part of the design process rather than, as appears, a retrospective commentary.

@article{java-spae,
   title = {A Critique of Java},
   author = {Harold Thimbleby},
   abstract = {Our experience of using Java is disappointing: as a programming language (irrespective of its implementations and libraries) Java itself leaves much to be desired. This paper discusses a few serious problems with Java's design, which leads us to suggest that the language definition should have been an integral part of the design process rather than, as appears, a retrospective commentary.},
   year = {1999},
   pages = {457--478},
   journal = {Software --- Practice {\&} Experience},
   volume = {29},
   number = {5}
}

@article{morality-interact,
   title = {`Artificial Morality': Representations of Trust in Interactive Systems?},
   author = {Harold Thimbleby and E. Davenport and {\main{S. P. Marsh}} and M. Dibben},
   year = {1999},
   pages = {211--213},
   isbn = {1--902505--19-0},
   journal = {Proceedings IFIP Conference on Human-Computer Interaction --- Interact 1999},
   volume = {2},
   editor = {S. Brewster and A. Cawsey and G. Cockton}
}

@inproceedings{HT107,
   title = {A Usability Tool for Digital Libraries},
   author = {Harold Thimbleby and {\main{Y. L. Theng}} and N. Mohd-Nasir},
   year = {1999},
   booktitle = {Proceedings 9th. International World Wide Web Conference --- WWW9 Poster Proceedings},
   pages = {90--91},
   location = {Toronto}
}

@article{HT109,
   title = {Towards a Usermetric Tool to Improve Web Accessibility},
   author = {Harold Thimbleby and {\main{Y. L. Theng}}},
   year = {1999},
   booktitle = {Proceedings 8th. International World Wide Web Conference --- WWW8 Poster Proceedings},
   note = {Poster Proceedings},
   pages = {152--153},
   publisher = {Fortec Seminars},
   location = {Toronto}
}

@article{HT108,
   title = {Meaningful Link Verification for Management and Maintenance of Web Sites},
   author = {Harold Thimbleby and George Buchanan and G. Marsden},
   year = {1999},
   booktitle = {Proceedings 8th. International World Wide Web Conference --- WWW8 Poster Proceedings},
   pages = {170--171},
   location = {Toronto},
   publisher = {Fortec Seminars}
}

@article{HT309,
   title = {Computer Chaos},
   author = {Harold Thimbleby},
   year = {2 April, 1999},
   aftertitle = {Letter},
   pages = {22},
   journal = {The Times}
}

This paper shows how to combine a substantial part of the product development cycle of interactive devices into a single, co-ordinated approach. Much can be derived automatically from a suitable specification of the interactive device, and it can be derived automatically. Normal product development has a device specified and built, then has its manuals written, then it is used and tested. At this late stage design problems may be identified, but it is now too late: usability studies become academic in so far as the particular product is concerned, since it is already effectively in production. It would be better if the testing and manual writing could rapidly be obtained from the initial specification, before any investment has been made in fabrication. This paper offers a design approach that achieves this, and it shows how the various views of the design can be used help improve each other — for instance, the automatically generated user manual can be fed back to suggest improvements in the design.

A microwave cooker is used as a real example. However, this paper provides full and unabridged details of everything it discusses by using Mathematica as a rapid prototyping environment. Any similar device can be analysed in the same way, directly from the paper.

This paper is based on H. Thimbleby, “Specification-led Design,” Living Life to the Full with Personal Technologies, IEE Digest No 98/268, pp4/1-4/9, 1998.

@article{HT5,
   title = {Specification-led Design for Interface Simulation, Collecting Use-data, Interactive Help, Writing Manuals, Analysis, Comparing Alternative Designs, etc},
   author = {Harold Thimbleby},
   abstract = {This paper shows how to combine a substantial part of the product development cycle of interactive devices into a single, co-ordinated approach. Much can be derived automatically from a suitable specification of the interactive device, and it can be derived automatically. Normal product development has a device specified and built, then has its manuals written, then it is used and tested. At this late stage design problems may be identified, but it is now too late: usability studies become academic in so far as the particular product is concerned, since it is already effectively in production. It would be better if the testing and manual writing could rapidly be obtained from the initial specification, before any investment has been made in fabrication. This paper offers a design approach that achieves this, and it shows how the various views of the design can be used help improve each other --- for instance, the automatically generated user manual can be fed back to suggest improvements in the design.

A microwave cooker is used as a real example. However, this paper provides full and unabridged details of everything it discusses by using Mathematica as a rapid prototyping environment. Any similar device can be analysed in the same way, directly from the paper.

This paper is based on H. Thimbleby, ``Specification-led Design,'' {\emph{Living Life to the Full with Personal Technologies}}, IEE Digest No 98/268, pp4/1-4/9, 1998.},
   year = {1999},
   pages = {241--254},
   journal = {Personal Technologies},
   url = {http://cs.swan.ac.uk/~csharold/ansim/index.html},
   volume = {4},
   number = {2}
}

@article{HT283,
   title = {Web of Lies},
   author = {Harold Thimbleby},
   year = {1999},
   booktitle = {And That's the Way it Will Be (by C.~Harper)},
   pages = {44},
   journal = {New Scientist},
   volume = {161},
   number = {2170}
}

@article{HT282,
   title = {Web of Thieves},
   author = {Harold Thimbleby},
   year = {1999},
   booktitle = {Crime in a Digital Age (by P.~N.~Grabosky, R.~Smith {\&} P.~Wright)},
   pages = {44},
   journal = {New Scientist},
   volume = {161},
   number = {2170}
}

The other day I was using Microsoft Word 98...

@article{news8,
   title = {Spare the Rod},
   author = {Harold Thimbleby},
   abstract = {The other day I was using Microsoft Word 98{\ldots}},
   year = {1998},
   note = {Spoil the Computer?},
   pages = {11},
   journal = {Ariadne},
   url = {http://www.ariadne.ac.uk/issue18/minotaur},
   volume = {18},
   issn = {1361--3197}
}

@article{HT201,
   title = {Practical Authoring Tools for Web Authoring},
   author = {Harold Thimbleby and {\main{Y. L. Theng}}},
   year = {1998},
   journal = {Interfaces: Human-Computer Interaction, British Computer Society {HCI} Specialist Group Newsletter},
   number = {38},
   issn = {1351-119X}
}

@article{HT7,
   title = {Addressing Design and Usability Issues in Hypertext and on the Web by re-examining the ``Lost in Hyperspace'' Problem},
   author = {Harold Thimbleby and {\main{Y. L. Theng}}},
   year = {1998},
   pages = {839--855},
   journal = {Journal of Universal Computer Science},
   url = {http://www.iicm.edu/jucs_4_11/addressing_design_and_usability},
   volume = {4},
   number = {11}
}

@inproceedings{continuous-bcs,
   title = {Towards Continuous Usability Evaluation of Web Documents},
   author = {Harold Thimbleby and {\main{Y. L. Theng}} and G. Marsden},
   year = {1998},
   booktitle = {Proceedings BCS HCI'98, Conference Companion},
   pages = {40--41},
   editor = {J. May and J. Siddiqi and Wilkinson}
}

Also presented at IEE 2020 Vision Meeting on Morality in the Information Society, 11 December 1997. London.

The Internet will apparently solve many problems, but it also creates new ones. We are simply not used to thinking on the scale of the Internet, and our personal views can easily be played out on an unfamiliar global stage, where they may have unintended consequences. Computers, the most logical things we have ever created, are raising serious ethical issues — especially in areas that traditionally have had a low priority in the modern world. We are not used to the global stage.

@article{boundaries-j,
   title = {Personal Boundaries and Global Stage},
   author = {Harold Thimbleby},
   abstract = {Also presented at IEE 2020 Vision Meeting on {\emph{Morality in the Information Society}}, 11 December 1997. London.

The Internet will apparently solve many problems, but it also creates new ones. We are simply not used to thinking on the scale of the Internet, and our personal views can easily be played out on an unfamiliar global stage, where they may have unintended consequences. Computers, the most logical things we have ever created, are raising serious ethical issues --- especially in areas that traditionally have had a low priority in the modern world. We are not used to the global stage.},
   year = {1998},
   journal = {First Monday},
   url = {http://firstmonday.org/htbin/cgiwrap/bin/ojs/index.php/fm/article/view/582/503},
   volume = {3},
   number = {3}
}

@inproceedings{HT68,
   title = {Specification-led Design},
   author = {Harold Thimbleby},
   year = {1998},
   booktitle = {Proceedings Living Life to the Full with Personal Technologies},
   pages = {4/1--4/9},
   number = {{IEE} Seminar 98/268}
}

@article{HT311,
   title = {Time to Fight for Easier Technology},
   author = {Harold Thimbleby},
   year = {31 January, 1998},
   aftertitle = {Letter},
   pages = {23},
   journal = {The Times}
}

@unpublished{HT150,
   title = {What is The Computer Medium?},
   author = {Harold Thimbleby},
   year = {1998},
   booktitle = {Multi-viewpoint, Shaping the Human-Computer Interface},
   aftertitle = {Keynote},
   publisher = {Design Research Society Conference}
}

@article{HT310,
   title = {Using the Web Requires Resources},
   author = {Harold Thimbleby},
   year = {21 May, 1998},
   pages = {6},
   journal = {North Circular}
}

@article{HT182,
   title = {Formal Methods in Human-Computer Interaction (by P.~Palanque and F.~Patern{\'o})},
   author = {Harold Thimbleby},
   year = {1998},
   pages = {103--104},
   journal = {Software Testing, Verification and Reliability},
   volume = {8},
   number = {2},
   doi = {10.1002/(SICI)1099-1689(199806)8:2<103::AID-STVR158>3.0.CO;2-#}
}

@inproceedings{HT66,
   title = {{HyperAT}: Addressing Usability Issues in Web Authoring},
   author = {Harold Thimbleby and {\main{Y. L. Theng}}},
   year = {1998},
   booktitle = {Proceedings {WebNet}'98, World Conference of the {WWW}, Internet, {\&} Intranet},
   pages = {885--896},
   location = {Orlando, Florida},
   organization = {Association for the Advancement of Computing in Education ({AACE})}
}

@article{news9,
   title = {Www.rsa.org.uk Where We Are @},
   author = {Harold Thimbleby and G. Botting and George Buchanan and G. Marsden and Y. L. Theng},
   year = {1998},
   pages = {118--119},
   journal = {RSA Journal},
   volume = {146},
   number = {5487},
   issn = {0958--0433}
}

Designer-centred design methods build on the knowledge and skills of the designers to improve user interface design. Unlike users, designers are trained to handle complexity and to make design trade-offs. They are the people centrally in control of the design process. Designer-centred design complements and refocuses user-centred design methods. A particular designer-centred design approach, “Design Aloud” is introduced and justified.

@article{HT6,
   title = {Design Aloud: A Designer-Centred Design {(DCD)} Method},
   author = {Harold Thimbleby},
   abstract = {Designer-centred design methods build on the knowledge and skills of the designers to improve user interface design. Unlike users, designers are trained to handle complexity and to make design trade-offs. They are the people centrally in control of the design process. Designer-centred design complements and refocuses user-centred design methods. A particular designer-centred design approach, ``Design Aloud'' is introduced and justified.},
   year = {1998},
   pages = {45--50},
   journal = {HCI Letters},
   volume = {1},
   number = {1}
}

@article{HT255,
   title = {You Don't Want to See it},
   author = {Harold Thimbleby},
   year = {1998},
   booktitle = {The Invisible Computer (by D.~A.~Norman)},
   pages = {51},
   journal = {New Scientist},
   volume = {160},
   number = {2162}
}

@article{HT287,
   title = {Good Idea},
   author = {Harold Thimbleby},
   year = {1998},
   booktitle = {The Inventor's Guide (by British Library Patents Information Team)},
   pages = {46},
   journal = {New Scientist},
   volume = {158},
   number = {2138}
}

@article{HT286,
   title = {Health desk},
   author = {Harold Thimbleby},
   year = {1998},
   booktitle = {{CRS}: Computer-Related Syndrome (by R.~D.~Smith and S.~Garske)},
   pages = {52},
   journal = {New Scientist},
   volume = {159},
   number = {2142}
}

The UK Worshipful Company of Information Technologists organised two high-level colloquia to debate ethical and spiritual implication of the new IT & Telecoms Environment in 1997. The colloquia were hosted in the UK House of Lords. This paper summarises the debates of those colloquia, and discusses some of the ethical and cultural issues that arise.

@inproceedings{HT67,
   title = {UK Views on Ethical and Spiritual Implications of {IT}},
   author = {Harold Thimbleby and P. Duquenoy and N. Beale},
   abstract = {The UK Worshipful Company of Information Technologists organised two high-level colloquia to debate ethical and spiritual implication of the new IT {\&} Telecoms Environment in 1997. The colloquia were hosted in the UK House of Lords. This paper summarises the debates of those colloquia, and discusses some of the ethical and cultural issues that arise.},
   year = {1998},
   booktitle = {Proceedings Fourth International Conference on Ethical Issues in Information Technology, Ethicomp'98},
   pages = {734--742}
}

@article{HT288,
   title = {Take Your Pick},
   author = {Harold Thimbleby},
   year = {1998},
   booktitle = {The Mathematical Magpie (by C.~Fadiman)},
   note = {pages48},
   journal = {New Scientist},
   volume = {157},
   number = {2124}
}

@article{HT289,
   title = {Work It Out},
   author = {Harold Thimbleby},
   year = {1998},
   booktitle = {The Codebreakers (by D.~Kahn)},
   pages = {48},
   journal = {New Scientist},
   volume = {157},
   number = {2124}
}

@article{HT285,
   title = {Time Out},
   author = {Harold Thimbleby},
   year = {1998},
   booktitle = {Computer Fun for Everyone (by E.~Kordahl)},
   pages = {49},
   journal = {New Scientist},
   volume = {160},
   number = {2162}
}

@article{HT259,
   title = {Roar of The Surf},
   author = {Harold Thimbleby},
   year = {1998},
   booktitle = {Net.wars (by W.~Grossman)},
   pages = {43},
   journal = {New Scientist},
   volume = {157},
   number = {2117}
}

Computer science develops complex systems that demand all our attention to just begin to understand. Critical thinking is overwhelmed, that might otherwise have been directed at rhetoric blocking and hubris detection. This paper shows that there is much unchecked hyperbole in computing, which affects our own standards and ability to design well. The paper explains why such problems come about, how people collude in their propagation.

We show that detecting and eliminating design problems must be seen as engaging in justice and fighting hypocrisy (even in ourselves), and is an extremely worthwhile, if daunting, task. The connection with justice is expanded, and shown to be a practical design heuristic.

“Learning how to not fool ourselves is, I’m sorry to say, something that we haven’t specifically included in any particular course that I know of. We just hope you’ve caught it by osmosis.” Richard Feynman

@inproceedings{HT120,
   title = {The Detection and Elimination of Spurious Complexity},
   author = {Harold Thimbleby},
   abstract = {Computer science develops complex systems that demand all our attention to just begin to understand. Critical thinking is overwhelmed, that might otherwise have been directed at rhetoric blocking and hubris detection. This paper shows that there is much unchecked hyperbole in computing, which affects our own standards and ability to design well. The paper explains why such problems come about, how people collude in their propagation.

We show that detecting and eliminating design problems must be seen as engaging in justice and fighting hypocrisy (even in ourselves), and is an extremely worthwhile, if daunting, task. The connection with justice is expanded, and shown to be a practical design heuristic. 

``Learning how to not fool ourselves is, I'm sorry to say, something that we haven't specifically included in any particular course that I know of. We just hope you've caught it by osmosis.'' Richard Feynman},
   year = {1998},
   booktitle = {Proceedings of the Workshop on User Interfaces for Theorem Provers},
   aftertitle = {Keynote},
   pages = {15--22},
   editor = {R. C. Backhouse and J. C. M. Baeten},
   issn = {0926--4515},
   location = {Eindhoven, Holland}
}

@article{HT256,
   title = {Common Tongue},
   author = {Harold Thimbleby},
   year = {1998},
   booktitle = {Knowledge Assets (by M.~Boisot) and Navigating Complexity (by A.~Battram)},
   pages = {49},
   journal = {New Scientist},
   volume = {160},
   number = {2154}
}

@article{HT284,
   title = {Free Thinking},
   author = {Harold Thimbleby},
   year = {1998},
   booktitle = {Information Liberation (by B.~Martin)},
   pages = {47},
   journal = {New Scientist},
   volume = {160},
   number = {2163}
}

@article{HT258,
   title = {Sailing to {Java} (Computing Science Student Books Reviews)},
   author = {Harold Thimbleby},
   year = {1998},
   pages = {52--53},
   journal = {New Scientist},
   volume = {157},
   number = {2127}
}

@inbook{2020-iee,
   title = {Personal Issues: Personal Boundaries/Global Stage},
   author = {Harold Thimbleby},
   year = {1998},
   pages = {81--93},
   isbn = {0--85296--702--0},
   journal = {2020 Vision: Morality in the Information Society},
   publisher = {Institution of Electrical Engineers}
}

@article{HT8,
   title = {Calculators True and False},
   author = {Harold Thimbleby},
   year = {1997},
   pages = {214},
   journal = {Engineering Science and Education Journal},
   url = {http://cs.swan.ac.uk/~csharold/calculators/index.html},
   volume = {6},
   number = {5}
}

We argue, with theoretical justification, that authoring hypertext and World Wide Web documents requires tool support if it is to be done well. Tools are essential for good design; without them iterative design and user testing are impractical to follow through because of the prohibitive costs of making even small changes reliably.

Gentler is one such authoring tool. It uses a database of pages and a page layout language, providing reliable design features including hypertext linkage and navigation. With Gentler as a concrete example, we introduce an important principle for design: dual requirements. Features that hypertext document readers find beneficial are beneficial for document authors, and vice versa.

@article{gentler-ijhcs,
   title = {Gentler: A Tool for Systematic Web Authoring},
   author = {Harold Thimbleby},
   abstract = {We argue, with theoretical justification, that authoring hypertext and World Wide Web documents requires tool support if it is to be done well. Tools are essential for good design; without them iterative design and user testing are impractical to follow through because of the prohibitive costs of making even small changes reliably. 

Gentler is one such authoring tool. It uses a database of pages and a page layout language, providing reliable design features including hypertext linkage and navigation. With Gentler as a concrete example, we introduce an important principle for design: {\emph{dual requirements}}. Features that hypertext document readers find beneficial are beneficial for document authors, and {\emph{vice versa}}.},
   year = {1997},
   pages = {139--168},
   journal = {International Journal of Human-Computer Studies},
   volume = {47},
   number = {1}
}

We demonstrate a simple language that combines specifications and manuals. This shows: first, that a user manual can be automatically reconstructed from a logic specification that is effectively identical to the original logic (up to ambiguities in natural language); second, that such an automated process can help detect errors. The process is fast, and suitable for use in participatory design.

See also the HTML source code for this paper (i.e., the paper written in the language the paper is about, and which generated the published paper).

@article{logtoman2,
   title = {From Logic to Manuals Again},
   author = {Harold Thimbleby and P. B. Ladkin},
   abstract = {We demonstrate a simple language that combines specifications and manuals. This shows: first, that a user manual can be automatically reconstructed from a logic specification that is effectively identical to the original logic (up to ambiguities in natural language); second, that such an automated process can help detect errors. The process is fast, and suitable for use in participatory design. 

See also the HTML source code for this paper (i.e., the paper written in the language the paper is about, and which generated the published paper).},
   year = {1997},
   pages = {185--192},
   journal = {IEE Proceedings Software Engineering},
   volume = {144},
   number = {3}
}

@book{HT158,
   title = {Proceedings of the British Computer Society Conference, People and Computers, {HCI'97}},
   year = {1997},
   note = {(420pp)},
   isbn = {3--540--76172--1},
   volume = {XII},
   editor = {P. J. Thomas and H. Thimbleby and B. O'Conaill},
   publisher = {Springer Verlag}
}

Existing calculators are unreliable and difficult to use, and they are marketed misleadingly. A new calculator is described that is simple, reliable and very powerful.

@article{HT10,
   title = {A True Calculator},
   author = {Harold Thimbleby},
   abstract = {Existing calculators are unreliable and difficult to use, and they are marketed misleadingly. A new calculator is described that is simple, reliable and very powerful.},
   year = {1997},
   pages = {128--136},
   journal = {Engineering Science and Education Journal},
   url = {http://cs.swan.ac.uk/~csharold/calculators/index.html},
   volume = {6},
   number = {3}
}

We argue that button-controlled devices can be made better to improve their usability, and that there are routine ways to do so that can be effectively employed in the early stages of the design process.

By way of example, we examine the design of a 1993/4 domestic phone/fax/answerphone machine, and show that alternative designs have quantitative advantages over the original. We point to many strange — obscure, undocumented, non-functional — features, and raise questions about the process that led to the design, and what role either human factors or computer science played in it.

@article{HT9,
   title = {Design for a Fax},
   author = {Harold Thimbleby},
   abstract = {We argue that button-controlled devices can be made better to improve their usability, and that there are routine ways to do so that can be effectively employed in the early stages of the design process. 

By way of example, we examine the design of a 1993/4 domestic phone/fax/answerphone machine, and show that alternative designs have quantitative advantages over the original. We point to many strange --- obscure, undocumented, non-functional --- features, and raise questions about the process that led to the design, and what role either human factors or computer science played in it.},
   year = {1997},
   pages = {101--117},
   journal = {Personal Technologies},
   volume = {1},
   number = {2}
}

A simple language is demonstrated that combines specifications and manuals. This shows first that a user manual can be automatically reconstructed from a logic specification that is effectively identical to the original logic (up to ambiguities in natural language); and secondly, that such an automated process can help detect errors. The process is fast and suitable for use in participatory design.

@article{logtoman1,
   title = {From Logic to Manuals},
   author = {Harold Thimbleby and P. B. Ladkin},
   abstract = {A simple language is demonstrated that combines specifications and manuals. This shows first that a user manual can be automatically reconstructed from a logic specification that is effectively identical to the original logic (up to ambiguities in natural language); and secondly, that such an automated process can help detect errors. The process is fast and suitable for use in participatory design.},
   year = {1997},
   pages = {347--354},
   journal = {Software Engineering Journal},
   volume = {11},
   number = {6}
}

Autostereograms on the Web make a very appealing combination:

• The World Wide Web brings together art, science and technology, both in the medium and in its content. Autostereograms, likewise: based in science, they are art made possible by computer graphics technology.
• The Web is extremely accessible: it makes multimedia available to more people than any other computer-based medium. Autostereograms, similarly, are easily viewed without any special equipment and give true stereoscopic 3D effects.

@inbook{HT164,
   title = {3D Creativity for the Web},
   author = {Harold Thimbleby},
   abstract = {Autostereograms on the Web make a very appealing combination: {\begin{itemize}}{\item} The World Wide Web brings together art, science and technology, both in the medium and in its content. Autostereograms, likewise: based in science, they are art made possible by computer graphics technology. {\item} The Web is extremely accessible: it makes multimedia available to more people than any other computer-based medium. Autostereograms, similarly, are easily viewed without any special equipment and give true stereoscopic 3D effects. {\end{itemize}} This paper discusses stereoscopic 3D effects, and how drawing autostereograms lends itself to the networking constraints and page layout freedom characteristic of the Web. There are wonderful opportunities for making science and art interesting and accessible to wide audiences.},
   year = {1997},
   pages = {41--53},
   isbn = {0--12--227736--8},
   journal = {The Internet in 3D},
   url = {http://cs.swan.ac.uk/~csharold/sirds/index.html},
   editor = {R. Earnshaw and J. Vince},
   publisher = {Academic Press}
}

@article{HT262,
   title = {Out of The World},
   author = {Harold Thimbleby},
   year = {7 February, 1997},
   booktitle = {Would-be Worlds (by J.~L.~Casti)},
   pages = {27},
   journal = {Times Higher Education Supplement},
   number = {1266}
}

@inproceedings{HT110,
   title = {Is `Lost in Hyperspace' Lost in Controversy?},
   author = {Harold Thimbleby and {\main{Y.~L. Theng}}},
   year = {1997},
   booktitle = {Hypertext'97},
   location = {Southampton}
}

@article{HT295,
   title = {Ben As Hero},
   author = {Harold Thimbleby},
   year = {1997},
   booktitle = {Benjamin Franklin, Politician (by F.~Jennings)},
   pages = {46},
   journal = {New Scientist},
   volume = {154},
   number = {2076}
}

@inproceedings{HT111,
   title = {Benjamin Franklin House Web Site},
   author = {Harold Thimbleby and G. E. Marsden and G. Palmer},
   year = {1997},
   booktitle = {WebNet'97},
   location = {Toronto}
}

@article{HT294,
   title = {Sleepwalking to Disaster},
   author = {Harold Thimbleby},
   year = {1997},
   booktitle = {Trapped in the Net (by G.~Rochlin)},
   pages = {46},
   journal = {New Scientist},
   volume = {155},
   number = {2089}
}

@article{HT293,
   title = {It's a Scoop},
   author = {Harold Thimbleby},
   year = {1997},
   booktitle = {News Revolution (by M.~Alleyne)},
   pages = {52},
   journal = {New Scientist},
   volume = {155},
   number = {2100}
}

@article{HT296,
   title = {Count the Cost},
   author = {Harold Thimbleby},
   year = {1997},
   booktitle = {Sciencesoft Calculator},
   pages = {47},
   journal = {New Scientist},
   volume = {153},
   number = {2067}
}

@article{HT297,
   title = {The Great British},
   author = {Harold Thimbleby},
   year = {1997},
   booktitle = {User-Driven Innovation (by D.~Caminer, J.~Aris, P.~Hermon and F.~Land)},
   pages = {43},
   journal = {New Scientist},
   volume = {153},
   number = {2067}
}

@article{HT312,
   title = {A Simple Criticism},
   author = {Harold Thimbleby},
   year = {1997},
   aftertitle = {Letter},
   pages = {6},
   journal = {Java Report},
   volume = {2},
   number = {9}
}

@techreport{HT301,
   author = {Harold Thimbleby and M. Jones and G. Marsden},
   year = {1997},
   journal = {A Data Information Retrieval System And Method of Retrieving Data},
   series = {UK Patent No. 9711230.4}
}

@article{HT299,
   title = {What Is Thought?},
   author = {Harold Thimbleby},
   year = {1997},
   booktitle = {Machines and Thought: The Legacy of {Alan Turing} (edited by P.~Millican and A.~Clark)},
   pages = {42},
   journal = {New Scientist},
   volume = {153},
   number = {2067}
}

@article{HT298,
   title = {Talk About Techno},
   author = {Harold Thimbleby},
   year = {1997},
   booktitle = {Philosophy of Technology (by F.~Ferr{\'e})},
   pages = {43},
   journal = {New Scientist},
   volume = {153},
   number = {2067}
}

@article{HT291,
   title = {Piece of Pi},
   author = {Harold Thimbleby},
   year = {1997},
   booktitle = {Pi: A Sourcebook (by L.~Berggren, J.~Borwein and P.~Borwein)},
   pages = {48},
   journal = {New Scientist},
   volume = {156},
   number = {2103}
}

@article{HT292,
   title = {Future Works},
   author = {Harold Thimbleby},
   year = {1997},
   booktitle = {Beyond Calculation (by P.~Denning and R.~Metcalfe)},
   pages = {52},
   journal = {New Scientist},
   volume = {155},
   number = {2100}
}

We consider some of the range of technological, sociological and infrastructure issues pertinent to the future development of networked interpersonal communication devices and their applications.

@inproceedings{HT71,
   title = {Issues for Networked Interpersonal Communications: The Convergence of Technology {\ldots} With What},
   author = {Harold Thimbleby and M. Addison},
   abstract = {We consider some of the range of technological, sociological and infrastructure issues pertinent to the future development of networked interpersonal communication devices and their applications.},
   year = {1997},
   booktitle = {Proceedings Issues for Networked Interpersonal Communicators},
   pages = {6/1--6/4},
   series = {IEE Colloquium},
   number = {{IEE} Digest 1997/139}
}

@article{HT257,
   title = {A Strong String Section},
   author = {Harold Thimbleby},
   year = {12 June, 1997},
   booktitle = {Algorithms on Strings, Trees and Sequences: Computer Science and Computational Biology (by D.~Gusfield)},
   pages = {23},
   journal = {Times Higher Education Supplement},
   number = {13366}
}

@inproceedings{hyperat-bcs,
   title = {{HyperAT}: {HCI} and Web Authoring},
   author = {Harold Thimbleby and {\main{Y. L. Theng}} and C. Rigny and M. Jones},
   year = {1997},
   booktitle = {Proceedings {BCS} {HCI'97}, People and Computers},
   pages = {359--378},
   isbn = {3--540--76172--1},
   volume = {XII},
   editor = {H. Thimbleby and B. O'Conaill and P. J. Thomas},
   publisher = {Springer Verlag},
   location = {Bristol, England}
}

@inproceedings{HT70,
   title = {Benjamin Franklin House: An Illustration of a Site Management and Visual Design Tool for Complex, Multi-authored Web Sites},
   author = {Harold Thimbleby and G. E. Marsden and G. J. Palmer},
   year = {1997},
   booktitle = {Proceedings WebNet'97, World Conference of the {WWW}, Internet, {\&} Intranet},
   pages = {688},
   isbn = {1--880094--27--4},
   editor = {S. Lobodzinski and I. Tomek},
   location = {Toronto, Canada},
   publisher = {Association for the Advancement of Computing in Education ({AACE})}
}

A simple and general scheme is described that permits multiple authors to collaborate on certain sorts of hypermedia document. The scheme separates content, page design, and site structure. Each author can work in a small space, and therefore have higher quality control over their product. By allowing multiple authors, the workload is divided.

A prototype system has been implemented (in Java) and shows the scheme is feasible, and that it scales up to arbitrary size sites. The prototype suggests many profitable developments.

@inproceedings{HT69,
   title = {Distributed Web Authoring},
   author = {Harold Thimbleby},
   abstract = {A simple and general scheme is described that permits multiple authors to collaborate on certain sorts of hypermedia document. The scheme separates content, page design, and site structure. Each author can work in a small space, and therefore have higher quality control over their product. By allowing multiple authors, the workload is divided.

A prototype system has been implemented (in Java) and shows the scheme is feasible, and that it scales up to arbitrary size sites. The prototype suggests many profitable developments.},
   year = {1997},
   booktitle = {Proceedings {WebNet'97}, World Conference of the {WWW}, Internet, {\&} Intranet},
   pages = {1056--1083},
   isbn = {1--880094--27--4},
   editor = {S. Lobodzinski and I. Tomek},
   location = {Toronto, Canada},
   publisher = {Association for the Advancement of Computing in Education ({AACE})}
}

@article{HT260,
   title = {Collected Works (childrens' science books)},
   author = {Harold Thimbleby},
   year = {1997},
   pages = {62},
   journal = {New Scientist},
   volume = {156},
   number = {2109}
}

@article{HT261,
   title = {The Really Hard Stuff (Computing Science Student Books Reviews)},
   author = {Harold Thimbleby},
   year = {1997},
   pages = {46--47},
   journal = {New Scientist},
   volume = {153},
   number = {2071}
}

@article{HT263,
   title = {Lively Wetware Seeks Friendly Software},
   author = {Harold Thimbleby},
   year = {1997},
   booktitle = {The Media Equation (by B.~Reeves and C.~Nass)},
   pages = {40},
   journal = {New Scientist},
   volume = {152},
   number = {2052}
}

@article{HT290,
   title = {Money-spinner},
   author = {Harold Thimbleby},
   year = {1997},
   booktitle = {Webonomics (by E.~Schwartz)},
   pages = {41},
   journal = {New Scientist},
   volume = {157},
   number = {2115}
}

@inbook{HT202,
   title = {Autostereograms},
   author = {Harold Thimbleby},
   year = {1996},
   booktitle = {Encarta CD},
   url = {http://cs.swan.ac.uk/~csharold/sirds/index.html},
   publisher = {Microsoft}
}

Three members of The Telegraph have recently bought multimedia PCs and all have experienced difficulties. In two cases, the computer did not work out of the box; in the other case the fax software tried to fax letters to the printer. They asked Professor Harold Thimbleby to comment...

@article{news11,
   title = {Walking the Computer Tightrope},
   author = {Harold Thimbleby},
   abstract = {Three members of {\emph{The Telegraph\/}} have recently bought multimedia PCs and all have experienced difficulties. In two cases, the computer did not work out of the box; in the other case the fax software tried to fax letters to the printer. They asked Professor Harold Thimbleby to comment...},
   year = {March 26, 1996},
   pages = {22},
   journal = {The Daily Telegraph}
}

@article{news10,
   title = {Why are the numbers on a calculator/computer arranged differently from those on a telephone?},
   author = {Harold Thimbleby},
   year = {January 1996},
   pages = {60},
   journal = {Focus}
}

@inbook{HT203,
   title = {Information revolution},
   author = {Harold Thimbleby},
   year = {1996},
   booktitle = {Encarta CD},
   publisher = {Microsoft}
}

@article{HT183,
   title = {The Trouble with Computers: Usefulness, Usability, and Productivity (by Thomas K.~Landauer)},
   author = {Harold Thimbleby},
   year = {1996},
   pages = {265--276},
   journal = {Computational Linguistics},
   volume = {22},
   number = {2}
}

@inproceedings{cumdes-bcs,
   title = {{CUM-DesTool}: Applying Executable User Models for Designing Interactive Systems},
   author = {Harold Thimbleby and {\main{C. Rigny}}},
   year = {1996},
   booktitle = {Adjunct Proceedings {BCS} {HCI'96}},
   pages = {145--149},
   isbn = {1--85924--119--0},
   editor = {H. Thimbleby and Ann Blandford}
}

User manuals are usually written by technical authors after the design of the device has been committed for production. If the manual’s review leads to insight into the design, it is too late. Meanwhile, if the design is modified, the manual may be inaccurate. This paper describes an example language for creating accurate and complete manuals from formal specifications. We show how it can be used to improve part of the Flight Crew Operating Manual for the Airbus A320 fly-by-wire airplane. The technique is easy to implement, can be generalised to other domains, and contributes to concurrent engineering practice — increasing common ground between engineers, users and HCI practitioners.

@inproceedings{manuals-chi,
   title = {Creating User Manuals for Use in Collaborative Design},
   author = {Harold Thimbleby},
   abstract = {User manuals are usually written by technical authors after the design of the device has been committed for production. If the manual's review leads to insight into the design, it is too late. Meanwhile, if the design is modified, the manual may be inaccurate. This paper describes an example language for creating accurate and complete manuals from formal specifications. We show how it can be used to improve part of the Flight Crew Operating Manual for the Airbus A320 fly-by-wire airplane. The technique is easy to implement, can be generalised to other domains, and contributes to concurrent engineering practice --- increasing common ground between engineers, users and HCI practitioners.},
   year = {1996},
   booktitle = {Proceedings ACM Conference on Computer-Human Interaction --- CHI'96},
   pages = {279--280},
   editor = {M. Tauber},
   location = {Vancouver, Canada}
}

@inproceedings{rigny-asia,
   title = {Cognitive User Models as Design Aids},
   author = {Harold Thimbleby and Y. L. Theng and {\main{C. Rigny}}},
   year = {1996},
   booktitle = {Proceedings First Asia Pacific Conference on Human Computer Interaction --- APCHI},
   pages = {387--396},
   isbn = {9971--88--495--X},
   editor = {L. K. Yong and L. Herman and Y. K. Leung and J. Moyes},
   location = {Singapore}
}

@inproceedings{hyper-asia,
   title = {`Lost in Hyperspace': Psychological Problem or Bad Design},
   author = {Harold Thimbleby and {\main{Y. L. Theng}} and M. Jones},
   year = {1996},
   booktitle = {Proceedings First Asia Pacific Conference on Human Computer Interaction --- APCHI},
   pages = {387--396},
   isbn = {9971--88--495--X},
   editor = {L. K. Yong and L. Herman and Y. K. Leung and J. Moyes},
   location = {Singapore}
}

@inproceedings{cogtask-asia,
   title = {Cognitive Task Graphs and Executable User Models for Better Hypertext},
   author = {Harold Thimbleby and Y. L. Theng and {\main{C. Rigny}} and M. Jones},
   year = {1996},
   booktitle = {Proceedings First Asia Pacific Conference on Human Computer Interaction --- APCHI},
   pages = {421--433},
   isbn = {9971--88--495--X},
   editor = {L. K. Yong and L. Herman and Y. K. Leung and J. Moyes},
   location = {Singapore}
}

@article{HT265,
   title = {Still a Few More Problems to Solve},
   author = {Harold Thimbleby},
   year = {14 June, 1996},
   booktitle = {Review of Texas Instruments TI-92},
   pages = {vi},
   journal = {Times Higher Education Supplement Multimedia},
   number = {25}
}

@article{HT266,
   title = {Collected Works (Computing Science Student Books Reviews)},
   author = {Harold Thimbleby},
   year = {1996},
   pages = {59},
   journal = {New Scientist},
   volume = {149},
   number = {2022}
}

@article{HT313,
   title = {Budding engineers go to market},
   author = {Harold Thimbleby},
   year = {October 4, 1996},
   aftertitle = {Letter},
   pages = {14},
   journal = {Times Higher Education Supplement},
   number = {1248}
}

@article{HT300,
   title = {Plug into the Future},
   author = {Harold Thimbleby},
   year = {1996},
   booktitle = {Computing Tomorrow (by I.~C.~Wand and R.~Milner)},
   pages = {49},
   journal = {New Scientist},
   volume = {153},
   number = {2065}
}

The conventions of drama present the planned as spontaneous, stimulating the imagination of greater interaction potential than there is. This paper argues for a distinction between design for demonstration and design for interaction. The distinction is needed on the Internet, which supports the greatest range of discourse — spontaneous to planned — and therefore wide scope for confusing dramatic presentation for effective interaction.

@inproceedings{drama-asia,
   title = {Internet},
   author = {Harold Thimbleby},
   abstract = {The conventions of drama present the planned as spontaneous, stimulating the imagination of greater interaction potential than there is. This paper argues for a distinction between design for demonstration and design for interaction. The distinction is needed on the Internet, which supports the greatest range of discourse --- spontaneous to planned --- and therefore wide scope for confusing dramatic presentation for effective interaction.},
   year = {1996},
   booktitle = {Proceedings First Asia Pacific Conference on Human Computer Interaction --- APCHI},
   aftertitle = {Keynote},
   note = {Discourse and Interaction Potential},
   pages = {3--18},
   editor = {L. K. Yong and L. Herman and Y. K. Leung and J. Moyes},
   location = {Singapore}
}

@inproceedings{idc-asia,
   title = {The Interaction Design Centre},
   author = {Harold Thimbleby and Ann Blandford},
   year = {1996},
   booktitle = {Proceedings First Asia Pacific Conference on Human Computer Interaction --- APCHI},
   pages = {421--433},
   editor = {L. K. Yong and L. Herman and Y. K. Leung and J. Moyes},
   location = {Singapore}
}

@article{HT264,
   title = {Collected Works (review of general computing books and software)},
   author = {Harold Thimbleby},
   year = {1996},
   pages = {57},
   journal = {New Scientist},
   volume = {151},
   number = {2049}
}

@inproceedings{concept-bcs,
   title = {Improved Conceptual Design for Better Hypertext},
   author = {Harold Thimbleby and Y. L. Theng and C. Rigny and M. Jones},
   year = {1996},
   booktitle = {Adjunct Proceedings {BCS} {HCI}'96},
   pages = {181--188},
   isbn = {1--85924--119--0},
   editor = {H. Thimbleby and Ann Blandford}
}

@book{HT159,
   title = {Adjunct Proceedings of the British Computer Society Conference, People and Computers, {HCI'96}},
   year = {1996},
   note = {(282pp)},
   isbn = {1--85924--119--0},
   editor = {Ann Blandford and H. Thimbleby}
}

@inbook{HT165,
   title = {Observations on Practically Perfect CSCW},
   author = {Harold Thimbleby and D. J. Pullinger},
   year = {1996},
   pages = {69--86},
   isbn = {3--540--76035--0},
   journal = {Remote Cooperation. CSCW Issues for Mobile and Teleworkers},
   editor = {A. J. Dix and Russell Beale},
   publisher = {Springer Verlag}
}

@unpublished{HT152,
   title = {3D Creativity for the Web, International Conference, 3D and Multimedia, WWW and Networks},
   author = {Harold Thimbleby},
   year = {1996},
   aftertitle = {Keynote},
   url = {http://cs.swan.ac.uk/~csharold/sirds/index.html}
}

Manuals and interactive help are tedious to provide, difficult to maintain, and difficult to ensure correct, even for simple systems. The result is a loss in product quality, felt particularly by users and designers committed to long-term product development.

This paper shows that it is possible to systematically put a system specification and its documentation into exact correspondence. It follows that much previously manual work can be done automatically — and with considerable advantages, including guaranteed correctness and completeness, as well as supporting powerful new features such as intelligent adaptive assistance. This paper shows how interactive assistance can be provided to answer “how to?”, “why not?” and other questions.

@article{adapt-iwc,
   title = {Intelligent Adaptive Assistance and Its Automatic Generation},
   author = {Harold Thimbleby and M. A. Addison},
   abstract = {Manuals and interactive help are tedious to provide, difficult to maintain, and difficult to ensure correct, even for simple systems. The result is a loss in product quality, felt particularly by users and designers committed to long-term product development. 

This paper shows that it is possible to systematically put a system specification and its documentation into exact correspondence. It follows that much previously {\emph{manual\/}} work can be done automatically --- and with considerable advantages, including guaranteed correctness and completeness, as well as supporting powerful new features such as intelligent adaptive assistance. This paper shows how interactive assistance can be provided to answer ``how to?'', ``why not?'' and other questions.},
   year = {1996},
   pages = {51--68},
   journal = {Interacting with Computers},
   volume = {8},
   number = {1}
}

@inproceedings{cogmod-bcs,
   title = {Cognitive User Models as Design Aids},
   author = {Harold Thimbleby and {\main{C. Rigny}} and Y. L. Theng},
   year = {1996},
   booktitle = {Adjunct Proceedings {BCS} {HCI'96}},
   pages = {139--144},
   isbn = {1--85924--119--0},
   editor = {H. Thimbleby and Ann Blandford}
}

We discuss and show correct an algorithm that constructs autostereograms. The concern is to develop a correct algorithm that may be implemented in a language such as C or Pascal.

@article{stereo-spae,
   title = {An Efficient Equivalence Class Algorithm with Applications to Autostereograms},
   author = {Harold Thimbleby},
   abstract = {We discuss and show correct an algorithm that constructs autostereograms. The concern is to develop a correct algorithm that may be implemented in a language such as C or Pascal.},
   year = {1996},
   pages = {309--325},
   journal = {Software --- Practice {\&} Experience},
   url = {http://cs.swan.ac.uk/~csharold/sirds/index.html},
   volume = {26},
   number = {3}
}

@unpublished{HT151,
   title = {Future Internet Issues},
   author = {Harold Thimbleby},
   year = {1996},
   booktitle = {{Internet\@: Opportunity or Threat}?},
   aftertitle = {Keynote},
   publisher = {Institute of World Concerns},
   location = {Coventry}
}

@article{HT314,
   title = {Cost of Courtesy in Computers},
   author = {Harold Thimbleby},
   year = {October 14, 1995},
   aftertitle = {Letter},
   pages = {21},
   journal = {The Times}
}

@article{HT315,
   title = {It Doesn't Add Up},
   author = {Harold Thimbleby},
   year = {1995},
   aftertitle = {Letter},
   pages = {50},
   journal = {New Scientist},
   volume = {145},
   number = {1965}
}

@article{HT11,
   title = {An Example of Distribution-Free Testing},
   author = {Harold Thimbleby},
   year = {1995},
   pages = {62--65},
   journal = {Mathematica Journal},
   volume = {5},
   number = {2}
}

@article{HT316,
   title = {Science Tests},
   author = {Harold Thimbleby},
   year = {10 May, 1995},
   aftertitle = {Letter},
   pages = {17},
   journal = {The Times}
}

Conventional calculators are badly designed: they suffer from bad computer science — they are unnecessarily difficult to use and bug ridden. I describe a solution, avoiding the problems caused by conventional calculators that is more powerful and arguably much easier to use. The solution has been implemented, and design issues are discussed. This paper shows an interactive system that is declarative, with the advantages of clarity and power that entails. It frees people from working out how a calculation should be expressed to concentrating on what they want solved. An important contribution is to demonstrate the very serious problems users face when using conventional calculators, and hence what a freedom a declarative design brings.

@article{newcalc-cj,
   title = {A New Calculator and Why it is Necessary},
   author = {Harold Thimbleby},
   abstract = {Conventional calculators are badly designed: they suffer from bad computer science --- they are unnecessarily difficult to use and bug ridden. I describe a solution, avoiding the problems caused by conventional calculators that is more powerful and arguably much easier to use. The solution has been implemented, and design issues are discussed. This paper shows an interactive system that is declarative, with the advantages of clarity and power that entails. It frees people from working out how a calculation should be expressed to concentrating on what they want solved. An important contribution is to demonstrate the very serious problems users face when using conventional calculators, and hence what a freedom a declarative design brings.},
   year = {1995},
   pages = {418--433},
   journal = {Computer Journal},
   url = {http://cs.swan.ac.uk/~csharold/calculators/index.html},
   volume = {38},
   doi = {10.1093/comjnl/38.6.418},
   number = {6}
}

We have built some simple, but useful, cooperative Artificial Life agents. Based on this experience and by contrasting our work with computer viruses, we argue that Artificial Life (the simulation of life including evolution) can only remain reliably and indefinitely cooperative if it adheres to explicitly-specified social conventions. Breaking or neglecting these conventions results in systems that are worse than useless; in fact, malicious with respect to human social values.

@article{HT12,
   title = {Concepts of Cooperation in Artificial Life},
   author = {Harold Thimbleby and D. J. Pullinger and I. H. Witten},
   abstract = {We have built some simple, but useful, cooperative Artificial Life agents. Based on this experience and by contrasting our work with computer viruses, we argue that Artificial Life (the simulation of life including evolution) can only remain {\emph{reliably\/}} and indefinitely cooperative if it adheres to explicitly-specified social conventions. Breaking or neglecting these conventions results in systems that are worse than useless; in fact, malicious with respect to human social values.},
   year = {1995},
   pages = {1166--1171},
   journal = {IEEE Transactions on Systems, Man {\&} Cybernetics},
   volume = {25},
   number = {7}
}

@article{HT269,
   title = {Be Better than Your Competitors},
   author = {Harold Thimbleby},
   year = {1995},
   booktitle = {Mental Leaps (by K.~Holyoak and P.~Thagard)},
   pages = {49},
   journal = {New Scientist},
   volume = {147},
   number = {1997}
}

@article{hubris2,
   title = {Technological Hubris},
   author = {Harold Thimbleby},
   year = {1995},
   pages = {19--21},
   journal = {Elektron, Journal of The South African Institute of Electrical Engineers},
   volume = {12},
   number = {5}
}

@article{HT267,
   title = {Ancient and Modern},
   author = {Harold Thimbleby},
   year = {1995},
   pages = {44},
   journal = {New Scientist},
   volume = {148},
   number = {2003}
}

@article{HT268,
   title = {Unnatural Practices},
   author = {Harold Thimbleby},
   year = {13 October, 1995},
   booktitle = {The Future Does Not Compute (by S.~L.~Talbott)},
   pages = {xii},
   journal = {Times Higher Educational Supplement, Multimedia Supplement}
}

@article{HT270,
   title = {The World According to {C++} (Computing Science Student Books Reviews)},
   author = {Harold Thimbleby},
   year = {1995},
   pages = {50--52},
   journal = {New Scientist},
   volume = {146},
   number = {1976}
}

@article{parkinson2,
   title = {Computerised Parkinson's Law},
   author = {Harold Thimbleby},
   year = {1995},
   pages = {5--7},
   journal = {Elektron, Journal of The South African Institute of Electrical Engineers},
   volume = {12},
   number = {2}
}

@article{news12,
   title = {Computers are Best when Hidden},
   author = {Harold Thimbleby},
   year = {14 July, 1995},
   pages = {vii},
   journal = {The Times Higher Education Supplement: Multimedia},
   number = {1184}
}

@inproceedings{HT74,
   title = {Hypermedia Manuals for Interactive Systems},
   author = {Harold Thimbleby and M. A. Addison},
   year = {1995},
   booktitle = {Proceedings The Authoring and Application of Hypermedia-based User-Interfaces},
   pages = {5/1--5/4},
   series = {IEE Colloquium},
   number = {IEE Digest 1995/202}
}

@inproceedings{HT73,
   title = {Designer Tools for Hypertext Authoring},
   author = {Harold Thimbleby and Y. L. Theng and M. Jones},
   year = {1995},
   booktitle = {Proceedings The Authoring and Application of Hypermedia-based User-Interfaces},
   pages = {4/1--4/4},
   series = {IEE Colloquium},
   number = {IEE Digest 1995/202}
}

It was pointed out in the Preface that the term handicap applies to the effects a person’s limitations have on their ability to function in their environment. This chapter explores that concept in a very important direction: it advances the proposition that the average human-computer interface is so badly designed that anyone who uses it is handicapped by it. Moreover, it suggests a practical way to start to respect the user, based in the theory of computer science. It should therefore appeal to the computer scientists and programmers who design interactive systems.

@inbook{HT166,
   title = {Treat People Like Computers? Designing Usable Systems for Special People},
   author = {Harold Thimbleby},
   abstract = {It was pointed out in the Preface that the term handicap applies to the effects a person's limitations have on their ability to function in their environment. This chapter explores that concept in a very important direction: it advances the proposition that the average human-computer interface is so badly designed that anyone who uses it is handicapped by it. Moreover, it suggests a practical way to start to respect the user, based in the theory of computer science. It should therefore appeal to the computer scientists and programmers who design interactive systems.},
   year = {1995},
   pages = {283--295},
   isbn = {0--521--43413--0},
   journal = {Extraordinary People and Human-Computer Interaction},
   editor = {A. Edwards},
   publisher = {Cambridge University Press}
}

@inproceedings{HT75,
   title = {``Users as Computers'': An Approach to VR Design and Conceptual Evaluation},
   author = {Harold Thimbleby},
   year = {1995},
   booktitle = {Proceedings Conference on Interface to Real and Virtual Worlds},
   pages = {305--313},
   volume = {IV}
}

Quality program design has received considerable attention from the software engineering community. Quality user manual design has received considerable attention from the human computer interaction community. Yet manuals and systems are often independently conceived, and thus do not well complement each other. This paper shows one method of easily obtaining correct and complete user manuals guaranteed to correspond with the system they document. The method has considerable merit for improving interactive systems design.

@inproceedings{explan-bcs,
   title = {A Proper Explanation When You Need One},
   author = {Harold Thimbleby and P. B. Ladkin},
   abstract = {Quality program design has received considerable attention from the software engineering community. Quality user manual design has received considerable attention from the human computer interaction community. Yet manuals and systems are often independently conceived, and thus do not well complement each other. This paper shows one method of easily obtaining correct and complete user manuals guaranteed to correspond with the system they document. The method has considerable merit for improving interactive systems design.},
   year = {1995},
   pages = {107--118},
   isbn = {0--521--56729--7},
   journal = {Proceedings British Computer Society Conference HCI'95, People and Computers},
   volume = {X},
   editor = {M. A. R. Kirby and A. J. Dix and J. E. Finlay},
   location = {Huddersfield},
   publisher = {Cambridge University Press}
}

@inproceedings{notlost-bcs,
   title = {Authoring Consistent Hypermedia Without Getting Lost},
   author = {Harold Thimbleby},
   year = {1995},
   booktitle = {Proceedings British Computer Society Conference on People and Computers, {HCI}'95, Adjunct Proceedings},
   pages = {118--124},
   editor = {G. Allen and J. Wilkinson and P. Wright}
}

@inproceedings{hyperdoc-bcs,
   title = {HyperDoc: An Interactive System Development Tool},
   author = {Harold Thimbleby and M. A. Addison},
   year = {1995},
   booktitle = {Proceedings British Computer Society Conference HCI'95, People and Computers},
   pages = {95--106},
   isbn = {0--521--56729--7},
   volume = {X},
   location = {Huddersfield},
   editor = {M. A. R. Kirby and A. J. Dix and J. E. Finlay},
   publisher = {Cambridge University Press}
}

A personal digital assistant (PDA) is not interesting — it would be nothing more than a glamorous organiser — while it remains merely personal. What makes a PDA interesting and worthwhile is its ability to extend the small world of the personal user to the wider world, involving many users distributed over space and time. If it was not for this widening of horizons, a PDA would be both personal and private: whether someone had a PDA would not be known to another person, and therefore it could not make a significant impact on the owner’s operation in the world.

@inbook{HT167,
   title = {Usability},
   author = {Harold Thimbleby},
   abstract = {A personal digital assistant (PDA) is not interesting --- it would be nothing more than a glamorous organiser --- while it remains merely personal. What makes a PDA interesting and worthwhile is its ability to extend the small world of the personal user to the wider world, involving many users distributed over space and time. If it was not for this widening of horizons, a PDA would be both personal and private: whether someone had a PDA would not be known to another person, and therefore it could not make a significant impact on the owner's operation in the world.},
   year = {1995},
   note = {Communication and Security and Personal Digital Assistants (PDAs)},
   pages = {31--43},
   isbn = {0--7487--2327--7},
   journal = {Personal Information Management},
   editor = {P. J. Thomas},
   publisher = {Stanley Thornes}
}

@inproceedings{HT72,
   title = {Reducing Information Overload: A Comparative Study Of Hypertext Systems},
   author = {Harold Thimbleby and {\main{Y. L. Theng}} and M. Jones},
   year = {1995},
   booktitle = {Proceedings Information Overload},
   pages = {6/1--6/5},
   series = {IEE Colloquium},
   number = {IEE Digest 1995/223}
}

@article{HT275,
   title = {Software review},
   author = {Harold Thimbleby},
   year = {1994},
   booktitle = {HyperStat (by D.~M.~Lane)},
   pages = {44--45},
   journal = {New Scientist},
   volume = {142},
   number = {1923}
}

Interactive computer systems can support their users in problem solving, both in performing their work tasks and in using the systems themselves. Not only is direct support for heuristics beneficial, but to do so modifies the form of computer support provided. This paper defines and explores the use of problem solving heuristics in user interface design.

A demonstration hypertext system, Hyperwriter, was developed as the outcome of considering general problem-solving heuristics as goals of interactive systems design. Whereas hypertext joins and relates ideas, Hyperwriter additionally, and as a direct outcome of the design approach, has ways of separating, ordering and polishing ideas. As an application for creative writing, Hyperwriter supports effective thinking over a period of time. (This paper was drafted, organised and re-organised using the system itself.) Some issues arising in implementing Hyperwriter are also discussed.

@article{HT14,
   title = {Designing Interfaces for Problem Solving},
   author = {Harold Thimbleby},
   abstract = {Interactive computer systems can support their users in problem solving, both in performing their work tasks and in using the systems themselves. Not only is direct support for heuristics beneficial, but to do so modifies the form of computer support provided. This paper defines and explores the use of problem solving heuristics in user interface design. 

A demonstration hypertext system, Hyperwriter, was developed as the outcome of considering general problem-solving heuristics as goals of interactive systems design. Whereas hypertext joins and relates ideas, Hyperwriter additionally, and as a direct outcome of the design approach, has ways of separating, ordering and polishing ideas. As an application for creative writing, Hyperwriter supports effective thinking over a period of time. (This paper was drafted, organised and re-organised using the system itself.) Some issues arising in implementing Hyperwriter are also discussed.},
   year = {1994},
   note = {with Application to Hypertext and Creative Writing},
   pages = {29--44},
   journal = {AI {\&} Society},
   volume = {8}
}

This paper describes how to generate a single image which, when viewed in the appropriate way, appears to the brain as a 3D scene. The image is a stereogram composed of seemingly random dots. A new, simple and symmetric algorithm for generating such images from a solid model is given, along with the design parameters and their influence on the display. The algorithm improves on previously-described ones in several ways: it is symmetric and hence free from directional (right-to-left or left-to-right) bias, it corrects a slight distortion in the rendering of depth, it removes hidden parts of surfaces, and it also eliminates a type of artifact that we call an “echo.”

Random dot stereograms have one remaining problem: difficulty of initial viewing. If a computer screen rather than paper is used for output, the problem can be ameliorated by shimmering, or time-multiplexing of pixel values. We also describe a simple computational technique for determining what is present in a stereogram so that, if viewing is difficult, one can ascertain what to look for.

@article{HT15,
   title = {Displaying 3D Images: Algorithms for Single-Image Random-Dot Stereograms},
   author = {Harold Thimbleby and I. H. Witten and S. Inglis},
   abstract = {This paper describes how to generate a single image which, when viewed in the appropriate way, appears to the brain as a 3D scene. The image is a stereogram composed of seemingly random dots. A new, simple and symmetric algorithm for generating such images from a solid model is given, along with the design parameters and their influence on the display. The algorithm improves on previously-described ones in several ways: it is symmetric and hence free from directional (right-to-left or left-to-right) bias, it corrects a slight distortion in the rendering of depth, it removes hidden parts of surfaces, and it also eliminates a type of artifact that we call an ``echo.''

Random dot stereograms have one remaining problem: difficulty of initial viewing. If a computer screen rather than paper is used for output, the problem can be ameliorated by shimmering, or time-multiplexing of pixel values. We also describe a simple computational technique for determining what is present in a stereogram so that, if viewing is difficult, one can ascertain what to look for.},
   year = {1994},
   pages = {38--48},
   journal = {IEEE Computer},
   url = {http://cs.swan.ac.uk/~csharold/sirds/index.html},
   volume = {27},
   number = {10}
}

@inbook{HT168,
   title = {Trust in CSCW},
   author = {Harold Thimbleby and {\main{S. P. Marsh}} and S. R. Jones and A. G. Cockburn},
   year = {1994},
   booktitle = {Computer-Supported Cooperative Work},
   pages = {253--271},
   isbn = {0--291--39812--X},
   editor = {S. Scrivener},
   publisher = {Ashgate Publishing}
}

@article{HT274,
   author = {Harold Thimbleby},
   year = {1994},
   booktitle = {Mastering {Mathematica} (by J.~W.~Gray)},
   pages = {44},
   journal = {New Scientist},
   volume = {142},
   number = {1931}
}

@article{HT273,
   author = {Harold Thimbleby and W.~Thimbleby},
   year = {1994},
   booktitle = {Logoland for Young Learners (by H.~Abelson and A.~Abelson)},
   pages = {38},
   journal = {New Scientist},
   volume = {143},
   number = {1940}
}

A user manual may provide instructions that, if the user follows them, achieve any of certain objectives as determined by the manual designers. A manual may therefore be viewed rather like a computer program, as pre-planned instructions. Accordingly, software engineering and its methods may be applied mutatis mutandis to the manual and its design process.

We consider structured programming methods, and show that some difficulties with user interfaces may be attributed to manuals being “unstructured.” Since there are many programming metrics, and very many styles of manuals for user interfaces, this paper is concerned with justifying the approach and showing how insightful it is.

@inproceedings{structured-bcs,
   title = {Manuals as Structured Programs},
   author = {Harold Thimbleby and M. A. Addison},
   abstract = {A user manual may provide instructions that, if the user follows them, achieve any of certain objectives as determined by the manual designers. A manual may therefore be viewed rather like a computer program, as pre-planned instructions. Accordingly, software engineering and its methods may be applied {\emph{mutatis mutandis\/}} to the manual and its design process. 

We consider structured programming methods, and show that some difficulties with user interfaces may be attributed to manuals being ``unstructured.'' Since there are many programming metrics, and very many styles of manuals for user interfaces, this paper is concerned with justifying the approach and showing how insightful it is.},
   year = {1994},
   booktitle = {Proceedings British Computer Society Conference HCI'94, People and Computers},
   pages = {67--79},
   isbn = {0--521--48557--6},
   volume = {IX},
   editor = {G. Cockton and S. W. Draper and G. R. S. Weir},
   publisher = {Cambridge University Press}
}

We discuss a procedure proposed by Voas, Payne & Cohen for detecting the existence of software corruption in real time. In particular, we discuss problems posed by the concurrent execution of programs. In the cases where the proposed method may work, corruption is unlikely to be a problem; and where corruption by viruses and Trojans are a problem, major problems with the method remain.

@article{HT13,
   title = {Comments on A Paper by Voas, Payne {\&} Cohen: ``A Model for Detecting the Existence of Software Corruption in Real Time''},
   author = {Harold Thimbleby and P. Ladkin},
   abstract = {We discuss a procedure proposed by Voas, Payne {\&} Cohen for detecting the existence of software corruption in real time. In particular, we discuss problems posed by the concurrent execution of programs. In the cases where the proposed method may work, corruption is unlikely to be a problem; and where corruption by viruses and Trojans are a problem, major problems with the method remain.},
   year = {1994},
   pages = {527--531},
   journal = {Computers {\&} Security},
   volume = {13},
   number = {6}
}

@article{HT271,
   title = {How to Conquer the Fear of Maths},
   author = {Harold Thimbleby},
   year = {1994},
   booktitle = {The Mathematical Universe (by W.~Dunham)},
   pages = {44},
   journal = {New Scientist},
   volume = {144},
   number = {1954}
}

@article{HT272,
   title = {The Lore and Language of Computing (Computing Science Student Books Reviews)},
   author = {Harold Thimbleby},
   year = {1994},
   pages = {50--52},
   journal = {New Scientist},
   volume = {144},
   number = {1946}
}

@article{hubris1,
   title = {Technological Hubris},
   author = {Harold Thimbleby},
   year = {1994},
   pages = {229--234},
   journal = {Computers {\&} Digital Techniques},
   volume = {5},
   number = {5}
}

Most user interfaces are constructed by programs, so there is no direct relationship between the program, its structure and the user interface it implements. For example, graphics drawn on a screen need have no correspondence with regions of the screen sensitive to the user’s input. View binding is introduced as a binding scheme (related to static or lexical binding schemes) whereby the user’s browsing the user interface also manipulates the program’s environment in a particular way. The result is a direct relation between user interface and program, with many advantages.

Like particular binding schemes in programming languages, view binding is not a solution to every programmer’s or user’s wishes, yet it provides a useful discipline that can help simplify user interfaces and their programs. In particular, it is very suitable for user enhanceable systems.

No system currently available is implemented with a strict view binding scheme, but this paper exhibits suggestive examples taken from several well-known programming languages and interactive systems.

@article{HT16,
   title = {View Binding and User Enhanceable Systems},
   author = {Harold Thimbleby},
   abstract = {Most user interfaces are constructed by programs, so there is no direct relationship between the program, its structure and the user interface it implements. For example, graphics drawn on a screen need have no correspondence with regions of the screen sensitive to the user's input. View binding is introduced as a binding scheme (related to static or lexical binding schemes) whereby the user's browsing the user interface also manipulates the program's environment in a particular way. The result is a direct relation between user interface and program, with many advantages. 

Like particular binding schemes in programming languages, view binding is not a solution to every programmer's or user's wishes, yet it provides a useful discipline that can help simplify user interfaces and their programs. In particular, it is very suitable for user enhanceable systems.

No system currently available is implemented with a strict view binding scheme, but this paper exhibits suggestive examples taken from several well-known programming languages and interactive systems.},
   year = {1994},
   pages = {337--349},
   journal = {The Visual Computer: An International Journal of Computer Graphics},
   volume = {10},
   number = {6}
}

@unpublished{HT153,
   title = {The Challenge of Technological Hubris},
   author = {Harold Thimbleby},
   year = {1994},
   booktitle = {{$\varepsilon\tau$'94} Conference},
   aftertitle = {Keynote},
   publisher = {CCTA (Government Office: Government Centre for Information Systems}
}

The complementary paradigms of text compression and image compression suggest that there may be potential for applying methods developed for one domain to the other. In image coding, lossy techniques yield compression factors that are vastly superior to those of the best lossless schemes, and we show that this is also the case for text. This paper investigates the resulting tradeoff between subjective quality of the transmission and its compression factor. Two different methods are described, which can be combined into an extremely effective technique that provides far better compression than the present state of the art and yet preserves a reasonable degree of perceived match between the original and received text. The major challenge for lossy text compression is the quantitative evaluation of the quality of this match.

@article{april-cj,
   title = {Semantic and Generative Models for Lossy Text Compression},
   author = {Harold Thimbleby and I. H. Witten and T. C. Bell and A. Moffat and C. G. Nevill-Manning and T. C. Smith},
   abstract = {The complementary paradigms of text compression and image compression suggest that there may be potential for applying methods developed for one domain to the other. In image coding, lossy techniques yield compression factors that are vastly superior to those of the best lossless schemes, and we show that this is also the case for text. This paper investigates the resulting tradeoff between subjective quality of the transmission and its compression factor. Two different methods are described, which can be combined into an extremely effective technique that provides far better compression than the present state of the art and yet preserves a reasonable degree of perceived match between the original and received text. The major challenge for lossy text compression is the quantitative evaluation of the quality of this match.},
   year = {1994},
   pages = {83--87},
   journal = {Computer Journal},
   volume = {37},
   number = {2}
}

@article{HT204,
   title = {Stereograms --- How do they work?},
   author = {Harold Thimbleby},
   year = {1994},
   pages = {13},
   journal = {FunMaths! 1995 Calendar},
   publisher = {QED Ltd}
}

Usability is empirical, and often highly context-specific, but it would be useful for designers to have general estimates of usability from interactive system specifications alone. We discuss how this problem may be approached, and we give examples. We also discuss the justification for the approach, since it is unusual to measure usability without involving users. The explicit mathematical content of this paper has been deliberately kept to a minimum.

@article{HT18,
   title = {Formulating Usability},
   author = {Harold Thimbleby},
   abstract = {Usability is empirical, and often highly context-specific, but it would be useful for designers to have general estimates of usability from interactive system specifications alone. We discuss how this problem may be approached, and we give examples. We also discuss the justification for the approach, since it is unusual to measure usability without involving users. The explicit mathematical content of this paper has been deliberately kept to a minimum.},
   year = {1994},
   pages = {59--64},
   journal = {ACM SIGCHI Bulletin},
   volume = {26},
   number = {2}
}

@article{HT318,
   title = {High Charges to the Public for Government `Glasnost'},
   author = {Harold Thimbleby},
   year = {14 November, 1994},
   aftertitle = {Letter},
   pages = {19},
   journal = {The Times}
}

Conventional protection methods against software piracy and computer viruses are limited in their effectiveness and timeliness. A cryptographic method, introduced in this paper, can stop the spread of viruses of all kinds, stop software piracy, and can be ideal for organisational purposes. Computer use within an organisation is completely unaffected.

@article{HT17,
   title = {An Organisational Solution to Piracy and Viruses},
   author = {Harold Thimbleby},
   abstract = {Conventional protection methods against software piracy and computer viruses are limited in their effectiveness and timeliness. A cryptographic method, introduced in this paper, can stop the spread of viruses of all kinds, stop software piracy, and can be ideal for organisational purposes. Computer use within an organisation is completely unaffected.},
   year = {1994},
   pages = {207--215},
   journal = {Journal of Systems and Software},
   volume = {25},
   number = {2}
}

@inproceedings{lang-bcs,
   title = {Designing the Interface Programming Language for the End User},
   author = {Harold Thimbleby and {\main{G. Marsden}}},
   year = {1994},
   booktitle = {BCS Conference on People and Computers, {HCI}'94}
}

Most people shrug off their problems using gadgets like video recorders, fax machines, photocopiers and computers. Yet closer analysis shows that such systems have profound engineering problems, indicating that manufacturers add many features rather than design a coherent system. User manuals are unintelligible, mainly because they describe unintelligible systems.

@booklet{HT317,
   title = {Systems, Manuals, Usability and Graph Theory},
   author = {Harold Thimbleby},
   abstract = {Most people shrug off their problems using gadgets like video recorders, fax machines, photocopiers and computers. Yet closer analysis shows that such systems have profound engineering problems, indicating that manufacturers add many features rather than design a coherent system. User manuals are unintelligible, mainly because they describe unintelligible systems.},
   year = {1994},
   aftertitle = {Report on SERC Grant No. GR/J43110}
}

This book discusses the application of formal methods to the human-computer interface. Formal methods — the attempt to provide methods that rigorously and unambiguously describe the behaviour of a computer program or system — is currently receiving a great deal of attention in human-computer interaction (HCI). Topics such as the specification of a system, the construction of a system from its specification, and the abstraction of a specification from an existing system, are clearly of great theoretical and practical interest.

The contributors to the work are well-known in the field of HCI, and their articles cover much of the current work in the area. The book is a series of papers specially commissioned by the editors for the book; it is thus a coherent and important contribution to the area.

@book{fmhci,
   title = {Formal Methods in Human Computer Interaction},
   abstract = {This book discusses the application of formal methods to the human-computer interface. Formal methods --- the attempt to provide methods that rigorously and unambiguously describe the behaviour of a computer program or system --- is currently receiving a great deal of attention in human-computer interaction (HCI)\@. Topics such as the specification of a system, the construction of a system from its specification, and the abstraction of a specification from an existing system, are clearly of great theoretical and practical interest.

The contributors to the work are well-known in the field of HCI, and their articles cover much of the current work in the area. The book is a series of papers specially commissioned by the editors for the book; it is thus a coherent and important contribution to the area.},
   year = {1994},
   note = {(323pp)},
   isbn = {0--521--37202 X},
   editor = {Michael D. Harrison and H. Thimbleby},
   publisher = {Cambridge University Press}
}

@inproceedings{HT76,
   title = {Hypertext as a Combined System and Manual},
   author = {Harold Thimbleby},
   year = {1993},
   booktitle = {Proceedings Workshop on Issues in Computer Support for Documentation and Manuals},
   pages = {8/1--8/5},
   series = {IEE Colloquium},
   number = {IEE Digest 1993/169}
}

Hyperprogramming goes beyond ordinary HyperCard applications. It is a powerful method of programming supported by HyperTalk-like languages where there is equality between programmer and user, and where objects are the user interface. HyperProgramming languages include all the features of conventional languages, but also support novel features for building interactive applications quickly and simply. (From the back cover.)

@book{hyperprogramming,
   title = {HyperProgramming},
   author = {Harold Thimbleby and G. F. Coulouris},
   abstract = {Hyperprogramming goes beyond ordinary HyperCard applications. It is a powerful method of programming supported by HyperTalk-like languages where there is equality between programmer and user, and where objects are the user interface. HyperProgramming languages include all the features of conventional languages, but also support novel features for building interactive applications quickly and simply. (From the back cover.)},
   year = {1993},
   note = {(405pp) Includes disk. Reprinted (with corrections)},
   isbn = {0--201--56886--1},
   publisher = {Addison-Wesley}
}

@inbook{HT121,
   title = {Foreword},
   author = {Harold Thimbleby},
   year = {1993},
   booktitle = {The Computer User as a Toolsmith: The Use, Reuse and Organization of Computer-Based Tools (by S.~Greenberg)},
   pages = {xiii--xiv},
   isbn = {0521--40430--4},
   publisher = {Cambridge University Press}
}

Henri Genaille’s Rods are a nineteenth-century device for doing multiplication, similar to, but easier to use than, the more familiar Napier’s Bones. Genaille’s Rods are visually attractive and useful in teaching. This article shows how to use Mathematica to draw the required diagrams, which can then be cut out with scissors and passed to wooden rods to make an accurate set of rods.

@article{HT20,
   title = {Genaille's Rods},
   author = {Harold Thimbleby},
   abstract = {Henri Genaille's Rods are a nineteenth-century device for doing multiplication, similar to, but easier to use than, the more familiar Napier's Bones. Genaille's Rods are visually attractive and useful in teaching. This article shows how to use Mathematica to draw the required diagrams, which can then be cut out with scissors and passed to wooden rods to make an accurate set of rods.},
   year = {1993},
   pages = {60--62},
   journal = {Mathematica Journal},
   url = {http://library.wolfram.com/infocenter/Articles/3146/},
   volume = {3},
   number = {2}
}

@article{HT21,
   title = {GenaillesRods.m package},
   author = {Harold Thimbleby},
   year = {1993},
   note = {Converted to Mathematica 8},
   journal = {Mathematica Journal Electronic Supplement},
   url = {http://www.mathematica-journal.com/issue/v3i2/},
   volume = {3},
   number = {2}
}

@article{HT19,
   title = {A Personal View: Software Mechanics},
   author = {Harold Thimbleby},
   year = {1993},
   pages = {110--111},
   journal = {Software Engineering Journal},
   volume = {8},
   number = {3}
}

Computerisation is the technological imperative, yet it often results in deeper social malaise than the simpler methods replaced; the alienations, even inefficiencies, that they represent become more rigidly entrenched. All this is well known and widely debated. It is systemic and seems intractable. This article discusses a similar problem at the level of user interface design, a much smaller domain and one where there can be more hope.

@article{solution-bit,
   title = {Solutioneering in User Interface Design},
   author = {Harold Thimbleby and Will Thimbleby},
   abstract = {Computerisation is the technological imperative, yet it often results in deeper social malaise than the simpler methods replaced; the alienations, even inefficiencies, that they represent become more rigidly entrenched. All this is well known and widely debated. It is systemic and seems intractable. This article discusses a similar problem at the level of user interface design, a much smaller domain and one where there can be more hope.},
   year = {1993},
   pages = {190--193},
   journal = {Behaviour and Information Technology},
   volume = {12},
   number = {3}
}

@article{parkinson1,
   title = {Computerised Parkinson's Law},
   author = {Harold Thimbleby},
   year = {1993},
   pages = {197--198},
   journal = {Computing {\&} Control Engineering Journal},
   volume = {4},
   number = {5}
}

@article{HT319,
   title = {Principles First},
   author = {Harold Thimbleby},
   year = {10 September, 1993},
   aftertitle = {Letter},
   pages = {15},
   journal = {The Independent}
}

The value of electronic mail as a medium for collaborative and coordinated work can be enhanced by relating messages to conversations. While some groupware systems have offered such facilities, their ability to assess conversational context is dependent on explicit user action and the use of specific systems by all collaborators.

This paper describes Mona, a novel conversation based email platform. Mona provides a hypertext representation of conversational context without requiring any additional effort from the user or the use of specific email systems by other collaborators. Mona’s lack of requirements and independence is made possible by inferring conversational context with heuristics using information inherently transferred in all email communications.

Mona’s heuristics are described, as are its mechanisms for personalising conversation views.

@inproceedings{HT79,
   title = {Reducing User Effort in Collaboration Support},
   author = {Harold Thimbleby and {\main{A. J. G. Cockburn}}},
   abstract = {The value of electronic mail as a medium for collaborative and coordinated work can be enhanced by relating messages to conversations. While some groupware systems have offered such facilities, their ability to assess conversational context is dependent on explicit user action and the use of specific systems by all collaborators. 

This paper describes Mona, a novel conversation based email platform. Mona provides a hypertext representation of conversational context without requiring any additional effort from the user or the use of specific email systems by other collaborators. Mona's lack of requirements and independence is made possible by inferring conversational context with heuristics using information inherently transferred in all email communications. 

Mona's heuristics are described, as are its mechanisms for personalising conversation views.},
   year = {1993},
   booktitle = {Proceedings 1993 {ACM/SIGCHI} International Conference on Intelligent User Interfaces --- IUI'93},
   pages = {215--218},
   isbn = {0--89791--556--9},
   editor = {W. D. Gray and W. E. Hefley and D. Murray},
   location = {Orlando, Florida},
   publisher = {ACM Press},
   doi = {10.1145/169891.169989}
}

@article{HT276,
   title = {The Frustrated User Always Knows Better than the Engineer},
   author = {Harold Thimbleby},
   year = {1993},
   booktitle = {Usability Engineering (by J.~Nielsen)},
   pages = {40--41},
   journal = {New Scientist},
   volume = {139},
   number = {1887}
}

@inproceedings{HT122,
   title = {Interactive Consumer User Interfaces},
   author = {Harold Thimbleby},
   year = {1993},
   booktitle = {Proceedings InfoTech'93, Den Norske Dataforening, Norwegian Computer Society Conference},
   aftertitle = {Keynote},
   pages = {1--9},
   location = {Oslo, Norway}
}

@article{HT277,
   author = {Harold Thimbleby},
   year = {1993},
   pages = {38},
   journal = {New Scientist},
   volume = {137},
   number = {1854}
}

Technical systems are so powerful that there is a temptation to try to provide “perfect” support for any cooperative work practice. Some CSCW problems result from designs motivated by optimising technical criteria. A very high bandwidth network, for instance, can support a wide variety of work patterns; the consequent focus of solving the salient technical problems gives the impression that CSCW is a merely social concern. We suggest a class of CSCW system property, observational properties, which are required by users. This motivates a description of an appropriate technology to support such properties. Observational properties tend to be easier to support, so that systems may be more robust or able to handle degradation more gracefully. When an observer cannot distinguish a CSCW system from a perfect system, we say the system is practically perfect. Practically perfect CSCW can be achieved either by perfect technology or, more appropriately, by judicious design of the CSCW application. Such systems are particularly appropriate for mobile and remote activities, including the activities of personal users without permanent access to reliable and timely communications infrastructures.

@inproceedings{HT77,
   title = {Observations on Practically Perfect CSCW},
   author = {Harold Thimbleby and D. J. Pullinger},
   abstract = {Technical systems are so powerful that there is a temptation to try to provide ``perfect'' support for any cooperative work practice. Some CSCW problems result from designs motivated by optimising technical criteria. A very high bandwidth network, for instance, can support a wide variety of work patterns; the consequent focus of solving the salient technical problems gives the impression that CSCW is a merely social concern. We suggest a class of CSCW system property, {\emph{observational properties\/}}, which are required by users. This motivates a description of an appropriate technology to support such properties. Observational properties tend to be easier to support, so that systems may be more robust or able to handle degradation more gracefully. When an observer cannot distinguish a CSCW system from a perfect system, we say the system is {\emph{practically perfect\/}}. Practically perfect CSCW can be achieved either by perfect technology or, more appropriately, by judicious design of the CSCW application. Such systems are particularly appropriate for mobile and remote activities, including the activities of personal users without permanent access to reliable and timely communications infrastructures.},
   year = {1993},
   booktitle = {Proceedings CSCW (Computer Supported Co-Operative Working) Issues for Mobile and Remote Workers},
   pages = {5/1--5/4},
   series = {Joint CSCW SIG/IEE Colloquium},
   number = {IEE Digest 1993/059}
}

@inproceedings{HT78,
   title = {Creative Writing in Hypertext: Beyond Linking Concepts},
   author = {Harold Thimbleby},
   year = {1993},
   booktitle = {Proceedings Conference on Computers {\&} Writing},
   volume = {VI}
}

Like many interactive systems, hypertext is operated by button pressing. It is therefore possible to combine an interactive system with its own hypertext manual. Numerous advantages follow: adaptive intelligent interactive help; correct documentation, in natural or mathematical language; automatic generation of conventional manuals optimised for various tasks; and detailed analysis.

This paper motivates the approach, and describes a representative system, Hyperdoc. Hyperdoc enables research questions about good user interfaces and good user manuals to be investigated.

@inproceedings{manuals-bcs,
   title = {Combining Systems and Manuals},
   author = {Harold Thimbleby},
   abstract = {Like many interactive systems, hypertext is operated by button pressing. It is therefore possible to combine an interactive system with its own hypertext manual. Numerous advantages follow: adaptive intelligent interactive help; correct documentation, in natural or mathematical language; automatic generation of conventional manuals optimised for various tasks; and detailed analysis.

This paper motivates the approach, and describes a representative system, {\emph{Hyperdoc\/}}. Hyperdoc enables research questions about good user interfaces and good user manuals to be investigated.},
   year = {1993},
   booktitle = {Proceedings British Computer Society Conference on Human-Computer Interaction, {HCI}'93},
   pages = {479--488},
   isbn = {0--521--46633--4},
   volume = {VIII},
   location = {Loughborough},
   editor = {J. L. Alty and D. Diaper and S. Guest},
   publisher = {Cambridge University Press}
}

@inproceedings{HT123,
   title = {Enhanceable User Interfaces},
   author = {Harold Thimbleby},
   year = {1993},
   booktitle = {Proceedings InfoTech'93, Den Norske Dataforening, Norwegian Computer Society Conference},
   aftertitle = {Keynote},
   pages = {1--5},
   location = {Oslo, Norway}
}

@article{HT209,
   title = {Managing a Multiplication Problem},
   author = {Harold Thimbleby and Will Thimbleby},
   year = {January 1993},
   pages = {71--73},
   journal = {Program Now},
   volume = {7},
   number = {1}
}

There is a tension between making computer systems more standardised (and hence easier to use given previous experience with other systems) and whether users should be expected to be more competent, to be computer literate. Computer literacy enables users to cope with non-standard, ad hoc, or badly designed systems; instead it should make users campaign for standardised systems that are easier to use.

@inbook{HT169,
   title = {Computer Literacy and Usability Standards?},
   author = {Harold Thimbleby},
   abstract = {There is a tension between making computer systems more standardised (and hence easier to use given previous experience with other systems) and whether users should be expected to be more competent, to be computer literate. Computer literacy enables users to cope with non-standard, {\emph{ad hoc\/}}, or badly designed systems; instead it should make users campaign for standardised systems that are easier to use.},
   year = {1993},
   booktitle = {User Needs in Information Technology Standards},
   pages = {223--230},
   isbn = {0--7506--1559--1},
   editor = {C. D. Evans and B. L. Meek and R. S. Walker},
   publisher = {Butterworth-Heinemann}
}

@article{HT205,
   title = {How to Play Tricks with Dots},
   author = {Harold Thimbleby and C. Neesham (editor)},
   year = {1993},
   pages = {26--29},
   journal = {New Scientist},
   volume = {140},
   number = {1894}
}

@article{HT206,
   title = {Making a Program Faster},
   author = {Harold Thimbleby},
   year = {1993},
   pages = {40--41},
   journal = {Program Now},
   volume = {7},
   number = {5}
}

@article{news13,
   title = {Extra: Science (Picture and quiz for BBC TV)},
   author = {Harold Thimbleby},
   year = {November, 1993},
   pages = {82--83, 13--19},
   journal = {Tomorrow's World},
   volume = {151},
   number = {46}
}

This chapter takes a formal approach to the design of a class of user interfaces, and shows that some “psychological” design guidelines can be approached without assumptions of human psychology. We suggest an operational approach to assessing user interfaces, with a theoretical foundation in systems theory. Although more work in applying formal methods to HCI is required, we provide arguments for its importance, not least because of the intrinsic unreliability of empirical methods in the face of the complexity of even the simplest of interactive systems. We also argue that much of this complexity is in any case spurious and exacerbates user interface problems, indeed, drives the debate about quality in user interfaces away from fundamental issues towards cosmetic concealing of design faults.

A reader of this chapter commented that, “I would not argue that these problems aren’t important, but they seem minor compared to the real task of designing a system that suggests and supports appropriate, task-relevant actions.” This is based on a misconception: the real task of design includes more than just making a system suggest and support task-relevant actions (and so forth). It must do so reliably, completely, and consistently (to chosen criteria): in short, it must be trustworthy. Without a formal basis — which is what we argue for — interactive systems merely give the temporary semblance of being easy to use. The thorough study of even a simple interactive system is beyond either users or conventional empirical design methods: formal analysis is essential.

@inbook{HT170,
   title = {User Modelling as Machine Identification: New Design Methods for {HCI}},
   author = {Harold Thimbleby and I. H. Witten},
   abstract = {This chapter takes a formal approach to the design of a class of user interfaces, and shows that some ``psychological'' design guidelines can be approached without assumptions of human psychology. We suggest an operational approach to assessing user interfaces, with a theoretical foundation in systems theory. Although more work in applying formal methods to HCI is required, we provide arguments for its importance, not least because of the intrinsic unreliability of empirical methods in the face of the complexity of even the simplest of interactive systems. We also argue that much of this complexity is in any case spurious and exacerbates user interface problems, indeed, drives the debate about quality in user interfaces away from fundamental issues towards cosmetic concealing of design faults.

A reader of this chapter commented that, ``I would not argue that these problems aren't important, but they seem minor compared to the real task of designing a system that suggests and supports appropriate, task-relevant actions.'' This is based on a misconception: the real task of design includes more than just making a system suggest and support task-relevant actions (and so forth). It must do so reliably, completely, and consistently (to chosen criteria): in short, it must be trustworthy. Without a formal basis --- which is what we argue for --- interactive systems merely give the temporary semblance of being easy to use. The thorough study of even a simple interactive system is beyond either users or conventional empirical design methods: formal analysis is essential.},
   year = {1993},
   booktitle = {Advances in Human Computer Interaction},
   pages = {58--86},
   isbn = {0--89391--934--9},
   volume = {IV},
   editor = {D. Hix and H. R. Hartson},
   publisher = {Ablex}
}

@inbook{HT171,
   title = {Literate Programming},
   author = {Harold Thimbleby},
   year = {1993},
   booktitle = {The Encyclopedia of Computer Science},
   pages = {761--762},
   isbn = {0--442--27679--6},
   edition = {3},
   publisher = {van Nostrand Reinhold},
   editor = {A. Ralston and E. D. Reilly}
}

@article{HT207,
   title = {The Questionnaire},
   author = {Harold Thimbleby},
   year = {April, 1993},
   pages = {24},
   jour