Supratik Chakraborty

Citado por

	Total	Desde 2017
Citas	1859	1011
Índice h	23	14
Índice i10	43	19

240

120

180

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120225 6 11 14 27 11 18 25 25 37 24 46 50 48 60 43 41 45 49 62 65 115 138 145 228 204 235 60

Acceso público

Ver todo

8 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Moshe Y. VardiRice UniversityDirección de correo verificada de cs.rice.edu
Kuldeep S. MeelAssistant Professor, National University of SingaporeDirección de correo verificada de comp.nus.edu.sg
David DillProfessor, Emeritus, of Computer Science, Stanford UniversityDirección de correo verificada de stanford.edu
S AkshayIIT BombayDirección de correo verificada de cse.iitb.ac.in
Sanjit A. SeshiaUniversity of California, BerkeleyDirección de correo verificada de eecs.berkeley.edu
Daniel J. FremontAssistant Professor, University of California, Santa CruzDirección de correo verificada de ucsc.edu
Aditya NoriMicrosoft ResearchDirección de correo verificada de microsoft.com
Paritosh PandyaAdjunct Professor, CSE, IIT Bombay, Former Professor and Dean, STCS, TIFRDirección de correo verificada de tifr.res.in
Joycee MekieIIT GANDHINAGARDirección de correo verificada de iitgn.ac.in
Sriram RajamaniMicrosoft Research Dirección de correo verificada de microsoft.com
Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityDirección de correo verificada de princeton.edu
Alexander IvriiIBMDirección de correo verificada de il.ibm.com
Bharat AdsulIndian Institute of Technology, BombayDirección de correo verificada de cse.iitb.ac.in
Ganesan RamalingamMicrosoft Research IndiaDirección de correo verificada de microsoft.com
Hrishikesh KarmarkarIIT BombayDirección de correo verificada de cse.iitb.ac.in
P.S. ThiagarajanVisiting Professor, Laboratory of Systems Pharmacology, Harvard Medical SchoolDirección de correo verificada de hms.harvard.edu
Ashutosh TrivediAssistant Professor of Computer Science at the University of Colorado at BoulderDirección de correo verificada de colorado.edu
Sudeep JuvekarUC Berkeley, 2007 - 2010Dirección de correo verificada de eecs.berkeley.edu
Carl SegerWASP Professor at Chalmers University of TechnologyDirección de correo verificada de chalmers.se
Ankur TalyStaff Research Scientist, GoogleDirección de correo verificada de google.com

Seguir

Supratik Chakraborty

Dept. of Computer Science and Engineering, IIT Bombay

Dirección de correo verificada de iitb.ac.in - Página principal

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


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
A scalable approximate model counter S Chakraborty, KS Meel, MY Vardi International Conference on Principles and Practice of Constraint …, 2013	159	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	141	2014
Refining abstract interpretations BS Gulavani, S Chakraborty, AV Nori, SK Rajamani Information Processing Letters 110 (16), 666-671, 2010	131*	2010
Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls. S Chakraborty, KS Meel, MY Vardi IJCAI, 3569-3576, 2016	109	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	99	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	92	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	70	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	64	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	54	1996
From weighted to unweighted model counting S Chakraborty, D Fried, KS Meel, MY Vardi Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015	52	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	51	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	51*	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, P Pandya, S Chakraborty International Conference on Tools and Algorithms for the Construction and …, 2005	33	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	31	2004
Timing analysis for extended burst-mode circuits S Chakraborty, DL Dill, KY Yun, KY Chang Proceedings Third International Symposium on Advanced Research in …, 1997	31	1997
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
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 (2), 113-129, 2008	27	2008
Interface design for rationally clocked GALS systems J Mekie, S Chakraborty, G Venkataramani, PS Thiagarajan, DK Sharma 12th IEEE International Symposium on Asynchronous Circuits and Systems …, 2006	27	2006

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir a este autor

Citado por

Coautores