Question 1

What does Gerald E. Peterson research?

Accepted Answer

Gerald E. Peterson publishes mostly in Artificial Intelligence, Applied Mathematics and Computational Theory and Mathematics, on topics such as Logic, programming, and type systems, Logic, Reasoning, and Knowledge and Formal Methods in Verification.

Question 2

Which keywords describe Gerald E. Peterson's research?

Accepted Answer

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

Question 3

Where does Gerald E. Peterson work?

Accepted Answer

Gerald E. Peterson's main affiliation in the publication record is University of Missouri–St. Louis, United States.

Question 4

How many publications and citations does Gerald E. Peterson have?

Accepted Answer

OpenAlex counts 31 works and 663 citations for Gerald E. Peterson, an h-index of 9, ranking #4,571,294 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Gerald E. Peterson's h-index high?

Accepted Answer

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