Science Explorer Interactive view Map
Researcher · University of Oxford · United Kingdom

C. A. R. Hoare

C. A. R. Hoare publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Hardware and Architecture, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Distributed systems and fault tolerance.

OpenAlex
World rank
#3,899
of 1,633,909 ranked researchers
Rank in United Kingdom
#327
of 90,785
Works
68
Citations
1.6k
Citations per work
23.3

What does C. A. R. Hoare research?

Artificial Intelligence: 25.9%Computational Theory and Mathematics: 20.0%Hardware and Architecture: 10.6%Computer Networks and Communications: 9.4%other fields: 34.1%26%top field
Artificial Intelligence25.9%Computational Theory and Mathematics20.0%Hardware and Architecture10.6%Computer Networks and Communications9.4%other fields34.1%

Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.

  1. 1Artificial Intelligence26% of their works
  2. 2Computational Theory and Mathematics20% of their works
  3. 3Hardware and Architecture11% of their works
  4. 4Computer Networks and Communications9% of their works
  5. 5Information Systems9% of their works
  6. 6Management Information Systems2% of their works

Research topics

Which keywords describe C. A. R. Hoare's research?

The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Distributed Systems and Fault Tolerance.

Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.

All 18 words, with their numbers
  1. Model Checking283 topics
  2. Formal Verification141 topic
  3. Static Analysis141 topic
  4. Temporal Logic142 topics
  5. Satisfiability Modulo Theories101 topic
  6. Symbolic Model Checker101 topic
  7. Distributed Systems51 topic
  8. Fault Tolerance51 topic
  9. Answer Set Programming41 topic
  10. Code Clone Detection41 topic
  11. Modal Logic41 topic
  12. Refactoring41 topic
  13. High-Level Synthesis31 topic
  14. Parallel Computing31 topic
  15. Performance Optimization31 topic
  16. Reconfigurable Computing31 topic
  17. Security Policies21 topic
  18. Side-Channel Attacks21 topic

Where does C. A. R. Hoare work?

C. A. R. Hoare's main affiliation in the publication record is University of Oxford, United Kingdom.

How many publications and citations does C. A. R. Hoare have?

Science Explorer counts 68 works and 1,585 citations for C. A. R. Hoare, ranking #3,899 of 1,633,909 researchers worldwide on the composite score.

Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.

Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.