Concepedia

Yoni Zohar

YZ

Statistics

Publications

4

Citations

59

H-Index

4

Active since

2017

Affiliations

Tel Aviv University(Current)

Stanford University

Yoni Zohar is an author at Tel Aviv University specializing in computer science, formal methods, and non-classical semantics.

Publications per year

2017–2023

4

Publications

4

Online detection of effectively callback free objects with applications to smart contracts

Shelly Grossman, Ittai Abraham, Guy Golan-Gueta et al. · Proceedings of the ACM on Programming Languages · 2017 · 17 citations · Full text

Computing, Computer Science, Computer Systems +9

Generating and Exploiting Automated Reasoning Proof Certificates

Haniel Barbosa, Clark Barrett, Byron Cook et al. · Communications of the ACM · 2023 · 16 citations

Computing, Computer Science, Algorithms +15

REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS

Arnon Avron, Yoni Zohar · The Review of Symbolic Logic · 2018 · 15 citations

Humanities, Computer Science, Mathematics +15

Sequent Systems for Negative Modalities

Ori Lahav, João Marcos, Yoni Zohar · Logica Universalis · 2017 · 11 citations · Full text

Humanities, Computer Science, Philosophy +16

1–4 of 4