Author: C. A. R. Hoare
Publication Overview
Publication period start: 1966
Number of co-authors: 16
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Boyer,
Robert S.,
Feijen,
W. H. J.,
Gries,
David,
Hoare,
C. A. R.,
Misra,
Jayadev,
Moore,
J.,
Richards,
H.
(2002):
In memoriam: Edsger W. Dijkstra 1930-2002.
In
Communications of the ACM,
45
(10)
pp. 21-22.
https://dl.acm.org/doi/10.1145/570907.570921
Hoare,
C. A. R.
(1987):
An Overview of Some Formal Methods for Program Design.
In
IEEE Computer,
20
(9)
pp. 85-91.
Hoare,
C. A. R.,
Hayes,
Ian J.,
He,
Jifeng,
Morgan,
Carroll,
Roscoe,
A. W.,
Sanders,
Jeff W.,
Soerensen,
Ib Holm,
Spivey,
J. Michael,
Sufrin,
Bernard
(1987):
Laws of Programming.
In
Communications of the ACM,
30
(8)
pp. 672-686.
Hoare,
C. A. R.
(1983):
An Axiomatic Basis for Computer Programming (Reprint).
In
Communications of the ACM,
26
(1)
pp. 53-56.
Hoare,
C. A. R.
(1981):
The Emperor\'s Old Clothes.
In
Communications of the ACM,
24
(2)
pp. 75-83.
Hoare,
C. A. R.
(1978):
Communicating Sequential Processes.
In
Communications of the ACM,
21
(8)
pp. 666-677.
Johnston,
H. C.,
Hoare,
C. A. R.
(1975):
Matrix Reduction - An Efficient Method.
In
Communications of the ACM,
18
(3)
pp. 141-150.
Hoare,
C. A. R.
(1974):
Monitors: An Operating System Structuring Concept.
In
Communications of the ACM,
17
(10)
pp. 549-557.
Hoare,
C. A. R.
(1971):
Proof of a Program: FIND.
In
Communications of the ACM,
14
(1)
pp. 39-45.
Hoare,
C. A. R.
(1969):
An Axiomatic Basis for Computer Programming.
In
Communications of the ACM,
12
(10)
pp. 576-580.
https://dl.acm.org/doi/10.1145/363235.363259
Wirth,
Niklaus,
Hoare,
C. A. R.
(1966):
A contribution to the development of ALGOL.
In
Communications of the ACM,
9
(6)
pp. 413-432.
https://dl.acm.org/doi/10.1145/365696.365702
Hoare,
C. A. R.
(1961):
Algorithm 63: partition.
In
Communications of the ACM,
4
(7)
pp. 321.
https://dl.acm.org/doi/10.1145/366622.366642
Hoare,
C. A. R.
(1961):
Algorithm 64: Quicksort.
In
Communications of the ACM,
4
(7)
pp. 321.
https://dl.acm.org/doi/10.1145/366622.366644
Hoare,
C. A. R.
(1961):
Algorithm 65: find.
In
Communications of the ACM,
4
(7)
pp. 321-322.
https://dl.acm.org/doi/10.1145/366622.366647