author-photo

Orna Kupferman

Hebrew University of Jerusalem
University of California, Berkeley

318

Papers

11062

Citations

Citation Trend

Filter By

Papers (318) Sort By

Journal Conference Others

The Complexity of LTL Rational Synthesis.

2022 | TACAS (2)
- Orna Kupferman
- Noam Shenwald
Show All
- Source
- Cite
- Save
Citations (0)
Certifying DFA Bounds for Recognition and Separation.

2021 arXiv: Formal Languages and Automata Theory
Show All
- Source
- Cite
- Save
Citations (1)
Minimization and Canonization of GFG Transition-Based Automata.

2021 arXiv: Logic in Computer Science
- Bader Abu Radi
- Orna Kupferman
Show All
- Source
- Cite
- Save
Citations (0)
A Hierarchy of Nondeterminism

2021 MFCS | Mathematical Foundations of Computer Science
Show All
- Source
- Cite
- Save
Citations (0)
Certifying DFA Bounds for Recognition and Separation

2021 ATVA | Automated Technology for Verification and Analysis
Show All
- Source
- Cite
- Save
Citations (0)
Good-Enough Synthesis.

2021 arXiv: Formal Languages and Automata Theory
- Shaull Almagor
- Orna Kupferman
Show All
- Source
- Cite
- Save
Citations (0)
Certifying Inexpressibility

2021 arXiv: Formal Languages and Automata Theory
- Orna Kupferman
- Salomon Sickert
Show All
- Source
- Cite
- Save
Citations (1)
Perspective Multi-Player Games

2021 LICS | Logic in Computer Science
- Orna Kupferman
- Noam Shenwald
Show All
- Source
- Cite
- Save
Citations (0)
Mutually Accepting Capacitated Automata

2020
- Ravid Alon
- Orna Kupferman
Show All
- Source
- Cite
- Save
Citations (0)
On Synthesis of Specifications with Arithmetic

2020 SOFSEM | Conference on Current Trends in Theory and Practice of Informatics
- Rachel Faran
- Orna Kupferman
Show All
- Source
- Cite
- Save
Citations (2)