Jonathan Stavi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1977–1981
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1981 | FOCS | Propositional Dynamic Logic of Context-Free Programs | David Harel, Amir Pnueli, Jonathan Stavi |
| 1981 | ICALP | Impartiality, Justice and Fairness: The Ethics of Concurrent Termination. | Daniel Lehmann, Amir Pnueli, Jonathan Stavi |
| 1980 | POPL | On the Temporal Analysis of Fairness. | Dov M. Gabbay, Amir Pnueli, Saharon Shelah, Jonathan Stavi |
| 1977 | STOC | A Complete Axiomatic System for Proving Deductions about Recursive Programs | David Harel, Amir Pnueli, Jonathan Stavi |