Ofer Leshkowitz

11 papers B 3Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Hierarchy of Nondeterminism.
Log. Methods Comput. Sci.
Bader Abu Radi, Orna Kupferman, Ofer Leshkowitz
2025 — conf
Synthesis with Guided Environments.
TACAS (2)
Orna Kupferman, Ofer Leshkowitz
2025 J jnl
Synthesis with Guided Environments.
CoRR
Orna Kupferman, Ofer Leshkowitz
2025 J jnl
Synthesis with Privacy Against an Observer.
Log. Methods Comput. Sci.
Orna Kupferman, Ofer Leshkowitz, Namma Shamash Halevy
2024 B conf
Easy Complementation of History-Deterministic Büchi Automata.
ATVA
Bader Abu Radi, Orna Kupferman, Ofer Leshkowitz
2024 — conf
Synthesis with Privacy Against an Observer.
FoSSaCS (1)
Orna Kupferman, Ofer Leshkowitz, Naama Shamash Halevy
2024 J jnl
Synthesis with Privacy Against an Observer.
CoRR
Orna Kupferman, Ofer Leshkowitz, Naama Shamash Halevy
2022 J jnl
A Hierarchy of Nondeterminism.
CoRR
Bader Abu Radi, Orna Kupferman, Ofer Leshkowitz
2022 — conf
Synthesis of Privacy-Preserving Systems.
FSTTCS
Orna Kupferman, Ofer Leshkowitz
2021 B conf
A Hierarchy of Nondeterminism.
MFCS
Bader Abu Radi, Orna Kupferman, Ofer Leshkowitz
2020 B conf
On Repetition Languages.
MFCS
Orna Kupferman, Ofer Leshkowitz