Proving Parameterized Systems Safe by Generalizing Clausal Proofs of Small Instances. - Michael Dooley; Fabio Somenzi (CAV (1), 2016)

A longitudinal time and motion study quantifying how implementation of an electronic medical record influences hospital nurses' care delivery. - Gordon Bingham; Erica Tong; Susan Poole; Paul Ross; Michael Dooley (Int. J. Medical Informatics, 2021)