Sriram C. Krishnan

Publication Activity (10 Years)

Years Active: 1994-2009
Publications (10 Years): 0

Publications

Sriram C. Krishnan, Rina Panigrahy, Sunil Parthasarathy
Error-Correcting Codes for Ternary Content Addressable Memories. IEEE Trans. Computers 58 (2) (2009)
Punit Bhargava, Sriram C. Krishnan, Rina Panigrahy
Efficient multicast on a terabit router. Hot Interconnects (2004)
Thomas A. Henzinger, Sriram C. Krishnan, Orna Kupferman, Freddy Y. C. Mang
Synthesis of Uninitialized Systems. ICALP (2002)
Ramin Hojati, Sriram C. Krishnan, Robert K. Brayton
Early Quantification and Partitioned Transition Relations. ICCD (1996)
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)
Sriram C. Krishnan, Anuj Puri, Robert K. Brayton
Structural Complexity of Omega-Automata. STACS (1995)
Sriram C. Krishnan, Anuj Puri, Robert K. Brayton, Pravin Varaiya
The Rabin Index and Chain Automata, with Applications to Automatas and Games. CAV (1995)
Sriram C. Krishnan, Anuj Puri, Robert K. Brayton
Deterministic w Automata vis-a-vis Deterministic Buchi Automata. ISAAC (1994)
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)