Ofer Leshkowitz

According to our database, Ofer Leshkowitz authored at least 7 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Synthesis with Privacy Against an Observer.

Orna Kupferman, Ofer Leshkowitz, Namma Shamash Halevy

Log. Methods Comput. Sci., 2025

Synthesis with Guided Environments.

Orna Kupferman, Ofer Leshkowitz

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

2024

Synthesis with Privacy Against an Observer.

Orna Kupferman, Ofer Leshkowitz, Naama Shamash Halevy

Proceedings of the Foundations of Software Science and Computation Structures, 2024

Easy Complementation of History-Deterministic Büchi Automata.

Bader Abu Radi, Orna Kupferman, Ofer Leshkowitz

Proceedings of the Automated Technology for Verification and Analysis, 2024

2022

Synthesis of Privacy-Preserving Systems.

Orna Kupferman, Ofer Leshkowitz

Proceedings of the 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2022

2021

A Hierarchy of Nondeterminism.

Bader Abu Radi, Orna Kupferman, Ofer Leshkowitz

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

2020

On Repetition Languages.

Orna Kupferman, Ofer Leshkowitz

Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020