Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDYoni Zohar
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
[i9]Ying Sheng, Yoni Zohar, Christophe Ringeissen, Andrew Reynolds, Clark W. Barrett, Cesare Tinelli:
Politeness and Stable Infiniteness: Stronger Together. CoRR abs/2104.11738 (2021)- [i8]Yoni Zohar, Ahmed Irfan, Makai Mann, Andres Nötzli, Andrew Reynolds, Clark W. Barrett:
lazybvtoint at the SMT Competition 2020. CoRR abs/2105.09743 (2021) - 2020
- [j10]Norihiro Kamide, Yoni Zohar:
Modal extension of ideal paraconsistent four-valued logic and its subsystem. Ann. Pure Appl. Log. 171(10): 102830 (2020) - [j9]Norihiro Kamide
, Yoni Zohar:
Completeness and Cut-Elimination for First-Order Ideal Paraconsistent Four-Valued Logic. Stud Logica 108(3): 549-571 (2020) - [c15]Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark W. Barrett:
Politeness for the Theory of Algebraic Datatypes. IJCAR (1) 2020: 238-255 - [c14]Jingyi Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, Sam Blackshear, Junkil Park, Yoni Zohar, Clark W. Barrett, David L. Dill:
The Move Prover. CAV (1) 2020: 137-150 - [i7]Ying Sheng, Yoni Zohar, Christophe Ringeissen, Jane Lange, Pascal Fontaine, Clark W. Barrett:
Politeness for the Theory of Algebraic Datatypes. CoRR abs/2004.04854 (2020) - [i6]Sam Blackshear, David L. Dill, Shaz Qadeer, Clark W. Barrett, John C. Mitchell, Oded Padon, Yoni Zohar:
Resources: A Safe Language Abstraction for Money. CoRR abs/2004.05106 (2020)
2010 – 2019
- 2019
- [j8]Norihiro Kamide, Yoni Zohar:
Yet another paradefinite logic: The role of conflation1. Log. J. IGPL 27(1): 93-117 (2019) - [j7]Liron Cohen, Reuben N. S. Rowe, Yoni Zohar:
Towards automated reasoning in Herbrand structures. J. Log. Comput. 29(5): 693-721 (2019) - [j6]Ori Lahav, João Marcos, Yoni Zohar:
Correction to: Sequent Systems for Negative Modalities. Logica Universalis 13(1): 135 (2019) - [j5]Arnon Avron, Yoni Zohar:
Rexpansions of Nondeterministic matrices and their Applications in nonclassical Logics. Rev. Symb. Log. 12(1): 173-200 (2019) - [j4]Ori Lahav, Yoni Zohar:
Pure Sequent Calculi: Analyticity and Decision Procedure. ACM Trans. Comput. Log. 20(3): 13:1-13:38 (2019) - [c13]Yoni Zohar, Dmitry Tishkovsky, Renate A. Schmidt, Anna Zamansky:
Automating Automated Reasoning - The Case of Two Generic Automated Reasoning Tools. Description Logic, Theory Combination, and All That 2019: 610-638 - [c12]Aina Niemetz, Mathias Preiner, Andrew Reynolds, Yoni Zohar, Clark W. Barrett, Cesare Tinelli:
Towards Bit-Width-Independent Proofs in SMT Solvers. CADE 2019: 366-384 - [c11]Norihiro Kamide, Yoni Zohar:
Finite Model Property for Modal Ideal Paraconsistent Four-Valued Logic. ISMVL 2019: 120-125 - [c10]Alex Ozdemir, Aina Niemetz, Mathias Preiner, Yoni Zohar, Clark W. Barrett:
DRAT-based Bit-Vector Proofs in CVC4. SAT 2019: 298-305 - [c9]Burak Ekici, Arjun Viswanathan, Yoni Zohar, Clark W. Barrett, Cesare Tinelli:
Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract). PxTP 2019: 18-26 - [i5]Aina Niemetz, Mathias Preiner, Andrew Reynolds, Yoni Zohar, Clark W. Barrett, Cesare Tinelli:
Towards Bit-Width-Independent Proofs in SMT Solvers. CoRR abs/1905.10434 (2019) - [i4]Alex Ozdemir, Aina Niemetz, Mathias Preiner, Yoni Zohar, Clark W. Barrett:
DRAT-based Bit-Vector Proofs in CVC4. CoRR abs/1907.00087 (2019) - 2018
- [j3]Ori Lahav, Yoni Zohar:
From the subformula property to cut-admissibility in propositional sequent calculi. J. Log. Comput. 28(6): 1341-1366 (2018) - [j2]Shelly Grossman, Ittai Abraham, Guy Golan-Gueta, Yan Michalevsky, Noam Rinetzky, Mooly Sagiv, Yoni Zohar:
Online detection of effectively callback free objects with applications to smart contracts. Proc. ACM Program. Lang. 2(POPL): 48:1-48:28 (2018) - [i3]Shelly Grossman, Ittai Abraham, Guy Golan-Gueta, Yan Michalevsky, Noam Rinetzky, Mooly Sagiv, Yoni Zohar:
Online Detection of Effectively Callback Free Objects with Applications to Smart Contracts. CoRR abs/1801.04032 (2018) - 2017
- [j1]Ori Lahav, João Marcos, Yoni Zohar:
Sequent Systems for Negative Modalities. Logica Universalis 11(3): 345-382 (2017) - [c8]Liron Cohen, Yoni Zohar:
Reasoning Inside The Box: Deduction in Herbrand Logics. GCAI 2017: 107-120 - [c7]Arnon Avron, Yoni Zohar:
Non-Deterministic Matrices in Action: Expansions, Refinements, and Rexpansions. ISMVL 2017: 118-123 - [c6]Ori Lahav, Yoni Zohar:
Cut-Admissibility as a Corollary of the Subformula Property. TABLEAUX 2017: 65-80 - [i2]Ori Lahav, João Marcos, Yoni Zohar:
Sequent systems for negative modalities. CoRR abs/1706.05945 (2017) - 2016
- [c5]Ori Lahav, João Marcos, Yoni Zohar:
It ain't necessarily so: Basic sequent systems for negative modalities. Advances in Modal Logic 2016: 449-468 - [c4]Yoni Zohar, Anna Zamansky:
Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi. IJCAR 2016: 487-495 - [c3]Anna Zamansky, Yoni Zohar:
'Mathematical' Does Not Mean 'Boring': Integrating Software Assignments to Enhance Learning of Logico-Mathematical Concepts. CAiSE Workshops 2016: 103-108 - [i1]Ori Lahav, João Marcos, Yoni Zohar:
It ain't necessarily so: Basic sequent systems for negative modalities. CoRR abs/1606.04006 (2016) - 2014
- [c2]Ori Lahav, Yoni Zohar:
SAT-Based Decision Procedure for Analytic Pure Sequent Calculi. IJCAR 2014: 76-90 - [c1]Ori Lahav, Yoni Zohar:
On the Construction of Analytic Sequent Calculi for Sub-classical Logics. WoLLIC 2014: 206-220
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2021-06-02 01:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp has been originally created in 1993 at:
since 2018, dblp is operated and maintained by:
the dblp computer science bibliography is funded and supported by:
