|
Search the dblp DataBase
Jai Srinivasan:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- E. Allen Emerson, Tom Sadler, Jai Srinivasan
Efficient Temporal Reasoning. [Citation Graph (1, 0)][DBLP] POPL, 1989, pp:166-178 [Conf]
- E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan
Quantitative Temporal Reasoning. [Citation Graph (0, 0)][DBLP] CAV, 1990, pp:136-145 [Conf]
- E. Allen Emerson, Michael Evangelist, Jai Srinivasan
On the Limits of Efficient Temporal Decidability (Extended Abstract) [Citation Graph (0, 0)][DBLP] LICS, 1990, pp:464-475 [Conf]
- E. Allen Emerson, Jai Srinivasan
A Decidable Temporal Logic to Reason About Many Processes. [Citation Graph (0, 0)][DBLP] PODC, 1990, pp:233-246 [Conf]
- E. Allen Emerson, Jai Srinivasan
Branching time temporal logic. [Citation Graph (0, 0)][DBLP] REX Workshop, 1988, pp:123-172 [Conf]
- E. Allen Emerson, Tom Sadler, Jai Srinivasan
Efficient Temporal Satisfiability. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1992, v:2, n:2, pp:173-210 [Journal]
- E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan
Quantitative Temporal Reasoning. [Citation Graph (0, 0)][DBLP] Real-Time Systems, 1992, v:4, n:4, pp:331-352 [Journal]
Search in 0.001secs, Finished in 0.001secs
|