Michael Dooley

According to our database, Michael Dooley authored at least 2 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

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

2016

Proving Parameterized Systems Safe by Generalizing Clausal Proofs of Small Instances.

Michael Dooley, Fabio Somenzi

Proceedings of the Computer Aided Verification - 28th International Conference, 2016