Yoni Zohar

Identifiers

No identifiers captured yet.

Papers (5)

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

Mentions

No mention provenance yet.

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
• Cesare Tinelli 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