Scholar

Sharon Shoham

Google Scholar ID: SCP6RcEAAAAJ

Tel Aviv University

Program analysisVerificationModel checking

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

1,610

H-index

22

i10-index

42

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

3 items

Verifying First-Order Temporal Properties of Infinite-State Systems via Timers and Rankings

2026

Cited

0

Separating the Wheat from the Chaff: Understanding (In-)Completeness of Proof Mechanisms for Separation Logic with Inductive Definitions

2025

Cited

0

A Primal-Dual Perspective on Program Verification Algorithms (Extended Version)

2025

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)