| 2009 |
|---|
| 8 | EE | Sriram C. Krishnan,
Rina Panigrahy,
Sunil Parthasarathy:
Error-Correcting Codes for Ternary Content Addressable Memories.
IEEE Trans. Computers 58(2): 275-279 (2009) |
| 2002 |
|---|
| 7 | EE | Thomas A. Henzinger,
Sriram C. Krishnan,
Orna Kupferman,
Freddy Y. C. Mang:
Synthesis of Uninitialized Systems.
ICALP 2002: 644-656 |
| 1996 |
|---|
| 6 | EE | Sunil P. Khatri,
Amit Narayan,
Sriram C. Krishnan,
Kenneth L. McMillan,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
Engineering Change in a Non-Deterministic FSM Setting.
DAC 1996: 451-456 |
| 5 | EE | Ramin Hojati,
Sriram C. Krishnan,
Robert K. Brayton:
Early Quantification and Partitioned Transition Relations.
ICCD 1996: 12-19 |
| 1995 |
|---|
| 4 | | Sriram C. Krishnan,
Anuj Puri,
Robert K. Brayton,
Pravin Varaiya:
The Rabin Index and Chain Automata, with Applications to Automatas and Games.
CAV 1995: 253-266 |
| 3 | | Sriram C. Krishnan,
Anuj Puri,
Robert K. Brayton:
Structural Complexity of Omega-Automata.
STACS 1995: 143-156 |
| 1994 |
|---|
| 2 | EE | Adnan Aziz,
Felice Balarin,
Szu-Tsung Cheng,
Ramin Hojati,
Timothy Kam,
Sriram C. Krishnan,
Rajeev K. Ranjan,
Thomas R. Shiple,
Vigyan Singhal,
Serdar Tasiran,
Huey-Yih Wang,
Robert K. Brayton,
Alberto L. Sangiovanni-Vincentelli:
HSIS: A BDD-Based Environment for Formal Verification.
DAC 1994: 454-459 |
| 1 | | Sriram C. Krishnan,
Anuj Puri,
Robert K. Brayton:
Deterministic w Automata vis-a-vis Deterministic Buchi Automata.
ISAAC 1994: 378-386 |
