| 2024 | RO-MAN | Action Over Words: Predicting Human Trust in AI Partners Through Gameplay Behaviors. | Kiana Jafari Meimandi, Matthew L. Bolton, Peter A. Beling |
| 2023 | ICSE | Robustification of Behavioral Designs against Environmental Deviations. | Changjian Zhang, Tarang Saluja, Rmulo Meira-Ges, Matthew L. Bolton, David Garlan, Eunsuk Kang |
| 2023 | SMC | Negative Transfer in Task-Based Human Reliability Analysis: A Formal Methods Approach. | Matthew L. Bolton, Svetlana Riabova, Yeonbin Son, Eunsuk Kang |
| 2023 | SMC | A Formal Method for Assessing Mental Workload. | Matthew L. Bolton, Skye Solace Taylor, Laura R. Humphrey |
| 2022 | HCI | Preliminary Evidence of Sexual Bias in Voice over Internet Protocol Audio Compression. | Matthew L. Bolton |
| 2021 | SMC | A Taxonomy of Forcing Functions for Addressing Human Errors in Human-machine Interaction*. | Pengyuan Wan, Matthew L. Bolton |
| 2017 | SOUPS | Formal Mental Models for Inclusive Privacy and Security. | Adam Houser, Matthew L. Bolton |
| 2015 | HCI | A Formal Method for Evaluating the Performance Level of Human-Human Collaborative Procedures. | Dan Pan, Matthew L. Bolton |
| 2014 | SMC | Checking formal verification models for human-automation interaction. | M. M. van Paassen, Matthew L. Bolton, Noelia Jimenez |
| 2013 | SMC | Information, Data Entry, and Reporting Requirements for a Resident Handoff of Care Support Tool. | Ellen J. Bass, Kimberly Brantley, Thomas Perez, Matthew L. Bolton, Adam Helms, Luther Bartelt, Rick Hall, George Hoke, Margaret Plews-Ogan, Linda A. Waggoner-Fountain, Stephen M. Borowitz |
| 2012 | ICISS | On Policies and Intents. | Matthew L. Bolton, Celeste M. Wallace, Lenore D. Zuck |
| 2011 | SMC | Toward a multi-method approach to formalizing human-automation interaction and human-human communications. | Ellen J. Bass, Matthew L. Bolton, Karen M. Feigh, Dennis Griffith, Elsa L. Gunter, William Mansky, John M. Rushby |
| 2011 | SMC | Evaluating human-automation interaction using task analytic behavior models, strategic knowledge-based erroneous human behavior generation, and model checking. | Matthew L. Bolton, Ellen J. Bass |
| 2010 | SMC | Using task analytic models to visualize model checker counterexamples. | Matthew L. Bolton, Ellen J. Bass |
| 2009 | SMC | Enhanced Operator Function Model: A Generic Human Task Behavior Modeling Language. | Matthew L. Bolton, Ellen J. Bass |
| 2008 | SMC | Modeling human perception Could Stevens' Power Law be an emergent feature? | Matthew L. Bolton |
| 2007 | SMC | Spatial awareness: Comparing judgment-based and subjective measures. | Matthew L. Bolton, Ellen J. Bass |
| 2006 | SMC | Using Videos Derived from Simulations to Support the Analysis of Spatial Awareness in Synthetic Vision Displays. | Matthew L. Bolton, Ellen J. Bass, James Ray Comstock Jr. |
| 2005 | SMC | Cognitive Systems Engineering Educational Software (CSEES): educational software addressing quantitative models of performance. | Matthew L. Bolton, Ellen J. Bass |
| 2004 | SMC | Adding a motor control component to the operator function model expert system to investigate air traffic management concepts using simulation. | Sinem Gknur, Matthew L. Bolton, Ellen J. Bass |