Islam, Md. Ariful

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Full name Familienname, Vorname
Islam, Md. Ariful
 

Own Publications Eigene Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Gruenbacher, Sophie ; Cyranka, Jacek ; Lechner, Mathias ; Islam, Md. Ariful ; Smolka, Scott A. ; Grosu, Radu ; IEEE 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 Article2019
3Cyranka, Jacek ; Islam, Md. Ariful ; Smolka, Scott A. ; Gao, Sicun ; Grosu, Radu Tight Continuous-Time Reachtubes for Lagrangian ReachabilityKonferenzbeitrag Inproceedings 2018
4Cyranka, Jacek ; Islam, Md. Ariful ; Byrne, Greg ; Jones, Paul ; Smolka, Scott A. ; Grosu, Radu Lagrangian ReachabililtyKonferenzbeitrag Inproceedings 2017
5Murthy, Abhishek ; Islam, Md. Ariful ; Smolka, Scott A. ; Grosu, Radu Computing Compositional Proofs of Input-to-Output Stability Using SOS Optimization and Delta-DecidabilityArtikel Article2017
6Islam, 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
7Islam, 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
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