Concepedia

J G. Brotherston

JG

31

Publications

1.1K

Citations

18

H-Index

1951

Active since

Affiliations

Moredun Research Institute(Current)

Imperial College London

University College London

Middlesex University

University of Edinburgh

J G. Brotherston is an author at Moredun Research Institute specializing in automated reasoning, engineering, and formal methods.

ORCID

Top concepts

Publications per year

1951–2019

31

Publications

31

Sequent calculi for induction and infinite descent

J G. Brotherston, Alex Simpson · Journal of Logic and Computation · 2010 · 125 citations · Full text

Spread of scrapie by contact to goats and sheep

J G. Brotherston, C.C. Renwick, J.T. Stamp et al. · Journal of Comparative Pathology · 1968 · 109 citations

, , +3

Further Studies on Scrapie

J.T. Stamp, J G. Brotherston, I. Zlotnik et al. · Journal of Comparative Pathology and Therapeutics · 1959 · 90 citations

,

Cyclic proofs of program termination in separation logic

J G. Brotherston, Richard Bornat, Cristiano Calcagno · 2008 · 72 citations

, , +15

Quantitative Studies of Mycobacterium Johnei in the Tissues of Sheep

J G. Brotherston, N.J.L. Gilmour, Jitin Samuel · Journal of Comparative Pathology and Therapeutics · 1961 · 66 citations

, , +6

Rows per page

1–5 of 31