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: Zhao:Xudong
Contributed to:
1999
199619961995
199419931992Wrote 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.