Xudong Zhao
Affiliations:- Intel Corporation, Hillsboro, OR, USA
- Carnegie Mellon University, Pittsburgh, PA, USA
According to our database1,
Xudong Zhao
authored at least 12 papers
between 1992 and 1999.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1999
Formal Methods Syst. Des., 1999
Proceedings of the 36th Conference on Design Automation, 1999
1998
J. Autom. Reason., 1998
1997
Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping.
Formal Methods Syst. Des., 1997
1996
Proceedings of the Mathematical Foundations of Computer Science 1996, 1996
Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking.
Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996
Proceedings of the 33st Conference on Design Automation, 1996
1995
Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, 1995
Proceedings of the 32st Conference on Design Automation, 1995
1994
Proceedings of the 1994 IEEE International Symposium on Circuits and Systems, ISCAS 1994, London, England, UK, May 30, 1994
Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994
1992
Proceedings of the Automated Deduction, 1992