Statistics
Publications
61
Citations
22.7K
H-Index
38
Active since
1961
C. A. R. Hoare is an author at University of Oxford specializing in computer science, computing, and formal methods.
Publications per year
1961–2010
61
61
An axiomatic basis for computer programming
C. A. R. Hoare · Communications of the ACM · 1969 · 3.9K citations · Full text
Communicating sequential processes
C. A. R. Hoare · Communications of the ACM · 1983 · 3.8K citations · Full text
Communicating sequential processes
C. A. R. Hoare · Communications of the ACM · 1978 · 3.5K citations · Full text
An axiomatic basis for computer programming
C. A. R. Hoare · Communications of the ACM · 1983 · 1.5K citations
C. A. R. Hoare · Communications of the ACM · 1974 · 1.5K citations · Full text
1–5 of 61