A study of amorphous transition metal oxide films by Jain, H

Qualitative Analysis of an Integro-Differential Equation Model of Periodic Chemotherapy by Jain, H, Byrne, H

Qualitative analysis of an integro-differential equation model of periodic chemotherapy by Jain, H, Byrne, H

Qualitative analysis of an integro-differential equation model of periodic chemotherapy by Jain, H, Byrne, H

Plant breeding : Mendelian to molecular approaches / by Jain, H.K., Kharkwal, M. C.

Modeling Stem/Progenitor Cell-Induced Neovascularization and Oxygenation around Solid Implants by Jain, H, Moldovan, N, Byrne, H

Modeling stem/progenitor cell-induced neovascularization and oxygenation around solid implants. by Jain, H, Moldovan, N, Byrne, H

Verification of SpecC using Predicate Abstraction by Clarke, E, Jain, H, Kroening, D

Verification of SpecC using predicate abstraction. by Clarke, E, Jain, H, Kroening, D

Verification of SpecC and Verilog using Predicate Abstraction by Jain, H, Clarke, E, Kroening, D

Effects of Titanium Implant Surface Topology on Bone Cell Attachment and Proliferation in vitro by Levin M, Spiro RC, Jain H, Falk MM

Get full text

Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog by Jain, H, Kroening, D, Sharygina, N, Clarke, E

Word Level Predicate Abstraction and Refinement for Verifying RTL Verilog by Jain, H, Kroening, D, Sharygina, N, Clarke, E

Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog. by Jain, H, Kroening, D, Sharygina, N, Clarke, E

A biomechanical model of tumor-induced intracranial pressure and edema in brain tissue by Sorribes, I, Moore, M, Byrne, H, Jain, H

Word level predicate abstraction and refinement for verifying RTL verilog by Jain, H, Sharygina, N, Kroening, D, Clarke, E

VCEGAR: Verilog CounterExample Guided Abstraction Refinement by Jain, H, Kroening, D, Sharygina, N, Clarke, E

Word-level predicate-abstraction and refinement rechniques for verifying RTL Verilog by Jain, H, Kroening, D, Sharygina, N, al., E

Exploiting the synergy between carboplatin and ABT-737 in the treatment of ovarian carcinomas by Jain, H, Richardson, A, Meyer-Hermann, M, Byrne, H

The Transition to the Metallic State in Polycrystalline n-type Doped ZnO Thin Films by Vai, A, Kuznetsov, V, Jain, H, Slocombe, D, Rashidi, N, Pepper, M, Edwards, P