Contactless Sleep Apnea Detection on Smartphones. - Rajalakshmi Nandakumar; Shyamnath Gollakota; Nathaniel Watson (GetMobile Mob. Comput. Commun., 2015)

Integrating User Design and Formal Models within PVSio-Web. - Nathaniel Watson; Steve Reeves; Paolo Masci 001 (F-IDE@FLoC, 2018)