1. Improving the scalability of formal human–automation interaction verification analyses that use task-analytic models. (March 2017) Authors: Bolton, Matthew; Zheng, Xi; Molinaro, Kylie; Houser, Adam; Li, Meng Journal: Innovations in systems and software engineering Issue: Volume 13:Number 1(2017) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Learning Formal Human-machine Interface Designs From Task Analytic Models. (September 2015) Authors: Li, Meng; Molinaro, Kylie; Bolton, Matthew L. Journal: Proceedings of the Human Factors and Ergonomics Society ... Annual Meeting Issue: Volume 59:Part 1(2015) Page Start: 652 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Workplace Satisfaction Before and After Move to an Open Plan Office - Including Interactions with Gender and Introversion. (September 2017) Authors: Bos, Nathan; Molinaro, Kylie; Perrone, Alexander; Sharer, Kelly; Greenberg, Ariel Journal: Proceedings of the Human Factors and Ergonomics Society ... Annual Meeting Issue: Volume 61:Part 1(2017) Page Start: 455 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗