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)
Cybercardia project: Modeling, verification and validation of implantable cardiac devices,
Islam, Md Ariful, Lim Hyunkyung, Paoletti Nicola, Abbas Houssam, Jiang Zhihao, Cyranka Jacek, Cleaveland Rance, Gao Sicun, Clarke Edmund, Grosu Radu, et al.
, 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), (2016)
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)