Ohad Asor

Identifiers

• name variant Ohad Asor 0.60 · backfill

Papers (4)

1. ocLTL: LTL Realizability and Synthesis Modulo {\omega}-Categorical Structures cs.LO · 2026 · author #1
2. Spectral and Modular Analysis of #P Problems cs.CC · 2016 · author #1
3. On Approximating Univariate NP-Hard Integrals cs.NA · 2015 · author #1
4. About Tau-Chain cs.AI · 2015 · author #1

Mentions

• 2605.12539 #1 · arxiv_oai · confidence 0.70 Ohad Asor

Frequent Coauthors

• Avishy Carmi 1 shared papers