Association of TLR4 gene polymorphism with mastitis resistance and susceptibility in Frieswal cattle
Shukla, Rupal, Sen, Sulochana, Ranjan, R.K, Parmar, S.N.S
Published in Indian journal of animal research (01.02.2015)
Published in Indian journal of animal research (01.02.2015)
Get full text
Journal Article
Anaesthetic management of caesarean section in a primigravida with pre-eclampsia, pleural effusion, consolidation, and lung collapse – a case report
Naik, Shilpa A, Prathvi, B, Ranjan, R.K., Abraham, Angela
Published in Perioperative care and operating room management (01.11.2024)
Published in Perioperative care and operating room management (01.11.2024)
Get full text
Journal Article
Unilateral aberrant renal arteries and their clinical significance: A case report
Ranjan, R.K., Kataria, D.S., Singh, K., Srivastava, S.
Published in Journal of the Anatomical Society of India (01.09.2016)
Published in Journal of the Anatomical Society of India (01.09.2016)
Get full text
Journal Article
Beyond verification: leveraging formal for debugging
Ranjan, Rajeev K., Coelho, Claudionor, Skalberg, Sebastian
Published in 2009 46th ACM/IEEE Design Automation Conference (26.07.2009)
Published in 2009 46th ACM/IEEE Design Automation Conference (26.07.2009)
Get full text
Conference Proceeding
High performance BDD package by exploiting memory hierarchy
Sanghavi, J.V., Ranjan, R.K., Brayton, R.K., Sangiovanni-Vincentelli, A.
Published in 33rd Design Automation Conference Proceedings, 1996 (1996)
Published in 33rd Design Automation Conference Proceedings, 1996 (1996)
Get full text
Conference Proceeding
Dynamic reordering in a breadth-first manipulation based BDD package: challenges and solutions
Ranjan, R.K., Gosti, W., Brayton, R.K., Sangiovanni-Vincenteili, A.
Published in Proceedings International Conference on Computer Design VLSI in Computers and Processors (1997)
Published in Proceedings International Conference on Computer Design VLSI in Computers and Processors (1997)
Get full text
Conference Proceeding
On the optimization power of retiming and resynthesis transformations
Ranjan, Rajeev K., Singhal, Vigyan, Somenzi, Fabio, Brayton, Robert K.
Published in 1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287) (1998)
Published in 1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287) (1998)
Get full text
Conference Proceeding
Journal Article
HSIS: A BDD-Based Environment for Formal Verification
Aziz, A., Balarin, F., Cheng, S.-T., Hojati, R., Kam, T., Krishnan, S.C., Ranjan, R.K., Shiple, T.R., Singhal, V., Tasiran, S., Wang, H.-Y., Brayton, R.K., Sangiovanni-Vincentelli, A.L.
Published in 31st Design Automation Conference (1994)
Published in 31st Design Automation Conference (1994)
Get full text
Conference Proceeding