MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Ranan Fraer" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 10 documents found, showing 1 through 10.
ATOM RSS
  • Derivation of a Minimum Spanning Tree Algorithm  
  • by Ranan Fraer — 1997
  • …View of a Graph As the components of the graph will have to be accessed by several modules it is worth encapsulating them into an abstract machine that should be shared by the other modules. We prefer the sharing mechanism provided by the SEES clause since it is a full-hiding one, supporting indepe…
  • Add To MetaCart
  • A Discipline of B  
  • by Fernando Mejia, Ranan Fraer, Denis Sabatier
  • …A Discipline of B Fernando Mejia 1 and Ranan Fraer 2 and Denis Sabatier 3 1 GEC Alsthom, 33…
  • Add To MetaCart
  • Efficient LT L Compilation for SAT -based Model Checking  
  • by Roy Armoni Sergey, Sergey Egorov, Ranan Fraer — 2005 — In Proc. Int’l Conf. on Computer-Aided Design
  • …Efficient LTL Compilation for SAT-based Model Checking Roy Armoni, Sergey Egorov, Ranan Fraer…
  • Add To MetaCart
  • Is There a Best Symbolic Cycle-Detection Algorithm?  
  • by Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang — 2001 — In Proc. Tools and Algorithms for Construction and Analysis of Systems, volume 2031 of LNCS
  • …Is There a Best Symbolic Cycle-Detection Algorithm? Kathi Fisler 1;4 , Ranan Fraer 2 , Gila…
  • Cited by 15 (2 self) – Add To MetaCart
Help! Showing 1 through 10.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB