| Zeus: analyzing safety of smart contracts. S Kalra, S Goel, M Dhawan, S Sharma Ndss, 1-12, 2018 | 860 | 2018 |
| ISP: a tool for model checking MPI programs SS Vakkalanka, S Sharma, G Gopalakrishnan, RM Kirby Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of …, 2008 | 123 | 2008 |
| Unfolding-based partial order reduction C Rodríguez, M Sousa, S Sharma, D Kroening arXiv preprint arXiv:1507.00980, 2015 | 76 | 2015 |
| Privacy and security of Aadhaar: a computer science perspective S Agrawal, S Banerjee, S Sharma Economic and Political Weekly, 93-102, 2017 | 59 | 2017 |
| Precise predictive analysis for discovering communication deadlocks in MPI programs V Forejt, D Kroening, G Narayanaswamy, S Sharma FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014 | 52 | 2014 |
| Impact of a virtual culinary medicine curriculum on biometric outcomes, dietary habits, and related psychosocial factors among patients with diabetes participating in a food … SV Sharma, JW McWhorter, J Chow, MP Danho, SR Weston, F Chavez, ... Nutrients 13 (12), 4492, 2021 | 44 | 2021 |
| High economic returns from companion and relay cropping of bread wheat and menthol mint in the winter–summer season in north Indian plains S Kumar, JR Bahl, RP Bansal, AK Gupta, V Singh, S Sharma Industrial Crops and Products 15 (2), 103-114, 2002 | 42 | 2002 |
| Variation in Quality of Essential Oil Distilled from Vegetative and Reproductive Stages of Tagetes minuta Crop Grown in North Indian Plains RP Bansal, JR Bahl, SN Garg, AA Naqvi, S Sharma, M Ram, S Kumar Journal of Essential Oil Research 11 (6), 747-752, 1999 | 42 | 1999 |
| Precise predictive analysis for discovering communication deadlocks in MPI programs V Forejt, S Joshi, D Kroening, G Narayanaswamy, S Sharma ACM Transactions on Programming Languages and Systems (TOPLAS) 39 (4), 1-27, 2017 | 37 | 2017 |
| Profits of Indian menthol mint Mentha arvensis cultivars at different stages of crop growth in northern plains S Kumar, JR Bahl, RP Bansal, AK Kukreja, SN Garg, AA Naqvi, R Luthra, ... J. Med. Arom. Pl. Sci 22, 774-786, 2000 | 34 | 2000 |
| MCC: A runtime verification tool for MCAPI user applications S Sharma, G Gopalakrishnan, E Mercer, J Holt 2009 Formal Methods in Computer-Aided Design, 41-44, 2009 | 33 | 2009 |
| Effect of laser irradiation on structural, electrical and optical properties of SnO2 films AL Dawar, A Kumar, S Sharma, KN Tripathi, PC Mathur Journal of materials science 28, 639-644, 1993 | 32 | 1993 |
| Genetic Improvement of Mints: On the Qualitative Traits of Essential Oil of In-Vitro Derived Clones of Japanese Mint (Mentha arvensis var. piperascens Holmes) AK Kukreja, OP Dhawan, PS Ahuja, S Sharma, AK Mathur Journal of Essential Oil Research 4 (6), 623-629, 1992 | 30 | 1992 |
| A formal approach to detect functionally irrelevant barriers in MPI programs S Sharma, S Vakkalanka, G Gopalakrishnan, RM Kirby, R Thakur, ... European Parallel Virtual Machine/Message Passing Interface Users’ Group …, 2008 | 28 | 2008 |
| Reliable decentralized oracle with mechanisms for verification and disputation L Ma, K Kaneko, S Sharma, K Sakurai 2019 Seventh International Symposium on Computing and Networking Workshops …, 2019 | 26 | 2019 |
| The Data-Driven Blockchain Ecosystem: Fundamentals, Applications, and Emerging Technologies (2022a) A Khang, S Chowdhury, S Sharma CRC Press 10 (978100326928), 1, 0 | 25 | |
| Dynamic symbolic verification of MPI programs D Khanna, S Sharma, C Rodríguez, R Purandare Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018 | 24 | 2018 |
| Accelerated test execution using gpus A Rajan, S Sharma, P Schrammel, D Kroening Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014 | 24 | 2014 |
| A survey of MPI related debuggers and tools SV Sharma, G Gopalakrishnan, RM Kirby Researchgate-Article, 2007 | 21 | 2007 |
| Screening of genotypes of menthol mint Mentha arvensis for high yields of herbage and essential oil under late cropping conditions of the sub-tropical Indo … S Kumar, JR Bahl, P Shukla, A Singh, G Ram, RP Bansal, S Sharma The Journal of Horticultural Science and Biotechnology 74 (6), 680-684, 1999 | 21 | 1999 |
