| 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 | 38 | 2015 |
| 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 |
| Single-pixel thermopile infrared sensing for people counting E Hagenaars, A Pandharipande, A Murthy, G Leus IEEE Sensors Journal 21 (4), 4866-4873, 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 |
| 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 |
| 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 | 12 | 2017 |
| Object recognition under lighting variations using pre-trained networks K Sivaraman, A Murthy 2018 IEEE Applied Imagery Pattern Recognition Workshop (AIPR), 1-7, 2018 | 11 | 2018 |
| Efficacy of controlled-release nitrogen fertilizer on grain yield of different cultivars of rice (Oryza sativa) in irrigated rice ecosystem. AGK Murthy, K Padmaja, RM Kumar, SV Subbaiah | 8 | 2002 |
| 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 | 5 | 2019 |
| 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 |
| Systems, methods, and apparatuses for distributing computational resources over a network of luminaires OP Olaleye, A Murthy US Patent 11,382,203, 2022 | 4 | 2022 |
| 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 | 4 | 2012 |
| 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 | 3 | 2017 |
| Systems and methods for multimodal sensor fusion in connected lighting systems using autoencoder neural networks for occupant counting A Murthy, R Mohammadi US Patent App. 17/787,400, 2023 | 2 | 2023 |
| 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 | 2 | 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 | 2 | 2020 |
| 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 |
| Effect of controlled release and coated urea fertilizers on'N'use efficiency in irrigated transplanted rice. AGK Murthy, K Padmaja, RM Kumar, SV Subbaiah | 2 | 2003 |
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityVerified email at cs.sunysb.edu
