Md. Islam

Islam, M. A., Byrne, G., Kong, S., Clarke, E. M., Cleaveland, R., Fenton, F. H., … Paoletti, N. (2016). Bifurcation Analysis of Cardiac Alternans Using δ -Decidability. CMSB. Presented at the. Springer. Retrieved from http://dblp.uni-trier.de/db/conf/cmsb/cmsb2016.html#IslamBKCCFGJS16

Cyranka, J., Islam, M. A., Byrne, G., Jones, P. L., Smolka, S. A., & Grosu, R. (2017). Lagrangian Reachabililty. Computer Aided Verification - 29th International Conference, {CAV} 2017 Proceedings, Part {I}. Presented at the. https://doi.org/10.1007/978-3-319-63387-9_19

Islam, M. A., Cleaveland, R., Fenton, F. H., Grosu, R., Jones, P. L., & Smolka, S. A. (2018). Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans. Theoretical Computer Science. https://doi.org/https://doi.org/10.1016/j.tcs.2018.02.005 (Original work published 2018)

Gruenbacher, S., Cyranka, J., Lechner, M., Islam, M. A., Smolka, S. A., & Grosu, R. (2020). Lagrangian Reachtubes: The Next Generation.

Murthy, A., Islam, M. A., Smolka, S. A., & Grosu, R. (2016). Computing Compositional Proofs of Input-to-Output Stability Using SOS Optimization and δ-Decidability. Nonlinear Analysis: Hybrid Systems. (Original work published 2016)

Islam, M. A., Murthy, A., Bartocci, E., Cherry, E. M., Fenton, F. H., Glimm, J., … Grosu, R. (2015). Model-Order Reduction of Ion Channel Dynamics Using Approximate Bisimulation. Theoretical Computer Science, 599C. (Original work published 2015)

Gruenbacher, S., Cyranka, J., Lechner, M., Islam, M. A., Smolka, S. A., & Grosu, R. (2020). Next-Generation Lagrangian Reachtubes. Proceedings of CDC 2020, 59th IEEE Conference on Decision and Control. Presented at the. (Original work published 2020)