​
Login / Signup
Nissan Levi
ORCID
Publication Activity (10 Years)
Years Active: 2006-2021
Publications (10 Years): 4
Top Topics
Set Theory
Upper Bound
Image Analysis
Multiresolution
Top Venues
CoRR
WoLLIC
SODA
CSL
</>
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)