Anna Gringauze

According to our database, Anna Gringauze authored at least 5 papers between 1998 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2002

An Algorithmic Approach to Design Exploration.

Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal

Proceedings of the FME 2002: Formal Methods, 2002

PathFinder: A Tool for Design Exploration.

Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

Symbolic Localization Reduction with Reconstruction Layering and Backtracking.

Sharon Barner, Daniel Geist, Anna Gringauze

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

The Temporal Logic Sugar.

Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

1998

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

Shai Ben-David, Anna Gringauze

Electron. Colloquium Comput. Complex., 1998