"Formal Modeling and Analysis for Interactive Hybrid Systems", 4th International Workshop on Formal Methods for Interactive Systems, Limerick, Ireland, June, 2011.
"Human-automated judgment learning: applying interpersonal learning to investigate human interaction with alerting systems", Digital Avionics Systems Conference, 2002. Proceedings. The 21st, vol. 2: IEEE, pp. 7A3, 2002.
"Toward a Multi-method Approach to Formalizing Human-automation Interaction and Human-human Communications", Conference on IEEE-System Man and Cybernetics, Anchorage, AK, IEEE, September, 2011.
"Human-Automated Judge Learning: A Methodology for Examining Human Interaction With Information Analysis Automation", IEEE Transactions on System Man and Cybernetics: Part A., vol. 38, no. 4, pp. 759-776, July, 2008.
"Human-Automated Judge Learning: A Methodology to Investigate Human Interaction with Automated Judges", IEEE Transactions on Systems, Man and Cybernetics, 07/2008.