4 papers:
DHM-2014-SinghWLMW #formal method- Formalizing the Glucose Homeostasis Mechanism (NKS, HW, ML, TSEM, AW), pp. 460–471.
SAT-2013-AudemardLS #incremental #satisfiability- Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction (GA, JML, LS), pp. 309–317.
CASE-2011-PrudhommeBFG- Preclinically assessed optimal control of postprandial glucose excursions for type 1 patients with diabetes (TP, AB, GF, DG), pp. 702–707.
- CASE-2011-Ruiz-VelazquezAFQ #modelling
- Neural modeling of the blood glucose level for Type 1 Diabetes Mellitus patients (ERV, AYA, RF, GQ), pp. 696–701.
