Question 1

What does Jacques Carette research?

Accepted Answer

Jacques Carette publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Information Systems, on topics such as Logic, programming, and type systems, Computability, Logic, AI Algorithms and Logic, Reasoning, and Knowledge.

Question 2

Which keywords describe Jacques Carette's research?

Accepted Answer

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

Question 3

Where does Jacques Carette work?

Accepted Answer

Jacques Carette's main affiliation in the publication record is McMaster University, Canada.

Question 4

How many publications and citations does Jacques Carette have?

Accepted Answer

OpenAlex counts 156 works and 1,190 citations for Jacques Carette, an h-index of 17, ranking #4,566,435 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Jacques Carette's h-index high?

Accepted Answer

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