MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Sitvanit Ruah" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 6 documents found, showing 1 through 6.
ATOM RSS
  • The safety simple subset  
  • by Shoham Ben-david, Dana Fisman, Sitvanit Ruah — First International Haifa Verification Conference, volume 3875 of Lecture
  • …The Safety Simple Subset ⋆ Shoham Ben-David 1 Dana Fisman 2,3⋆⋆ Sitvanit Ruah 3 1 University…
  • Cited by 1 (1 self) – Add To MetaCart
  • Automata construction for regular expressions in model checking  
  • by Shoham Ben-david, Dana Fisman, Sitvanit Ruah — 2004 — IBM research report H-0229. http://reswats1.watson.ibm.com/library/cyberdig.nsf/papers/A14E9FE3829B557785256EE6005006A5/F 0229.pdf
  • …,2 Sitvanit Ruah 1 1 IBM Haifa Research Lab 2 Weizmann Institute of Science June 30, 2004 Abstract. Industrial…
  • Cited by 4 (4 self) – Add To MetaCart
  • Embedding finite automata within regular expressions  
  • by Shoham Ben-david, Dana Fisman, Sitvanit Ruah — 2004 — In 1st International Symposium on Leveraging Applications of Formal Methods
  • … Ruah 1 shoham@(email omitted); dana@(email omitted); sitvanit@(email omitted); 1 IBM Haifa Research Lab 2 Weizmann…
  • Cited by 4 (3 self) – Add To MetaCart
Help! Showing 1 through 6.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB