Supratik Chakraborty
Loading Google Thumbnails...
| 2011 |
|---|
| 8 | Frontmatter, Table of Contents, Preface, Conference Organization, External Reviewers. Supratik Chakraborty, Amit Kumar. FSTTCS 2011. Web SearchBibTeXDownload |
| 2010 |
|---|
| 7 | Bounding Variance and Expectation of Longest Path Lengths in DAGs. Jeff Edmonds, Supratik Chakraborty. SODA 2010, 766-781. Web SearchBibTeXDownload |
| 2008 |
|---|
| 6 | Efficient guided symbolic reachability using reachability expressions. Dina Thomas, Supratik Chakraborty, Paritosh K. Pandya. STTT (10): 113-129 (2008). Web SearchBibTeXDownload |
| 2006 |
|---|
| 5 | Efficient Guided Symbolic Reachability Using Reachability Expressions. Dina Thomas, Supratik Chakraborty, Paritosh K. Pandya. TACAS 2006, 120-134. Web SearchBibTeXDownload |
| 2002 |
|---|
| 4 | Probabilistic Timing Analysis of Asynchronous Systems with Moments of Delay. Rohan Angrish, Supratik Chakraborty. ASYNC 2002, 99-108. Web SearchBibTeXDownload |
| 1996 |
|---|
| 3 | Theory and Application of Nongroup Cellular Automata for Synthesis of Easily Testable Finite State Machines. Supratik Chakraborty, Dipanwita Roy Chowdhury, Parimal Pal Chaudhuri. IEEE Trans. Computers (45): 769-781 (1996). Web SearchBibTeXDownload |
| 1993 |
|---|
| 2 | Synthesis of Self-Checking Sequential Machines Using Cellular Automata. Dipanwita Roy Chowdhury, Supratik Chakraborty, Parimal Pal Chaudhuri. VLSI Design 1993, 107. Web SearchBibTeX |
| 1 | Delay Fault Test Generation with Cellular Automata. S. Nandi, Vamsi Boppana, Supratik Chakraborty, Parimal Pal Chaudhuri, Samir Roy. VLSI Design 1993, 281-286. Web SearchBibTeX |
from DBLP and Google Scholar
