Scheduling with asynchronous service opportunities with applications to multiple satellite systems. - Michael Carr; Bruce E. Hajek (IEEE Trans. Autom. Control., 1993)

A data analysis and representation engine to support software reliability engineering. - Michael Carr (ISSRE, 1995)

Million Dollar Logistic Decisions Using Simulation. - Michael Carr; Howard Way (WSC, 1997)

Pseudograph associahedra. - Michael Carr; Satyan L. Devadoss; Stefan Forcey (J. Comb. Theory A, 2011)

Reversible Conduction Block in Peripheral Mammalian Nerve Using Low Frequency Alternating Current*. - Landan M. Mintch; Ivette Muzquiz; M. Ryne Horn; Michael Carr; John H. Schild; Ken Yoshida (NER, 2019)

Revisiting Security Vulnerabilities in Commercial Password Managers. - Michael Carr; Siamak F. Shahandashti (SEC, 2020)

A Reversible Low Frequency Alternating Current Nerve Conduction Block Applied to Mammalian Autonomic Nerves. - Ivette Muzquiz; Landan M. Mintch; M. Ryne Horn; Awadh Alhawwash; Rizwan Bashirullah; Michael Carr; John H. Schild; Ken Yoshida (Sensors, 2021)

ECP SOLLVE: Validation and Verification Testsuite Status Update and Compiler Insight for OpenMP. - Thomas Huber; Swaroop Pophale; Nolan Baker; Michael Carr; Nikhil Rao; Jaydon Reap; Kristina Holsapple; Joshua Hoke Davis; Tobias Burnus; Seyong Lee; David E. Bernholdt; Sunita Chandrasekaran (P3HPC@SC, 2022)