Supratik Chakraborty

عدد مرات الاقتباسات

	الكل	قبل 2020
اقتباسات	2518	1136
h-index	27	17
i10-index	51	25

260

130

195

1997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202513 13 24 9 18 25 26 35 25 47 51 51 66 45 39 44 54 68 67 112 132 136 224 208 242 240 184 239 23

عدد المنشورات المتاحة للجميع

عرض المجموعة جميعها

15 مقالة

0 مقالة

المقالات البحثية المتاحة للجميع

المقالات البحثية غير المتاحة للجميع

تمّ اختيار المعلومات استنادًا إلى تفويضات التمويل

المؤلفون المشاركون

Moshe Y. VardiRice Universityبريد إلكتروني تم التحقق منه على cs.rice.edu
Kuldeep S. MeelAssociate Professor, University of Torontoبريد إلكتروني تم التحقق منه على cs.toronto.edu
S AkshayIIT Bombayبريد إلكتروني تم التحقق منه على cse.iitb.ac.in
Sanjit A. SeshiaProfessor of EECS, University of California, Berkeleyبريد إلكتروني تم التحقق منه على eecs.berkeley.edu
David L. DillProfessor, Emeritus, of Computer Science, Stanford Universityبريد إلكتروني تم التحقق منه على stanford.edu
Dror FriedThe Open University of Israelبريد إلكتروني تم التحقق منه على openu.ac.il
Aditya NoriMicrosoft Researchبريد إلكتروني تم التحقق منه على microsoft.com
Daniel J. FremontAssistant Professor, University of California, Santa Cruzبريد إلكتروني تم التحقق منه على ucsc.edu
Bhargav GulavaniMicrosoftبريد إلكتروني تم التحقق منه على microsoft.com
Divyesh UnadkatResearch Scholar, Indian Institute of Technology Bombay, Mumbai and Researcher, TCS Research, Puneبريد إلكتروني تم التحقق منه على tcs.com
Joycee MekieIIT GANDHINAGARبريد إلكتروني تم التحقق منه على iitgn.ac.in
Paritosh PandyaAdjunct Professor, CSE, IIT Bombay, Former Professor and Dean, STCS, TIFRبريد إلكتروني تم التحقق منه على tifr.res.in
Abhisekh SankaranResearch Associate, University of Cambridgeبريد إلكتروني تم التحقق منه على cl.cam.ac.uk
Sharad MalikProfessor of Electrical and Computer Engineering, Princeton Universityبريد إلكتروني تم التحقق منه على princeton.edu
Sriram RajamaniMicrosoft Research بريد إلكتروني تم التحقق منه على microsoft.com
Hrishikesh KarmarkarIIT Bombayبريد إلكتروني تم التحقق منه على cse.iitb.ac.in
Priyanka DarkeScientist, TCS Researchبريد إلكتروني تم التحقق منه على tcs.com
Bharat AdsulIndian Institute of Technology, Bombayبريد إلكتروني تم التحقق منه على cse.iitb.ac.in
Sumith KulalStanford Universityبريد إلكتروني تم التحقق منه على cs.stanford.edu
Alexander IvriiIBMبريد إلكتروني تم التحقق منه على il.ibm.com

متابعة

Supratik Chakraborty

Dept. of Computer Science and Engineering, IIT Bombay

بريد إلكتروني تم التحقق منه على iitb.ac.in - الصفحة الرئيسية

Formal methods constrained sampling and counting automated synthesis logic and automata theory


عنوان ترتيب حسب الاقتباسات ترتيب حسب السنة الترتيب حسب العنوان	عدد مرات الاقتباسات عدد مرات الاقتباسات	السنة
A scalable approximate model counter‏ S Chakraborty, KS Meel, MY Vardi‏ Principles and Practice of Constraint Programming: 19th International …, 2013‏	208	2013
Distribution-aware sampling and weighted model counting for SAT‏ S Chakraborty, D Fremont, K Meel, S Seshia, M Vardi‏ Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014‏	199	2014
Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls.‏ S Chakraborty, KS Meel, MY Vardi‏ IJCAI 16, 3569-3576, 2016‏	177	2016
On parallel scalable uniform SAT witness generation‏ S Chakraborty, DJ Fremont, KS Meel, SA Seshia, MY Vardi‏ Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015‏	141	2015
A scalable and nearly uniform generator of SAT witnesses‏ S Chakraborty, KS Meel, MY Vardi‏ International Conference on Computer Aided Verification, 608-623, 2013‏	135	2013
Automatically refining abstract interpretations‏ BS Gulavani, S Chakraborty, AV Nori, SK Rajamani‏ International Conference on Tools and Algorithms for the Construction and …, 2008‏	130	2008
Balancing scalability and uniformity in SAT witness generator‏ S Chakraborty, KS Meel, MY Vardi‏ Proceedings of the 51st Annual Design Automation Conference, 1-6, 2014‏	97	2014
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving.‏ KS Meel, MY Vardi, S Chakraborty, DJ Fremont, SA Seshia, D Fried, A Ivrii, ...‏ AAAI Workshop: Beyond NP, 2016‏	78	2016
From Weighted to Unweighted Model Counting.‏ S Chakraborty, D Fried, KS Meel, MY Vardi‏ IJCAI, 689-695, 2015‏	77	2015
Approximate probabilistic inference via word-level counting‏ S Chakraborty, K Meel, R Mistry, M Vardi‏ Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016‏	74	2016
Theory and application of nongroup cellular automata for synthesis of easily testable finite state machines‏ S Chakraborty, DR Chowdhury, PP Chaudhuri‏ IEEE Transactions on Computers 45 (7), 769-781, 1996‏	62	1996
Bottom-up shape analysis using LISF‏ BS Gulavani, S Chakraborty, G Ramalingam, AV Nori‏ ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (5), 1-41, 2011‏	60*	2011
Min-max timing analysis and an application to asynchronous circuits‏ S Chakraborty, DI Dill, KY Yun‏ Proceedings of the IEEE 87 (2), 332-346, 1999‏	47	1999
Skolem functions for factored formulas‏ AK John, S Shah, S Chakraborty, A Trivedi, S Akshay‏ 2015 Formal Methods in Computer-Aided Design (FMCAD), 73-80, 2015‏	38	2015
Bounded validity checking of interval duration logic‏ B Sharma, PK Pandya, S Chakraborty‏ Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005‏	34	2005
What’s hard about Boolean functional synthesis?‏ S Akshay, S Chakraborty, S Goel, S Kulal, S Shah‏ International Conference on Computer Aided Verification, 251-269, 2018‏	32	2018
Evaluation of pausible clocking for interfacing high speed IP cores in GALS framework‏ J Mekie, S Chakraborty, DK Sharma‏ 17th International Conference on VLSI Design. Proceedings., 559-564, 2004‏	32	2004
Timing analysis of asynchronous systems using time separation of events‏ S Chakraborty, KY Yun, DL Dill‏ IEEE transactions on computer-aided design of integrated circuits and …, 1999‏	30	1999
Timing analysis for extended burst-mode circuits‏ S Chakraborty, DL Dill, KY Yun, KY Chang‏ Proceedings Third International Symposium on Advanced Research in …, 1997‏	30	1997
Cellular automata as a BIST structure for testing CMOS circuits‏ S Nandi, B Vamsi, S Chakraborty, P Pal Chaudhuri‏ IEE Proceedings-Computers and Digital Techniques 141 (1), 41-47, 1994‏	30	1994

يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.

مقالات 1–20

عدد الاقتباسات في العام

اقتباسات مكررة

الاقتباسات المدمجة

إضافة مؤلفين مشاركينالمؤلفون المشاركون

متابعة

عدد مرات الاقتباسات

المؤلفون المشاركون