Md. Ariful Islam

Citado por

	Total	Desde 2019
Citas	256	163
Índice h	10	8
Índice i10	10	5

200820092010201120122013201420152016201720182019202020212022202320241 1 2 2 1 5 9 17 26 17 11 24 19 23 37 28 32

Acceso público

Ver todo

12 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityDirección de correo verificada de cs.sunysb.edu
Radu GrosuProfessor of Computer ScienceDirección de correo verificada de tuwien.ac.at
Abhishek MurthySenior Principal ML/AI Architect, Schneider ElectricDirección de correo verificada de se.com
Flavio H. FentonProfessor of Physics, Georgia TechDirección de correo verificada de physics.gatech.edu
Ezio BartocciFaculty of Informatics, TU WienDirección de correo verificada de tuwien.ac.at
James GlimmProfessor of Applied Mathematics Stony Brook UniveristyDirección de correo verificada de stonybrook.edu
Elizabeth M. CherryGeorgia Institute of TechnologyDirección de correo verificada de gatech.edu
Paul L. JonesU.S. Food and Drug AdministrationDirección de correo verificada de fda.hhs.gov
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Rance CleavelandDepartment of Computer Science, University of MarylandDirección de correo verificada de cs.umd.edu
Masud HasanUniversity of Prince MugrinDirección de correo verificada de upm.edu.sa
Greg ByrneGeorgia Institute of TechnologyDirección de correo verificada de physics.gatech.edu
Qinsi WangPh.D student, Computer Science Department, Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Nicola PaolettiDepartment of Informatics, King's College LondonDirección de correo verificada de kcl.ac.uk
Rahul MangharamAssociate Professor of Electrical Engineering and Computer Science, University of PennsylvaniaDirección de correo verificada de seas.upenn.edu
Zhihao JiangShanghaiTech UniversityDirección de correo verificada de shanghaitech.edu.cn
Houssam AbbasOregon State UniversityDirección de correo verificada de oregonstate.edu
Scott D. StollerProfessor of Computer Science, Stony Brook UniversityDirección de correo verificada de cs.stonybrook.edu
Sicun GaoUCSDDirección de correo verificada de ucsd.edu
Antoine GirardSenior Researcher, L2S, CNRSDirección de correo verificada de l2s.centralesupelec.fr

Seguir

Md. Ariful Islam

Cisco

Dirección de correo verificada de csebuet.org - Página principal

Formal methods control theory hybrid system cyber-physical systems and system biology


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Model-order reduction of ion channel dynamics using approximate bisimulation MA Islam, A Murthy, E Bartocci, EM Cherry, FH Fenton, J Glimm, ... Theoretical Computer Science 599, 34-46, 2015	21	2015
Compositionality results for cardiac cell dynamics MA Islam, A Murthy, A Girard, SA Smolka, R Grosu Proceedings of the 17th international conference on Hybrid systems …, 2014	19	2014
Approximate bisimulations for sodium channel dynamics A Murthy, MA Islam, E Bartocci, EM Cherry, FH Fenton, J Glimm, ... Computational Methods in Systems Biology: 10th International Conference …, 2012	16	2012
Lagrangian reachtubes: The next generation S Gruenbacher, J Cyranka, M Lechner, MA Islam, SA Smolka, R Grosu 2020 59th IEEE Conference on Decision and Control (CDC), 1556-1563, 2020	15	2020
Computing bisimulation functions using SOS optimization and δ-decidability over the reals A Murthy, MA Islam, SA Smolka, R Grosu Proceedings of the 18th International Conference on Hybrid Systems …, 2015	14	2015
A simplex architecture for hybrid systems using barrier certificates J Yang, MA Islam, A Murthy, SA Smolka, SD Stoller Computer Safety, Reliability, and Security: 36th International Conference …, 2017	13	2017
Lagrangian reachabililty J Cyranka, MA Islam, G Byrne, P Jones, SA Smolka, R Grosu Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017	13	2017
Neural Programming: Towards Adaptive Control in Cyber-Physical Systems} K Selyunin, D Ratasich, E Bartocci, MA Islam, SA Smolka, R Grosu Proc. of CDC 2015: the 54th IEEE Conference on Decision and Control}, 2015	12	2015
Screening of in-vitro antioxidant, brine shrimp lethality bioassay and antimicrobial activities of extracts of Bridelia retusa (L.) Spreng. fruit T Islam, MR Hasan, A Roy, MS Islam, MA Uddin, MA Islam, MN Neon, ... Int J Pharm 5 (4), 1058-1067, 2015	11	2015
Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans MA Islam, Q Wang, RM Hasani, O Balún, EM Clarke, R Grosu, SA Smolka 2016 IEEE International High Level Design Validation and Test Workshop …, 2016	10	2016
Synthesizing stealthy reprogramming attacks on cardiac devices N Paoletti, Z Jiang, MA Islam, H Abbas, R Mangharam, S Lin, Z Gruber, ... Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical …, 2019	9	2019
Design of a terahertz regime-based surface plasmon hybrid photonic crystal fiber edible oil biosensor AHMI Ferdous, P Sarker, MG Hasan, MA Islam, A Musha, TMK Anwer, ... Plasmonics 18 (5), 1923-1932, 2023	8	2023
Model checking tap withdrawal in C. Elegans MA Islam, R De Francisco, C Fan, R Grosu, S Mitra, SA Smolka Hybrid Systems Biology: Fourth International Workshop, HSB 2015, Madrid …, 2015	8	2015
Development of low cost agarwood essential oil extraction system for agar tree growers in Bangladesh MA Islam, MD Hussain, E Kabir, MZ Hasan Journal of the Bangladesh Agricultural University 12 (1), 167-170, 2014	8	2014
Cutting a cornered convex polygon out of a circle SI Ahmed, MA Islam, M Hasan 2008 11th International Conference on Computer and Information Technology, 1-6, 2008	8	2008
Towards lexicon-free bangla automatic speech recognition system MM Hasan, MA Islam, S Kibria, MS Rahman 2019 International Conference on Bangla Speech and Language Processing …, 2019	7	2019
Tight continuous-time reachtubes for lagrangian reachability J Cyranka, MA Islam, SA Smolka, S Gao, R Grosu 2018 IEEE Conference on Decision and Control (CDC), 6854-6861, 2018	7	2018
Cybercardia project: modeling, verification and validation of implantable cardiac devices MA Islam, H Lim, N Paoletti, H Abbas, Z Jiang, J Cyranka, R Cleaveland, ... 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM …, 2016	6	2016
Under the Hood of a Stand-Alone Lagrangian Reachability Tool. S Gruenbacher, J Cyranka, MA Islam, M Tschaikowski, SA Smolka, ... ARCH@ CPSIoTWeek, 211-219, 2019	5	2019
Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans MA Islam, R Cleaveland, FH Fenton, R Grosu, PL Jones, SA Smolka Theoretical Computer Science 765, 158-169, 2019	5	2019

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores