M. A. Islam

Available identifiers

zbMath Open islam.md-arifulMaRDI QIDQ498909

List of research outcomes

Publication	Date of Publication	Type
Lagrangian reachabililty	2022-07-01	Paper
A sharp-interface Cartesian grid method for time-domain acoustic scattering from complex geometries	2020-05-13	Paper
Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans	2019-06-18	Paper
Model checking tap withdrawal in \textit{C. elegans}	2019-05-21	Paper
Computing bisimulation functions using SOS optimization and \(\delta\)-decidability over the reals	2017-05-19	Paper
Compositionality results for cardiac cell dynamics	2017-05-16	Paper
Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability	2016-12-15	Paper
Model-order reduction of ion channel dynamics using approximate bisimulation	2015-09-29	Paper
Cutting a convex polyhedron out of a sphere	2012-01-24	Paper
Cutting a Convex Polyhedron Out of a Sphere	2010-02-09	Paper
Decay of MHD turbulence before the final period for the case of multi-point and multi-time	2001-10-10	Paper
Tight Continuous-Time Reachtubes for Lagrangian Reachability	N/A	Paper

Research outcomes over time

This page was built for person: M. A. Islam