 | 2002 |
|---|
| 5 |       | Shoham Ben-David,
Anna Gringauze,
Baruch Sterin,
Yaron Wolfsthal:
PathFinder: A Tool for Design Exploration.
CAV 2002: 510-514 |
| 4 | | Sharon Barner,
Daniel Geist,
Anna Gringauze:
Symbolic Localization Reduction with Reconstruction Layering and Backtracking.
CAV 2002: 65-77 |
| 3 | | Sharon Barner,
Shoham Ben-David,
Anna Gringauze,
Baruch Sterin,
Yaron Wolfsthal:
An Algorithmic Approach to Design Exploration.
FME 2002: 146-162 |
| 2001 |
|---|
| 2 | | Ilan Beer,
Shoham Ben-David,
Cindy Eisner,
Dana Fisman,
Anna Gringauze,
Yoav Rodeh:
The Temporal Logic Sugar.
CAV 2001: 363-367 |
| 1998 |
|---|
| 1 | | Shai Ben-David,
Anna Gringauze:
On the Existence of Propositional Proof Systems and Oracle-relativized Propositional Logic.
Electronic Colloquium on Computational Complexity (ECCC) 5(21): (1998) |
