 | 1992 |
|---|
| 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) |
| 1990 |
|---|
| 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 |
| 1989 |
|---|
| 2 | | E. Allen Emerson,
Tom Sadler,
Jai Srinivasan:
Efficient Temporal Reasoning.
POPL 1989: 166-178 |
| 1988 |
|---|
| 1 | | E. Allen Emerson,
Jai Srinivasan:
Branching time temporal logic.
REX Workshop 1988: 123-172 |
