Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Florin Craciun

Enhancing Nrf2 Pathway by Disruption of Keap1 in Myeloid Leukocytes Protects Against Sepsis

American Journal of Respiratory and Critical Care Medicine

Respiratory Medicine

Intensive Care Medicine

English

A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English