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
-
Perspective Games
Kupferman, O. & Vardi, G., 17 Jan 2024, In: ACM Transactions on Computational Logic. 25, 1, 4.Research output: Contribution to journal › Article › peer-review
Open Access -
Preface
Beyersdorff, O., Kanté, M. M., Kupferman, O. & Lokshtanov, D., Mar 2024, In: Leibniz International Proceedings in Informatics, LIPIcs. 289Research output: Contribution to journal › Editorial
-
Restricted Flow Games
Alon, R. & Kupferman, O., 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 22-50 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14660 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
-
Synthesis with Privacy Against an Observer
Kupferman, O., Leshkowitz, O. & Shamash Halevy, N., 2024, Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Kobayashi, N. & Worrell, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 256-277 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14574 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
The Complexity of LTL Rational Synthesis
Kupferman, O. & Shenwald, N., 16 Apr 2024, In: ACM Transactions on Computational Logic. 25, 2, 10.Research output: Contribution to journal › Article › peer-review
Open Access