Ofer Leshkowitz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2020–2026
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CONCUR | Classification Under Uncertainty. | Orna Kupferman, Ofer Leshkowitz |
| 2025 | TACAS | Synthesis with Guided Environments. | Orna Kupferman, Ofer Leshkowitz |
| 2024 | ATVA | Easy Complementation of History-Deterministic Bchi Automata. | Bader Abu Radi, Orna Kupferman, Ofer Leshkowitz |
| 2024 | FOSSACS | Synthesis with Privacy Against an Observer. | Orna Kupferman, Ofer Leshkowitz, Naama Shamash Halevy |
| 2021 | MFCS | A Hierarchy of Nondeterminism. | Bader Abu Radi, Orna Kupferman, Ofer Leshkowitz |
| 2020 | MFCS | On Repetition Languages. | Orna Kupferman, Ofer Leshkowitz |