Michael Dooley

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 2

Top Topics

Theorem Proving

Image Sequences

Top Venues

Int. J. Medical Informatics

Publications

Gordon Bingham, Erica Tong, Susan Poole, Paul Ross, Michael Dooley
A longitudinal time and motion study quantifying how implementation of an electronic medical record influences hospital nurses' care delivery. Int. J. Medical Informatics 153 (2021)
Michael Dooley, Fabio Somenzi
Proving Parameterized Systems Safe by Generalizing Clausal Proofs of Small Instances. CAV (1) (2016)