Orna Kupferman
Hebrew University of Jerusalem
H-index: 56
Asia-Israel
Top articles of Orna Kupferman
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
The complexity of LTL rational synthesis | ACM Transactions on Computational Logic | Orna Kupferman Noam Shenwald | 2022/3/30 |
Synthesis with Privacy Against an Observer | Orna Kupferman Ofer Leshkowitz Naama Shamash Halevy | 2024/4/5 | |
Monotonicity Characterizations of Regular Languages | Yoav Feinstein Orna Kupferman | 2023 | |
Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice … | Mogens Nielsen Uffe Engberg | 2002/3/22 | |
Games with Trading of Control | Orna Kupferman Noam Shenwald | 2023 | |
Lazy regular sensing | Theoretical Computer Science | Orna Kupferman Asaf Petruschka | 2023/9/6 |
Timed network games | Information and Computation | Guy Avni Shibashis Guha Orna Kupferman | 2023/1/1 |
On semantically-deterministic automata | arXiv preprint arXiv:2305.15489 | Bader Abu Radi Orna Kupferman | 2023/5/24 |
Using the past for resolving the future | Orna Kupferman | 2023/1/13 | |
Energy games with resource-bounded environments | Orna Kupferman Naama Shamash Halevy | 2022 | |
Minimization of automata for liveness languages | Bader Abu Radi Orna Kupferman | 2022/10/21 | |
CONCUR Test-Of-Time Award 2022 | Ilaria Castellani Paul Gastin Orna Kupferman Mickael Randour Davide Sangiorgi | 2022/9/12 | |
Certifying dfa bounds for recognition and separation | Orna Kupferman Nir Lavee Salomon Sickert | 2021/10/18 | |
Minimization and canonization of GFG transition-based automata | Logical Methods in Computer Science | Bader Abu Radi Orna Kupferman | 2022/8/2 |
Synthesis of privacy-preserving systems | Orna Kupferman Ofer Leshkowitz | 2022 | |
Multi-Valued Reasoning about Reactive Systems | Foundations and Trends® in Theoretical Computer Science | Orna Kupferman | 2022/11/30 |
Verification. | Ido Tavory | 2014 | |
Perspective multi-player games | Orna Kupferman Noam Shenwald | 2021/6/29 | |
Certifying Inexpressibility. | Orna Kupferman Salomon Sickert | 2021 | |
A hierarchy of nondeterminism | Bader Abu Radi Orna Kupferman Ofer Leshkowitz | 2021 |