Concepedia

Tony Hoare

TH

Statistics

Publications

42

Citations

3K

H-Index

25

Active since

1961

Affiliations

Microsoft Research (United Kingdom)(Current)

Microsoft (United States)

University of Bristol

University of Cambridge

Tony Hoare is an author at Microsoft Research (United Kingdom) specializing in computer science, computing, and formal methods.

Publications per year

1961–2015

42

Publications

42

The verifying compiler

Tony Hoare · Journal of the ACM · 2003 · 261 citations

Computing, Computer Engineering, Computer Science +13

Procedures and Parameters: An Axiomatic Approach

Tony Hoare · 1971 · 247 citations

Computing, Mathematics, Formal Methods +5

A Theory of Communicating Sequential Processes

Tony Hoare · Journal of the ACM · 1984 · 243 citations

Engineering, Computer Science, Mathematics +10

An Axiomatic Basis for Computer Programming

Tony Hoare · 1968 · 200 citations

Computing, Computer Science, Mathematics +17

Notes on Data Structuring

Tony Hoare · 1972 · 188 citations

Computing, Computer Science, Data Management +8

1–5 of 42