Sotabase

Career

· Amazon/AWS

Publications (64)

Metabolic non-communicable disease health report of India: the ICMR-INDIAB national cross-sectional study (ICMR-INDIAB-17).
The Lancet Diabetes and Endocrinology · 2023
424
cited
Formal Specification for Deep Neural Networks
Automated Technology for Verification and Analysis · 2018
108
cited
Effectiveness of a Multicomponent Quality Improvement Strategy to Improve Achievement of Diabetes Care Goals: A Randomized, Controlled Trial.
Annals of Internal Medicine · 2016
106
cited
Combining Model Checking and Runtime Verification for Safe Robotics
Runtime Verification · 2017
92
cited
DRONA: A Framework for Safe Distributed Mobile Robotics
International Conference on Cyber-Physical Systems · 2017
85
cited
SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems
Dependable Systems and Networks · 2018
78
cited
Effects of a Lifestyle Intervention to Prevent Deterioration in Glycemic Status Among South Asian Women With Recent Gestational Diabetes
JAMA Network Open · 2022
49
cited
Compositional programming and testing of dynamic distributed systems
Proc. ACM Program. Lang. · 2018
38
cited
Germline mutations and genotype-phenotype correlation in Asian Indian patients with pheochromocytoma and paraganglioma.
European Journal of Endocrinology · 2016
38
cited
Tackling NCD in LMIC: Achievements and Lessons Learned From the NHLBI-UnitedHealth Global Health Centers of Excellence Program.
Global Heart · 2016
37
cited
The evolution of thyroid function with puberty
Clinical Endocrinology · 2012
36
cited
Thyroid status two decades after salt iodization: country‐wide data in school children from India
Clinical Endocrinology · 2012
35
cited
Conversion of gestational diabetes mellitus to future Type 2 diabetes mellitus and the predictive value of HbA1c in an Indian cohort
Diabetic Medicine · 2017
34
cited
Systematic testing of asynchronous reactive systems
ESEC/SIGSOFT FSE · 2015
34
cited
Echocardiographic prevalence of rheumatic heart disease in Indian school children using World Heart Federation criteria - A multi site extension of RHEUMATIC study (the e-RHEUMATIC study).
International Journal of Cardiology · 2017
32
cited
Improving diabetes care: multi-component cardiovascular disease risk reduction strategies for people with diabetes in South Asia--the CARRS multi-center translation trial.
Diabetes Research and Clinical Practice · 2012
32
cited
Reference range of thyroid hormones in healthy school-age children: country-wide data from India.
Clinical Biochemistry · 2010
31
cited
Reference range of thyroid hormones in normal Indian school‐age children
Clinical Endocrinology · 2008
31
cited
Hajdu-Cheney syndrome: a case report with review of literature.
Journal of Radiology Case Reports · 2014
30
cited
Challenges in prevention and management of diabetes mellitus and metabolic syndrome in India
2009
25
cited
Sotabase