Anna Gringauze

Publication Activity (10 Years)

Years Active: 1998-2002
Publications (10 Years): 0

Publications

Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal
An Algorithmic Approach to Design Exploration. FME (2002)
Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal
PathFinder: A Tool for Design Exploration. CAV (2002)
Sharon Barner, Daniel Geist, Anna Gringauze
Symbolic Localization Reduction with Reconstruction Layering and Backtracking. CAV (2002)
Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh
The Temporal Logic Sugar. CAV (2001)
Shai Ben-David, Anna Gringauze
On the Existence of Propositional Proof Systems and Oracle-relativized Propositional Logic. Electron. Colloquium Comput. Complex. 5 (21) (1998)