Fingerprint
Dive into the research topics where Sharon Shoham Buchbinder 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
-
A Primal-Dual Perspective on Program Verification Algorithms
Tsukada, T., Unno, H., Padon, O. & Shoham, S., 7 Jan 2025, In: Proceedings of the ACM on Programming Languages. 9, 32 p., 68.Weizmann Institute of Science, Tel Aviv University
Research output: Contribution to journal › Article › peer-review
Open Access -
Axe 'Em: Eliminating Spurious States with Induction Axioms
Elad, N. & Shoham, S., 7 Jan 2025, In: Proceedings of the ACM on Programming Languages. 9, 17.Research output: Contribution to journal › Article › peer-review
Open Access -
Implicit Rankings for Verifying Liveness Properties in First-Order Logic
Lotan, R. & Shoham, S., 2025, Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Proceedings. Gurfinkel, A. & Heule, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 375-395 21 p. (Lecture Notes in Computer Science; vol. 15696 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Preface of the special issue on the Conference on Computer-Aided Verification 2022
Shoham, S. & Vizel, Y., 2025, (Accepted/In press) In: Formal Methods in System Design.Tel Aviv University, Technion - Israel Institute of Technology
Research output: Contribution to journal › Editorial
-
Proving Cutoff Bounds for Safety Properties in First-Order Logic
Lotan, R., Frenkel, E. & Shoham, S., 2025, Automated Technology for Verification and Analysis - 22nd International Symposium, Proceedings. Akshay, S., Niemetz, A. & Sankaranarayanan, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 135-159 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15054 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review