Concepedia

John Reynolds

JR

Statistics

Publications

130

Citations

13.6K

H-Index

50

Active since

1963

Affiliations

Monash University(Current)

The University of Melbourne

Deakin University

The Alfred Hospital

Peter MacCallum Cancer Centre

John Reynolds is an author at Monash University specializing in medicine, engineering, and formal methods.

Top concepts

MedicineEngineeringFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationSoftware AnalysisHealthOncology

Publications per year

1963–2025

130

Publications

130

Separation logic: a logic for shared mutable data structures

John Reynolds · 2003 · 2.1K citations

Engineering, Structured Data, Computer Architecture +18

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

Types, Abstraction and Parametric Polymorphism.

John Reynolds · IFIP Congress · 1983 · 766 citations

Automated Reasoning, Polymorphism (Computer Science), Type Theory +2

Definitional interpreters for higher-order programming languages

John Reynolds · 1972 · 662 citations

Engineering, Higher-order Programming Languages, Pure Lisp +18

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 · 615 citations

1–5 of 130