BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
6 × USA
Collaborated with:
E.M.Clarke K.L.McMillan S.M.German M.Khaira Y.V.Hoskote T.Kam P.Ho O.Grumberg M.Fujita J.Yang
Talks about:
theorem (3) symbol (3) model (3) check (3) prove (2) counterexampl (1) mathematica (1) transform (1) technolog (1) ramanujan (1)

Person: Xudong Zhao

DBLP DBLP: Zhao:Xudong

Contributed to:

DAC 19991999
CAV 19961996
DAC 19961996
DAC 19951995
CADE 19941994
DAC 19931993
CADE 19921992

Wrote 7 papers:

DAC-1999-HoskoteKHZ #estimation #model checking
Coverage Estimation for Symbolic Model Checking (YVH, TK, PHH, XZ), pp. 300–305.
CAV-1996-ClarkeGZ #algorithm #proving #theorem proving #using #verification
Verifying the SRT Division Algorithm Using Theorem Proving Techniques (EMC, SMG, XZ), pp. 111–122.
DAC-1996-ClarkeKZ #fault #model checking #word
Word Level Model Checking — Avoiding the Pentium FDIV Error (EMC, MK, XZ), pp. 645–648.
DAC-1995-ClarkeGMZ #generative #model checking #performance
Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking (EMC, OG, KLM, XZ), pp. 427–432.
CADE-1994-ClarkeZ #problem #proving #symbolic computation #theorem proving
Combining Symbolic Computation and Theorem Proving: Some Problems of Ramanujan (EMC, XZ), pp. 758–763.
DAC-1993-ClarkeMZFY #scalability
Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping (EMC, KLM, XZ, MF, JY), pp. 54–60.
CADE-1992-ClarkeZ #named #proving #theorem proving
Analytica — A Theorem Prover in Mathematica (EMC, XZ), pp. 761–765.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.