Yoni Zohar
Titel
Zitiert von
Zitiert von
Jahr
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
1132017
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
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
42019
Rexpansions of Nondeterministic matrices and their Applications in nonclassical Logics.
A Avron, Y Zohar
Rev. Symb. Log. 12 (1), 173-200, 2019
42019
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
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
‘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
32016
It ain't necessarily so: Basic sequent systems for negative modalities
O Lahav, J Marcos, Y Zohar
arXiv preprint arXiv:1606.04006, 2016
32016
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
22020
Verifying bit-vector invertibility conditions in coq
B Ekici, A Viswanathan, Y Zohar, C Barrett, C Tinelli
arXiv preprint arXiv:1908.09478, 2019
22019
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
The Move Prover
JE Zhong, K Cheang, S Qadeer, W Grieskamp, S Blackshear, J Park, ...
International Conference on Computer Aided Verification, 137-150, 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
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20