Question 1

What does Gethin Norman research?

Accepted Answer

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.

Question 2

Which keywords describe Gethin Norman's research?

Accepted Answer

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.

Question 3

Where does Gethin Norman work?

Accepted Answer

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

Question 4

How many publications and citations does Gethin Norman have?

Accepted Answer

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.

Question 5

Is Gethin Norman's h-index high?

Accepted Answer

An h-index of 49 is at or above that of 99.1% of the 19,601 ranked researchers whose main subfield is Computational Theory and Mathematics, which is in the top 1%.