Nissan Levi

Publication Activity (10 Years)

Years Active: 2006-2021
Publications (10 Years): 4

Top Topics

Multiresolution

Top Venues

Publications

Nissan Levi, Arnon Avron
Analysis in a Formal Predicative Set Theory. WoLLIC (2021)
Niv Buchbinder, Iftach Haitner, Nissan Levi, Eliad Tsfadia
Fair Coin Flipping: Tighter Analysis and the Many-Party Case. CoRR (2021)
Arnon Avron, Shahar Lev, Nissan Levi
Safety, Absoluteness, and Computability. CSL (2018)
Niv Buchbinder, Iftach Haitner, Nissan Levi, Eliad Tsfadia
Fair Coin Flipping: Tighter Analysis and the Many-Party Case. SODA (2017)
Avishay Maman, Sharon Goldschlager, Hillel Miller, David Bell, Rob Slater, Oded Ben-Moshe, Nissan Levi, Hagit Gilboa
Reusable On-Chip System Level Verification for Simulation Emulation and Silicon. HLDVT (2006)