Science Explorer Interactive view Map
Researcher · Chalmers University of Technology · Sweden

John Hughes

John Hughes publishes mostly in Artificial Intelligence, Information Systems and Computational Theory and Mathematics, on topics such as Logic, programming, and type systems, Software Engineering Research and Formal Methods in Verification.

ORCID 0000-0001-8042-0969 OpenAlex
World rank
#39,350
of 1,633,909 ranked researchers
Rank in Sweden
#418
of 16,333
Works
36
Citations
466
Citations per work
12.9

What does John Hughes research?

Artificial Intelligence: 27.9%Information Systems: 11.6%Computational Theory and Mathematics: 9.3%Computer Networks and Communications: 9.3%other fields: 41.9%28%top field
Artificial Intelligence27.9%Information Systems11.6%Computational Theory and Mathematics9.3%Computer Networks and Communications9.3%other fields41.9%

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. 2Information Systems12% of their works
  3. 3Computational Theory and Mathematics9% of their works
  4. 4Computer Networks and Communications9% of their works
  5. 5Software7% of their works
  6. 6Hardware and Architecture7% of their works

Research topics

Which keywords describe John Hughes's research?

The keywords of their largest research topics: Model Checking, Formal Verification, Machine Learning, Static Analysis, High-Performance Computing, Code Clone Detection, Refactoring and Distributed Systems.

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 19 words, with their numbers
  1. Model Checking92 topics
  2. Formal Verification61 topic
  3. Machine Learning62 topics
  4. Static Analysis61 topic
  5. High-Performance Computing52 topics
  6. Code Clone Detection41 topic
  7. Refactoring41 topic
  8. Distributed Systems31 topic
  9. Grid Computing31 topic
  10. Satisfiability Modulo Theories31 topic
  11. Symbolic Model Checker31 topic
  12. Android Malware21 topic
  13. Detection21 topic
  14. Ontology21 topic
  15. Parallel Computing21 topic
  16. Performance Optimization21 topic
  17. Security Policies21 topic
  18. Semantic Web21 topic
  19. Side-Channel Attacks21 topic

Where does John Hughes work?

John Hughes's main affiliation in the publication record is Chalmers University of Technology, Sweden.

How many publications and citations does John Hughes have?

Science Explorer counts 36 works and 466 citations for John Hughes, ranking #39,350 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 John Hughes

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.