Name Card

Full name Familienname, Vorname
Islam, Md. Ariful
 

Own Publications Eigene Publikationen

Results 1-8 of 8 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Gruenbacher, Sophie ; Cyranka, Jacek ; Lechner, Mathias ; Islam, Md. Ariful ; Smolka, Scott A. ; Grosu, Radu Lagrangian Reachtubes: The Next GenerationKonferenzbeitrag Inproceedings2020
2Islam, Md. Ariful ; Cleaveland, Rance ; Fenton, Flavio H. ; Grosu, Radu ; Jones, Paul L. ; Smolka, Scott A. Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternansArtikel Article 2019
3Cyranka, Jacek ; Islam, Md. Ariful ; Smolka, Scott A. ; Gao, Sicun ; Grosu, Radu Tight Continuous-Time Reachtubes for Lagrangian ReachabilityKonferenzbeitrag Inproceedings 2018
4Murthy, Abhishek ; Islam, Md. Ariful ; Smolka, Scott A. ; Grosu, Radu Computing compositional proofs of Input-to-Output Stability using SOS optimization and δ-decidabilityArtikel Article Feb-2017
5Cyranka, Jacek ; Islam, Md. Ariful ; Byrne, Greg ; Jones, Paul ; Smolka, Scott A. ; Grosu, Radu Lagrangian ReachabililtyKonferenzbeitrag Inproceedings 2017
6Islam, Md. Ariful ; Byrne, Greg ; Kong, Soonho ; Clarke, Edmund M. ; Cleaveland, Rance ; Fenton, Flavio H. ; Grosu, Radu ; Jones, Paul L. ; Smolka, Scott A. Bifurcation Analysis of Cardiac Alternans Using $$\delta $$ -DecidabilityKonferenzbeitrag Inproceedings 2016
7Islam, Md. Ariful ; Wang, Qinsi ; Hasani, Ramin M. ; Balun, Ondrej ; Clarke, Edmund M. ; Grosu, Radu ; Smolka, Scott A. Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegansKonferenzbeitrag Inproceedings 2016
8Murthy, Abhishek ; Islam, Md. Ariful ; Smolka, Scott A. ; Grosu, Radu Computing bisimulation functions using SOS optimization and <i>δ</i> -decidability over the realsKonferenzbeitrag Inproceedings 2015