Science Explorer Interactive view Map
Researcher · Kansas State University · United States

Anindya Banerjee

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

ORCID 0000-0001-9979-1292 OpenAlex
World rank
#383,606
of 1,633,909 ranked researchers
Rank in United States
#136,897
of 358,040
Works
34
Citations
108
Citations per work
3.2

What does Anindya Banerjee research?

Artificial Intelligence: 35.0%Computer Networks and Communications: 17.5%Computational Theory and Mathematics: 12.5%Cardiology and Cardiovascular Medicine: 7.5%other fields: 27.5%35%top field
Artificial Intelligence35.0%Computer Networks and Communications17.5%Computational Theory and Mathematics12.5%Cardiology and Cardiovascular Medicine7.5%other fields27.5%

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

  1. 1Artificial Intelligence35% of their works
  2. 2Computer Networks and Communications18% of their works
  3. 3Computational Theory and Mathematics12% of their works
  4. 4Cardiology and Cardiovascular Medicine8% of their works
  5. 5Surgery8% of their works
  6. 6Electrical and Electronic Engineering5% of their works

Research topics

Which keywords describe Anindya Banerjee's research?

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

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 Checking143 topics
  2. Formal Verification81 topic
  3. Static Analysis81 topic
  4. Temporal Logic62 topics
  5. Answer Set Programming31 topic
  6. Modal Logic31 topic
  7. Satisfiability Modulo Theories31 topic
  8. Symbolic Model Checker31 topic
  9. Distributed Systems21 topic
  10. Fault Tolerance21 topic
  11. Parallel Computing21 topic
  12. Performance Optimization21 topic
  13. Security Policies21 topic
  14. Side-Channel Attacks21 topic
  15. Atherosclerosis11 topic
  16. Autonomic Computing11 topic
  17. Immune Response11 topic
  18. Self-Adaptive Systems11 topic

Where does Anindya Banerjee work?

Anindya Banerjee's main affiliation in the publication record is Kansas State University, United States.

How many publications and citations does Anindya Banerjee have?

Science Explorer counts 34 works and 108 citations for Anindya Banerjee, ranking #383,606 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.

Other researchers named Anindya Banerjee

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.