Bifurcation Analysis of Cardiac Alternans Using delta -Decidability. - Md. Ariful Islam; Greg Byrne; Soonho Kong; Edmund M. Clarke; Rance Cleaveland; Flavio H. Fenton; Radu Grosu; Paul L. Jones; Scott A. Smolka (CMSB, 2016)

Lagrangian Reachabililty. - Jacek Cyranka; Md. Ariful Islam; Greg Byrne; Paul L. Jones; Scott A. Smolka; Radu Grosu (CAV (1), 2017)