"Example of a Complementary use of Model Checking and Agent-based Simulation", IEEE International Conference of Systems Man and Cybernetics, Manchester, UK, IEEE, October, 2013.
"An Experimental Study of Continuous and Discrete Visualization Paradigms for Interactive Trade Space Exploration", Journal of Computing and Information Science in Engineering, 2013.
"Measuring Human-automation Function Allocation", Journal of Cognitive Engineering and Decision Making, June 5, 2013.
"Modeling Human-automation Function Allocation", Journal of Cognitive Engineering and Decision Making, 2013.
"Modeling the Work of Humans and Automation in Complex Operations", Software Challenges in Aerospace Engineering Workshop at the AIAA Aerospace Sciences Meeting, Grapevine, TX, January, 2013.
"Pilot Decision Making during Landing Point Designation", Cognition Technology & Work, vol. 15, pp. 297-311, 2013.
"Requirements for Effective Function Allocation: A Critical Review", Journal of Cognitive Engineering and Decision Making, June 11, 2013.
"Simulating the impact of mental models on human automation interaction in aviation", HCII 2013 - Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. , Las Vegas, Springer, 07/2013.
"Using Neural Networks to Assess Flight Deck Human-Automation Interaction", Reliability Engineering & System Safety, 2013.
"Adapting Navigation and Flight Plan Conventions to Nextgen Enroute Operations", Air Traffic Control Quarterly, vol. 20, pp. 253-282, 2012.
"Development and Evaluation of an Automated Path Planning Aid", Journal of Aircraft, vol. 49, pp. 1774-1785, 2012.
"Formal Analysis of Safety-Critical System Simulations", ATACCS 2nd International Conference on Application and Theory of Automation in Command and Control Systems, Imperial College, London, UK, May, 2012.
"Formulation of Reduced-Taskload Optimization Models for Conflict Resolution", IEEE Transactions On Systems, Man, And Cybernetics—Part A: Systems And Humans, vol. 42, pp. 1552-1561, 2012.
"Impact of Automation, Task and Context Features on Pilot-Automation Interaction", The Annual Meeting of the Human Factors and Ergonomics Society Conference, 2012.
"Impact of Visualization Tools on Design Decision Making", AIAA Aviation Technology, Integration, and Operations (ATIO) Conference, Indianapolis, IN, 2012.
"Statistical Determination of Vertical Resolution Requirements for Real-time Wake Vortex Prediction", Journal of Aircraft, vol. 49, pp. 822-835, 2012.
"Towards a Characterization of Adaptive Systems: a Framework for Researchers and System Designers", Human Factors, vol. 54, pp. 1008 - 1024, 2012.
"ATC Taskload Inherent to the Geometry of Stochastic 4-D Trajectory Flows with Flight Technical Errors", FAA EUROCONTROL ATM R&D Seminar, Berlin, Germany, 2011.
Automation Input Features From the Modern Cockpit: Toward a Human-Automation Relationship Taxonomy, : Federal Aviation Administration, 2011.
"A Case for Mean Field Games in Airspace Congestion Forecasting", IEEE: Digital Avionics and Systems Conference, Seattle, WA, October, 2011.
"Design of a Cognitive Work Support System for Multiple Cognitive States", Journal of Cognition Technology & Work, vol. 13, pp. 259–279, 2011.
"Formal Modeling and Analysis for Interactive Hybrid Systems", 4th International Workshop on Formal Methods for Interactive Systems, Limerick, Ireland, June, 2011.
"Human-Automation Relationships Taxonomy (HART) (Presentation)", International Symposium on Aviation Psychology, Dayton, OH, 2011.
"Integrating Human Factors Principles Into Systems Engineering", IEEE: Digital Avionics and Systems Conference, Seattle, WA, October, 2011.
"Panel Discussion on: Current State of Human Factors in Systems Design", Annual Meeting of the Human Factors and Ergonomics Society, 2011.