John Reynolds

Separation logic: a logic for shared mutable data structures

John Reynolds · 2003 · 2.2K citations

Computing, Computer Science, Data Structures +14

ESTIMATION OF THE COANCESTRY COEFFICIENT: BASIS FOR A SHORT-TERM GENETIC DISTANCE

John Reynolds, B. S. Weir, C. Clark Cockerham · Genetics · 1983 · 1.8K citations · Full text

Life Sciences, Biostatistics, Genetics +11

Types, Abstraction and Parametric Polymorphism.

John Reynolds · IFIP Congress · 1983 · 771 citations

Computing, Computer Science, Formal Methods +11

Definitional interpreters for higher-order programming languages

John Reynolds · 1972 · 668 citations

Computing, Computer Science, Programming Languages +11

International Randomized Study of Interferon Vs STI571 (IRIS) 8-Year Follow up: Sustained Survival and Low Risk for Progression or Events in Patients with Newly Diagnosed Chronic Myeloid Leukemia in Chronic Phase (CML-CP) Treated with Imatinib.

Michael W. Deininger, Stephen G. O’Brien, François Guilhot et al. · Blood · 2009 · 620 citations

Pharmacy, Hematology, Pharmacotherapy +12