Journal Article
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) 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)
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)
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)
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)
Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans,
Islam, Md Ariful, Cleaveland Rance, Fenton Flavio H., Grosu Radu, Jones Paul L., and Smolka Scott A.
, Theoretical Computer Science, Volume 765, p.158–169, (2019)
Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans,
Islam, Md. Ariful, Cleaveland Rance, FENTON FLAVIO H., Grosu Radu, Jones Paul L., and Smolka Scott A.
, Theoretical Computer Science, 02/2018, (2018)
(1.99 MB) Quantifying arrhythmic long QT effects of hydroxychloroquine and azithromycin with whole-heart optical mapping and simulations,
Uzelac, Ilija, Kaboudian Abouzar, Iravanian Shahriar, Siles-Paredes Jimena G., Gumbart James C., Ashikaga Hiroshi, Bhatia Neal, Gilmour, Jr Robert F., Cherry Elizabeth M., and Fenton Flavio H.
, Heart Rhythm O2, 08/2021, Volume 2, Issue 4, (2021)
The role of conductivity discontinuities in design of cardiac defibrillation,
Lim, Hyunkyung, Cun Wenjing, Wang Yue, Gray Richard A., and Glimm James
, Chaos: An Interdisciplinary Journal of Nonlinear Science, Volume 28, p.013106, (2018)
(3 MB)
(552.91 KB) Simulating waves, chaos and synchronization with a microcontroller,
Welsh, Andrea J., Delgado Cristian, Lee-Trimble Casey, Kaboudian Abouzar, and Fenton Flavio H.
, Chaos: An Interdisciplinary Journal of Nonlinear Science, 12/2019, Volume 29, Issue 12, (2019)
Simultaneous Quantification of Spatially Discordant Alternans in Voltage and Intracellular Calcium in Langendorff-Perfused Rabbit Hearts and Inconsistencies with Models of Cardiac Action Potentials and Ca Transients,
Uzelac, Ilija, Ji Yanyan C., Hornung Daniel, Schröder-Scheteling Johannes, Luther Stefan, Gray Richard A., CHERRY ELIZABETH M., and FENTON FLAVIO H.
, Frontiers in Physiology, Volume 8, (2017)
Spatiotemporal correlation uncovers characteristic lengths in cardiac tissue,
Loppini, Alessandro, Gizzi Alessio, Cherubini Christian, CHERRY ELIZABETH M., FENTON FLAVIO H., and Filippi Simonetta
, Physical Review E, Volume 100, (2019)
Swarm Model Checking on the GPU,
DeFrancisco, R., Cho S., Ferdman M., and Smolka S. A.
, International Journal on Software Tools for Technology Transfer, (2020)