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