Rakesh Mistry

According to our database, Rakesh Mistry authored at least 7 papers between 2015 and 2020.

Collaborative distances:

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

2020

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

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

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

2017

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

2016

Approximate Probabilistic Inference via Word-Level Counting.

Supratik Chakraborty, Kuldeep S. Meel, Rakesh Mistry, Moshe Y. Vardi

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

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

Word-Level Symbolic Trajectory Evaluation.

Supratik Chakraborty, Zurab Khasidashvili, Carl-Johan H. Seger, Rajkumar Gajavelly, Tanmay Haldankar, Dinesh Chhatani, Rakesh Mistry

Proceedings of the Computer Aided Verification - 27th International Conference, 2015