MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Ying Qin" – sorted by Relevance.

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

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

5 documents found, showing 1 through 5.

ATOM

Counterexample Minimization for ACTL ShengYu Shen
by Ying Qin And, Shengyu Shen, Ying Qin, Sikun Li
…Counterexample Minimization for ACTL ShengYu Shen 1 , Ying Qin 1 , and SiKun Li 1 Office 607…
Add To MetaCart

Minimizing Counterexample of ACTL Property
by ShengYu Shen, Ying Qin, SiKun Li — 2005 — PROC. OF THE 13TH ADVANCED RESEARCH WORKING CONF. ON CORRECT HARDWARE DESIGN AND VERIFICATION METHODS (CHARME 2005). LNCS 3725
…Minimizing Counterexample of ACTL Property ShengYu Shen, Ying Qin, and SiKun Li School of Computer…
Cited by 1 (0 self) – Add To MetaCart

Minimizing Counterexample With Unit Core Extraction and Incremental SAT
by ShengYu Shen, Ying Qin, Sikun Li — 2005 — IN VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION
…Minimizing Counterexample with Unit Core Extraction and Incremental SAT ShengYu Shen, Ying Qin…
Cited by 6 (3 self) – Add To MetaCart

Localizing Errors in Counterexample with
by Iteratively Witness Searching, Shengyu Shen, Ying Qin, Sikun Li — 2004 — In Automated Technology for Verification and Analysis
…Localizing Errors in Counterexample with Iteratively Witness Searching ShengYu Shen, Ying Qin…
Add To MetaCart

BMC Medical Informatics and Decision Making Database NIDDK data repository: a central collection of clinical trial data
by A Jamie Cuticchia, Philip C Cooley, R David Hall, Ying Qin, Biomed Central — 2006
… of clinical trial data A Jamie Cuticchia* 1 , Philip C Cooley2 , R David Hall2 and Ying Qin2 BioMed Central…
Add To MetaCart

Showing 1 through 5.

ATOM

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