MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Ou Wei" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Preliminary Requirements Checking Tool
by Ou Wei — 2001
…Preliminary Requirements Checking Tool By Ou Wei, M.Eng. B.Sc. A Thesis Submitted to the School…
Add To MetaCart

Identification and Counter Abstraction for Full Virtual Symmetry
by Ou Wei Arie Gurfinkel — 2005 — In CHARME’05, volume 3725 of LNCS
… Identification and Counter Abstraction for Full VirtualSymmetry Ou Wei, Arie Gurfinkel…
Cited by 2 (2 self) – Add To MetaCart

Identification and Counter Abstraction for Full Virtual Symmetry
by Ou Wei, Arie Gurfinkel, Marsha Chechik — 2005 — In Proceedings of 13th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME’05), volume 3725 of LNCS
…Identification and Counter Abstraction for Full Virtual Symmetry Ou Wei, Arie Gurfinkel…
Cited by 2 (2 self) – Add To MetaCart

Systematic Construction of Abstractions for Model-Checking
by Arie Gurfinkel, Ou Wei, Marsha Chechik — 2006 — In Proceedings of 7th International Conference on Verification, Model-Checking, and Abstract Interpretation (VMCAI’06), volume 3855 of LNCS
…Systematic Construction of Abstractions for Model-Checking Arie Gurfinkel, Ou Wei, and Marsha…
Cited by 8 (3 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB