Science Explorer Interactive view Map
Researcher · Queen Mary University of London · United Kingdom

Peter W. O’Hearn

Peter W. O’Hearn publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Information Systems, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Software Testing and Debugging Techniques.

ORCID 0000-0001-8730-5496 OpenAlex
World rank
#26,035
of 1,633,909 ranked researchers
Rank in United Kingdom
#2,449
of 90,785
Works
39
Citations
668
Citations per work
17.1

What does Peter W. O’Hearn research?

Artificial Intelligence: 28.0%Computational Theory and Mathematics: 18.0%Information Systems: 14.0%Software: 14.0%other fields: 26.0%28%top field
Artificial Intelligence28.0%Computational Theory and Mathematics18.0%Information Systems14.0%Software14.0%other fields26.0%

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

  1. 1Artificial Intelligence28% of their works
  2. 2Computational Theory and Mathematics18% of their works
  3. 3Information Systems14% of their works
  4. 4Software14% of their works
  5. 5Computer Networks and Communications6% of their works
  6. 6Signal Processing4% of their works

Research topics

Which keywords describe Peter W. O’Hearn's research?

The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Automated Testing and Machine Learning.

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 21 words, with their numbers
  1. Model Checking173 topics
  2. Formal Verification91 topic
  3. Static Analysis91 topic
  4. Temporal Logic82 topics
  5. Satisfiability Modulo Theories71 topic
  6. Symbolic Model Checker71 topic
  7. Automated Testing51 topic
  8. Machine Learning52 topics
  9. Software Fault Localization51 topic
  10. Code Clone Detection31 topic
  11. Description Logics32 topics
  12. Knowledge Representation32 topics
  13. Refactoring31 topic
  14. Android Malware21 topic
  15. Detection21 topic
  16. Ontology21 topic
  17. Security Policies21 topic
  18. Semantic Web21 topic
  19. Side-Channel Attacks21 topic
  20. Answer Set Programming11 topic
  21. Modal Logic11 topic

Where does Peter W. O’Hearn work?

Peter W. O’Hearn's main affiliation in the publication record is Queen Mary University of London, United Kingdom.

How many publications and citations does Peter W. O’Hearn have?

Science Explorer counts 39 works and 668 citations for Peter W. O’Hearn, ranking #26,035 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.