Synthesis of insulin pump controllers from safety specifications using Bayesian model validation. - Sumit Kumar Jha 001; Raj Gautam Dutta; Christopher James Langmead; Susmit Jha; Emily Sassano (Int. J. Bioinform. Res. Appl., 2012)

Putting humpty-dumpty together: Mining causal mechanistic biochemical models from big data. - Faraz Hussain 001; Alvaro Velasquez; Emily Sassano; Sumit Kumar Jha 001 (ICCABS, 2014)