Publications

Export 110 results:
Author Title [ Type(Asc)] Year
Journal Article
An Optimization-Based Algorithm for the Construction of Cardiac Purkinje Network Models, Ulysses, Jesuliana N., Berg Lucas A., CHERRY ELIZABETH M., Liu Ben R., Santos Rodrigo W. dos, de Barros Bruno G., Rocha Bernardo M., and de Queiroz Rafael A. B. , IEEE Transactions on Biomedical Engineering, Volume 65, p.2760–2768, (2018)
Neural Predictive Monitoring and a Comparison of Frequentist and Bayesian Approaches, Bortolussi, L., Cairoli F., Paoletti N., Smolka S. A., and Stoller S. D. , International Journal on Software Tools for Technology Transfer, 05/2021, (2021)
A Network-based Cardiac Electrophysiology Simulator with Realistic Signal Generation and Response to Pacing Maneuvers, Iravanian, Shahriar, Uzelac Ilija, Kaboudian Abouzar, Langberg Jonathan, and Fenton Flavio , Computing in Cardiology, (2021)
Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation, Islam, Md. A., Murthy A., Bartocci E., Cherry E. M., Fenton F. H., Glimm J., Smolka S. A., and Grosu R. , Theoretical Computer Science, 09/2015, Volume 599C, (2015)
Modeling bipolar stimulation of cardiac tissue, Galappaththige, Suran K., Gray Richard A., and Roth Bradley J. , Chaos: An Interdisciplinary Journal of Nonlinear Science, Volume 27, p.093920, (2017)
A Menagerie of Timed Automata (vol 50, 42, 2017), Keiren, Jeroen J. A., Fontana Peter, and Cleaveland Rance , ACM COMPUTING SURVEYS, Volume 50, (2017)
Mechanism for amplitude alternans in electrocardiograms and the initiation of spatiotemporal chaos, Chen, Diandian Diana, Gray Richard A., Uzelac Ilija, Herndon Conner, and Fenton Flavio H. , Physical Review Letters, Volume 118, p.168101, (2017)
Large-scale interactive numerical experiments of chaos, solitons and fractals in real time via GPU in a web browser, Kaboudian, Abouzar, CHERRY ELIZABETH M., and FENTON FLAVIO H. , Chaos, Solitons & Fractals, Volume 121, p.6–29, (2019)
Interactive 3D Human Heart Simulations on Segmented Human MRI Hearts, Berman, John P., FENTON FLAVIO H., CHERRY ELIZABETH M., Iles Tinen, Iaizzo Paul A., and Kaboudian Abouzar , (2021)
Improving Invariant Mining via Static Analysis, Schulze, Christoph, and Cleaveland Rance , ACM Trans. Embed. Comput. Syst., Volume 16, p.167:1–167:20, (2017)  (566.5 KB)
High-Confidence Medical Device Software Development, Jiang, Z., and Mangharam R. , Foundations and Trends in Electronic Design Automation, Volume 9, (2015)  (14.77 MB)
Fatal arrhythmias: another reason why doctors remain cautious about chloroquine/hydroxychloroquine for treating COVID-19, Uzelac, Ilija, Iravanian Shahriar, Ashikaga Hiroshi, Bhatia Neal K., Herndon Conner, Kaboudian Abouzar, Gumbart James C., Cherry Elizabeth M., and Fenton Flavio H. , Heart Rhythm, 09/2020, Volume 17, Issue 9, (2020)
An extensible formal semantics for UML activity diagrams, Daw, Zamira, and Cleaveland Rance , arXiv preprint arXiv:1604.02386, (2016)
Excitable dynamics in neural and cardiac systems, Barrio, Roberto, Coombes Stephen, Desroches Mathieu, Fenton Flavio, Luther Stefan, and Pueyo Esther , Communications in Nonlinear Science and Numerical Simulation, 07/2020, Volume 86, (2020)
Estimability Analysis and Optimal Design in Dynamic Multi-scale Models of Cardiac Electrophysiology, Shotwell, Matthew S., and Gray Richard A. , Journal of Agricultural, Biological, and Environmental Statistics, p.1–16, (2016)
Electromechanical vortex filaments during cardiac fibrillation, Christoph, Jan, Chebbok M., Richter Carl, Schröder-Schetelig Johannes, Bittihn Philip, Stein Seth, Uzelac Ilija, FENTON FLAVIO H., Hasenfuss Gerd, Gilmour Robert F., et al. , Nature, Volume 555, p.667+, (2018)  (11.33 MB)
Efficient parameterization of cardiac action potential models using a genetic algorithm, Cairns, Darby I., Fenton Flavio H., and Cherry E. M. , Chaos: An Interdisciplinary Journal of Nonlinear Science, Volume 27, p.093922, (2017)
Effects of model error on cardiac electrical wave state reconstruction using data assimilation, LaVigne, Nicholas S., Holt Nathan, Hoffman Matthew J., and Cherry Elizabeth M. , Chaos: An Interdisciplinary Journal of Nonlinear Science, Volume 27, p.093911, (2017)
Dynamics of a human spiral wave, Welsh, Andrea J., Greco Edwin F., and Fenton Flavio H. , Phys. Today, 02/2017, Volume 70, (2017)
Dynamic Network Model from Partial Observations, K., Elahe Ghalebi, Mirzasoleiman Baharan, Grosu Radu, and Leskovec Jure , CoRR, Volume abs/1805.10616, (2018)  (476.08 KB)
Distinguishing mechanisms for alternans in cardiac cells using constant-diastolic-interval pacing, Cherry, Elizabeth M. , Chaos: An Interdisciplinary Journal of Nonlinear Science, Volume 27, p.093902, (2017)
Discordant Alternans as a Mechanism for Initiation of Ventricular Fibrillation In Vitro, Munoz, Laura, Gelzer Anna R. M., Fenton Flavio, Qian Wei, Lin WeiYe, Gilmour Robert F., and Otani Niels F. , Journal of the American Heart Association, 09, Volume 7, (2018)  (4.08 MB)
Delay differential equation-based models of cardiac tissue: Efficient implementation and effects on spiral-wave dynamics, Gomes, Johnny Moreira, Lobosco Marcelo, Santos Rodrigo Weber dos, and CHERRY ELIZABETH M. , Chaos: An Interdisciplinary Journal of Nonlinear Science, Volume 29, p.123128, (2019)
Data-Driven Uncertainty Quantification for Cardiac Electrophysiological Models: Impact of Physiological Variability on Action Potential and Spiral Wave Dynamics, Pathmanathan, Pras, Galappaththige Suran K., Cordeiro Jonathan M., Kaboudian Abouzar, Fenton Flavio H., and Gray Richard A. , Frontiers in physiology, 11/2020, Volume 11, (2020)
Data-Driven Robust Control for a Closed-Loop Artificial Pancreas, Paoletti, N., Liu K. S., Chen H., Smolka S. A., and Lin S. , IEEE/ACM Transactions on Computational Biology and Bioinformatics, 11/2020, Volume 17, Issue 6, (2020)

Pages