Question 1

What does Robert S. Boyer research?

Accepted Answer

Robert S. Boyer publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Hardware and Architecture, on topics such as Logic, programming, and type systems, Logic, Reasoning, and Knowledge and Computability, Logic, AI Algorithms.

Question 2

Which keywords describe Robert S. Boyer's research?

Accepted Answer

The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Temporal Logic, Answer Set Programming, Modal Logic, Algorithmic Information Theory and Computability.

Question 3

Where does Robert S. Boyer work?

Accepted Answer

Robert S. Boyer's main affiliation in the publication record is The University of Texas at Austin, United States.

Question 4

How many publications and citations does Robert S. Boyer have?

Accepted Answer

OpenAlex counts 95 works and 5,429 citations for Robert S. Boyer, an h-index of 26, ranking #558,078 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Robert S. Boyer's h-index high?

Accepted Answer

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