Jai Srinivasan (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

7		E. Allen Emerson, Tom Sadler, Jai Srinivasan: Efficient Temporal Satisfiability. J. Log. Comput. 2(2): 173-210 (1992)
6		E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan: Quantitative Temporal Reasoning. Real-Time Systems 4(4): 331-352 (1992)
5		E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan: Quantitative Temporal Reasoning. CAV 1990: 136-145
4		E. Allen Emerson, Michael Evangelist, Jai Srinivasan: On the Limits of Efficient Temporal Decidability (Extended Abstract) LICS 1990: 464-475
3		E. Allen Emerson, Jai Srinivasan: A Decidable Temporal Logic to Reason About Many Processes. PODC 1990: 233-246
2		E. Allen Emerson, Tom Sadler, Jai Srinivasan: Efficient Temporal Reasoning. POPL 1989: 166-178
1		E. Allen Emerson, Jai Srinivasan: Branching time temporal logic. REX Workshop 1988: 123-172

Selection of 7 from 7 records - Jai Srinivasan has 5 coauthors