Taisa Kushner

According to our database, Taisa Kushner authored at least 6 papers between 2018 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Bursts of Activity: Temporal Patterns of Help-Seeking and Support in Online Mental Health Forums.

Taisa Kushner, Amit Sharma

Proceedings of the WWW '20: The Web Conference 2020, Taipei, Taiwan, April 20-24, 2020, 2020

Conformance verification for neural network models of glucose-insulin dynamics.

Taisa Kushner, Sriram Sankaranarayanan, Marc D. Breton

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

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

Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019

Verifying Conformance of Neural Network Models: Invited Paper.

Monal Narasimhamurthy, Taisa Kushner, Souradeep Dutta, Sriram Sankaranarayanan

Proceedings of the International Conference on Computer-Aided Design, 2019

2018

A data-driven approach to artificial pancreas verification and synthesis.

Taisa Kushner, David M. Bortz, David M. Maahs, Sriram Sankaranarayanan

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks.

Souradeep Dutta, Taisa Kushner, Sriram Sankaranarayanan

Proceedings of the Computational Methods in Systems Biology, 2018