Curvature analysis of cardiac excitation wavefronts. - Abhishek Murthy; Ezio Bartocci; Flavio H. Fenton; James Glimm; Richard A. Gray; Scott A. Smolka; Radu Grosu (CMSB, 2011)

Approximate Bisimulations for Sodium Channel Dynamics. - Abhishek Murthy; Md. Ariful Islam; Ezio Bartocci; Elizabeth Cherry; Flavio H. Fenton; James Glimm; Scott A. Smolka; Radu Grosu (CMSB, 2012)

Curvature Analysis of Cardiac Excitation Wavefronts. - Abhishek Murthy; Ezio Bartocci; Flavio H. Fenton; James Glimm; Richard A. Gray; Elizabeth Cherry; Scott A. Smolka; Radu Grosu (IEEE ACM Trans. Comput. Biol. Bioinform., 2013)

Compositionality results for cardiac cell dynamics. - Md. Ariful Islam; Abhishek Murthy; Antoine Girard; Scott A. Smolka; Radu Grosu (HSCC, 2014)

Computing bisimulation functions using SOS optimization and δ-decidability over the reals. - Abhishek Murthy; Md. Ariful Islam; Scott A. Smolka; Radu Grosu (HSCC, 2015)

Lighting-Enabled Smart City Applications and Ecosystems based on the IoT. - Abhishek Murthy; Dong Han; Dan Jiang; Talmai Oliveira (WF-IoT, 2015)

Model-order reduction of ion channel dynamics using approximate bisimulation. - Md. Ariful Islam; Abhishek Murthy; Ezio Bartocci; Elizabeth Cherry; Flavio H. Fenton; James Glimm; Scott A. Smolka; Radu Grosu (Theor. Comput. Sci., 2015)

Embedded sensor-data compression frameworks for connected lighting systems: poster. - Arvind Ramesh; Olaitan Olaleye; Abhishek Murthy (SEC, 2017)

A Simplex Architecture for Hybrid Systems Using Barrier Certificates. - Junxing Yang; Md. Ariful Islam; Abhishek Murthy; Scott A. Smolka; Scott D. Stoller (SAFECOMP, 2017)

Automated Lamp-Type Identification for City-Wide Outdoor Lighting Infrastructures. - Shengrong Yin; Talmai Oliveira; Abhishek Murthy (HotMobile, 2017)

Object Recognition under Lighting Variations using Pre-Trained Networks. - Kalpathy Sivaraman; Abhishek Murthy (AIPR, 2018)

Robustness of Neural Networks to Parameter Quantization. - Abhishek Murthy; Himel Das; Md. Ariful Islam (From Reactive Systems to Cyber-Physical Systems, 2019)