Ansuman Banerjee

1.3k total citations
109 papers, 799 citations indexed

About

Ansuman Banerjee is a scholar working on Computational Theory and Mathematics, Software and Computer Networks and Communications. According to data from OpenAlex, Ansuman Banerjee has authored 109 papers receiving a total of 799 indexed citations (citations by other indexed papers that have themselves been cited), including 33 papers in Computational Theory and Mathematics, 29 papers in Software and 28 papers in Computer Networks and Communications. Recurrent topics in Ansuman Banerjee's work include Formal Methods in Verification (31 papers), Software Testing and Debugging Techniques (24 papers) and Electrowetting and Microfluidic Technologies (15 papers). Ansuman Banerjee is often cited by papers focused on Formal Methods in Verification (31 papers), Software Testing and Debugging Techniques (24 papers) and Electrowetting and Microfluidic Technologies (15 papers). Ansuman Banerjee collaborates with scholars based in India, United States and Taiwan. Ansuman Banerjee's co-authors include Ian Papautsky, David Klotzkin, Bhargab B. Bhattacharya, Soumi Chattopadhyay, Nilanjan Banerjee, Pallab Dasgupta, Sukanta Bhattacharjee, Nanjangud C. Narendra, S. Dey and Arijit Mukherjee and has published in prestigious journals such as JNCI Journal of the National Cancer Institute, Lab on a Chip and IEEE Transactions on Software Engineering.

In The Last Decade

Ansuman Banerjee

92 papers receiving 765 citations

Peers

Ansuman Banerjee

EEE

CNC

SOFTW

Shuang Liu China

José Reinaldo Silva Brazil

Marlin H. Mickle United States

Dongyoon Lee United States

Seong-je Cho South Korea

Limei Lin China

Zhongcheng Li China

Gordon F. Hughes United States

Neha Gupta India

Chen Wu China

Shuang Liu China

Ansuman Banerjee

136 ×0.4

EEE

50 ×0.2

79 ×0.3

CNC

260 ×1.4

208 ×2.0

SOFTW

Citations per year, relative to Ansuman Banerjee Ansuman Banerjee (= 1×) peers Shuang Liu

Countries citing papers authored by Ansuman Banerjee

Since Specialization

Citations

This map shows the geographic impact of Ansuman 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 Ansuman Banerjee with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Ansuman Banerjee more than expected).

Fields of papers citing papers by Ansuman Banerjee

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Ansuman 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 Ansuman Banerjee. The network helps show where Ansuman Banerjee may publish in the future.

Co-authorship network of co-authors of Ansuman Banerjee

This figure shows the co-authorship network connecting the top 25 collaborators of Ansuman Banerjee. A scholar is included among the top collaborators of Ansuman 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 Ansuman Banerjee. Ansuman Banerjee is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Banerjee, Ansuman, et al.. (2025). Modeling and Verification of Sigma Delta Neural Networks using Satisfiability Modulo Theory. 40–50. 1 indexed citations

Roy, Souvik, et al.. (2025). BMC Engine Sequencing with Graph Neural Network Embeddings of Hardware Circuits. 163–168.

Chakraborty, Swarnendu Kumar, et al.. (2025). Formulating and analysis of traffic flow to secure software-defined network (SDN) using recursive network (RN) learning method. The Journal of Supercomputing. 81(5). 1 indexed citations

Ray, R. L., et al.. (2024). A Contrastive Explanation Tool for Plans in Hybrid Domains. 1–5. 1 indexed citations

Banerjee, Ansuman, et al.. (2024). Computation Offloading and Band Selection for IoT Devices in Multi-Access Edge Computing. ACM Transactions on Modeling and Computer Simulation. 35(2). 1–28.

Banerjee, Ansuman, et al.. (2024). MAB-BMC: A Formal Verification Enhancer by Harnessing Multiple BMC Engines Together. ACM Transactions on Design Automation of Electronic Systems. 29(5). 1–37. 1 indexed citations

Banerjee, Ansuman, et al.. (2023). Harnessing Multiple BMC Engines together for Efficient Formal Verification. 71–81. 1 indexed citations

Banerjee, Ansuman, et al.. (2023). Learning-Based Microservice Placement and Migration for Multi-Access Edge Computing. IEEE Transactions on Network and Service Management. 21(2). 1969–1982. 10 indexed citations

Ray, R. L., et al.. (2023). Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation. 47–58.

10.

Bhattacharya, Arani, et al.. (2023). Multitask Scheduling of Computer Vision Workload on Edge Graphical Processing Units. 588–593. 1 indexed citations

11.

Banerjee, Ansuman, et al.. (2022). Prioritized Fault Recovery Strategies for Multi-Access Edge Computing Using Probabilistic Model Checking. IEEE Transactions on Dependable and Secure Computing. 20(1). 797–812. 20 indexed citations

12.

Banerjee, Ansuman, et al.. (2021). Service Selection With Package Bundles and Compatibility Constraints. IEEE Transactions on Services Computing. 15(5). 3031–3046. 1 indexed citations

13.

Banerjee, Ansuman, et al.. (2021). Modeling and Verification of Service Allocation Policies for Multi-Access Edge Computing Using Probabilistic Model Checking. IEEE Transactions on Network and Service Management. 18(3). 3400–3414. 5 indexed citations

14.

Das, Moumita, et al.. (2019). Shared Pattern History Tables in Multicomponent Branch Predictors With a Dealiasing Cache. IEEE Embedded Systems Letters. 12(3). 95–98. 1 indexed citations

15.

Bhattacharjee, Sukanta, Ansuman Banerjee, Tsung-Yi Ho, Krishnendu Chakrabarty, & Bhargab B. Bhattacharya. (2018). Efficient Generation of Dilution Gradients With Digital Microfluidic Biochips. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 38(5). 874–887. 8 indexed citations

16.

Ray, R. L., et al.. (2017). AutoSense: A Framework for Automated Sensitivity Analysis of Program Data. IEEE Transactions on Software Engineering. 43(12). 1110–1124. 15 indexed citations

17.

Chattopadhyay, Soumi, Ansuman Banerjee, & Nilanjan Banerjee. (2017). A Fast and Scalable Mechanism for Web Service Composition. ACM Transactions on the Web. 11(4). 1–36. 18 indexed citations

18.

Chattopadhyay, Soumi, Ansuman Banerjee, & Nilanjan Banerjee. (2016). A Scalable Rule Engine Architecture for Service Execution Frameworks. 689–696. 3 indexed citations

19.

Banerjee, Ansuman, et al.. (2013). Dynamic SLA based elastic cloud service management: A SaaS perspective. Integrated Network Management. 60–67. 11 indexed citations

20.

Masrur, Alejandro, Dip Goswami, Samarjit Chakraborty, et al.. (2012). Timing analysis of cyber-physical applications for hybrid communication protocols. Design, Automation, and Test in Europe. 1233–1238. 2 indexed citations

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