Orna Kupferman
Hebrew University of Jerusalem
H-index: 56
Asia-Israel
Top articles of Orna Kupferman
The complexity of LTL rational synthesis
ACM Transactions on Computational Logic
2022/3/30
Orna Kupferman
H-Index: 26
Synthesis with Privacy Against an Observer
2024/4/5
Orna Kupferman
H-Index: 26
Lazy regular sensing
Theoretical Computer Science
2023/9/6
Orna Kupferman
H-Index: 26
On semantically-deterministic automata
arXiv preprint arXiv:2305.15489
2023/5/24
Orna Kupferman
H-Index: 26
Using the past for resolving the future
2023/1/13
Orna Kupferman
H-Index: 26
Monotonicity Characterizations of Regular Languages
2023
Orna Kupferman
H-Index: 26
Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice …
2002/3/22
Games with Trading of Control
2023
Orna Kupferman
H-Index: 26
Multi-Valued Reasoning about Reactive Systems
Foundations and Trends® in Theoretical Computer Science
2022/11/30
Orna Kupferman
H-Index: 26
Minimization of automata for liveness languages
2022/10/21
Orna Kupferman
H-Index: 26
CONCUR Test-Of-Time Award 2022
2022/9/12
Certifying dfa bounds for recognition and separation
2021/10/18
Orna Kupferman
H-Index: 26
Salomon Sickert
H-Index: 11
Minimization and canonization of GFG transition-based automata
Logical Methods in Computer Science
2022/8/2
Orna Kupferman
H-Index: 26
Synthesis of privacy-preserving systems
2022
Orna Kupferman
H-Index: 26
Energy games with resource-bounded environments
2022
Orna Kupferman
H-Index: 26
Verification.
2014
Perspective multi-player games
2021/6/29
Orna Kupferman
H-Index: 26
A hierarchy of nondeterminism
2021
Orna Kupferman
H-Index: 26