Anindya Banerjee

3.1k citations
61 papers · 1.3k indexed · h-index 17
Topics
Logic, programming, and type systems (29 papers)Security and Verification in Computing (26 papers)Distributed systems and fault tolerance (18 papers)
Journals
SHILAP Revista de lepidopterologíaJournal of the ACMThe RAND Journal of Economics
Partner nations
United StatesSpainIndia

In The Last Decade

Anindya Banerjee

56 papers receiving 1.2k citations

Peers

Anindya Banerjee
Comparison fields: 5 of 41
  • Artificial Intelligence 1.1k
  • Signal Processing 601
  • Computer Networks and Communications 454
  • Information Systems 387
  • Computational Theory and Mathematics 248
Replace Nevin Heintze with:
Nevin Heintze United States
Chris Hawblitzel United States
David A. Naumann United States
François Pottier France
Deepak Garg Germany
Trevor Jim United States
Jon G. Riecke United States
Konstantinos Sagonas Sweden
Michael R. Clarkson United States
Omer Tripp United States
Anindya Banerjee relative to Nevin Heintze United States Nevin Heintze's profile →
Citations per field
00.5×3.6×
Nevin Heintze · 1×
Citations per year

Countries citing papers authored by Anindya Banerjee

Since Specialization
Citations

This map shows the geographic impact of Anindya Banerjee's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Anindya Banerjee with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Anindya Banerjee more than expected).

Fields of papers citing papers by Anindya Banerjee

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Anindya Banerjee. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Anindya Banerjee. The network helps show where Anindya Banerjee may publish in the future.

Co-authorship network of co-authors of Anindya Banerjee

This figure shows the co-authorship network connecting the top 25 collaborators of Anindya Banerjee. A scholar is included among the top collaborators of Anindya Banerjee based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Anindya Banerjee. Anindya Banerjee is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
#WorkIndexed citations
1 0
2 1
3 3
4 7
5 7
6 1
7 8
8 107
9 11
10 23
11 73
12
Automaton-based Non-interference Monitoring
0
13
History-based Access Control and Secure Information Flow
2
14 63
15 36
16 6
17
A Simple Semantics and Static Analysis for Java Security
11
18 6
19 35
20 3

About Anindya Banerjee

Anindya Banerjee is a scholar working on Artificial Intelligence, Signal Processing and Software, having authored 61 papers that have together received 1.3k indexed citations. Recurring topics across this work include Logic, programming, and type systems (29 papers), Security and Verification in Computing (26 papers) and Distributed systems and fault tolerance (18 papers). The work is most often cited by research in Signal Processing (601 citations), Software (183 citations) and Artificial Intelligence (1.1k citations). Anindya Banerjee has collaborated with scholars based in United States, Spain and India. Frequent co-authors include David A. Naumann, Nevin Heintze, Jon G. Riecke, Martı́n Abadi, Aleksandar Nanevski, Torben Amtoft, Aditya V. Nori, Sriram K. Rajamani, Benjamin Livshits and Deepak Garg. Their work appears in journals such as SHILAP Revista de lepidopterología, Journal of the ACM and The RAND Journal of Economics.

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Rankless by CCL
2026