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 |