On Repetition Languages. - Orna Kupferman; Ofer Leshkowitz (MFCS, 2020)

A Hierarchy of Nondeterminism. - Bader Abu Radi; Orna Kupferman; Ofer Leshkowitz (MFCS, 2021)

Synthesis of Privacy-Preserving Systems. - Orna Kupferman; Ofer Leshkowitz (FSTTCS, 2022)

Easy Complementation of History-Deterministic Büchi Automata. - Bader Abu Radi; Orna Kupferman; Ofer Leshkowitz (ATVA, 2024)

Synthesis with Privacy Against an Observer. - Orna Kupferman; Ofer Leshkowitz; Naama Shamash Halevy (FoSSaCS (1), 2024)

Synthesis with Guided Environments. - Orna Kupferman; Ofer Leshkowitz (TACAS (2), 2025)

Synthesis with Privacy Against an Observer. - Orna Kupferman; Ofer Leshkowitz; Namma Shamash Halevy (Log. Methods Comput. Sci., 2025)