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.
- 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?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence35% of their works
- 2Computer Networks and Communications18% of their works
- 3Computational Theory and Mathematics12% of their works
- 4Cardiology and Cardiovascular Medicine8% of their works
- 5Surgery8% of their works
- 6Electrical and Electronic Engineering5% of their works
Research topics
- Logic, programming, and type systems
- Logic, Reasoning, and Knowledge
- Formal Methods in Verification
- Security and Verification in Computing
- Distributed systems and fault tolerance
- Parallel Computing and Optimization Techniques
- Atherosclerosis and Cardiovascular Diseases
- Advanced Software Engineering Methodologies
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.
- Self-Adaptive Systems
- Autonomic Computing
- Side-Channel Attacks
- Performance Optimization
- Fault Tolerance
- Symbolic Model Checker
- Modal Logic
- Temporal Logic
- Formal Verification
- Model Checking
- Static Analysis
- Answer Set Programming
- Satisfiability Modulo Theories
- Distributed Systems
- Parallel Computing
- Security Policies
- Atherosclerosis
- Immune Response
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
- Model Checking143 topics
- Formal Verification81 topic
- Static Analysis81 topic
- Temporal Logic62 topics
- Answer Set Programming31 topic
- Modal Logic31 topic
- Satisfiability Modulo Theories31 topic
- Symbolic Model Checker31 topic
- Distributed Systems21 topic
- Fault Tolerance21 topic
- Parallel Computing21 topic
- Performance Optimization21 topic
- Security Policies21 topic
- Side-Channel Attacks21 topic
- Atherosclerosis11 topic
- Autonomic Computing11 topic
- Immune Response11 topic
- 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.