No photo of Hai Zhou

View Scopus Profile

Hai Zhou

 https://orcid.org/0000-0003-4824-7179
Calculated based on number of publications stored in Pure and citations from Scopus
Calculated based on number of publications stored in Pure and citations from Scopus
Calculated based on number of publications stored in Pure and citations from Scopus
1996 …2025

Research activity per year

Filter
Conference contribution

Search results

  • 2004

    Wire retiming for system-on-chip by fixpoint computation

    Lin, C. & Zhou, H., 2004, Proceedings - Design, Automation and Test in Europe Conference and Exhibition, DATE 04. Gielen, G. & Figueras, J. (eds.). p. 1092-1097 6 p. (Proceedings - Design, Automation and Test in Europe Conference and Exhibition; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Scopus citations
  • 2003

    Interconnect-driven floorplanning by searching alternative packings

    Sham, C. W., Young, E. F. Y. & Zhou, H., 2003, Proceedings of the ASP-DAC 2003 Asia and South Pacific Design Automation Conference. Institute of Electrical and Electronics Engineers Inc., p. 417-422 6 p. 1195051. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC; vol. 2003-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    2 Scopus citations
  • 2002

    Clock Schedule Verification with Crosstalk

    Zhou, H., 2002, ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems. Association for Computing Machinery (ACM), p. 78-83 6 p. (ACM/IEEE International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Scopus citations
  • 2001

    Efficient minimum spanning tree construction without Delaunay triangulation [VLSI CAD]

    Zhou, H., Shenoy, N. & Nicholls, W., 2001, Proceedings of the ASP-DAC 2001: Asia and South Pacific Design Automation Conference 2001. Institute of Electrical and Electronics Engineers Inc., p. 192-197 6 p. 913303. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC; vol. 2001-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    25 Scopus citations
  • 2000

    Buffer minimization in pass transistor logic

    Zhou, H. & Aziz, A., Jan 1 2000, Proceedings of the International Symposium on Physical Design. ACM, p. 105-110 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1998

    BDD based procedures for a theory of equality with uninterpreted functions

    Goel, A., Sajid, K., Zhou, H., Aziz, A. & Singhal, V., 1998, Computer Aided Verification - 10th International Conference, CAV'98, Proceedings. Springer Verlag, p. 244-255 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1427 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    51 Scopus citations
  • 1997

    Crosstalk-constrained maze routing based on Lagrangian relaxation

    Zhou, H. & Wong, D. F., Dec 1 1997, Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors. Anon (ed.). IEEE, p. 628-633 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    7 Scopus citations