Concepedia

Author

Carroll Morgan

Oxford Research GroupORCID

Also Known As

C Morgan, C. C. Morgan, C. Morgan, Carroll C. Morgan, Carroll Morgan, Morgan, C, Morgan, Carroll

129

Publications

5.3K

Citations

35

H-Index

69

Concepts

All Affiliations

Oxford Research GroupUniversity of OxfordUNSW SydneyMacquarie UniversityThe University of Queensland
CM

About

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

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

19

23

1.9K

2

Management

2

2

120

3

Business

1

1

10

4

Education

1

1

14

5

Communication

1

1

45

Carroll Morgan

×

33

Publications

2.4K

Citations

22

H-Index

YearCitations

Laws of programming

C. A. R. Hoare, Ian J. Hayes, He Jifeng,

Communications of the ACM

1987

389

Probabilistic predicate transformers

Carroll Morgan, Annabelle McIver, Karen Seidel

ACM Transactions on Programming Languages and Systems

1996

301

The specification statement

Carroll Morgan

ACM Transactions on Programming Languages and Systems

1988

261

Weather, clothing and thermal adaptation to indoor climate

Carroll Morgan, Richard de Dear

Climate Research

2003

165

Specification of the UNIX Filing System

Carroll Morgan, Bernard Sufrin

IEEE Transactions on Software Engineering

1984

100

Data refinement of predicate transformers

P. H. B. Gardiner, Carroll Morgan

Theoretical Computer Science

1991

93

Refinement-oriented probability for CSP

Carroll Morgan, Annabelle McIver, Karen Seidel,

Formal Aspects of Computing

1996

87

Characterising Testing Preorders for Finite Probabilistic Processes

Yuxin Deng, Robert van Glabbeek, Matthew Hennessy,

Logical Methods in Computer Science

2008

74

pGCL: formal reasoning for random algorithms

Carroll Morgan, A McI

1998

61

Data refinement by calculation

Carroll Morgan, P. H. B. Gardiner

Acta Informatica

1990

61

Page 1