| VIS: A system for verification and synthesis RK Brayton, GD Hachtel, A Sangiovanni-Vincentelli, F Somenzi, A Aziz, ... Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996 | 975 | 1996 |
| Perspective of membrane technology in dairy industry: A review P Kumar, N Sharma, R Ranjan, S Kumar, ZF Bhat, DK Jeong Asian-Australasian journal of animal sciences 26 (9), 1347, 2013 | 322 | 2013 |
| A rainfall prediction model using artificial neural network K Abhishek, A Kumar, R Ranjan, S Kumar 2012 IEEE Control and System Graduate Research Colloquium, 82-87, 2012 | 282 | 2012 |
| Acupressure for prevention of pre‐operative anxiety: a prospective, randomised, placebo controlled study A Agarwal, R Ranjan, S Dhiraaj, A Lakra, M Kumar, U Singh Anaesthesia 60 (10), 978-981, 2005 | 267 | 2005 |
| Intravenous lidocaine suppresses fentanyl-induced coughing: a double-blind, prospective, randomized placebo-controlled study CK Pandey, M Raza, R Ranjan, A Lakra, A Agarwal, U Singh, RB Singh, ... Anesthesia & Analgesia 99 (6), 1696-1698, 2004 | 208 | 2004 |
| Efficient BDD algorithms for FSM synthesis and verification RK Ranjan, A Aziz, RK Brayton, B Plessier, C Pixley IWLS95, Lake Tahoe, CA 253, 254, 1995 | 193 | 1995 |
| Blockchain and financial market innovation R Lewis, J McPartland, R Ranjan Economic Perspectives 41 (7), 1-17, 2017 | 180 | 2017 |
| Software deployment system K Goger, A Bhatt, S Raghunandan, R Ranjan, A Kumar US Patent 7,950,010, 2011 | 134 | 2011 |
| Rapid biosensing tools for cancer biomarkers R Ranjan, EN Esimbekova, VA Kratasyuk Biosensors and Bioelectronics 87, 918-930, 2017 | 132 | 2017 |
| Curcuma longa as feed additive in broiler birds and its patho-physiological effects P Kumari, MK Gupta, R Ranjan, KK Singh, R Yadava CSIR, 2007 | 126 | 2007 |
| Gabapentin provides effective postoperative analgesia whether administered pre-emptively or post-incision CK Pandey, V Singhal, M Kumar, A Lakra, R Ranjan, R Pal, M Raza, ... Canadian Journal of Anesthesia 52 (8), 827-831, 2005 | 125 | 2005 |
| A performance study of BDD-based model checking B Yang, RE Bryant, DR O’Hallaron, A Biere, O Coudert, G Janssen, ... Formal Methods in Computer-Aided Design: Second International Conference …, 1998 | 125 | 1998 |
| Intravenous lidocaine 0.5 mg· kg-1 effectively suppresses fentanyl-induced cough CK Pandey, M Raza, R Ranjan, V Singhal, M Kumar, A Lakra, DV Navkar, ... Canadian Journal of Anesthesia 52 (2), 172-175, 2005 | 123 | 2005 |
| High performance BDD package by exploiting memory hierarchy JV Sanghavi, RK Ranjan, RK Brayton, A Sangiovanni-Vincentelli Proceedings of the 33rd annual Design Automation Conference, 635-640, 1996 | 121 | 1996 |
| HSIS: A BDD-based environment for formal verification A Aziz, F Balarin, ST Cheng, R Hojati, T Kam, SC Krishnan, RK Ranjan, ... Proceedings of the 31st annual Design Automation Conference, 454-459, 1994 | 107 | 1994 |
| Controlling the size, morphology, and aspect ratio of nanostructures using reverse micelles: a case study of copper oxalate monohydrate R Ranjan, S Vaidya, P Thaplyal, M Qamar, J Ahmed, AK Ganguli Langmuir 25 (11), 6469-6475, 2009 | 93 | 2009 |
| Performance evaluation of Indian Railway zones using DEMATEL and VIKOR methods R Ranjan, P Chatterjee, S Chakraborty Benchmarking: An International Journal 23 (1), 78-95, 2016 | 87 | 2016 |
| Prosthetic consideration in implant-supported prosthesis: A review of literature MS Gowd, T Shankar, R Ranjan, A Singh Journal of International Society of Preventive and Community Dentistry 7 …, 2017 | 84 | 2017 |
| A comparison of Presburger engines for EFSM reachability TR Shiple, JH Kukula, RK Ranjan Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998 | 80 | 1998 |
| Use of the cefepime-clavulanate ESBL Etest for detection of extended-spectrum beta-lactamases in AmpC co-producing bacteria S Mohanty, R Gaind, R Ranjan, M Deb The Journal of Infection in Developing Countries 4 (01), 024-029, 2010 | 76 | 2010 |
