MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Yoad Lustig" – 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
  • Lattice automata  
  • by Orna Kupferman, Yoad Lustig — 2007 — In Proc. 8th International Conference on Verification, Model Checking, and Abstract Interpretation
  • …Lattice Automata Orna Kupferman and Yoad Lustig Hebrew University, School of Engineering…
  • Cited by 4 (1 self) – Add To MetaCart
  • On locally checkable properties  
  • by Orna Kupferman, Yoad Lustig, Moshe Y. Vardi — 2006 — In Proceedings of the 13th International Conference on Logic for Programming Artifitial Intelligence and Reasoning (LPAR 2006
  • …On Locally Checkable Properties Orna Kupferman1 ⋆ , Yoad Lustig1 2 ⋆⋆ , and Moshe Y. Vardi 1…
  • Cited by 1 (0 self) – Add To MetaCart
  • On Locally Checkable Properties  
  • by Orna Kupferman Yoad, Orna Kupferman, Yoad Lustig, Moshe Y. Vardi — 2006 — In Proceedings of the 13th International Conference on Logic for Programming Artifitial Intelligence and Reasoning (LPAR 2006
  • …On Locally Checkable Properties Orna Kupferman1 ⋆ , Yoad Lustig1 2 ⋆⋆ , and Moshe Y. Vardi 1…
  • Add To MetaCart
Help! Showing 1 through 6.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB