Science Explorer Back to mapMap
Discussion
Researcher · University of Birmingham · United Kingdom

Gethin Norman

Gethin Norman publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Software, on topics such as Formal Methods in Verification, Software Reliability and Analysis Research and Petri Nets in System Modeling.

ORCID 0000-0001-9326-4344 OpenAlex
World rank
#111,389
of 7,710,434 ranked researchers
Rank in United Kingdom
#9,880
of 367,258
Works
175
Citations
11k
Citations per work
64.0
h-index
49
i10-index 98Top 1% in Computational Theory and Mathematics
Gethin Norman

What does Gethin Norman research?

Gethin Norman's work is mostly in Computer Science (78%), Biochemistry, Genetics and Molecular Biology (4%).

Physical Sciences: 136 works · 78.0% of their workComputer Science: 136 works · 78.0% of their workComputational Theory and Mathematics: 58 works · 33.4% of their workArtificial Intelligence: 33 works · 19.1% of their workSoftware: 30 works · 17.1% of their workComputer Networks and Communications: 8 works · 4.5% of their workHardware and Architecture: 7 works · 3.9% of their workEverything else: 32 works · 18.1% of their workLife Sciences: 7 works · 3.9% of their workBiochemistry, Genetics and Molecular Biology: 7 works · 3.9% of their workMolecular Biology: 7 works · 3.9% of their workTHEIR WORKGethin Norman175works
Life Sciences4%Physical Sciences78%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science13678.0%
  2. Everything else3218.1%
    1. Biochemistry, Genetics and Molecular Biology73.9%
  1. 1Computational Theory and Mathematics33% of their works
  2. 2Artificial Intelligence19% of their works
  3. 3Software17% of their works
  4. 4Computer Networks and Communications4% of their works
  5. 5Hardware and Architecture4% of their works
  6. 6Molecular Biology4% of their works

Research topics

Which keywords describe Gethin Norman's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Architecture-Based Approach, Software Reliability Modeling, Deadlock Prevention and Petri Nets.

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. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.

All 18 words, with their numbers
  1. Model Checking1473 topics
  2. Temporal Logic1312 topics
  3. Satisfiability Modulo Theories1181 topic
  4. Symbolic Model Checker1181 topic
  5. Architecture-Based Approach431 topic
  6. Software Reliability Modeling431 topic
  7. Deadlock Prevention351 topic
  8. Petri Nets351 topic
  9. Automated Testing191 topic
  10. Software Fault Localization191 topic
  11. Autonomic Computing181 topic
  12. Domain-Specific Languages181 topic
  13. Model-Driven Engineering181 topic
  14. Self-Adaptive Systems181 topic
  15. Formal Verification161 topic
  16. Static Analysis161 topic
  17. Answer Set Programming131 topic
  18. Modal Logic131 topic

Where does Gethin Norman work?

Gethin Norman's main affiliation in the publication record is University of Birmingham, United Kingdom.

How many publications and citations does Gethin Norman have?

OpenAlex counts 175 works and 11,206 citations for Gethin Norman, an h-index of 49, ranking #111,389 of 7,710,434 researchers worldwide on the quality score.

Ranked on field-normalised citation 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 have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about Gethin Norman. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.