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, ...
International conference on computer aided verification, 428-432, 1996
9151996
System and method for multimedia authoring and playback
M Land, P McConnell, M McMahon
US Patent App. 10/325,898, 2004
2262004
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
2122005
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
1952004
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
1711995
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
1352012
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
1272013
A performance study of BDD-based model checking
B Yang, RE Bryant, DR O’Hallaron, A Biere, O Coudert, G Janssen, ...
International Conference on Formal Methods in Computer-Aided Design, 255-289, 1998
1111998
Software deployment system
K Goger, A Bhatt, S Raghunandan, R Ranjan, A Kumar
US Patent 7,950,010, 2011
1072011
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
1062005
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
1051996
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
1032005
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
991994
A comparison of Presburger engines for EFSM reachability
TR Shiple, JH Kukula, RK Ranjan
International Conference on Computer Aided Verification, 280-292, 1998
691998
Towards more effective training programmes: a study of trainer attributes
P Ghosh, R Satyawadi, JP Joshi, R Ranjan, P Singh
Industrial and commercial training, 2012
662012
Evaluating effectiveness of a training programme with trainee reaction
P Ghosh, JP Joshi, R Satyawadi, U Mukherjee, R Ranjan
Industrial and commercial training, 2011
582011
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
562010
Rapid biosensing tools for cancer biomarkers
R Ranjan, EN Esimbekova, VA Kratasyuk
Biosensors and Bioelectronics 87, 918-930, 2017
522017
Mixing in a tundish and a choice of turbulence model for its prediction
PK Jha, R Ranjan, SS Mondal, SK Dash
International Journal of Numerical Methods for Heat & Fluid Flow, 2003
522003
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
521996
The system can't perform the operation now. Try again later.
Articles 1–20