Mishra

Automatic Verification of Sequential Circuits Using Temporal Logic

Browne, Clarke, Dill et al. · IEEE Transactions on Computers · 1986 · 203 citations · Full text

Computing, Computer Engineering, Computer Science +14

Effect of maternal nutrition on birth weight of newborn - a community based study.

Metgud Cs, V.A. Naik, Mallapur et al. · Journal of Family Welfare · 1969 · 38 citations

Public Health, Maternal Health, Nutritional Sciences +17

Role of Flavonoids in DNA Damage and Carcinogenesis Prevention

Prabha Tiwari, Mishra · Journal of Carcinogenesis & Mutagenesis · 2017 · 29 citations

Medicine, Nutritional Sciences, Oncology +17

Cache revive: Architecting volatile STT-RAM caches for enhanced performance in CMPs

Mishra, Xu, Xie XIE et al. · Design Automation Conference · 2012 · 21 citations

Engineering, Computer Engineering, Computer Science +15

The Use of a Fractional Ablative Micro-Plasma Radiofrequency Device in Treatment of Striae.

Mishra, L K Miller, Alsaad Sm · PubMed · 2015 · 14 citations

Medicine, Surgery, Microsurgery +11