Research output per year
Research output per year
Personal profile
About Me
Research:
Satisfiability Modulo Theories , Automated Reasoning
Education/Academic qualification
מדעי המחשב
Oct 2013 → Sep 2018
מדעי המחשב
Oct 2008 → 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
-
Combining Combination Properties: An Analysis of Stable Infiniteness, Convexity, and Politeness
Toledo, G. V., Zohar, Y. & Barrett, C., 2023, Automated Deduction – CADE 29 - 29th International Conference on Automated Deduction, Proceedings. Pientka, B. & Tinelli, C. (eds.). Springer Science and Business Media Deutschland GmbH, p. 522-541 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14132 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Combining Finite Combination Properties: Finite Models and Busy Beavers
Toledo, G. V., Zohar, Y. & Barrett, C., 2023, Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Proceedings. Sattler, U. & Suda, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 159-175 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14279 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Combining Stable Infiniteness and (Strong) Politeness
Sheng, Y., Zohar, Y., Ringeissen, C., Reynolds, A., Barrett, C. & Tinelli, C., Dec 2023, In: Journal of Automated Reasoning. 67, 4, 34.Research output: Contribution to journal › Article › peer-review
-
DNN Verification, Reachability, and the Exponential Function Problem
Isac, O., Zohar, Y., Barrett, C. & Katz, G., Sep 2023, 34th International Conference on Concurrency Theory, CONCUR 2023. Perez, G. A. & Raskin, J-F. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 26. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 279).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Scopus citations -
Formal Verification of Bit-Vector Invertibility Conditions in Coq
Ekici, B., Viswanathan, A., Zohar, Y., Tinelli, C. & Barrett, C., 2023, Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Proceedings. Sattler, U. & Suda, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 41-59 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14279 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access