Connecting theory and practice: a case study of achieving usability goals. - Keith A. Butler (CHI, 1985)

Collaboration for technology transfer or "how do so many promising ideas get lost?" (panel). - Keith A. Butler (CHI, 1990)

Boeing Advanced Technology Center (lab review). - Steven E. Poltrock; Keith A. Butler (CHI, 1990)

Introduction & overview of human-computer interaction. - Keith A. Butler; Robert J. K. Jacob; Bonnie E. John (CHI Conference Companion, 1994)

Designing Deeper: Towards a User-Centered Development Environment. - Keith A. Butler (Symposium on Designing Interactive Systems, 1995)

Introduction and overview to human-computer interaction. - Keith A. Butler; Robert J. K. Jacob; Bonnie E. John (CHI 95 Conference Companion, 1995)

Introduction & overview to human-computer interaction. - Keith A. Butler; Robert J. K. Jacob; Bonnie E. John (CHI Conference Companion, 1996)

Usability engineering turns 10. - Keith A. Butler (Interactions, 1996)

Designing More Deeper: Integrating Task Analysis, Process Simulation, and Object Definition. - Keith A. Butler; Chris Esposito; Dan Klawitter (Symposium on Designing Interactive Systems, 1997)

Human-Computer Interaction: Introduction and Overview. - Keith A. Butler; Robert J. K. Jacob (CHI Extended Abstracts, 1997)

Human-computer interaction: introduction and overview. - Keith A. Butler; Robert J. K. Jacob; Bonnie E. John (CHI Conference Summary, 1998)

Deriving Business Object Definitions from User Work Process Models. - Keith A. Butler; Chris Esposito; Ron Hebron (DSV-IS, 1998)

Connecting the Design of Software to the Design of Work. - Keith A. Butler; Chris Esposito; Ron Hebron (Commun. ACM, 1999)

Conceptual models for coordinating the design of user work with the design of information systems. - Keith A. Butler; Ali Bahrami; Chris Esposito; Ron Hebron (Data Knowl. Eng., 2000)

Work-centered design: a case study of a mixed-initiative scheduler. - Keith A. Butler; Jiajie Zhang; Chris Esposito; Ali Bahrami; Ron Hebron; David E. Kieras (CHI, 2007)

Design models for interactive problem-solving: context & ontology, representation & routines. - Keith A. Butler; Jiajie Zhang (CHI Extended Abstracts, 2009)

CHI 2010 engineering community SIG: the role of engineering work in CHI. - Keith A. Butler (CHI Extended Abstracts, 2010)

Ontology models for interaction design: case study of online support. - Keith A. Butler; Ann J. Hunt; John Muehleisen; Jiajie Zhang; Beth Huffer (CHI Extended Abstracts, 2010)

CHI 2011 engineering community SIG: the role of engineering work in CHI. - Keith A. Butler; Ruven Brooks (CHI Extended Abstracts, 2011)

Re-engineering health care with information technology: the role of computer-human interaction. - Keith A. Butler; Thomas H. Payne; Ben Shneiderman; Patricia Brennan; Jiajie Zhang (CHI Extended Abstracts, 2011)

Improving Usability, Quality and Safety: Key Lessons from Airplane Cockpit Design. - Thomas H. Payne; Keith A. Butler; Frank Ruggiero; Blackford Middleton (AMIA, 2012)

Task Analysis and the Design of Functionality. - David E. Kieras; Keith A. Butler (Computing Handbook, 3rd ed. (2), 2014)

Patient-Centered Case Management System (P-CMS). - Keith A. Butler; Andrew B. L. Berry; Amy J. Walker; Nikki Pete; Yi-Chen Sung; Craig Harrington; Jodie Haselkorn; Walter P. Nichol; Mark W. Oberle; Mark P. Haselkorn; Lucas McCarthy (AMIA, 2014)

Enhancing the TURF Framework with a Workflow Ontology. - Craig Harrington; Cui Tao; Keith A. Butler; Jiajie Zhang (AMIA, 2014)

Model Checking for Verification of Interactive Health IT Systems. - Keith A. Butler; Eric Mercer; Ali Bahrami; Cui Tao (AMIA, 2015)

Health Informatics-Enabled Workflow Redesign and Evaluation. - Eric L. Eisenstein; Keith A. Butler (ITCH, 2015)

Using conceptual work products of health care to design health IT. - Andrew B. L. Berry; Keith A. Butler; Craig Harrington; Melissa O. Braxton; Amy J. Walker; Nikki Pete; Trevor Johnson; Mark W. Oberle; Jodie Haselkorn; W. Paul Nichol; Mark P. Haselkorn (J. Biomed. Informatics, 2016)

Semantic based model of Conceptual Work Products for formal verification of complex interactive systems. - Mohcine Madkour; Keith A. Butler; Eric Mercer; Ali Bahrami; Cui Tao (CoRR, 2020)

Model Checking Functional Integration of Human Cognition and Machine Reasoning. - Eric Mercer; Keith A. Butler; Ali Bahrami (SysCon, 2022)