Yoni Zohar
Title
Cited by
Cited by
Year
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
1032017
SAT-based decision procedure for analytic pure sequent calculi
O Lahav, Y Zohar
International Joint Conference on Automated Reasoning, 76-90, 2014
152014
Sequent systems for negative modalities
O Lahav, J Marcos, Y Zohar
Logica Universalis 11 (3), 345-382, 2017
92017
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
72014
Yet another paradefinite logic: The role of conflation
N Kamide, Y Zohar
Logic Journal of the IGPL 27 (1), 93-117, 2019
62019
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
42016
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
32019
Rexpansions of nondeterministic matrices and their applications in nonclassical logics
A Avron, Y Zohar
The Review of Symbolic Logic 12 (1), 173-200, 2019
32019
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
32017
It ain't necessarily so: Basic sequent systems for negative modalities
O Lahav, J Marcos, Y Zohar
arXiv preprint arXiv:1606.04006, 2016
32016
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
22018
Cut-admissibility as a corollary of the subformula property
O Lahav, Y Zohar
International Conference on Automated Reasoning with Analytic Tableaux and …, 2017
22017
‘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
22016
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
12020
Towards automated reasoning in Herbrand structures
L Cohen, RNS Rowe, Y Zohar
Journal of Logic and Computation 29 (5), 693-721, 2019
12019
Verifying Bit-vector Invertibility Conditions in Coq
B Ekici, A Viswanathan, Y Zohar, C Barrett, C Tinelli
arXiv preprint arXiv:1908.09478, 2019
12019
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
12019
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
12019
Reasoning Inside The Box: Deduction in Herbrand Logics
L Cohen, Y Zohar
GCAI, 2017
12017
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
The system can't perform the operation now. Try again later.
Articles 1–20