| Online detection of effectively callback free objects with applications to smart contracts S Grossman, I Abraham, G Golan-Gueta, Y Michalevsky, N Rinetzky, ... Proceedings of the ACM on Programming Languages 2 (POPL), 1-28, 2017 | 103 | 2017 |
| SAT-based decision procedure for analytic pure sequent calculi O Lahav, Y Zohar International Joint Conference on Automated Reasoning, 76-90, 2014 | 15 | 2014 |
| Sequent systems for negative modalities O Lahav, J Marcos, Y Zohar Logica Universalis 11 (3), 345-382, 2017 | 9 | 2017 |
| On the construction of analytic sequent calculi for sub-classical logics O Lahav, Y Zohar International Workshop on Logic, Language, Information, and Computation, 206-220, 2014 | 7 | 2014 |
| Yet another paradefinite logic: The role of conflation N Kamide, Y Zohar Logic Journal of the IGPL 27 (1), 93-117, 2019 | 6 | 2019 |
| Gen2sat: An automated tool for deciding derivability in analytic pure sequent calculi Y Zohar, A Zamansky International Joint Conference on Automated Reasoning, 487-495, 2016 | 4 | 2016 |
| Towards Bit-Width-Independent Proofs in SMT Solvers A Niemetz, M Preiner, A Reynolds, Y Zohar, C Barrett, C Tinelli International Conference on Automated Deduction, 366-384, 2019 | 3 | 2019 |
| Rexpansions of nondeterministic matrices and their applications in nonclassical logics A Avron, Y Zohar The Review of Symbolic Logic 12 (1), 173-200, 2019 | 3 | 2019 |
| Non-deterministic matrices in action: Expansions, refinements, and rexpansions A Avron, Y Zohar 2017 IEEE 47th international symposium on multiple-valued logic (ISMVL), 118-123, 2017 | 3 | 2017 |
| It ain't necessarily so: Basic sequent systems for negative modalities O Lahav, J Marcos, Y Zohar arXiv preprint arXiv:1606.04006, 2016 | 3 | 2016 |
| From the subformula property to cut-admissibility in propositional sequent calculi O Lahav, Y Zohar Journal of Logic and Computation 28 (6), 1341-1366, 2018 | 2 | 2018 |
| Cut-admissibility as a corollary of the subformula property O Lahav, Y Zohar International Conference on Automated Reasoning with Analytic Tableaux and …, 2017 | 2 | 2017 |
| ‘Mathematical’does not mean ‘Boring’: Integrating software assignments to enhance learning of logico-mathematical concepts A Zamansky, Y Zohar International Conference on Advanced Information Systems Engineering, 103-108, 2016 | 2 | 2016 |
| Resources: A Safe Language Abstraction for Money S Blackshear, DL Dill, S Qadeer, CW Barrett, JC Mitchell, O Padon, ... arXiv preprint arXiv:2004.05106, 2020 | 1 | 2020 |
| Towards automated reasoning in Herbrand structures L Cohen, RNS Rowe, Y Zohar Journal of Logic and Computation 29 (5), 693-721, 2019 | 1 | 2019 |
| Verifying Bit-vector Invertibility Conditions in Coq B Ekici, A Viswanathan, Y Zohar, C Barrett, C Tinelli arXiv preprint arXiv:1908.09478, 2019 | 1 | 2019 |
| DRAT-based Bit-Vector Proofs in CVC4 A Ozdemir, A Niemetz, M Preiner, Y Zohar, C Barrett International Conference on Theory and Applications of Satisfiability …, 2019 | 1 | 2019 |
| Finite Model Property for Modal Ideal Paraconsistent Four-Valued Logic N Kamide, Y Zohar 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL), 120-125, 2019 | 1 | 2019 |
| Reasoning Inside The Box: Deduction in Herbrand Logics L Cohen, Y Zohar GCAI, 2017 | 1 | 2017 |
| The Move Prover JE Zhong, K Cheang, S Qadeer, W Grieskamp, S Blackshear, J Park, ... International Conference on Computer Aided Verification, 137-150, 2020 | | 2020 |
Ori LahavTel Aviv UniversityVerified email at tau.ac.il
