Nissan Levi

According to our database, Nissan Levi authored at least 5 papers between 2006 and 2026.

Collaborative distances:

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

2026

Developing continuity theory in a formal predicative set theory.

Arnon Avron, Nissan Levi

Log. J. IGPL, 2026

2021

Analysis in a Formal Predicative Set Theory.

Nissan Levi, Arnon Avron

Proceedings of the Logic, Language, Information, and Computation, 2021

2018

Safety, Absoluteness, and Computability.

Arnon Avron, Shahar Lev, Nissan Levi

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

2017

Fair Coin Flipping: Tighter Analysis and the Many-Party Case.

Niv Buchbinder, Iftach Haitner, Nissan Levi, Eliad Tsfadia

Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, 2017

2006

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

Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006