Research output per year
Research output 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):
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
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
-
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