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 001; Thomas R. Shiple; Vigyan Singhal; Serdar Tasiran; Huey-Yih Wang; Robert K. Brayton; et al. (DAC, 1994)

Deterministic w Automata vis-a-vis Deterministic Buchi Automata. - Sriram C. Krishnan; Anuj Puri; Robert K. Brayton (ISAAC, 1994)

The Rabin Index and Chain Automata, with Applications to Automatas and Games. - Sriram C. Krishnan; Anuj Puri; Robert K. Brayton; Pravin Varaiya (CAV, 1995)

Structural Complexity of Omega-Automata. - Sriram C. Krishnan; Anuj Puri; Robert K. Brayton (STACS, 1995)

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 (DAC, 1996)

Early Quantification and Partitioned Transition Relations. - Ramin Hojati; Sriram C. Krishnan; Robert K. Brayton (ICCD, 1996)

Synthesis of Uninitialized Systems. - Thomas A. Henzinger; Sriram C. Krishnan; Orna Kupferman; Freddy Y. C. Mang (ICALP, 2002)

Efficient multicast on a terabit router. - Punit Bhargava; Sriram C. Krishnan; Rina Panigrahy (Hot Interconnects, 2004)

Error-Correcting Codes for Ternary Content Addressable Memories. - Sriram C. Krishnan; Rina Panigrahy; Sunil Parthasarathy (IEEE Trans. Computers, 2009)