Anna Gringauze

Symbolic Localization Reduction with Reconstruction Layering and Backtracking

Daniel Geist, Sharon Barner, Anna Gringauze, 2002, CAV.

Detecting Data Race and Atomicity Violation via Typestate-Guided Static Analysis

Anna Gringauze, Dinghao Wu, Yue Yang, 2008 .

On the Existence of Propositional Proof Systems and Oracle-relativized Propositional Logic

Shai Ben-David, Anna Gringauze, Shai Ben-David, 1998, Electron. Colloquium Comput. Complex..

An Algorithmic Approach to Design Exploration

Baruch Sterin, Shoham Ben-David, Sharon Barner, 2002, FME.

The Temporal Logic Sugar

Dana Fisman, Ilan Beer, Shoham Ben-David, 2001, CAV.