Keith A. Butler

30 papers A* 4A 2Misc 4Journal 5Unranked 14
YearRankTypeTitle / Venue / Authors
2022 — conf
Model Checking Functional Integration of Human Cognition and Machine Reasoning.
SysCon
Eric Mercer, Keith A. Butler, Ali Bahrami
2020 J jnl
Semantic based model of Conceptual Work Products for formal verification of complex interactive systems.
CoRR
Mohcine Madkour, Keith A. Butler, Eric Mercer, Ali Bahrami, Cui Tao
2016 J jnl
Using conceptual work products of health care to design health IT.
J. Biomed. Informatics
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
2015 — conf
Health Informatics-Enabled Workflow Redesign and Evaluation.
ITCH
Eric L. Eisenstein, Keith A. Butler
2015 Misc conf
Model Checking for Verification of Interactive Health IT Systems.
AMIA
Keith A. Butler, Eric Mercer, Ali Bahrami, Cui Tao
2014 Misc conf
Enhancing the TURF Framework with a Workflow Ontology.
AMIA
Craig Harrington, Cui Tao, Keith A. Butler, Jiajie Zhang
2014 Misc conf
Patient-Centered Case Management System (P-CMS).
AMIA
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
2014 — ch.
Task Analysis and the Design of Functionality.
Computing Handbook, 3rd ed. (2)
David E. Kieras, Keith A. Butler
2012 Misc conf
Improving Usability, Quality and Safety: Key Lessons from Airplane Cockpit Design.
AMIA
Thomas H. Payne, Keith A. Butler, Frank Ruggiero, Blackford Middleton
2011 — conf
CHI 2011 engineering community SIG: the role of engineering work in CHI.
CHI Extended Abstracts
Keith A. Butler, Ruven Brooks
2011 — conf
Re-engineering health care with information technology: the role of computer-human interaction.
CHI Extended Abstracts
Keith A. Butler, Thomas H. Payne, Ben Shneiderman, Patricia Brennan, Jiajie Zhang
2010 — conf
CHI 2010 engineering community SIG: the role of engineering work in CHI.
CHI Extended Abstracts
Keith A. Butler
2010 — conf
Ontology models for interaction design: case study of online support.
CHI Extended Abstracts
Keith A. Butler, Ann J. Hunt, John Muehleisen, Jiajie Zhang, Beth Huffer
2009 — conf
Design models for interactive problem-solving: context & ontology, representation & routines.
CHI Extended Abstracts
Keith A. Butler, Jiajie Zhang
2007 A* conf
Work-centered design: a case study of a mixed-initiative scheduler.
CHI
Keith A. Butler, Jiajie Zhang, Chris Esposito, Ali Bahrami, Ron Hebron, David E. Kieras
2000 J jnl
Conceptual models for coordinating the design of user work with the design of information systems.
Data Knowl. Eng.
Keith A. Butler, Ali Bahrami, Chris Esposito, Ron Hebron
1999 J jnl
Connecting the Design of Software to the Design of Work.
Commun. ACM
Keith A. Butler, Chris Esposito, Ron Hebron
1999 — conf
Human-computer interaction: introduction and overview.
CHI Extended Abstracts
Keith A. Butler, Robert J. K. Jacob, Bonnie E. John
1998 — conf
Deriving Business Object Definitions from User Work Process Models.
DSV-IS
Keith A. Butler, Chris Esposito, Ron Hebron
1998 — conf
Human-computer interaction: introduction and overview.
CHI Conference Summary
Keith A. Butler, Robert J. K. Jacob, Bonnie E. John
1997 A conf
Designing More Deeper: Integrating Task Analysis, Process Simulation, and Object Definition.
Symposium on Designing Interactive Systems
Keith A. Butler, Chris Esposito, Dan Klawitter
1997 — conf
Human-Computer Interaction: Introduction and Overview.
CHI Extended Abstracts
Keith A. Butler, Robert J. K. Jacob
1996 — conf
Introduction & overview to human-computer interaction.
CHI Conference Companion
Keith A. Butler, Robert J. K. Jacob, Bonnie E. John
1996 J jnl
Usability engineering turns 10.
Interactions
Keith A. Butler
1995 A conf
Designing Deeper: Towards a User-Centered Development Environment.
Symposium on Designing Interactive Systems
Keith A. Butler
1995 — conf
Introduction and overview to human-computer interaction.
CHI 95 Conference Companion
Keith A. Butler, Robert J. K. Jacob, Bonnie E. John
1994 — conf
Introduction & overview of human-computer interaction.
CHI Conference Companion
Keith A. Butler, Robert J. K. Jacob, Bonnie E. John
1990 A* conf
Boeing Advanced Technology Center (lab review).
CHI
Steven E. Poltrock, Keith A. Butler
1990 A* conf
Collaboration for technology transfer or "how do so many promising ideas get lost?" (panel).
CHI
Keith A. Butler
1985 A* conf
Connecting theory and practice: a case study of achieving usability goals.
CHI
Keith A. Butler