Identifying Security Critical Properties for the Dynamic Verification of a Processor. - Rui Zhang 068; Natalie Stanley; Christopher Griggs; Andrew Chi; Cynthia Sturton (ASPLOS, 2017)

Impact of clinical decision support on controlled substance prescribing. - Rachel B. Seymour; Meghan K. Wally; Joseph R. Hsu; Michael Beuhler; Michael J. Bosse; Michael Gibbs; Christopher Griggs; Steven Jarrett; Daniel Leas; Susan Odum; Tamar Roomian; Michael S. Runyon; et al. (BMC Medical Informatics Decis. Mak., 2023)