Michael Dooley

According to our database, Michael Dooley authored at least 3 papers between 2016 and 2025.

Collaborative distances:

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

2025

Live Music Models.

Antoine Caillon, Brian McWilliams, Cassie Tarakajian, Ian Simon, Ilaria Manco, Jesse H. Engel, Noah Constant, Yunpeng Li, Timo I. Denk, Alberto Lalama, Andrea Agostinelli, Cheng-Zhi Anna Huang, Ethan Manilow, George Brower, Hakan Erdogan, Heidi Lei, Itai Rolnick, Ivan Grishchenko, Manu Orsini, Matej Kastelic, Mauricio Zuluaga, Mauro Verzetti, Michael Dooley, Ondrej Skopek, Rafael Ferrer, Zalán Borsos, Aäron van den Oord, Douglas Eck, Eli Collins, Jason Baldridge, Tom Hume, Chris Donahue, Kehang Han, Adam Roberts

CoRR, August, 2025

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