Skip to main navigation Skip to search Skip to main content
No photo of Orna Kupferman

View Scopus Profile

Kupferman Orna

The Hebrew University of Jerusalem

 https://orcid.org/0000-0003-4699-6117
    20112025

    Research activity per year

    Personal profile

    Expertise related to UN Sustainable Development Goals

    In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):

    1. SDG 11 - Sustainable Cities and Communities
      SDG 11 Sustainable Cities and Communities

    Fingerprint

    Dive into the research topics where Orna Kupferman 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

    • 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).

      The Hebrew University of Jerusalem

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

    • Games with Weighted Multiple Objectives

      Kupferman, O. & Shenwald, N., 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. 110-132 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15054 LNCS).

      The Hebrew University of Jerusalem

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

    • Non-Zero-Sum Games with Multiple Weighted Objectives

      Feinstein, Y., Kupferman, O. & Shenwald, N., 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. 303-322 20 p. (Lecture Notes in Computer Science; vol. 15697 LNCS).

      The Hebrew University of Jerusalem

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

      Open Access

    • Playing Games on Automata

      Kupferman, 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. 3-21 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15054 LNCS).

      The Hebrew University of Jerusalem

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

    • 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).

      The Hebrew University of Jerusalem

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

      Open Access
    View all 150 Research outputs