Ofer Leshkowitz

According to our database, Ofer Leshkowitz authored at least 4 papers between 2020 and 2024.

Collaborative distances:

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

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

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