Abhishek Murthy

Publication Activity (10 Years)

Years Active: 2011-2019
Publications (10 Years): 9

Top Topics

Myocardial Infarction

Specular Highlights

Top Venues

IEEE ACM Trans. Comput. Biol. Bioinform.

Publications

Abhishek Murthy, Himel Das, Md. Ariful Islam
Robustness of Neural Networks to Parameter Quantization. From Reactive Systems to Cyber-Physical Systems (2019)
Abhishek Murthy, Himel Das, Md. Ariful Islam
Robustness of Neural Networks to Parameter Quantization. CoRR (2019)
Kalpathy Sivaraman, Abhishek Murthy
Object Recognition under Lighting Variations using Pre-Trained Networks. AIPR (2018)
Junxing Yang, Md. Ariful Islam, Abhishek Murthy, Scott A. Smolka, Scott D. Stoller
A Simplex Architecture for Hybrid Systems Using Barrier Certificates. SAFECOMP (2017)
Shengrong Yin, Talmai Oliveira, Abhishek Murthy
Automated Lamp-Type Identification for City-Wide Outdoor Lighting Infrastructures. HotMobile (2017)
Arvind Ramesh, Olaitan Olaleye, Abhishek Murthy
Embedded sensor-data compression frameworks for connected lighting systems: poster. SEC (2017)
Md. Ariful Islam, Abhishek Murthy, Ezio Bartocci, Elizabeth Cherry, Flavio H. Fenton, James Glimm, Scott A. Smolka, Radu Grosu
Model-order reduction of ion channel dynamics using approximate bisimulation. Theor. Comput. Sci. 599 (2015)
Abhishek Murthy, Md. Ariful Islam, Scott A. Smolka, Radu Grosu
-decidability over the reals. HSCC (2015)
Abhishek Murthy, Dong Han, Dan Jiang, Talmai Oliveira
Lighting-Enabled Smart City Applications and Ecosystems based on the IoT. WF-IoT (2015)
Md. Ariful Islam, Abhishek Murthy, Antoine Girard, Scott A. Smolka, Radu Grosu
Compositionality results for cardiac cell dynamics. HSCC (2014)
Abhishek Murthy, Ezio Bartocci, Flavio H. Fenton, James Glimm, Richard A. Gray, Elizabeth Cherry, Scott A. Smolka, Radu Grosu
Curvature Analysis of Cardiac Excitation Wavefronts. IEEE ACM Trans. Comput. Biol. Bioinform. 10 (2) (2013)
Abhishek Murthy, Md. Ariful Islam, Ezio Bartocci, Elizabeth Cherry, Flavio H. Fenton, James Glimm, Scott A. Smolka, Radu Grosu
Approximate Bisimulations for Sodium Channel Dynamics. CMSB (2012)
Abhishek Murthy, Ezio Bartocci, Flavio H. Fenton, James Glimm, Richard A. Gray, Scott A. Smolka, Radu Grosu
Curvature analysis of cardiac excitation wavefronts. CMSB (2011)