Li-on Raviv
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
1998–2025
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SSS | Brief Announcement: The Steiner Shortest Path Tree Problem. | Omer Asher, Yefim Dinitz, Shlomi Dolev, Li-on Raviv, Baruch Schieber |
| 1998 | ICALP | Algorithmic Verification of Linear Temporal Logic Specifications. | Yonit Kesten, Amir Pnueli, Li-on Raviv |