Yoni Zohar

Identifiers

• name variant Yoni Zohar 0.60 · backfill

Papers (6)

1. Bringing closure to theory combination properties cs.LO · 2026 · author #3
2. DRAT-based Bit-Vector Proofs in CVC4 cs.LO · 2019 · author #4
3. Towards Bit-Width-Independent Proofs in SMT Solvers cs.LO · 2019 · author #4
4. Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts cs.PL · 2018 · author #7
5. Sequent systems for negative modalities cs.LO · 2017 · author #3
6. It ain't necessarily so: Basic sequent systems for negative modalities cs.LO · 2016 · author #3

Mentions

• 2605.30762 #3 · arxiv_oai · confidence 0.70 Yoni Zohar

Frequent Coauthors

• Aina Niemetz 2 shared papers
• Clark Barrett 2 shared papers
• Jo\~ao Marcos 2 shared papers
• Mathias Preiner 2 shared papers
• Ori Lahav 2 shared papers
• Alex Ozdemir 1 shared papers
• Andrew Reynolds 1 shared papers
• Benjamin Przybocki 1 shared papers
• Cesare Tinelli 1 shared papers
• Guilherme V. Toledo 1 shared papers
• Guy Golan-Gueta 1 shared papers
• Ittai Abraham 1 shared papers
• Mooly Sagiv 1 shared papers
• Noam Rinetzky 1 shared papers
• Shelly Grossman 1 shared papers
• Yan Michalevsky 1 shared papers