Michael Dooley
According to our database1,
Michael Dooley
authored at least 2 papers
between 2016 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
2016
2017
2018
2019
2020
2021
0
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
A longitudinal time and motion study quantifying how implementation of an electronic medical record influences hospital nurses' care delivery.
Int. J. Medical Informatics, 2021
2016
Proving Parameterized Systems Safe by Generalizing Clausal Proofs of Small Instances.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016