Follow
Rajeev Ranjan
Rajeev Ranjan
Unknown affiliation
Verified email at kpit.com
Title
Cited by
Cited by
Year
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
9651996
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
3102013
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
2752012
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
2652005
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
2092004
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
1931995
Software deployment system
K Goger, A Bhatt, S Raghunandan, R Ranjan, A Kumar
US Patent 7,950,010, 2011
1342011
Rapid biosensing tools for cancer biomarkers
R Ranjan, EN Esimbekova, VA Kratasyuk
Biosensors and Bioelectronics 87, 918-930, 2017
1302017
Curcuma longa as feed additive in broiler bird and its patho-physiological effects
P Kumari, MK Gupta, R Ranjan, KK Singh, R Yadava
Indian journal of experimental biology 45 (3), 272, 2007
1232007
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
1232005
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
1221998
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
1212005
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
1191996
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
1071994
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
922009
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
812016
A comparison of Presburger engines for EFSM reachability
TR Shiple, JH Kukula, RK Ranjan
Computer Aided Verification: 10th International Conference, CAV'98 Vancouver …, 1998
811998
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
782017
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
742010
Defining a software deployment
A Bhatt, K Goger, A Pradhan, S Raghunandan, R Ranjan
US Patent App. 11/040,290, 2006
712006
The system can't perform the operation now. Try again later.
Articles 1–20