Rakesh Mistry

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 9

Top Topics

Clinical Decision Support

Emergency Department

Top Venues

Appl. Clin. Inform.

Formal Methods Syst. Des.

Publications

Mustafa Ozkaynak, Noel Metcalf, Daniel M. Cohen, Larissa S. May, Peter S. Dayan, Rakesh Mistry
Considerations for Designing EHR-Embedded Clinical Decision Support Systems for Antimicrobial Stewardship in Pediatric Emergency Departments. Appl. Clin. Inform. 11 (04) (2020)
Ruth Masterson Creber, Peter Dayan, Nathan Kuppermann, Dustin W. Ballard, Leah Tzimenatos, Evaline Alessandrini, Rakesh Mistry, Jeffrey Hoffman, David R. Vinson, Suzanne Bakken
Applying the RE-AIM Framework for the Evaluation of a Clinical Decision Support Tool for Pediatric Head Trauma: A Mixed-Methods Study. Appl. Clin. Inform. 9 (03) (2018)
Mustafa Ozkaynak, Danny Wu, Katia Hannah, Peter Dayan, Rakesh Mistry
Examining Workflow in a Pediatric Emergency Department to Develop a Clinical Decision Support for an Antimicrobial Stewardship Program. Appl. Clin. Inform. 9 (02) (2018)
Supratik Chakraborty, Zurab Khasidashvili, Carl-Johan H. Seger, Rajkumar Gajavelly, Tanmay Haldankar, Dinesh Chhatani, Rakesh Mistry
Symbolic trajectory evaluation for word-level verification: theory and implementation. Formal Methods Syst. Des. 50 (2-3) (2017)
Supratik Chakraborty, Kuldeep S. Meel, Rakesh Mistry, Moshe Y. Vardi
Approximate Probabilistic Inference via Word-Level Counting. AAAI (2016)
Supratik Chakraborty, Zurab Khasidashvili, Carl-Johan H. Seger, Rajkumar Gajavelly, Tanmay Haldankar, Dinesh Chhatani, Rakesh Mistry
Word-Level Symbolic Trajectory Evaluation. CAV (2) (2015)
Mustafa Ozkaynak, Oliwier Dziadkowiec, Rakesh Mistry, Tiffany Callahan, Ze He, Sara Deakyne, Eric Tham
Characterizing workflow for pediatric asthma patients in emergency departments using electronic health records. J. Biomed. Informatics 57 (2015)
Supratik Chakraborty, Zurab Khasidashvili, Carl-Johan H. Seger, Rajkumar Gajavelly, Tanmay Haldankar, Dinesh Chhatani, Rakesh Mistry
Word-level Symbolic Trajectory Evaluation. CoRR (2015)
Supratik Chakraborty, Kuldeep S. Meel, Rakesh Mistry, Moshe Y. Vardi
Approximate Probabilistic Inference via Word-Level Counting. CoRR (2015)