Reusable On-Chip System Level Verification for Simulation Emulation and Silicon. - Avishay Maman; Sharon Goldschlager; Hillel Miller; David Bell; Rob Slater; Oded Ben-Moshe; Nissan Levi; Hagit Gilboa (HLDVT, 2006)

Fair Coin Flipping: Tighter Analysis and the Many-Party Case. - Niv Buchbinder; Iftach Haitner; Nissan Levi; Eliad Tsfadia (SODA, 2017)

Safety, Absoluteness, and Computability. - Arnon Avron; Shahar Lev; Nissan Levi (CSL, 2018)

Analysis in a Formal Predicative Set Theory. - Nissan Levi; Arnon Avron (WoLLIC, 2021)