Md. Ariful 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 C. Elegans	2019-05-21	Paper
Computing bisimulation functions using SOS optimization and δ -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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Md. Ariful Islam