Ohad Asor

According to our database, Ohad Asor authored at least 5 papers between 2014 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

ocLTL: LTL Realizability and Synthesis Modulo ω-Categorical Structures.

Ohad Asor

CoRR, May, 2026

2024

Guarded Successor: A Novel Temporal Logic.

Ohad Asor

CoRR, 2024

2016

Spectral and Modular Analysis of #P Problems.

Ohad Asor

CoRR, 2016

2015

About Tau-Chain.

Ohad Asor

CoRR, 2015

2014

On the Additive Properties of the Fat-Shattering Dimension.

Ohad Asor, Hubert Haoyang Duan, Aryeh Kontorovich

IEEE Trans. Neural Networks Learn. Syst., 2014