dblp.uni-trier.dewww.uni-trier.de

Sriram C. Krishnan

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
8EESriram C. Krishnan, Rina Panigrahy, Sunil Parthasarathy: Error-Correcting Codes for Ternary Content Addressable Memories. IEEE Trans. Computers 58(2): 275-279 (2009)
2002
7EEThomas A. Henzinger, Sriram C. Krishnan, Orna Kupferman, Freddy Y. C. Mang: Synthesis of Uninitialized Systems. ICALP 2002: 644-656
1996
6EESunil 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
5EERamin 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
2EEAdnan 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

Coauthor Index

1Adnan Aziz [2]
2Felice Balarin [2]
3Robert K. Brayton [1] [2] [3] [4] [5] [6]
4Szu-Tsung Cheng [2]
5Thomas A. Henzinger [7]
6Ramin Hojati [2] [5]
7Timothy Kam [2]
8Sunil P. Khatri [6]
9Orna Kupferman [7]
10Freddy Y. C. Mang [7]
11Kenneth L. McMillan [6]
12Amit Narayan [6]
13Rina Panigrahy [8]
14Sunil Parthasarathy [8]
15Anuj Puri [1] [3] [4]
16Rajeev K. Ranjan [2]
17Alberto L. Sangiovanni-Vincentelli [2] [6]
18Thomas R. Shiple [2]
19Vigyan Singhal [2]
20Serdar Tasiran [2]
21Pravin Varaiya [4]
22Huey-Yih Wang [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)