Supratik Chakraborty

Cytowane przez

	Wszystkie	Od 2018
Cytowania	2073	1073
h-indeks	24	16
i10-indeks	45	20

240

120

180

19971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202313 13 28 10 18 24 25 34 28 47 50 49 64 45 41 42 52 63 71 106 142 137 225 206 234 229 42

Dostęp publiczny

Wyświetl wszystko

8 artykułów

0 artykułów

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Moshe Y. VardiRice UniversityZweryfikowany adres z cs.rice.edu
Kuldeep S. MeelAssistant Professor, National University of SingaporeZweryfikowany adres z comp.nus.edu.sg
S AkshayIIT BombayZweryfikowany adres z cse.iitb.ac.in
David L. DillProfessor, Emeritus, of Computer Science, Stanford UniversityZweryfikowany adres z stanford.edu
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyZweryfikowany adres z eecs.berkeley.edu
Daniel J. FremontAssistant Professor, University of California, Santa CruzZweryfikowany adres z ucsc.edu
Aditya NoriMicrosoft ResearchZweryfikowany adres z microsoft.com
Paritosh PandyaAdjunct Professor, CSE, IIT Bombay, Former Professor and Dean, STCS, TIFRZweryfikowany adres z tifr.res.in
Joycee MekieIIT GANDHINAGARZweryfikowany adres z iitgn.ac.in
Sriram RajamaniMicrosoft Research Zweryfikowany adres z microsoft.com
Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityZweryfikowany adres z princeton.edu
Alexander IvriiIBMZweryfikowany adres z il.ibm.com
Bharat AdsulIndian Institute of Technology, BombayZweryfikowany adres z cse.iitb.ac.in
Ganesan RamalingamMicrosoft Research IndiaZweryfikowany adres z microsoft.com
Hrishikesh KarmarkarIIT BombayZweryfikowany adres z cse.iitb.ac.in
P.S. ThiagarajanVisiting Professor, Laboratory of Systems Pharmacology, Harvard Medical SchoolZweryfikowany adres z hms.harvard.edu
Ashutosh TrivediUniversity of Colorado at BoulderZweryfikowany adres z colorado.edu
Carl SegerWASP Professor at Chalmers University of TechnologyZweryfikowany adres z chalmers.se
Sudeep JuvekarUC Berkeley, 2007 - 2010Zweryfikowany adres z eecs.berkeley.edu
Ankush DasApplied Scientist at Amazon AWSZweryfikowany adres z amazon.com

Obserwuj

Supratik Chakraborty

Dept. of Computer Science and Engineering, IIT Bombay

Zweryfikowany adres z iitb.ac.in - Strona główna

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


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
A scalable approximate model counter S Chakraborty, KS Meel, MY Vardi Principles and Practice of Constraint Programming: 19th International …, 2013	183	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	159	2014
Algorithmic improvements in approximate counting for probabilistic inference: From linear to logarithmic SAT calls S Chakraborty, KS Meel, MY Vardi	137	2016
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
A scalable and nearly uniform generator of SAT witnesses S Chakraborty, KS Meel, MY Vardi Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013	115	2013
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	110	2015
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	80	2014
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	72	2015
From Weighted to Unweighted Model Counting. S Chakraborty, D Fried, KS Meel, MY Vardi IJCAI, 689-695, 2015	62	2015
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	60	1996
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	58	2016
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	54*	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
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	36	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	33	2004
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	32	2015
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 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	28	1993
Efficient guided symbolic reachability using reachability expressions D Thomas, S Chakraborty, P Pandya International Journal on Software Tools for Technology Transfer 10, 113-129, 2008	27	2008

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy