Scholar
Yoni Zohar
Google Scholar ID: WMHRQ-8AAAAJ
Bar Ilan University
Satisfiability Modulo Theories
Formal Verification
Proof Theory
Non-classical Logics
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,480
H-index
13
i10-index
20
Publications
20
Co-authors
24
list available
Publications
7 items
Two Generalizations of Shininess
Workshop on Logic, Language, Information and Computation · 2026
Cited
0
Automated Reasoning with Nested Datatypes
2026
Cited
0
Bringing closure to theory combination properties
2026
Cited
0
Characterizing Sets of Theories That Can Be Disjointly Combined
2025
Cited
0
Shininess, strong politeness, and unicorns
2025
Cited
0
Number theory combination: natural density and SMT
2025
Cited
0
Being polite is not enough (and other limits of theory combination)
2025
Cited
0
Co-authors
10 total
Clark Barrett
Stanford University
Cesare Tinelli
Professor of Computer Science, The University of Iowa
Andrew Reynolds
University of Iowa, Amazon Web Services
Mathias Preiner
Stanford University
Ying Sheng
xAI
Ori Lahav
Tel Aviv University
David L. Dill
Professor, Emeritus, of Computer Science, Stanford University
Shaz Qadeer
Microsoft
