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

A. W. Roscoe

A. W. Roscoe publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Logic, Reasoning, and Knowledge.

ORCID 0000-0001-7557-3901 OpenAlex
World rank
#30,916
of 1,633,909 ranked researchers
Rank in United Kingdom
#2,869
of 90,785
Works
49
Citations
500
Citations per work
10.2

What does A. W. Roscoe research?

Artificial Intelligence: 33.9%Computational Theory and Mathematics: 26.8%Computer Networks and Communications: 12.5%Information Systems: 5.4%other fields: 21.4%34%top field
Artificial Intelligence33.9%Computational Theory and Mathematics26.8%Computer Networks and Communications12.5%Information Systems5.4%other fields21.4%

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

  1. 1Artificial Intelligence34% of their works
  2. 2Computational Theory and Mathematics27% of their works
  3. 3Computer Networks and Communications12% of their works
  4. 4Information Systems5% of their works
  5. 5Hardware and Architecture4% of their works
  6. 6Software4% of their works

Research topics

Which keywords describe A. W. Roscoe's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Static Analysis, Answer Set Programming and Modal Logic.

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 Checking243 topics
  2. Temporal Logic172 topics
  3. Satisfiability Modulo Theories121 topic
  4. Symbolic Model Checker121 topic
  5. Formal Verification71 topic
  6. Static Analysis71 topic
  7. Answer Set Programming51 topic
  8. Modal Logic51 topic
  9. Security Policies51 topic
  10. Side-Channel Attacks51 topic
  11. Distributed Systems31 topic
  12. Fault Tolerance31 topic
  13. Android Malware21 topic
  14. Authentication21 topic
  15. Detection21 topic
  16. Security21 topic
  17. Heuristic Search11 topic
  18. Planning Systems11 topic

Where does A. W. Roscoe work?

A. W. Roscoe's main affiliation in the publication record is University of Oxford, United Kingdom.

How many publications and citations does A. W. Roscoe have?

Science Explorer counts 49 works and 500 citations for A. W. Roscoe, ranking #30,916 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.

Other researchers named A. W. Roscoe

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.