Reachability Analysis Using Message Passing over Tree Decompositions

por Sankaranarayanan, Sriram
Publicado 2020

Formal modeling and analysis of timed systems: 13th international conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, proceedings

por Sankaranarayanan, Sriram, Vicario, Enrico
Publicado 2015

Comminuted Trapezium Fracture: Case Presentation and Review of Surgical Fixation Techniques

por Spielman, Amanda F., Sankaranarayanan, Sriram
Publicado 2021

Unbounded-Time Safety Verification of Stochastic Differential Dynamics

por Feng, Shenghua, Chen, Mingshuai, Xue, Bai, Sankaranarayanan, Sriram, Zhan, Naijun
Publicado 2020

Upper extremity necrotizing fasciitis in a Covid-19 patient

por Sankaranarayanan, Sriram, Spielman, Amanda F., Lessard, Anne-Sophie, Husain, Tarik
Publicado 2022

The Waiting Game – How Cooperation Between Public and Private Hospitals Can Help Reduce Waiting Lists

por Acuna, Jorge A., Zayas-Castro, José L., Feijoo, Felipe, Sankaranarayanan, Sriram, Martinez, Rodrigo, Martinez, Diego A.
Publicado 2021

Situational Awareness and Proactive Engagement Predict Higher Time in Range in Adolescents and Young Adults Using Hybrid Closed-Loop

por Messer, Laurel H., Cook, Paul F., Voida, Stephen, Fiesler, Casey, Fivekiller, Emily, Agrawal, Chinmay, Xu, Tian, Forlenza, Gregory P., Sankaranarayanan, Sriram
Publicado 2023