Science Explorer Interactive view Map
Researcher · Institute of Science and Technology Austria · Austria

Krishnendu Chatterjee

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

ORCID 0000-0002-4561-241X OpenAlex
World rank
#368,085
of 1,633,909 ranked researchers
Rank in Austria
#2,558
of 10,230
Works
171
Citations
787
Citations per work
4.6

What does Krishnendu Chatterjee research?

Artificial Intelligence: 30.1%Computational Theory and Mathematics: 29.0%Computer Networks and Communications: 6.9%Management Science and Operations Research: 5.4%other fields: 28.6%30%top field
Artificial Intelligence30.1%Computational Theory and Mathematics29.0%Computer Networks and Communications6.9%Management Science and Operations Research5.4%other fields28.6%

Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.

  1. 1Artificial Intelligence30% of their works
  2. 2Computational Theory and Mathematics29% of their works
  3. 3Computer Networks and Communications7% of their works
  4. 4Management Science and Operations Research5% of their works
  5. 5Software5% of their works
  6. 6Hardware and Architecture5% of their works

Research topics

Which keywords describe Krishnendu Chatterjee's research?

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

Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.

All 18 words, with their numbers
  1. Model Checking913 topics
  2. Temporal Logic742 topics
  3. Satisfiability Modulo Theories571 topic
  4. Symbolic Model Checker571 topic
  5. Answer Set Programming171 topic
  6. Formal Verification171 topic
  7. Modal Logic171 topic
  8. Static Analysis171 topic
  9. Distributed Systems111 topic
  10. Fault Tolerance111 topic
  11. Bayesian Networks101 topic
  12. Causal Inference101 topic
  13. Game Theory101 topic
  14. Network Formation101 topic
  15. Active Learning91 topic
  16. Machine Learning91 topic
  17. Monte Carlo Tree Search71 topic
  18. Procedural Content Generation71 topic

Where does Krishnendu Chatterjee work?

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

How many publications and citations does Krishnendu Chatterjee have?

Science Explorer counts 171 works and 787 citations for Krishnendu Chatterjee, ranking #368,085 of 1,633,909 researchers worldwide on the composite score.

Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.

Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.