Sriram C. Krishnan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
1994–2004
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | HOTI | Efficient multicast on a terabit router. | Punit Bhargava, Sriram C. Krishnan, Rina Panigrahy |
| 2002 | ICALP | Synthesis of Uninitialized Systems. | Thomas A. Henzinger, Sriram C. Krishnan, Orna Kupferman, Freddy Y. C. Mang |
| 1996 | DAC | 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 |
| 1996 | ICCD | Early Quantification and Partitioned Transition Relations. | Ramin Hojati, Sriram C. Krishnan, Robert K. Brayton |
| 1995 | CAV | The Rabin Index and Chain Automata, with Applications to Automatas and Games. | Sriram C. Krishnan, Anuj Puri, Robert K. Brayton, Pravin Varaiya |
| 1995 | STACS | Structural Complexity of Omega-Automata. | Sriram C. Krishnan, Anuj Puri, Robert K. Brayton |
| 1994 | DAC | 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 |
| 1994 | ISAAC | Deterministic w Automata vis-a-vis Deterministic Buchi Automata. | Sriram C. Krishnan, Anuj Puri, Robert K. Brayton |