Journal Article
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)
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)
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)
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) 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)
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)
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) 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) 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)