Supratik Chakraborty

Cited by

	All	Since 2016
Citations	1538	820
h-index	22	13
i10-index	35	14

220

110

165

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020215 10 14 14 28 11 18 21 22 34 22 45 47 48 56 42 39 42 44 63 74 114 125 152 216 208 5

Co-authors

Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Kuldeep S. MeelAssistant Professor, National University of SingaporeVerified email at comp.nus.edu.sg
David DillProfessor, Emeritus, of Computer Science, Stanford UniversityVerified email at stanford.edu
Sanjit A. SeshiaUniversity of California, BerkeleyVerified email at eecs.berkeley.edu
S AkshayIIT BombayVerified email at cse.iitb.ac.in
Aditya NoriMicrosoft ResearchVerified email at microsoft.com
Daniel J. FremontAssistant Professor, University of California, Santa CruzVerified email at ucsc.edu
Joycee MekieIIT GANDHINAGARVerified email at iitgn.ac.in
Paritosh PandyaProfessor, Tata Institute of Fundamental Research & Adjunct Professor, IIT BombayVerified email at tifr.res.in
Sriram RajamaniMicrosoft Research Verified email at microsoft.com
Bharat AdsulIndian Institute of Technology, BombayVerified email at cse.iitb.ac.in
Sharad MalikProfessor of Electrical Engineering, Princeton UniversityVerified email at princeton.edu
Alexander IvriiIBMVerified email at il.ibm.com
Ganesan RamalingamMicrosoft Research IndiaVerified email at microsoft.com
P.S. ThiagarajanVisiting Professor, Laboratory of Systems Pharmacology, Harvard Medical SchoolVerified email at hms.harvard.edu
Hrishikesh KarmarkarIIT BombayVerified email at cse.iitb.ac.in
Sudeep JuvekarUC Berkeley, 2007 - 2010Verified email at eecs.berkeley.edu
Carl SegerWASP Professor at Chalmers University of TechnologyVerified email at chalmers.se
Ashutosh TrivediAssistant Professor of Computer Science at the University of Colorado at BoulderVerified email at colorado.edu
Ankur TalyStaff Research Scientist, GoogleVerified email at google.com

Supratik Chakraborty

Dept. of Computer Science and Engineering, IIT Bombay

Verified email at iitb.ac.in - Homepage

Formal methods logic automata theory formal verification of hardware and software systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A scalable approximate model counter S Chakraborty, KS Meel, MY Vardi International Conference on Principles and Practice of Constraint …, 2013	126	2013
Automatically refining abstract interpretations BS Gulavani, S Chakraborty, AV Nori, SK Rajamani International Conference on Tools and Algorithms for the Construction and …, 2008	125	2008
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	119	2014
Algorithmic improvements in approximate counting for probabilistic inference: From linear to logarithmic SAT calls S Chakraborty, KS Meel, MY Vardi	84	2016
A scalable and nearly uniform generator of SAT witnesses S Chakraborty, KS Meel, MY Vardi International Conference on Computer Aided Verification, 608-623, 2013	79	2013
On parallel scalable uniform SAT witness generation S Chakraborty, DJ Fremont, KS Meel, SA Seshia, MY Vardi International Conference on Tools and Algorithms for the Construction and …, 2015	74	2015
Constrained sampling and counting: Universal hashing meets SAT solving KS Meel, M Vardi, S Chakraborty, DJ Fremont, SA Seshia, D Fried, A Ivrii, ... arXiv preprint arXiv:1512.06633, 2015	52	2015
Balancing scalability and uniformity in SAT witness generator S Chakraborty, KS Meel, MY Vardi 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC), 1-6, 2014	52	2014
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	49	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	47*	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	45	1999
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	41	2016
From Weighted to Unweighted Model Counting. S Chakraborty, D Fried, KS Meel, MY Vardi IJCAI, 689-695, 2015	37	2015
Cellular Automata based synthesis of easily and fully testable FSMs DR Chowdhury, S Chakraborty, B Vamsi, PP Chaudhuri Proceedings of 1993 International Conference on Computer Aided Design (ICCAD …, 1993	32	1993
Bounded validity checking of interval duration logic B Sharma, PK Pandya, S Chakraborty International Conference on Tools and Algorithms for the Construction and …, 2005	30	2005
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	30	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	27	1999
Approximate algorithms for time separation of events S Chakraborty, DL Dill iccad 97, 190-194, 1997	26	1997
Timing analysis for extended burst-mode circuits S Chakraborty, DL Dill, KY Yun, KY Chang Proceedings Third International Symposium on Advanced Research in …, 1997	26	1997
Cellular automata as a BIST structure for testing CMOS circuits S Nandi, B Vamsi, S Chakraborty, PP Chaudhuri IEE Proceedings-Computers and Digital Techniques 141 (1), 41-47, 1994	26	1994

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors