| Factory-calibrated continuous glucose monitoring: how and why it works, and the dangers of reuse beyond approved duration of wear GP Forlenza, T Kushner, LH Messer, RP Wadwa, S Sankaranarayanan Diabetes technology & therapeutics 21 (4), 222-229, 2019 | 45 | 2019 |
| Multi-hour blood glucose prediction in type 1 diabetes: A patient-specific approach using shallow neural network models T Kushner, MD Breton, S Sankaranarayanan Diabetes Technology & Therapeutics 22 (12), 883-891, 2020 | 36 | 2020 |
| Robust data-driven control of artificial pancreas systems using neural networks S Dutta, T Kushner, S Sankaranarayanan Computational Methods in Systems Biology: 16th International Conference …, 2018 | 32 | 2018 |
| A data-driven approach to artificial pancreas verification and synthesis T Kushner, D Bortz, DM Maahs, S Sankaranarayanan 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS …, 2018 | 25 | 2018 |
| Bursts of activity: Temporal patterns of help-seeking and support in online mental health forums T Kushner, A Sharma Proceedings of the web conference 2020, 2906-2912, 2020 | 22 | 2020 |
| Assessment of a decision support system for adults with type 1 diabetes on multiple daily insulin injections JR Castle, LM Wilson, NS Tyler, AZ Espinoza, CM Mosquera-Lopez, ... Diabetes Technology & Therapeutics 24 (12), 892-897, 2022 | 18 | 2022 |
| Models, devices, properties, and verification of artificial pancreas systems T Kushner, B Wayne Bequette, F Cameron, G Forlenza, D Maahs, ... Automated Reasoning for Systems Biology and Medicine, 93-131, 2019 | 15 | 2019 |
| Conformance verification for neural network models of glucose-insulin dynamics T Kushner, S Sankaranarayanan, M Breton Proceedings of the 23rd International Conference on Hybrid Systems …, 2020 | 10 | 2020 |
| Verifying conformance of neural network models M Narasimhamurthy, T Kushner, S Dutta, S Sankaranarayanan 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2019 | 10 | 2019 |
| A new approach to feedback for robust signaling gradients T Kushner, A Simonyan, FYM Wan Studies in Applied Mathematics 133 (1), 18-51, 2014 | 9 | 2014 |
| Sherlock: A tool for verification of deep neural networks S Dutta, T Kushner, S Jha, S Sankaranarayanan, N Shankar, A Tiwari HSCC, 2019 | 3 | 2019 |
| 771-P: acceptance of decision support recommendations improves time in range for people living with type 1 diabetes on multiple daily injections JR Castle, AZ Espinoza, NS Tyler, LM Wilson, CM Mosquera-Lopez, ... Diabetes 71 (Supplement_1), 2022 | 2 | 2022 |
| Risky movement: Assessing fall risk in people with multiple sclerosis with wearable sensors and beacon-based smart-home monitoring T Kushner, C Mosquera-Lopez, A Hildebrand, MH Cameron, PG Jacobs Multiple sclerosis and related disorders 79, 105019, 2023 | 1 | 2023 |
| 291-OR: using the performance in exercise and knowledge (PEAK) guidelines incorporated in a smartphone-based decision support system improves glucose outcomes during free … LM Wilson, PG Jacobs, FH Guillot, NS Tyler, T Kushner, AZ Espinoza, ... Diabetes 71 (Supplement_1), 2022 | 1 | 2022 |
| DIABLOCKS: MULTIVARIATE PATTERN DETECTION FOR PATIENT-SPECIFIC IDENTIFICATION AND TARGETED ADJUSTMENT OF PROBLEM PATTERNS IN DIABETES CARE MANAGEMENT T Kushner, C Mosquera-Lopez, L Wilson, D Branigan, E Wan, J Eom, ... DIABETES TECHNOLOGY & THERAPEUTICS 24, A230-A231, 2022 | | 2022 |
| TRANSLATING STANDARD CLINICAL PROTOCOL INTO TUNING PROCEDURES FOR HYBRID CLOSED LOOP SYSTEMS: 670G, CONTROL-IQ AND LOOP T Kushner, G Forlenza, L Messer DIABETES TECHNOLOGY & THERAPEUTICS 22, A79-A79, 2020 | | 2020 |
| MODEL CONFORMANCE IN BLOOD GLUCOSE PREDICTION TASKS T Kushner, S Sankaranarayanan, M Breton DIABETES TECHNOLOGY & THERAPEUTICS 22, A78-A79, 2020 | | 2020 |
| Data-Driven Modeling and Verification for Artificial Pancreas Systems TS Kushner University of Colorado at Boulder, 2020 | | 2020 |
| MULTI-HOUR BLOOD GLUCOSE PREDICTION IN T1D: A PATIENT-SPECIFIC APPROACH USING SHALLOW NEURAL NETWORK MODELS T Kushner, M Breton, S Sankaranarayanan DIABETES TECHNOLOGY & THERAPEUTICS 21, A81-A82, 2019 | | 2019 |
| ROBUST DATA-DRIVEN CONTROL OF ARTIFICIAL PANCREAS SYSTEMS USING NEURAL NETWORKS T Kushner, S Dutta, S Sankaranarayanan DIABETES TECHNOLOGY & THERAPEUTICS 21, A83-A84, 2019 | | 2019 |