Supratik Chakraborty

Citado por

	Todos	Desde 2019
Citações	2440	1301
Índice h	26	18
Índice i10	50	26

260

130

195

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202413 13 27 11 18 22 25 35 25 47 50 50 65 44 39 44 53 66 67 111 133 138 222 216 245 241 178 199

Acesso público

Ver todos

11 artigos

0 artigo

disponível

não disponível

Com base nas autorizações de financiamento

Coautores

Moshe Y. VardiRice UniversityE-mail confirmado em cs.rice.edu
Kuldeep S. MeelAssociate Professor, University of TorontoE-mail confirmado em cs.toronto.edu
S AkshayIIT BombayE-mail confirmado em cse.iitb.ac.in
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyE-mail confirmado em eecs.berkeley.edu
David L. DillProfessor, Emeritus, of Computer Science, Stanford UniversityE-mail confirmado em stanford.edu
Dror FriedThe Open University of IsraelE-mail confirmado em openu.ac.il
Aditya NoriMicrosoft ResearchE-mail confirmado em microsoft.com
Daniel J. FremontAssistant Professor, University of California, Santa CruzE-mail confirmado em ucsc.edu
Bhargav GulavaniMicrosoftE-mail confirmado em microsoft.com
Divyesh UnadkatResearch Scholar, Indian Institute of Technology Bombay, Mumbai and Researcher, TCS Research, PuneE-mail confirmado em tcs.com
Joycee MekieIIT GANDHINAGARE-mail confirmado em iitgn.ac.in
Paritosh PandyaAdjunct Professor, CSE, IIT Bombay, Former Professor and Dean, STCS, TIFRE-mail confirmado em tifr.res.in
Abhisekh SankaranResearch Associate, University of CambridgeE-mail confirmado em cl.cam.ac.uk
Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityE-mail confirmado em princeton.edu
Sriram RajamaniMicrosoft Research E-mail confirmado em microsoft.com
Hrishikesh KarmarkarIIT BombayE-mail confirmado em cse.iitb.ac.in
Bharat AdsulIndian Institute of Technology, BombayE-mail confirmado em cse.iitb.ac.in
Alexander IvriiIBME-mail confirmado em il.ibm.com
Sumith KulalStanford UniversityE-mail confirmado em cs.stanford.edu
Ganesan RamalingamMicrosoft Research IndiaE-mail confirmado em microsoft.com

Seguir

Supratik Chakraborty

Dept. of Computer Science and Engineering, IIT Bombay

E-mail confirmado em iitb.ac.in - Página inicial

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


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
A scalable approximate model counter S Chakraborty, KS Meel, MY Vardi Principles and Practice of Constraint Programming: 19th International …, 2013	203	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	194	2014
Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls. S Chakraborty, KS Meel, MY Vardi IJCAI, 3569-3576, 2016	168	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	136	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	131	2013
Automatically refining abstract interpretations BS Gulavani, S Chakraborty, AV Nori, SK Rajamani International Conference on Tools and Algorithms for the Construction and …, 2008	126	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	94	2014
Constrained sampling and counting: Universal hashing meets SAT solving KS Meel, MY Vardi, S Chakraborty, DJ Fremont, SA Seshia, D Fried, A Ivrii, ... Workshops at the thirtieth AAAI conference on artificial intelligence, 2016	76	2016
From Weighted to Unweighted Model Counting. S Chakraborty, D Fried, KS Meel, MY Vardi IJCAI, 689-695, 2015	75	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	59*	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	46	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	36	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
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
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	30	2018
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	29	1997
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	28	2008

O sistema não pode executar a operação agora. Tente novamente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações mescladas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores