Word-Level Symbolic Trajectory Evaluation. - Supratik Chakraborty; Zurab Khasidashvili; Carl-Johan H. Seger; Rajkumar Gajavelly; Tanmay Haldankar; Dinesh Chhatani; Rakesh Mistry (CAV (2), 2015)

Characterizing workflow for pediatric asthma patients in emergency departments using electronic health records. - Mustafa Ozkaynak; Oliwier Dziadkowiec; Rakesh Mistry; Tiffany Callahan; Ze He; Sara J. Deakyne Davies; Eric Tham (J. Biomed. Informatics, 2015)

Approximate Probabilistic Inference via Word-Level Counting. - Supratik Chakraborty; Kuldeep S. Meel; Rakesh Mistry; Moshe Y. Vardi (AAAI, 2016)

Symbolic trajectory evaluation for word-level verification: theory and implementation. - Supratik Chakraborty; Zurab Khasidashvili; Carl-Johan H. Seger; Rajkumar Gajavelly; Tanmay Haldankar; Dinesh Chhatani; Rakesh Mistry (Formal Methods Syst. Des., 2017)

Applying the RE-AIM Framework for the Evaluation of a Clinical Decision Support Tool for Pediatric Head Trauma: A Mixed-Methods Study. - Ruth Masterson Creber; Peter Dayan; Nathan Kuppermann; Dustin W. Ballard; Leah Tzimenatos; Evaline Alessandrini; Rakesh Mistry; Jeffrey Hoffman; David R. Vinson; Suzanne Bakken (Appl. Clin. Inform., 2018)

Examining Workflow in a Pediatric Emergency Department to Develop a Clinical Decision Support for an Antimicrobial Stewardship Program. - Mustafa Ozkaynak; Danny Wu; Katia Hannah; Peter Dayan; Rakesh Mistry (Appl. Clin. Inform., 2018)

Considerations for Designing EHR-Embedded Clinical Decision Support Systems for Antimicrobial Stewardship in Pediatric Emergency Departments. - Mustafa Ozkaynak; Noel Metcalf; Daniel M. Cohen; Larissa S. May; Peter S. Dayan; Rakesh Mistry (Appl. Clin. Inform., 2020)