Scholar
Sharon Shoham
Google Scholar ID: SCP6RcEAAAAJ
Tel Aviv University
Program analysis
Verification
Model checking
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,610
H-index
22
i10-index
42
Publications
20
Co-authors
0
Publications
5 items
Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property
2026
Cited
0
Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
2026
Cited
0
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
