Travelled to:3 × USA
Collaborated with:E.A.Emerson M.Evangelist T.Sadler A.K.Mok A.P.Sistla
Talks about:tempor (3) reason (2) effici (2) quantit (1) limit (1) decid (1)
Person: Jai Srinivasan
DBLP: Srinivasan:Jai
Contributed to:
1990
1990
1989Wrote 3 papers:
- CAV-1990-EmersonMSS #reasoning
- Quantitative Temporal Reasoning (EAE, AKM, APS, JS), pp. 136–145.
- LICS-1990-EmersonES #decidability #on the #performance
- On the Limits of Efficient Temporal Decidability (EAE, ME, JS), pp. 464–475.
- POPL-1989-EmersonSS #performance #reasoning
- Efficient Temporal Reasoning (EAE, TS, JS), pp. 166–178.