Elizabeth Cherry

Publication Activity (10 Years)

Years Active: 2008-2018
Publications (10 Years): 2

Top Topics

Therapy Planning

Medical Diagnosis

Model Validation

Top Venues

IEEE ACM Trans. Comput. Biol. Bioinform.

IEEE J. Biomed. Health Informatics

Publications

Prasanth Ganesan, Hussein Zilouchian, Elizabeth Cherry, Arkady M. Pertsov, Behnaz Ghoraani
Developing an Iterative Tracking Algorithm to Guide a Catheter Towards Atrial Fibrillation Rotor Sources in Simulated Fibrotic Tissue. CinC (2018)
Md. Ariful Islam, Hyun-Kyung Lim, Nicola Paoletti, Houssam Abbas, Zhihao Jiang, Jacek Cyranka, Rance Cleaveland, Sicun Gao, Edmund M. Clarke, Radu Grosu, Rahul Mangharam, Elizabeth Cherry, Flavio H. Fenton, Richard A. Gray, James Glimm, Shan Lin, Qinsi Wang, Scott A. Smolka
CyberCardia project: Modeling, verification and validation of implantable cardiac devices. BIBM (2016)
Md. Ariful Islam, Abhishek Murthy, Ezio Bartocci, Elizabeth Cherry, Flavio H. Fenton, James Glimm, Scott A. Smolka, Radu Grosu
Model-order reduction of ion channel dynamics using approximate bisimulation. Theor. Comput. Sci. 599 (2015)
Mohamed M. Elshrif, Pengcheng Shi, Elizabeth Cherry
Representing Variability and Transmural Differences in a Model of Human Heart Failure. IEEE J. Biomed. Health Informatics 19 (4) (2015)
Radu Grosu, Elizabeth Cherry, Edmund M. Clarke, Rance Cleaveland, Sanjay Dixit, Flavio H. Fenton, Sicun Gao, James Glimm, Richard A. Gray, Rahul Mangharam, Arnab Ray, Scott A. Smolka
Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices. ISoLA (2) (2014)
Abhishek Murthy, Ezio Bartocci, Flavio H. Fenton, James Glimm, Richard A. Gray, Elizabeth Cherry, Scott A. Smolka, Radu Grosu
Curvature Analysis of Cardiac Excitation Wavefronts. IEEE ACM Trans. Comput. Biol. Bioinform. 10 (2) (2013)
Abhishek Murthy, Md. Ariful Islam, Ezio Bartocci, Elizabeth Cherry, Flavio H. Fenton, James Glimm, Scott A. Smolka, Radu Grosu
Approximate Bisimulations for Sodium Channel Dynamics. CMSB (2012)
Ezio Bartocci, Elizabeth Cherry, James Glimm, Radu Grosu, Scott A. Smolka, Flavio H. Fenton
Toward real-time simulation of cardiac dynamics. CMSB (2011)
Flavio H. Fenton, Elizabeth Cherry, Leon Glass
Cardiac arrhythmia. Scholarpedia 3 (7) (2008)
Flavio H. Fenton, Elizabeth Cherry
Models of cardiac cell. Scholarpedia 3 (8) (2008)