| Lighting-enabled smart city applications and ecosystems based on the IoT A Murthy, D Han, D Jiang, T Oliveira 2015 IEEE 2nd World Forum on Internet of Things (WF-IoT), 757-763, 2015 | 31 | 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 |
| 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 | 18 | 2015 |
| 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 | 17 | 2012 |
| Curvature Analysis of Cardiac Excitation Wavefronts RG A. Murthy, E. Bartocci, F.H, Fenton, J. Glimm, R. Gray, S.A. Smolka Proceedings of the 9th International Conference on Computational Methods in …, 2011 | 13 | 2011 |
| 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 | 12 | 2015 |
| Object recognition under lighting variations using pre-trained networks K Sivaraman, A Murthy 2018 IEEE Applied Imagery Pattern Recognition Workshop (AIPR), 1-7, 2018 | 7 | 2018 |
| 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 | 7 | 2017 |
| Single-pixel thermopile infrared sensing for people counting E Hagenaars, A Pandharipande, A Murthy, G Leus IEEE Sensors Journal 21 (4), 4866-4873, 2020 | 6 | 2020 |
| Computing compositional proofs of input-to-output stability using SOS optimization and δ-decidability A Murthy, MA Islam, SA Smolka, R Grosu Nonlinear Analysis: Hybrid Systems 23, 272-286, 2017 | 5 | 2017 |
| Simplex architecture for run time assurance of hybrid systems A Murthy, E Bartocci, E Zadok, S Stoller, S Smolka, R Grosu Safe and Secure Systems and Software Symposium (S5), 78-87, 2012 | 5 | 2012 |
| Robustness of neural networks to parameter quantization A Murthy, H Das, MA Islam From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A …, 2019 | 3 | 2019 |
| Automated lamp-type identification for city-wide outdoor lighting infrastructures S Yin, T Oliveira, A Murthy Proceedings of the 18th international workshop on mobile computing systems …, 2017 | 2 | 2017 |
| Correlation Coefficient based Loss Differentiation Algorithm (CCLDA) for TCP vis-ą-vis traditional LDAs A Murthy 2006 4th Student Conference on Research and Development, 38-43, 2006 | 2 | 2006 |
| Systems and methods for automatically controlling illumination of a workplace A Murthy US Patent 11,553,576, 2023 | 1 | 2023 |
| Systems, methods, and apparatuses for distributing computational resources over a network of luminaires OP Olaleye, A Murthy US Patent 11,382,203, 2022 | 1 | 2022 |
| Systems and methods using multiple modalities for occupancy sensing A Murthy, R Kumar, Y Zhang, C Kabytayev, EB Shen US Patent App. 16/977,594, 2021 | 1 | 2021 |
| System and methods to share machine learning functionality between cloud and an iot network O Garcia-Morchon, A Murthy US Patent App. 16/959,440, 2020 | 1 | 2020 |
| System and method for object recognition using neural networks KS Sivaraman, S Rangavajhala, A Murthy, TB De Oliveira, X Shen US Patent App. 16/963,042, 2020 | 1 | 2020 |
| Systems and methods for improved optical wireless communications based on mobility patterns A Murthy, S Rangavajhala, OP Olaleye, TB De Oliveira, R Kumar, J Kaur, ... US Patent 10,771,156, 2020 | 1 | 2020 |
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityVerified email at cs.sunysb.edu
