Harold W. Thimbleby

ACM Trans. Comput. Heal., 2022

2018

A tool for publishing reproducible algorithms & A reproducible, elegant algorithm for sequential experiments.

[BibT_eX]

[DOI]

David Williams

Sci. Comput. Program., 2018

2017

Improve IT, Improve Healthcare.

[BibT_eX]

[DOI]

Computer, 2017

2016

Safer Interactive Medical Device Design: Insights from the CHI+MED Project.

[BibT_eX]

[DOI]

EAI Endorsed Trans. Security Safety, 2016

Employing Number-Based Graphical Representations to Enhance the Effects of Visual Check on Entry Error Detection.

[BibT_eX]

[DOI]

Interact. Comput., 2016

<i>IWC</i> Special Issue in Human Factors and Interaction Design for Critical Systems.

[BibT_eX]

[DOI]

Interact. Comput., 2016

Issues in number entry user interface styles: Recommendations for mitigation.

[BibT_eX]

[DOI]

EAI Endorsed Trans. Creative Technol., 2016

PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems.

[BibT_eX]

[DOI]

Paolo Masci

Piergiuseppe Mallozzi

Paul Curzon

EAI Endorsed Trans. Collab. Comput., 2016

Human factors and missed solutions to Enigma design weaknesses.

[BibT_eX]

[DOI]

Cryptologia, 2016

Extending a User Interface Prototyping Tool with Automatic MISRA C Code Generation.

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Formal Integrated Development Environment, 2016

Design and evaluation of a mobile phone-based health intervention for patients with hypertensive condition.

[BibT_eX]

[DOI]

Comput. Hum. Behav., 2016

2015

Safer User Interfaces: A Case Study in Improving Number Entry.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2015

The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2015

The Healthtech Declaration.

[BibT_eX]

[DOI]

Ross Koppel

IEEE Secur. Priv., 2015

ConCap: Designing to Empower Individual Reflection on Chronic Conditions using Mobile Apps.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Human-Computer Interaction with Mobile Devices and Services, 2015

Exploring the Effect of Pre-operational Priming Intervention on Number Entry Errors.

[BibT_eX]

[DOI]

Karen Yunqiu Li

Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems, 2015

Principles, Techniques and Perspectives on Optimization and HCI.

[BibT_eX]

[DOI]

Roderick Murray-Smith

John Williamson

Shumin Zhai

Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems, 2015

PVSio-web 2.0: Joining PVS to HCI.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

User experience evaluation through the brain's electrical activity.

[BibT_eX]

[DOI]

Akshay Aggarwal

Gerrit Niezen

Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, 2014

Combining PVSio with Stateflow.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014

Using PVSio-web to Demonstrate Software Issues in Medical User Interfaces.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering in Health Care - 4th International Symposium, 2014

Formal Verification of Medical Device User Interfaces Using PVS.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2014

Triangulating empirical and analytic techniques for improving number entry user interfaces.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2014

The Effects of Number-related Factors on Entry Performance.

[BibT_eX]

[DOI]

Proceedings of the BCS-HCI 2014 Proceedings of the 28th International BCS Human Computer Interaction Conference, 2014

Managing Gravity Infusion using a Mobile Application.

[BibT_eX]

[DOI]

Proceedings of the BCS-HCI 2014 Proceedings of the 28th International BCS Human Computer Interaction Conference, 2014

2013

Designing for Digital Reading

[BibT_eX]

[DOI]

Synthesis Lectures on Information Concepts, Retrieval, and Services, Morgan & Claypool Publishers, ISBN: 978-3-031-02330-9, 2013

SYFSA: A framework for Systematic Yet Flexible Systems Analysis.

[BibT_eX]

[DOI]

J. Biomed. Informatics, 2013

Targeting the Fitts Law.

[BibT_eX]

[DOI]

Interactions, 2013

Action graphs and user performance analysis.

[BibT_eX]

[DOI]

Int. J. Hum. Comput. Stud., 2013

PVSio-web: a tool for rapid prototyping device user interfaces in PVS.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2013

A Performance Review of Number Entry Interfaces.

[BibT_eX]

[DOI]

Anna Louise Cox

Proceedings of the Human-Computer Interaction - INTERACT 2013, 2013

Using Nomograms to Reduce Harm from Clinical Calculations.

[BibT_eX]

[DOI]

David Williams

Proceedings of the IEEE International Conference on Healthcare Informatics, 2013

Improving Safety in Medical Devices and Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Healthcare Informatics, 2013

ViM: Vital Signs in Music Creatively Facilitating Effective Long-Term Wellbeing Self-Management.

[BibT_eX]

[DOI]

Karen Yunqiu Li

Proceedings of the IEEE International Conference on Healthcare Informatics, 2013

Using Medical Device Logs for Improving Medical Device Design.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Healthcare Informatics, 2013

Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2013

Applying theorem discovery to automatically find and check usability heuristics.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 2013

A Design to Empower Patients in Long Term Wellbeing Monitoring and Chronic Disease Management in mHealth.

[BibT_eX]

[DOI]

Proceedings of the Context Sensitive Health Informatics: Human and Sociotechnical Approaches, 2013

Reasons to question seven segment displays.

[BibT_eX]

[DOI]

Proceedings of the 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, 2013

MediCHI: safer interaction in medical devices.

[BibT_eX]

[DOI]

Proceedings of the 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, 2013

A Systematic Yet Flexible Systems Analysis Framework.

[BibT_eX]

[DOI]

Proceedings of the AMIA 2013, 2013

2012

Heedless programming: ignoring detectable error is a widespread hazard.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2012

The Digital Reading Desk: A lightweight approach to digital note-taking.

[BibT_eX]

[DOI]

Interact. Comput., 2012

Investigating collaborative annotation on slate pcs.

[BibT_eX]

[DOI]

Proceedings of the Mobile HCI '12, 2012

Co-reading: investigating collaborative group reading.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM/IEEE-CS Joint Conference on Digital Libraries, 2012

From rotary telephones to universal number entry systems: can the past re-shape the future?

[BibT_eX]

[DOI]

Julie Webster

Parisa Eslambolchilar

Proceedings of the 2012 ACM Conference on Ubiquitous Computing, 2012

How good is this conference?: evaluating conference reviewing and selectivity.

[BibT_eX]

[DOI]

Proceedings of the BCS-HCI '12 Proceedings of the 26th Annual BCS Interaction Specialist Group Conference on People and Computers, 2012

Understanding user requirements in take-home diabetes management technologies.

[BibT_eX]

[DOI]

Tom Owen

Proceedings of the BCS-HCI '12 Proceedings of the 26th Annual BCS Interaction Specialist Group Conference on People and Computers, 2012

Safer "5-key" number entry user interfaces using differential formal analysis.

[BibT_eX]

[DOI]

Proceedings of the BCS-HCI '12 Proceedings of the 26th Annual BCS Interaction Specialist Group Conference on People and Computers, 2012

2011

Dependable keyed data entry for interactive systems.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

On formalising interactive number entry on infusion pumps.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Signposting in Documents.

[BibT_eX]

[DOI]

Comput. J., 2011

Number Entry Interfaces and Their Effects on Error Detection.

[BibT_eX]

[DOI]

Anna Louise Cox

Proceedings of the Human-Computer Interaction - INTERACT 2011, 2011

The Reading Desk: Supporting Lightweight Note-Taking in Digital Documents.

[BibT_eX]

[DOI]

Proceedings of the Research and Advanced Technology for Digital Libraries, 2011

Buffer automata: a UI architecture prioritising HCI concerns for interactive devices.

[BibT_eX]

[DOI]

Abigail Cauchi

Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2011

Towards Dependable Number Entry for Medical Devices.

[BibT_eX]

[DOI]

Abigail Cauchi

Paul Curzon

Parisa Eslambolchilar

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

Engineering interactive computer systems for medicine and healthcare (EICS4Med).

[BibT_eX]

[DOI]

Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2011

Comparing Actual Practice and User Manuals: A Case Study Based on Programmable Infusion Pumps.

[BibT_eX]

[DOI]

Ann Blandford

Abigail Cauchi

Paul Curzon

Parisa Eslambolchilar

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

RepliCHI - CHI should be replicating and validating results more: discuss.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Human Factors in Computing Systems, 2011

The reading desk: applying physical interactions to digital documents.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Human Factors in Computing Systems, 2011

Interactive technologies for health special interest group.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Human Factors in Computing Systems, 2011

2010

Inclusion and interaction: Designing interaction for inclusive populations.

[BibT_eX]

[DOI]

Patrick Langdon

Interact. Comput., 2010

Human-Computer Interaction for Medicine and Health Care (HCI4MED): Towards making Information usable.

[BibT_eX]

[DOI]

Andreas Holzinger

Russell Beale

Int. J. Hum. Comput. Stud., 2010

Avoiding Latent Design Conditions Using UI Discovery Tools.

[BibT_eX]

[DOI]

Int. J. Hum. Comput. Interact., 2010

Think! Interactive Systems Need Safety Locks.

[BibT_eX]

[DOI]

J. Comput. Inf. Technol., 2010

User interface model discovery: towards a generic approach.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2010

HCI design principles for ereaders.

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM Workshop on Research Advances in Large Digital Book Repositories and Complementary Media, 2010

Human computer interaction and medical devices.

[BibT_eX]

[DOI]

Chitra Acharya

Proceedings of the 2010 British Computer Society Conference on Human-Computer Interaction, 2010

2009

Teaching and Learning HCI.

[BibT_eX]

[DOI]

Proceedings of the Universal Access in Human-Computer Interaction. Addressing Diversity, 2009

Improving Annotations in Digital Documents.

[BibT_eX]

[DOI]

Proceedings of the Research and Advanced Technology for Digital Libraries, 2009

Creating Visualisations for Digital Document Indexing.

[BibT_eX]

[DOI]

Proceedings of the Research and Advanced Technology for Digital Libraries, 2009

Social network analysis and interactive device design analysis.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM SIGCHI symposium on Engineering Interactive Computing System , 2009

Contributing to safety and due diligence in safety-critical interactive systems development by generating and analyzing finite state models.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM SIGCHI symposium on Engineering Interactive Computing System , 2009

Interaction programming: next steps.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Human Factors in Computing Systems, 2009

2008

Teaching HCI to make it come alive.

[BibT_eX]

[DOI]

IxD&A, 2008

Robot ethics? Not yet: A reflection on Whitby's "Sometimes it's hard to be a robot".

[BibT_eX]

[DOI]

Interact. Comput., 2008

Feature - Ignorance of interaction programming is killing people.

[BibT_eX]

[DOI]

Interactions, 2008

Affordance and Symmetry in User Interfaces.

[BibT_eX]

[DOI]

Comput. J., 2008

Understanding User Centred Design (UCD) for People with Special Needs.

[BibT_eX]

[DOI]

Proceedings of the Computers Helping People with Special Needs, 2008

Workshop HCI for medicine and health care (HCI4MED).

[BibT_eX]

[DOI]

Andreas Holzinger

Russell Beale

Proceedings of the 22nd British HCI Group Annual Conference on HCI 2008: People and Computers XXII: Culture, Creativity, Interaction, 2008

Research methods for HCI.

[BibT_eX]

[DOI]

Proceedings of the 22nd British HCI Group Annual Conference on HCI 2008: People and Computers XXII: Culture, Creativity, Interaction, 2008

2007

User-Centered Methods Are Insufficient for Safety Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the HCI and Usability for Medicine and Health Care, 2007

Mathematical Mathematical User Interfaces.

[BibT_eX]

[DOI]

Will Thimbleby

Proceedings of the Engineering Interactive Systems - EIS 2007 Joint Working Conferences, 2007

Applying Graph Theory to Interaction Design.

[BibT_eX]

[DOI]

Proceedings of the Engineering Interactive Systems - EIS 2007 Joint Working Conferences, 2007

Internalist and externalist HCI.

[BibT_eX]

[DOI]

Will Thimbleby

Proceedings of the 21st British HCI Group Annual Conference on HCI 2007: HCI...but not as we know it, 2007

Names and reference in user interfaces.

[BibT_eX]

[DOI]

Michael D. Harrison

Proceedings of the 21st British HCI Group Annual Conference on HCI 2007: HCI...but not as we know it, 2007

Validating the unified theory of acceptance and use of technology (UTAUT) tool cross-culturally.

[BibT_eX]

[DOI]

Lidia Oshlyansky

Proceedings of the 21st British HCI Group Annual Conference on HCI 2007: HCI...but not as we know it, 2007

Press on - principles of interaction programming.

[BibT_eX]

MIT Press, ISBN: 978-0-262-20170-4, 2007

2006

Interaction Walkthrough: Evaluation of Safety Critical Interactive Systems.

[BibT_eX]

[DOI]

Proceedings of the Interactive Systems. Design, 2006

Validity and Cross-Validity in HCI Publications.

[BibT_eX]

[DOI]

Proceedings of the Interactive Systems. Design, 2006

2005

Automatic Critiques of Interface Modes.

[BibT_eX]

[DOI]

Proceedings of the Interactive Systems, 2005

2004

User interface design with matrix algebra.

[BibT_eX]

[DOI]

ACM Trans. Comput. Hum. Interact., 2004

Breaking affordance: culture as context.

[BibT_eX]

[DOI]

Lidia Oshlyansky

Proceedings of the Third Nordic Conference on Human-Computer Interaction 2004, 2004

Computer algebra in interface design research.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Intelligent User Interfaces, 2004

Integrating information seeking and structuring: exploring the role of spatial hypertext in a digital library.

[BibT_eX]

[DOI]

Proceedings of the HYPERTEXT 2004, 2004

Supporting Information Structuring in a Digital Library.

[BibT_eX]

[DOI]

Proceedings of the Research and Advanced Technology for Digital Libraries, 2004

MAUI: An Interface Design Tool Based on Matrix Algebra.

[BibT_eX]

Proceedings of the Computer-Aided Design of User Interfaces IV, 2004

2003

The directed Chinese Postman Problem.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2003

Explaining code for publication.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2003

Improving web search on small screen devices.

[BibT_eX]

[DOI]

Interact. Comput., 2003

The reduced Enigma.

[BibT_eX]

[DOI]

Comput. Secur., 2003

Explaining cryptographic systems.

[BibT_eX]

[DOI]

Comput. Educ., 2003

2002

Obituary for a Fax.

[BibT_eX]

[DOI]

Pers. Ubiquitous Comput., 2002

Data Structures in the Design of Interfaces.

[BibT_eX]

[DOI]

Pers. Ubiquitous Comput., 2002

Sorting Out Searching on Small Screen Devices.

[BibT_eX]

[DOI]

Proceedings of the Mobile Human-Computer Interaction, 4th International Symposium, 2002

Spatial Hypertext as a Reader Tool in Digital Libraries.

[BibT_eX]

[DOI]

Proceedings of the Visual Interfaces to Digital Libraries [JCDL 2002 Workshop], 2002

Symmetry for successful interactive systems.

[BibT_eX]

[DOI]

Proceedings of the SIGCHI-NZ Symposium on Computer-Human Interaction, 2002

Reflections on symmetry.

[BibT_eX]

[DOI]

Proceedings of the Working Conference on Advanced Visual Interfaces, 2002

2001

Usability analysis with Markov models.

[BibT_eX]

[DOI]

ACM Trans. Comput. Hum. Interact., 2001

Permissive user interfaces.

[BibT_eX]

[DOI]

Int. J. Hum. Comput. Stud., 2001

Reply to 'Comment on "A Framework for Modelling Trojans and Computer Virus Infection"' by E. Mäkinen.

[BibT_eX]

[DOI]

Stuart Anderson

Comput. J., 2001

Improving mobile internet usability.

[BibT_eX]

[DOI]

Proceedings of the Tenth International World Wide Web Conference, 2001

Dynamic digital libraries for children.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE Joint Conference on Digital Libraries, 2001

Affordance and Symmetry.

[BibT_eX]

[DOI]

Proceedings of the Interactive Systems: Design, 2001

Keynote Address: The Computer Science of Everyday Things.

[BibT_eX]

[DOI]

Proceedings of the 2nd Australasian User Interface Conference (AUIC 2001), 29 January, 2001

2000

Holistic programming environments.

[BibT_eX]

[DOI]

Gary Marsden

South Afr. Comput. J., 2000

Calculators are needlessly bad.

[BibT_eX]

[DOI]

Int. J. Hum. Comput. Stud., 2000

Children as Design Partners and Testers for a Children's Digital Library.

[BibT_eX]

[DOI]

Proceedings of the Research and Advanced Technology for Digital Libraries, 2000

Designing a children's digital library with and for children.

[BibT_eX]

[DOI]

Proceedings of the Fifth ACM Conference on Digital Libraries, 2000

Purpose and usability of digital libraries.

[BibT_eX]

[DOI]

Yin Leng Theng

Norliza Mohd-Nasir

Proceedings of the Fifth ACM Conference on Digital Libraries, 2000

Successful user interface design from efficient computer algorithms.

[BibT_eX]

[DOI]

Proceedings of the CHI '00 Extended Abstracts on Human Factors in Computing Systems, 2000

Non-contractual trust, design, and human and computer interactions.

[BibT_eX]

[DOI]

Proceedings of the CHI '00 Extended Abstracts on Human Factors in Computing Systems, 2000

Analysis and Simulation of User Interfaces.

[BibT_eX]

[DOI]

Proceedings of the People and Computers XIV - Usability or Else!, 2000

1999

A Critique of Java.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1999

Justice and Design.

[BibT_eX]

Penny Duquenoy

Proceedings of the Human-Computer Interaction INTERACT '99: IFIP TC13 International Conference on Human-Computer Interaction, 1999

Visualizing the Potential of Interactive Systems.

[BibT_eX]

[DOI]

Proceedings of the 1oth International Conference on Image Analysis and Processing (ICIAP 1999), 1999

Design Probes for Handheld and Ubiquitous Computing.

[BibT_eX]

[DOI]

Proceedings of the Handheld and Ubiquitous Computing, First International Symposium, 1999

Design Guidelines and User-Centred Digital Libraries.

[BibT_eX]

[DOI]

Proceedings of the Research and Advanced Technology for Digital Libraries, 1999

Dynamic Metadata for Monitoring Digital Library Management.

[BibT_eX]

[DOI]

Gil Marsden

Proceedings of the Fourth ACM conference on Digital Libraries, 1999

1998

Formal Methods in Human-Computer Interaction, by Philippe Palanque and Fabio Paterno (Editors), Springer-Verlag, 1998 (Book Review).

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 1998

Specification-Led Design for Interface Simulation, Collecting Use-Data, Interactive Help, Writing Manuals, Analysis, Comparing Alternative Designs.

[BibT_eX]

[DOI]

Pers. Ubiquitous Comput., 1998

Addressing Design and Usability Issues in Hypertext and on the World Wide Web by Re-Examining the "Lost in Hyperspace" Problem.

[BibT_eX]

[DOI]

Yin Leng Theng

J. Univers. Comput. Sci., 1998

Personal boundaries/global stage.

[BibT_eX]

[DOI]

First Monday, 1998

A Framework for Modelling Trojans and Computer Virus Infection.

[BibT_eX]

[DOI]

Stuart Anderson

Comput. J., 1998

HyperAT : Addressing Usability Issues In Web Authoring.

[BibT_eX]

Yin Leng Theng

Proceedings of WebNet 98, 1998

1997

Design for a Fax.

[BibT_eX]

[DOI]

Pers. Ubiquitous Comput., 1997

Gentler: a tool for systematic web authoring.

[BibT_eX]

[DOI]

Int. J. Hum. Comput. Stud., 1997

From logic to manuals again.

[BibT_eX]

[DOI]

IEE Proc. Softw. Eng., 1997

Distributed Web Authoring.

[BibT_eX]

Proceedings of WebNet 97, 1997

Benjamin Franklin House: An illustration of a site management and visual design tool for complex, multi-authored web sites.

[BibT_eX]

Gil Marsden

Gareth J. Palmer

Proceedings of WebNet 97, 1997

HyperAT: HCI and Web Authoring.

[BibT_eX]

[DOI]

Proceedings of the People and Computers XII, Proceedings of HCI '97, 1997

1996

An Equivalence Class Algorithm for Drawing Autostereograms.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1996

Intelligent Adaptive Assistance and its Automatic Generation.

[BibT_eX]

[DOI]

Mark Addison

Interact. Comput., 1996

From logic to manuals.

[BibT_eX]

[DOI]

Softw. Eng. J., 1996

Creating user manuals for using in collaborative design.

[BibT_eX]

[DOI]

Proceedings of the Conference on Human Factors in Computing Systems: Common Ground, 1996

1995

Concepts of cooperation in artificial life.

[BibT_eX]

[DOI]

David J. Pullinger

IEEE Trans. Syst. Man Cybern., 1995

A New Calculator and Why it is Necessary.

[BibT_eX]

[DOI]

Comput. J., 1995

A Proper Explanation When You Need One.

[BibT_eX]

Proceedings of the People and Computers X, 1995

HyperDoc: An Interactive Systems Tool.

[BibT_eX]

Mark Addison

Proceedings of the People and Computers X, 1995

1994

View binding and user enhanceable systems.

[BibT_eX]

[DOI]

Vis. Comput., 1994

Formulating usability.

[BibT_eX]

[DOI]

ACM SIGCHI Bull., 1994

Controversy corner : An organizational solution to piracy and viruses.

[BibT_eX]

[DOI]

J. Syst. Softw., 1994

Displaying 3D Images: Algorithms for Single-Iamge Random-Dot Stereograms.

[BibT_eX]

[DOI]

Stuart Inglis

Computer, 1994

Comments on a paper by Voas, Payne and Cohen: 'A model for detecting the existence of software corruption in real time'.

[BibT_eX]

[DOI]

Comput. Secur., 1994

Semantic and Generative Models for Lossy Text Compression.

[BibT_eX]

[DOI]

Timothy C. Bell

Alistair Moffat

Craig G. Nevill-Manning

Tony C. Smith

Comput. J., 1994

Designing User Interfaces for Problem Solving, with Application to Hypertext and Creative Writing.

[BibT_eX]

[DOI]

AI Soc., 1994

Manuals as Structured Programs.

[BibT_eX]

Mark Addison

Proceedings of the People and Computers IX, 1994

1993

Solutioneering in user interface design.

[BibT_eX]

[DOI]

Will Thimbleby

Behav. Inf. Technol., 1993

Reducing user effort in collaboration support.

[BibT_eX]

[DOI]

Andy Cockburn

Proceedings of the 1st International Workshop on Intelligent User Interfaces, 1993

1991

A reflexive perspective of CSCW.

[BibT_eX]

[DOI]

Andrew J. G. Cockburn

ACM SIGCHI Bull., 1991

Liveware: A New Approach to Sharing Data in Social Networks.

[BibT_eX]

[DOI]

Int. J. Man Mach. Stud., 1991

Can viruses ever be useful?

[BibT_eX]

[DOI]

Comput. Secur., 1991

1990

The "Worm" Programs - Early Experience withh a Distributed Intelligence.

[BibT_eX]

[DOI]

SIGART Bull., 1990

Reflexive CSCW: Supporting Long-Term Personal Work.

[BibT_eX]

[DOI]

Stuart Anderson

Interact. Comput., 1990

You're Right About the Cure: Don't Do That.

[BibT_eX]

[DOI]

Interact. Comput., 1990

User interface design.

[BibT_eX]

ACM Press Frontier Series, ACM, ISBN: 978-0-201-41618-3, 1990

1989

Using Sentinels in Insert Sort.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1989

A File Difference Program.

[BibT_eX]

Christopher J. Van Wyk

Donald C. Lindsay

Commun. ACM, 1989

1988

Delaying Commitment.

[BibT_eX]

[DOI]

IEEE Softw., 1988

1987

The Design of a Terminal Independent Package.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1987

Optimising Self-Replicating Programs.

[BibT_eX]

[DOI]

Comput. J., 1987

Interaction Models and the Principled Design of Interactive Systems.

[BibT_eX]

[DOI]

Proceedings of the ESEC '87, 1987

1986

Equal Opportunity Interactive Systems.

[BibT_eX]

[DOI]

Colin Runciman

Int. J. Man Mach. Stud., 1986

Experiences of 'Literate Programming' Using Cweb (A Variant of Knuth's WEB).

[BibT_eX]

[DOI]

Comput. J., 1986

The TIN: An Approach to Powerful and Cheap User Interfaces.

[BibT_eX]

Jok Macfarlane

Proceedings of the New Communication Services: A Challenge to Computer Technology, 1986

1985

Failure in the technical user-interface design process.

[BibT_eX]

[DOI]

Comput. Graph., 1985

1983

"What You See is What You Have Got" - a user engineering principle for manipulative display?

[BibT_eX]

[DOI]

Proceedings of the Software-Ergonomie, 1983

1982

A Text Editing Interface: Definition and Use.

[BibT_eX]

[DOI]

Comput. Lang., 1982

1981

A Word Boundary Algorithm for Text Processing.

[BibT_eX]

[DOI]

Comput. J., 1981

1980

Leave and Recall: Primitives for Procedural Programming.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1980

Dialogue Determination.

[BibT_eX]

[DOI]