Islam, M. A., Murthy, A., Bartocci, E., Cherry, E. M., Fenton, F. H., Glimm, J., et al. (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)
