( en | de | ru )

 

Disambiguation of "Krishnan, Sriram C."

Author of the publication

copydeleteadd this publication to your clipboard
The Rabin Index and Chain Automata, with Applications to Automatas and Games.

, , , and . CAV, volume 939 of Lecture Notes in Computer Science, page 253-266. Springer, (1995)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sriram Rallabhandi

Krishnan Sircar

Sriram Varadarajan

Ajay Krishnan

Sriram Subramanian

 

Other publications of authors with the same name

Early Quantification and Partitioned Transition Relations., , and . ICCD, page 12-19. IEEE Computer Society, (1996)Engineering Change in a Non-Deterministic FSM Setting., , , , , and . DAC, page 451-456. ACM Press, (1996)HSIS: A BDD-Based Environment for Formal Verification., , , , , , , , , and 3 other author(s). DAC, page 454-459. ACM Press, (1994)Deterministic w Automata vis-a-vis Deterministic Buchi Automata., , and . ISAAC, volume 834 of Lecture Notes in Computer Science, page 378-386. Springer, (1994)The Rabin Index and Chain Automata, with Applications to Automatas and Games., , , and . CAV, volume 939 of Lecture Notes in Computer Science, page 253-266. Springer, (1995)Structural Complexity of Omega-Automata., , and . STACS, volume 900 of Lecture Notes in Computer Science, page 143-156. Springer, (1995)Error-Correcting Codes for Ternary Content Addressable Memories., , and . IEEE Trans. Computers, 58 (2): 275-279 (2009)Synthesis of Uninitialized Systems., , , and . ICALP, volume 2380 of Lecture Notes in Computer Science, page 644-656. Springer, (2002)Efficient multicast on a terabit router., , and . Hot Interconnects, page 61-67. IEEE Computer Society, (2004)