Skip to main navigation Skip to search Skip to main content
No photo of Ofer Leshkowitz

View Scopus Profile

Ofer Leshkowitz

    20202026

    Research activity per year

    Fingerprint

    Dive into the research topics where Ofer Leshkowitz is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
    • 1 Similar Profiles
    View full fingerprint

    Collaborations and top research areas from the last five years

    Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
    Explore network further
    • 6 Conference contribution
    • 3 Article

    • Synthesis with Guided Environments

      Kupferman, O. & Leshkowitz, O., 2026, (Accepted/In press) In: IEEE Transactions on Software Engineering.

      Research output: Contribution to journal › Article › peer-review

      Open Access

    • A HIERARCHY OF NONDETERMINISM

      Radi, B. A., Kupferman, O. & Leshkowitz, O., 2025, In: Logical Methods in Computer Science. 21, 4

      Research output: Contribution to journal › Article › peer-review

      Open Access

    • Easy Complementation of History-Deterministic Büchi Automata

      Abu Radi, B., Kupferman, O. & Leshkowitz, O., 2025, Automated Technology for Verification and Analysis - 22nd International Symposium, Proceedings. Akshay, S., Niemetz, A. & Sankaranarayanan, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 67-88 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; vol. 15054 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      1 Scopus citations

    • Synthesis with Guided Environments

      Kupferman, O. & Leshkowitz, O., 2025, Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Gurfinkel, A. & Heule, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 198-216 19 p. (Lecture Notes in Computer Science; vol. 15697 LNCS).

      Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

      Open Access

    • SYNTHESIS WITH PRIVACY AGAINST AN OBSERVER

      Kupferman, O., Leshkowitz, O. & Halevy, N. S., 2025, In: Logical Methods in Computer Science. 21, 3

      Research output: Contribution to journal › Article › peer-review

      1 Scopus citations
    View all 9 Research outputs