On the Existence of Propositional Proof Systems and Oracle-relativized Propositional Logic. - Shai Ben-David; Anna Gringauze (Electron. Colloquium Comput. Complex., 1998)

The Temporal Logic Sugar. - Ilan Beer; Shoham Ben-David; Cindy Eisner; Dana Fisman; Anna Gringauze; Yoav Rodeh (CAV, 2001)

Symbolic Localization Reduction with Reconstruction Layering and Backtracking. - Sharon Barner; Daniel Geist; Anna Gringauze (CAV, 2002)

PathFinder: A Tool for Design Exploration. - Shoham Ben-David; Anna Gringauze; Baruch Sterin; Yaron Wolfsthal (CAV, 2002)

An Algorithmic Approach to Design Exploration. - Sharon Barner; Shoham Ben-David; Anna Gringauze; Baruch Sterin; Yaron Wolfsthal (FME, 2002)