Summing up Smart Transitions. - Neta Elad; Sophie Rain; Neil Immerman; Laura Kovács; Mooly Sagiv (CAV (1), 2021)

An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification. - Neta Elad; Oded Padon; Sharon Shoham (Proc. ACM Program. Lang., 2024)

Axe 'Em: Eliminating Spurious States with Induction Axioms. - Neta Elad; Sharon Shoham (Proc. ACM Program. Lang., 2025)