Sriram C. Krishnan

According to our database, Sriram C. Krishnan authored at least 9 papers between 1994 and 2009.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2009

Error-Correcting Codes for Ternary Content Addressable Memories.

Sriram C. Krishnan, Rina Panigrahy, Sunil Parthasarathy

IEEE Trans. Computers, 2009

2004

Efficient multicast on a terabit router.

Punit Bhargava, Sriram C. Krishnan, Rina Panigrahy

Proceedings of the 12th Annual IEEE Symposium on High Performance Interconnects, 2004

2002

Synthesis of Uninitialized Systems.

Thomas A. Henzinger, Sriram C. Krishnan, Orna Kupferman, Freddy Y. C. Mang

Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002

1996

Early Quantification and Partitioned Transition Relations.

Ramin Hojati, Sriram C. Krishnan, Robert K. Brayton

Proceedings of the 1996 International Conference on Computer Design (ICCD '96), 1996

Engineering Change in a Non-Deterministic FSM Setting.

Sunil P. Khatri, Amit Narayan, Sriram C. Krishnan, Kenneth L. McMillan, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli

Proceedings of the 33st Conference on Design Automation, 1996

1995

Structural Complexity of Omega-Automata.

Sriram C. Krishnan, Anuj Puri, Robert K. Brayton

Proceedings of the STACS 95, 1995

The Rabin Index and Chain Automata, with Applications to Automatas and Games.

Sriram C. Krishnan, Anuj Puri, Robert K. Brayton, Pravin Varaiya

Proceedings of the Computer Aided Verification, 1995

1994

Deterministic w Automata vis-a-vis Deterministic Buchi Automata.

Sriram C. Krishnan, Anuj Puri, Robert K. Brayton

Proceedings of the Algorithms and Computation, 5th International Symposium, 1994

HSIS: A BDD-Based Environment for Formal Verification.

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

Proceedings of the 31st Conference on Design Automation, 1994