Yunshan Zhu

From MaRDI portal
Person:209460

Available identifiers

zbMath Open zhu.yunshanMaRDI QIDQ209460

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q48175332004-09-24Paper
A satisfiability procedure for quantified Boolean formulae2003-09-15Paper
Verification of out-of-order processor designs using model Checking and a light-weight completion function2002-07-08Paper
Bounded model checking using satisfiability solving2002-05-21Paper
Ordered semantic hyper-linking2001-02-06Paper
https://portal.mardi4nfdi.de/entity/Q45039032000-09-14Paper
https://portal.mardi4nfdi.de/entity/Q49499192000-05-07Paper
https://portal.mardi4nfdi.de/entity/Q42555651999-08-17Paper
https://portal.mardi4nfdi.de/entity/Q43452531997-07-22Paper

Research outcomes over time

This page was built for person: Yunshan Zhu

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:209460&oldid=6577449"
Powered by MediaWiki