| 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 | 977 | 1996 |
| 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 | 194 | 1995 |
| Software deployment system K Goger, A Bhatt, S Raghunandan, R Ranjan, A Kumar US Patent 7,950,010, 2011 | 135 | 2011 |
| 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 | 127 | 1998 |
| 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 | 124 | 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 |
| 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 |
| Reversible electrochemical trapping of carbon dioxide using 4, 4′-bipyridine that does not require thermal activation R Ranjan, J Olson, P Singh, ED Lorance, DA Buttry, IR Gould The journal of physical chemistry letters 6 (24), 4943-4946, 2015 | 78 | 2015 |
| Defining a software deployment A Bhatt, K Goger, A Pradhan, S Raghunandan, R Ranjan US Patent App. 11/040,290, 2006 | 72 | 2006 |
| Binary decision diagrams on network of workstations RK Ranjan, JV Sanghavi, RK Brayton, A Sangiovanni-Vincentelli Proceedings International Conference on Computer Design. VLSI in Computers …, 1996 | 57 | 1996 |
| Vis RK Brayton, GD Hachtel, A Sangiovanni-Vincentelli, F Somenzi, A Aziz, ... Formal Methods in Computer-Aided Design: First International Conference …, 1996 | 50 | 1996 |
| Processing and nanoclay induced piezoelectricity in poly (vinylidene fluoride-co-hexafluoro propylene) nanohybrid for device application A Gaur, R Shukla, B Kumar, A Pal, S Chatterji, R Ranjan, P Maiti Polymer 97, 362-369, 2016 | 44 | 2016 |
| Combining ability and heterosis in quality protein maize PK Singh, AK Singh, JP Shahi, R Ranjan The bioscan 7 (2), 337-340, 2012 | 41 | 2012 |
| Advance application of geospatial technology for fisheries perspective in Tarai region of Himalayan state of Uttarakhand NA Ingole, RN Ram, R Ranjan, AK Shankhwar Sustainable Water Resources Management 1, 181-187, 2015 | 36 | 2015 |
| Intent-driven functional verification of digital designs P Narain, R Kumar, J Beardslee, R Ranjan, C Morrison US Patent App. 10/717,386, 2004 | 34 | 2004 |
| Trauma from occlusion: The overstrain of the supporting structures of the teeth DK Singh, J Md, R Ranjan Indian journal of dental sciences 9 (2), 126-132, 2017 | 32 | 2017 |
| On the optimization power of retiming and resynthesis transformations RK Ranjan, V Singhal, F Somenzi, RK Brayton Proceedings of the 1998 IEEE/ACM international conference on Computer-aided …, 1998 | 32 | 1998 |
| Using combinational verification for sequential circuits RK Ranjan, V Singhal, F Somenzi, RK Brayton Proceedings of the conference on Design, automation and test in Europe, 32-es, 1999 | 29 | 1999 |
| Automatic formulation of design verification checks based upon a language representation of a hardware design to verify the intended behavior of the hardware design P Narain, JA Littlefield, CR Morrison, RK Ranjan US Patent 6,539,523, 2003 | 25 | 2003 |
| VIS user's manual T Villa, G Swamy, T Shiple University of California, Berkeley, Tech. Rep. UCB/ERL M95/104, December 20 …, 1995 | 24 | 1995 |