| A scalable approximate model counter S Chakraborty, KS Meel, MY Vardi International Conference on Principles and Practice of Constraint …, 2013 | 133 | 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 |
| 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 | 122 | 2014 |
| Algorithmic improvements in approximate counting for probabilistic inference: From linear to logarithmic SAT calls S Chakraborty, KS Meel, MY Vardi | 89 | 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 | 77 | 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 | 55 | 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 | 53 | 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 | 50 | 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 | 49* | 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 |
| 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 | 43 | 2016 |
| From Weighted to Unweighted Model Counting. S Chakraborty, D Fried, KS Meel, MY Vardi IJCAI, 689-695, 2015 | 37 | 2015 |
| Bounded validity checking of interval duration logic B Sharma, PK Pandya, S Chakraborty International Conference on Tools and Algorithms for the Construction and …, 2005 | 32 | 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 |
| 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 |
| 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 | 29 | 1999 |
| 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 | 27 | 1994 |
| 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 | 27 | 1993 |
| 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 | 26 | 2006 |
Moshe Y. VardiRice University確認したメール アドレス: cs.rice.edu
