Ohad Asor

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 2

Top Topics

Decision Procedures

Covering Numbers

Top Venues

IEEE Trans. Neural Networks Learn. Syst.

Publications

Ohad Asor
Guarded Successor: A Novel Temporal Logic. CoRR (2024)
Ohad Asor
Spectral and Modular Analysis of #P Problems. CoRR (2016)
Ohad Asor
About Tau-Chain. CoRR (2015)
Ohad Asor, Hubert Haoyang Duan, Aryeh Kontorovich
On the Additive Properties of the Fat-Shattering Dimension. IEEE Trans. Neural Networks Learn. Syst. 25 (12) (2014)