Concepedia

Carroll Morgan

CM

33

Publications

2.4K

Citations

22

H-Index

1984

Active since

Affiliations

Oxford Research Group(Current)

University of Oxford

Macquarie University

The University of Queensland

Carroll Morgan is an author at Oxford Research Group specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSoftware AnalysisProgram AnalysisProbabilityData ScienceVerification

Publications per year

1984–2024

33

Publications

33

Laws of programming

C. A. R. Hoare, Ian J. Hayes, He Jifeng et al. · Communications of the ACM · 1987 · 389 citations · Full text

Mathematical Programming, Engineering, Computational Complexity +17

Probabilistic predicate transformers

Carroll Morgan, Annabelle McIver, Karen Seidel · ACM Transactions on Programming Languages and Systems · 1996 · 301 citations · Full text

Bayesian Decision Theory, Engineering, Probabilistic Learning +21

The specification statement

Carroll Morgan · ACM Transactions on Programming Languages and Systems · 1988 · 261 citations · Full text

Engineering, Software Systems, Specification Statement +22

Weather, clothing and thermal adaptation to indoor climate

Carroll Morgan, Richard de Dear · Climate Research · 2003 · 165 citations · Full text

Specification of the UNIX Filing System

Carroll Morgan, Bernard Sufrin · IEEE Transactions on Software Engineering · 1984 · 100 citations

Unix Filing System, Engineering, Filing System +19

Rows per page

1–5 of 33