clinical endocrinology (8)
diabetes research & clinical practice (5)
annals of internal medicine (4)
diabetes research and clinical practice (3)
diabetic medicine (3)
european journal of preventive cardiology (3)
indian journal of pediatrics (3)
international journal of cardiology (3)
acm / sigplan notices (2)
acm sigplan notices (2)
current science (2)
diabetes (2)
european journal of endocrinology (2)
european journal of medical genetics (2)
fertility and sterility (2)
global health, epidemiology & genomics (2)
indian pediatrics (2)
jama network open (2)
journal of diabetes & its complications (2)
runtime verification (2)
the lancet diabetes & endocrinology (2)
2014 ieee international symposium on precision clock synchronization for measurement, control & communication (ispcs) (1)
2014 ieee international symposium on precision clock synchronization for measurement, control, and communication (ispcs), precision clock synchronization for measurement, control, and communication (ispcs), 2014 ieee international symposium on (1)
2017 acm/ieee 8th international conference on cyber-physical systems (iccps), cyber-physical systems (iccps), 2017 acm/ieee 8th international conference on, iccps (1)
2017 formal methods in computer aided design (fmcad), formal methods in computer aided design (fmcad), 2017 (1)
2019 49th annual ieee/ifip international conference on dependable systems and networks (dsn), dependable systems and networks (dsn), 2019 49th annual ieee/ifip international conference on, dsn (1)
bmj open (1)
computer aided verification (9783319216676) (1)
computer aided verification. part ii (1)
current science (00113891) (1)
fertility & sterility (1)
global health research and policy (1)
global heart (1)
ieee transactions on computer-aided design of integrated circuits and systems (1)
journal of diabetes and its complications (1)
national medical journal of india (1)
new england journal of medicine (1)
proceedings of the 34th acm sigplan conference programming language design & implementation (1)