Rebekah Carter

According to our database, Rebekah Carter authored at least 5 papers between 2011 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Early clinical evaluation of a vendor developed pediatric artificial intelligence sepsis model in the emergency department.

Swaminathan Kandaswamy, Evan W. Orenstein, Naveen Muthu, Andrea McCarter, Nikolay Braykov, Jonathan M. Beus, Edwin Ray, Tal Senior, Sara Brown, Rebekah Carter, Marybeth Gleeson, Hannah Thummel, John Cheng, Thuy Bui, Reena Blanco, Kiran Hebbar, James Fortenberry, Srikant Iyer, Mark V. Mai

J. Am. Medical Informatics Assoc., 2025

Human performance evaluation of a pediatric artificial intelligence sepsis model.

Swaminathan Kandaswamy, Naveen Muthu, Nikolay Braykov, Rebekah Carter, Reena Blanco, Thuy Bui, Evan Orenstein, Mark V. Mai

J. Am. Medical Informatics Assoc., 2025

2016

Deadness and how to disprove liveness in hybrid dynamical systems.

Eva M. Navarro-López, Rebekah Carter

Theor. Comput. Sci., 2016

2012

Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems.

Rebekah Carter, Eva M. Navarro-López

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

2011

Hybrid automata: an insight into the discrete abstraction of discontinuous systems.

Eva M. Navarro-López, Rebekah Carter

Int. J. Syst. Sci., 2011