| 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 | 41 | 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 | 20 | 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 |
| Single-pixel thermopile infrared sensing for people counting E Hagenaars, A Pandharipande, A Murthy, G Leus IEEE Sensors Journal 21 (4), 4866-4873, 2020 | 16 | 2020 |
| 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 |
| 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 | 15 | 2017 |
| 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 |
| Object recognition under lighting variations using pre-trained networks K Sivaraman, A Murthy 2018 IEEE Applied Imagery Pattern Recognition Workshop (AIPR), 1-7, 2018 | 12 | 2018 |
| 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 | 6 | 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 |
| 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), 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, methods, and apparatuses for distributed detection of luminaire anomalies OP Olaleye, T Hegazy, A Murthy US Patent 11,310,892, 2022 | 2 | 2022 |
| 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 |
| 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 using multiple modalities for occupancy sensing A Murthy, R Kumar, Y Zhang, C Kabytayev, EB Shen US Patent 11,860,268, 2024 | 1 | 2024 |
| Systems and methods for fusing data from single pixel thermopiles and passive infrared sensors for counting occupants in open offices A Murthy, R Kumar, J Yu US Patent App. 17/787,317, 2023 | 1 | 2023 |
| System and method for performing building-wide wireless network intrusion detection via connected luminaires A Murthy, J Yu US Patent App. 16/764,954, 2020 | 1 | 2020 |
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityVerified email at cs.sunysb.edu
