Ranjit R. Philip
727  Ergebnisse:
Personensuche X
?
8

O-3 | Transitioning from the Cardiac Catheterization Lab to..:

Kiene, Ashley ; Johnson, Jason ; Weems, Mark...
Journal of the Society for Cardiovascular Angiography & Interventions.  1 (2022)  3 - p. 100053 , 2022
 
?
 
?
14

Incidence and Outcomes of Patients with Thrombotic Microang..:

Dandoy, Christopher E ; Rotz, Seth R. ; Alonso, Priscila Badia...
Biology of Blood and Marrow Transplantation.  26 (2020)  3 - p. S92 , 2020
 
?
15

Refinement reflection: complete verification with SMT:

Vazou, Niki ; Tondwalkar, Anish ; Choudhury, Vikraman...
Proceedings of the ACM on Programming Languages.  2 (2017)  POPL - p. 1-31 , 2017
 
1-15