Question 1

What does John P. Gallagher research?

Accepted Answer

John P. Gallagher publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Logic, Reasoning, and Knowledge.

Question 2

Which keywords describe John P. Gallagher's research?

Accepted Answer

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

Question 3

Where does John P. Gallagher work?

Accepted Answer

John P. Gallagher's main affiliation in the publication record is Roskilde University, Denmark.

Question 4

How many publications and citations does John P. Gallagher have?

Accepted Answer

OpenAlex counts 208 works and 2,879 citations for John P. Gallagher, an h-index of 27, ranking #2,965,433 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is John P. Gallagher's h-index high?

Accepted Answer

An h-index of 27 is at or above that of 94% of the 146,054 ranked researchers whose main subfield is Artificial Intelligence, which is in the top 6.4%.