Keith A. Butler

According to our database, Keith A. Butler authored at least 29 papers between 1985 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Model Checking Functional Integration of Human Cognition and Machine Reasoning.

Eric Mercer, Keith A. Butler, Ali Bahrami

Proceedings of the IEEE International Systems Conference, 2022

2020

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

2016

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

2015

Health Informatics-Enabled Workflow Redesign and Evaluation.

Eric L. Eisenstein, Keith A. Butler

Proceedings of the Driving Quality in Informatics: Fulfilling the Promise, 2015

Model Checking for Verification of Interactive Health IT Systems.

Keith A. Butler, Eric Mercer, Ali Bahrami, Cui Tao

Proceedings of the AMIA 2015, 2015

2014

Enhancing the TURF Framework with a Workflow Ontology.

Craig Harrington, Cui Tao, Keith A. Butler, Jiajie Zhang

Proceedings of the AMIA 2014, 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

Proceedings of the AMIA 2014, 2014

Task Analysis and the Design of Functionality.

David E. Kieras, Keith A. Butler

Proceedings of the Computing Handbook, 2014

2012

Improving Usability, Quality and Safety: Key Lessons from Airplane Cockpit Design.

Thomas H. Payne, Keith A. Butler, Frank Ruggiero, Blackford Middleton

Proceedings of the AMIA 2012, 2012

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

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

CHI 2011 engineering community SIG: the role of engineering work in CHI.

Keith A. Butler, Ruven Brooks

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

2010

Ontology models for interaction design: case study of online support.

Keith A. Butler, Ann J. Hunt, John Muehleisen, Jiajie Zhang, Beth Huffer

Proceedings of the 28th International Conference on Human Factors in Computing Systems, 2010

CHI 2010 engineering community SIG: the role of engineering work in CHI.

Keith A. Butler

Proceedings of the 28th International Conference on Human Factors in Computing Systems, 2010

2009

Design models for interactive problem-solving: context & ontology, representation & routines.

Keith A. Butler, Jiajie Zhang

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

2007

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

Proceedings of the 2007 Conference on Human Factors in Computing Systems, 2007

2000

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

1999

Connecting the Design of Software to the Design of Work.

Keith A. Butler, Chris Esposito, Ron Hebron

Commun. ACM, 1999

1998

Deriving Business Object Definitions from User Work Process Models.

Keith A. Butler, Chris Esposito, Ron Hebron

Proceedings of the Design, 1998

Human-computer interaction: introduction and overview.

Keith A. Butler, Robert J. K. Jacob, Bonnie E. John

Proceedings of the CHI 98 Conference Summary on Human Factors in Computing Systems, 1998

1997

Human-Computer Interaction: Introduction and Overview.

Keith A. Butler, Robert J. K. Jacob

Proceedings of the Human Factors in Computing Systems, 1997

Designing More Deeper: Integrating Task Analysis, Process Simulation, and Object Definition.

Keith A. Butler, Chris Esposito, Dan Klawitter

Proceedings of the 2nd Conference on Designing Interactive Systems: Processes, 1997

1996

Usability engineering turns 10.

Keith A. Butler

Interactions, 1996

Introduction & overview to human-computer interaction.

Keith A. Butler, Robert J. K. Jacob, Bonnie E. John

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

1995

Introduction and overview to human-computer interaction.

Keith A. Butler, Robert J. K. Jacob, Bonnie E. John

Proceedings of the Human Factors in Computing Systems, 1995

Designing Deeper: Towards a User-Centered Development Environment.

Keith A. Butler

Proceedings of the 1st Conference on Designing Interactive Systems: Processes, 1995

1994

Introduction & overview of human-computer interaction.

Keith A. Butler, Robert J. K. Jacob, Bonnie E. John

Proceedings of the Conference on Human Factors in Computing Systems, 1994

1990

Boeing Advanced Technology Center (lab review).

Steven E. Poltrock, Keith A. Butler

Proceedings of the Conference on Human Factors in Computing Systems, 1990

Collaboration for technology transfer or "how do so many promising ideas get lost?" (panel).

Keith A. Butler

Proceedings of the Conference on Human Factors in Computing Systems, 1990

1985

Connecting theory and practice: a case study of achieving usability goals.

Keith A. Butler

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