Question 1

What does Krishnendu Chatterjee research?

Accepted Answer

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

Question 2

Which keywords describe Krishnendu Chatterjee's research?

Accepted Answer

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

Question 3

Where does Krishnendu Chatterjee work?

Accepted Answer

Krishnendu Chatterjee's main affiliation in the publication record is Institute of Science and Technology Austria, Austria.

Question 4

How many publications and citations does Krishnendu Chatterjee have?

Accepted Answer

OpenAlex counts 669 works and 13,222 citations for Krishnendu Chatterjee, an h-index of 58, ranking #129,807 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Krishnendu Chatterjee's h-index high?

Accepted Answer

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

Discussion