Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks. - Souradeep Dutta; Taisa Kushner; Sriram Sankaranarayanan 001 (CMSB, 2018)

A data-driven approach to artificial pancreas verification and synthesis. - Taisa Kushner; David M. Bortz; David M. Maahs; Sriram Sankaranarayanan 001 (ICCPS, 2018)

Verifying Conformance of Neural Network Models: Invited Paper. - Monal Narasimhamurthy; Taisa Kushner; Souradeep Dutta; Sriram Sankaranarayanan 001 (ICCAD, 2019)

Models, Devices, Properties, and Verification of Artificial Pancreas Systems. - Taisa Kushner; B. Wayne Bequette; Faye Cameron; Gregory P. Forlenza; David M. Maahs; Sriram Sankaranarayanan 001 (Automated Reasoning for Systems Biology and Medicine, 2019)

Conformance verification for neural network models of glucose-insulin dynamics. - Taisa Kushner; Sriram Sankaranarayanan 001; Marc D. Breton (HSCC, 2020)

Bursts of Activity: Temporal Patterns of Help-Seeking and Support in Online Mental Health Forums. - Taisa Kushner; Amit Sharma 007 (WWW, 2020)

Probing the topology of the space of tokens with structured prompts. - Michael Robinson 001; Sourya Dey; Taisa Kushner (CoRR, 2025)