Sharon Barner (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Sharon Barner, Daniel Geist, Anna Gringauze: Symbolic Localization Reduction with Reconstruction Layering and Backtracking. CAV 2002: 65-77

1 Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal: An Algorithmic Approach to Design Exploration. FME 2002: 146-162

Selection of 2 from 7 records - Sharon Barner has 10 coauthors

3		Sharon Barner, Daniel Geist, Anna Gringauze: Symbolic Localization Reduction with Reconstruction Layering and Backtracking. CAV 2002: 65-77
1		Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal: An Algorithmic Approach to Design Exploration. FME 2002: 146-162