Abhishek Murthy

According to our database, Abhishek Murthy authored at least 12 papers between 2011 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Robustness of Neural Networks to Parameter Quantization.

Abhishek Murthy, Himel Das, Md. Ariful Islam

Proceedings of the From Reactive Systems to Cyber-Physical Systems, 2019

2018

Object Recognition under Lighting Variations using Pre-Trained Networks.

Kalpathy Sivaraman, Abhishek Murthy

Proceedings of the 47th IEEE Applied Imagery Pattern Recognition Workshop, 2018

2017

Automated Lamp-Type Identification for City-Wide Outdoor Lighting Infrastructures.

Shengrong Yin, Talmai Oliveira, Abhishek Murthy

Proceedings of the 18th International Workshop on Mobile Computing Systems and Applications, 2017

A Simplex Architecture for Hybrid Systems Using Barrier Certificates.

Junxing Yang, Md. Ariful Islam, Abhishek Murthy, Scott A. Smolka, Scott D. Stoller

Proceedings of the Computer Safety, Reliability, and Security, 2017

Embedded sensor-data compression frameworks for connected lighting systems: poster.

Arvind Ramesh, Olaitan Olaleye, Abhishek Murthy

Proceedings of the Second ACM/IEEE Symposium on Edge Computing, San Jose / Silicon Valley, 2017

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

Lighting-Enabled Smart City Applications and Ecosystems based on the IoT.

Abhishek Murthy, Dong Han, Dan Jiang, Talmai Oliveira

Proceedings of the 2nd IEEE World Forum on Internet of Things, 2015

Computing bisimulation functions using SOS optimization and <i>δ</i>-decidability over the reals.

Abhishek Murthy, Md. Ariful Islam, Scott A. Smolka, Radu Grosu

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

2014

Compositionality results for cardiac cell dynamics.

Md. Ariful Islam, Abhishek Murthy, Antoine Girard, Scott A. Smolka, Radu Grosu

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

2013

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

2012

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

Proceedings of the Computational Methods in Systems Biology, 2012

2011

Curvature analysis of cardiac excitation wavefronts.

Abhishek Murthy, Ezio Bartocci, Flavio H. Fenton, James Glimm, Richard A. Gray, Scott A. Smolka, Radu Grosu

Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011