Ansuman Banerjee 个人学术档案

引用次数

	总计	2019 年至今
引用	1130	644
h 指数	20	14
i10 指数	33	21

160

120

200520062007200820092010201120122013201420152016201720182019202020212022202320247 13 8 11 16 19 14 28 38 42 48 62 64 89 92 148 150 113 91 49

开放获取的出版物数量

查看全部

4 篇文章

6 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Pallab DasguptaIndian Institute of Technology Kharagpur在 cse.iitkgp.ac.in 的电子邮件经过验证
Soumi ChattopadhyayIndian Institute of Technology Indore在 iiti.ac.in 的电子邮件经过验证
Bhargab B. BhattacharyaDistinguished Visiting Professor (CSE), Indian Institute of Technology Kharagpur在 isical.ac.in 的电子邮件经过验证
Himadri Sekhar PaulSenior Scientist, TCS Research & Innovation, Kolkata在 tcs.com 的电子邮件经过验证
Arijit MukherjeePrincipal Scientist, Embedded Devices & Intelligent Systems, TCS Research, Tata Consultancy在 tcs.com 的电子邮件经过验证
Sukanta BhattacharjeeDept. of CSE, IIT Guwahati在 iitg.ac.in 的电子邮件经过验证
Tsung-Yi HoChinese University of Hong Kong在 cse.cuhk.edu.hk 的电子邮件经过验证
Swarnava DeySenior Scientist, TCS Research, Tata Consultancy Services Ltd.在 tcs.com 的电子邮件经过验证
Krishnendu ChakrabartyFulton Professor of Microelectronics, School of Electrical and Computer and Energy Engineering在 asu.edu 的电子邮件经过验证
Sasthi C. GhoshProfessor在 isical.ac.in 的电子邮件经过验证
Dr. Bhaskar SardarProfessor, Department of Information Technology, Jadavpur University在 it.jusl.ac.in 的电子邮件经过验证
Bhaskar PalSynopsys India Pvt Ltd在 synopsys.com 的电子邮件经过验证
Rajarshi RayIndian Association for the Cultivation of Science, Kolkata在 iacs.res.in 的电子邮件经过验证
Arani BhattacharyaAssistant Professor, IIIT-Delhi在 iiitd.ac.in 的电子邮件经过验证
Bipin NandiLead Member Consulting Staff, Mentor Graphics在 mentor.com 的电子邮件经过验证
Prasenjit BasuSamsung Research Institute, Bangalore在 samsung.com 的电子邮件经过验证
Saikat DuttaCornell University在 cornell.edu 的电子邮件经过验证
Sayantan DasVerific Design Automation在 verific.com 的电子邮件经过验证
Abhik RoychoudhuryProfessor of Computer Science, National University of Singapore在 comp.nus.edu.sg 的电子邮件经过验证
Dr. Arpan PalDistinguished Chief Scientist and Research Area Head, Embedded Devices and Intelligent Systems, TCS在 tcs.com 的电子邮件经过验证

关注

Ansuman Banerjee

Professor, Indian Statistical Institute

在 isical.ac.in 的电子邮件经过验证 - 首页

Formal Verification Edge Computing


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
ANGELS for distributed analytics in IoT A Mukherjee, HS Paul, S Dey, A Banerjee 2014 IEEE World Forum on Internet of Things (WF-IoT), 565-570, 2014	65	2014
Golden implementation driven software debugging A Banerjee, A Roychoudhury, JA Harlie, Z Liang Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010	50	2010
Attacks on branch predictors: an empirical exploration M Das, B Sardar, A Banerjee Information Systems Security: 11th International Conference, ICISS 2015 …, 2015	37	2015
QoS-aware automatic Web service composition with multiple objectives S Chattopadhyay, A Banerjee ACM Transactions on the Web (TWEB) 14 (3), 1-38, 2020	32	2020
QoS constrained large scale web service composition using abstraction refinement S Chattopadhyay, A Banerjee IEEE Transactions on Services Computing 13 (3), 529-544, 2017	32	2017
A scalable and approximate mechanism for web service composition S Chattopadhyay, A Banerjee, N Banerjee 2015 IEEE International Conference on Web Services, 9-16, 2015	32	2015
Stochastic vm multiplexing for datacenter consolidation BB Nandi, A Banerjee, SC Ghosh, N Banerjee 2012 IEEE Ninth International Conference on Services Computing, 114-121, 2012	32	2012
Proactive microservice placement and migration for mobile edge computing K Ray, A Banerjee, NC Narendra 2020 IEEE/ACM Symposium on Edge Computing (SEC), 28-41, 2020	31	2020
A fast and scalable mechanism for web service composition S Chattopadhyay, A Banerjee, N Banerjee ACM Transactions on the Web (TWEB) 11 (4), 1-36, 2017	30	2017
Dynamic SLA based elastic cloud service management: A SaaS perspective BB Nandi, A Banerjee, SC Ghosh, N Banerjee 2013 IFIP/IEEE International Symposium on Integrated Network Management (IM …, 2013	30	2013
Formal methods for analyzing the completeness of an assertion suite against a high-level fault model S Das, A Banerjee, P Basu, P Dasgupta, PP Chakrabarti, CR Mohan, ... 18th International Conference on VLSI Design held jointly with 4th …, 2005	29	2005
Sample preparation with multiple dilutions on digital microfluidic biochips S Bhattacharjee, A Banerjee, BB Bhattacharya IET Computers & Digital Techniques 8 (1), 49-58, 2014	27	2014
AutoSense: A framework for automated sensitivity analysis of program data B Nongpoh, R Ray, S Dutta, A Banerjee IEEE Transactions on Software Engineering 43 (12), 1110-1124, 2017	26	2017
QSCAS: QoS aware web service composition algorithms with stochastic parameters S Chattopadhyay, A Banerjee 2016 IEEE International Conference on Web Services (ICWS), 388-395, 2016	26	2016
Correctness checking of bio-chemical protocol realizations on a digital microfluidic biochip S Bhattacharjee, A Banerjee, K Chakrabarty, BB Bhattacharya 2014 27th International Conference on VLSI Design and 2014 13th …, 2014	22	2014
Data partitioning in internet-of-things (IOT) network HS Paul, A Mukherjee, S Dey, A Pal, A Banerjee US Patent 10,516,726, 2019	21	2019
Flexible droplet routing in active matrix–based digital microfluidic biochips GR Lu, CH Kuo, KC Chiang, A Banerjee, BB Bhattacharya, TY Ho, ... ACM Transactions on Design Automation of Electronic Systems (TODAES) 23 (3 …, 2018	21	2018
Design-intent coverage—A new paradigm for formal property verification P Basu, S Das, A Banerjee, P Dasgupta, PP Chakrabarti, CR Mohan, ... IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2006	21	2006
A new approach for root-causing attacks on digital microfluidic devices P Roy, A Banerjee 2016 IEEE Asian Hardware-Oriented Security and Trust (AsianHOST), 1-6, 2016	20	2016
Accelerating assertion coverage with adaptive testbenches B Pal, A Banerjee, A Sinha, P Dasgupta IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2008	20	2008

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用