No photo of Orna Kupferman

View Scopus Profile

Orna Kupferman

 https://orcid.org/0000-0003-4699-6117
    Calculated based on number of publications stored in Pure and citations from Scopus
    1995 …2026

    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):

    • 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

    • Energy Games with Weight Uncertainty

      Kupferman, O. & Halevy, N. S., 2026, Automated Technology for Verification and Analysis - 23rd International Symposium, ATVA 2025, Proceedings. D’Souza, M., Komondoor, R. & Srivathsan, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 87-108 22 p. (Lecture Notes in Computer Science; vol. 16145 LNCS).

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

    • 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

    • Coverage Games

      Kupferman, O. & Shenwald, N., 18 Aug 2025, 36th International Conference on Concurrency Theory, CONCUR 2025. Bouyer, P. & van de Pol, J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 27. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 348).

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

    • 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

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

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

      1 Scopus citations
    View all 291 Research outputs