| 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 | 40 | 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 |
| 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 | 13 | 2017 |
| 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 | 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 |
| 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 |
| Systems, methods, and apparatuses for distributing computational resources over a network of luminaires OP Olaleye, A Murthy US Patent 11,382,203, 2022 | 3 | 2022 |
| 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 |
| 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 |
| 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 | 1 | 2023 |
| 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 managing lighting based on population mobility patterns A Murthy, H Mohanna, S Rangavajhala, OP Olaleye, R Kumar, J Kaur, ... US Patent 10,645,773, 2020 | 1 | 2020 |
Scott A. SmolkaProfessor of Computer Science, Stony Brook UniversityGeverifieerd e-mailadres voor cs.sunysb.edu
