Research output per year
Research output per year
Personal profile
About Me
I am a faculty member in the Department of Computer Science, Bar Ilan University. Before coming to Bar Ilan, I was a postdoctoral researcher in Clark Barrett's group at Stanford University. Before that, I was a Ph.D. student under the supervision of Arnon Avron at Tel Aviv University.
Research:
Satisfiability Modulo Theories , Automated Reasoning
Education/Academic qualification
PhD, Tel Aviv University
Oct 2013 → Sep 2018
Award Date: 30 Sep 2018
Master's Degree, Tel Aviv University
Oct 2008 → Sep 2013
Award Date: 30 Sep 2013
Fingerprint
Dive into the research topics where Yoni Zohar is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Preface
Akshay, S., Niemetz, A., Sankaranarayanan, S., Jonáš, M., Preiner, M. & Zohar, Y., 2025, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 15055 LNCS, p. v-viiResearch output: Contribution to journal › Editorial
-
Preface
Akshay, S., Niemetz, A., Sankaranarayanan, S., Jonáš, M., Preiner, M. & Zohar, Y., 2025, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 15054 LNCS, p. v-viiResearch output: Contribution to journal › Editorial
-
Satisfiability Modulo Theories: A Beginner’s Tutorial
Barrett, C., Tinelli, C., Barbosa, H., Niemetz, A., Preiner, M., Reynolds, A. & Zohar, Y., 2025, Formal Methods - 26th International Symposium, FM 2024, Proceedings. Platzer, A., Rozier, K. Y., Pradella, M. & Rossi, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 571-596 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14934 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations -
The Nonexistence of Unicorns and Many-Sorted Löwenheim–Skolem Theorems
Przybocki, B., Toledo, G., Zohar, Y. & Barrett, C., 2025, Formal Methods - 26th International Symposium, FM 2024, Proceedings. Platzer, A., Rozier, K. Y., Pradella, M. & Rossi, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 658-675 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14933 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Combining Combination Properties: Minimal Models
Toledo, G. V. & Zohar, Y., 2024, In: EPiC Series in Computing. 100, p. 19-35 17 p.Research output: Contribution to journal › Conference article › peer-review
Open Access