Saharon Shelah
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
1980–2025
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CSL | First-Order Logic with Equicardinality in Random Graphs. | Simi Haber, Tal Hershko, Mostafa Mirabi, Saharon Shelah |
| 2003 | LICS | Spectra of Monadic Second-Order Formulas with One Unary Function. | Yuri Gurevich, Saharon Shelah |
| 2000 | CSL | Choiceless Polynominal Time Logic: Inability to Express. | Saharon Shelah |
| 1994 | LICS | McColm's Conjecture | Yuri Gurevich, Neil Immerman, Saharon Shelah |
| 1988 | STOC | Nondeterministic Linear-Time Tasks May Require Substantially Nonlinear Deterministic Time in the Case of Sublinear Work Space | Yuri Gurevich, Saharon Shelah |
| 1987 | STOC | Threshold Spectra for Random Graphs | Saharon Shelah, Joel Spencer |
| 1985 | FOCS | Fixed-Point Extensions of First-Order Logic | Yuri Gurevich, Saharon Shelah |
| 1983 | ICALP | Reasoning with Time and Chance (Extended Abstract). | Daniel Lehmann, Saharon Shelah |
| 1980 | POPL | On the Temporal Analysis of Fairness. | Dov M. Gabbay, Amir Pnueli, Saharon Shelah, Jonathan Stavi |