Science Explorer Back to mapMap
Discussion
Researcher · Institute of Science and Technology Austria · Austria

Krishnendu Chatterjee

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.

ORCID 0000-0002-4561-241X OpenAlex
World rank
#129,807
of 7,710,434 ranked researchers
Rank in Austria
#1,093
of 43,330
Works
669
Citations
13k
Citations per work
19.8
h-index
58
i10-index 251Top 0.6% in Artificial Intelligence
Krishnendu Chatterjee

What does Krishnendu Chatterjee research?

Krishnendu Chatterjee's work is mostly in Computer Science (72%), Decision Sciences (5%).

Physical Sciences: 481 works · 71.9% of their workComputer Science: 481 works · 71.9% of their workArtificial Intelligence: 188 works · 28.1% of their workComputational Theory and Mathematics: 187 works · 27.9% of their workSoftware: 45 works · 6.7% of their workComputer Networks and Communications: 35 works · 5.3% of their workHardware and Architecture: 26 works · 3.9% of their workEverything else: 156 works · 23.3% of their workSocial Sciences: 32 works · 4.8% of their workDecision Sciences: 32 works · 4.8% of their workManagement Science and Operations Research: 32 works · 4.8% of their workTHEIR WORKKrishnenduChatterjee669works
Physical Sciences72%Social Sciences5%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science48171.9%
  2. Everything else15623.3%
    1. Decision Sciences324.8%
  1. 1Artificial Intelligence28% of their works
  2. 2Computational Theory and Mathematics28% of their works
  3. 3Software7% of their works
  4. 4Computer Networks and Communications5% of their works
  5. 5Management Science and Operations Research5% of their works
  6. 6Hardware and Architecture4% 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, Formal Verification, Static Analysis, Social Networks and Answer Set Programming.

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 19 words, with their numbers
  1. Model Checking6003 topics
  2. Temporal Logic4772 topics
  3. Satisfiability Modulo Theories3661 topic
  4. Symbolic Model Checker3661 topic
  5. Formal Verification1231 topic
  6. Static Analysis1231 topic
  7. Social Networks1152 topics
  8. Answer Set Programming1111 topic
  9. Modal Logic1111 topic
  10. Altruism601 topic
  11. Cooperation601 topic
  12. Bayesian Networks591 topic
  13. Causal Inference591 topic
  14. Architecture-Based Approach571 topic
  15. Software Reliability Modeling571 topic
  16. Game Theory551 topic
  17. Network Formation551 topic
  18. Adaptation521 topic
  19. Evolution521 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?

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.

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.

Other researchers named Krishnendu Chatterjee

Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about Krishnendu Chatterjee. Posts are plain text and can be reported.