MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Xudong Zhao" – 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

Combining symbolic computation and theorem proving: some problems of Ramanujan
by Edmund Clarke, Xudong Zhao — 1994 — In A. Bundy (Ed.), Automated Deduction (CADE-12
… Xudong Zhao January 1994 CMU-CS-94-103 School of Computer Science Carnegie Mellon University Pittsburgh…
Cited by 10 (2 self) – Add To MetaCart

Analytica - A Theorem Prover for Mathematica
by Edmund Clarke, Xudong Zhao — 1993 — The Mathematica Journal
…Analytica --- A Theorem Prover for Mathematica Edmund Clarke Xudong Zhao September 1992 CMU-CS-92…
Cited by 33 (1 self) – Add To MetaCart

Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking
by Yirng-an Chen, Edmund Clarke, Pei-Hsin Ho, Yatin Hoskote, Timothy Kam, Manpreet Khaira, John O'Leary, Xudong Zhao — 1996 — In Proceedings of the Formal Methods on Computer-Aided Design
… Khaira ?? , John O'Leary ?? , Xudong Zhao ?? Abstract This paper presents the formal verification…
Cited by 22 (7 self) – Add To MetaCart

Yirng-An Chen
by University Address Contact, Yirng-an Chen, Al E. Bryant (chair, Edmund M. Clarke, Rob A. Rutenbar, Xudong Zhao (intel
…: Randal E. Bryant (Chair), Edmund M. Clarke, Rob. A. Rutenbar, Xudong Zhao (Intel). National Tsing…
Add To MetaCart

Showing 1 through 4.

ATOM

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