Concepedia

C. Michael Holloway

CM

Statistics

Publications

23

Citations

745

H-Index

18

Active since

1970

Affiliations

Langley Research Center(Current)

Max Planck Institute for Plasma Physics

Japan Atomic Energy Agency

University of Glasgow

Medical Research Council

C. Michael Holloway is an author at Langley Research Center specializing in computing, systems engineering, and software engineering.

Publications per year

1970–2019

23

Publications

23

Variation at the Aldosterone Synthase (CYP11B2) Locus Contributes to Hypertension in Subjects with a Raised Aldosterone-to-Renin Ratio

Pitt Lim, Thomas M. MacDonald, C. Michael Holloway et al. · The Journal of Clinical Endocrinology & Metabolism · 2002 · 108 citations · Full text

Medicine, Endocrinology, Molecular Genetics +11

Why Engineers Should Consider Formal Methods

C. Michael Holloway · 1997 · 65 citations

Computing, Computer Science, Formal Methods +6

Absence of a Cross-Modal “Suffix Effect” in Short-Term Memory

John Morton, C. Michael Holloway · Quarterly Journal of Experimental Psychology · 1970 · 55 citations

Social Sciences, Linguistics, Psychology +11

An investigation of proposed techniques for quantifying confidence in assurance arguments

Patrick Graydon, C. Michael Holloway · Safety Science · 2016 · 52 citations

Business, Decision Sciences, Uncertainty Quantification +7

A survey of logic formalisms to support mishap analysis

Chris Johnson, C. Michael Holloway · Reliability Engineering & System Safety · 2003 · 50 citations

Humanities, Computer Science, Formal Methods +13

1–5 of 23