The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Pei-Hsin Ho: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Eduard Cerny, Ashvin Dsouza, Kevin Harer, Pei-Hsin Ho, Hi-Keung Tony Ma
    Supporting sequential assumptions in hybrid verification. [Citation Graph (0, 0)][DBLP]
    ASP-DAC, 2005, pp:1035-1038 [Conf]
  2. Pei-Hsin Ho
    Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
    ATVA, 2004, pp:7- [Conf]
  3. Pei-Hsin Ho, Howard Wong-Toi
    Automated Analysis of an Audio Control Protocol. [Citation Graph (0, 0)][DBLP]
    CAV, 1995, pp:381-394 [Conf]
  4. Thomas A. Henzinger, Pei-Hsin Ho
    Algorithmic Analysis of Nonlinear Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1995, pp:225-238 [Conf]
  5. Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
    HYTECH: A Model Checker for Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:460-463 [Conf]
  6. Yongseok Cheon, Pei-Hsin Ho, Andrew B. Kahng, Sherief Reda, Qinke Wang
    Power-aware placement. [Citation Graph (0, 0)][DBLP]
    DAC, 2005, pp:795-800 [Conf]
  7. Yatin Vasant Hoskote, Timothy Kam, Pei-Hsin Ho, Xudong Zhao
    Coverage Estimation for Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
    DAC, 1999, pp:300-305 [Conf]
  8. Freddy Y. C. Mang, Pei-Hsin Ho
    Abstraction refinement by controllability and cooperativeness analysis. [Citation Graph (0, 0)][DBLP]
    DAC, 2004, pp:224-229 [Conf]
  9. Dong Wang, Pei-Hsin Ho, Jiang Long, James H. Kukula, Yunshan Zhu, Hi-Keung Tony Ma, Robert F. Damiano
    Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines. [Citation Graph (0, 0)][DBLP]
    DAC, 2001, pp:35-40 [Conf]
  10. Yirng-An Chen, Edmund M. Clarke, Pei-Hsin Ho, Yatin Vasant Hoskote, Timothy Kam, Manpreet Khaira, John W. O'Leary, Xudong Zhao
    Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking. [Citation Graph (0, 0)][DBLP]
    FMCAD, 1996, pp:19-33 [Conf]
  11. Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho
    Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1992, pp:209-229 [Conf]
  12. Thomas A. Henzinger, Pei-Hsin Ho
    A Note on Abstract Interpretation Strategies for Hybrid Automata. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1994, pp:252-264 [Conf]
  13. Thomas A. Henzinger, Pei-Hsin Ho
    HYTECH: The Cornell HYbrid TECHnology Tool. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1994, pp:265-293 [Conf]
  14. Pei-Hsin Ho, Adrian J. Isles, Timothy Kam
    Formal verification of pipeline control using controlled token nets and abstract interpretation. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1998, pp:529-536 [Conf]
  15. Pei-Hsin Ho, Thomas R. Shiple, Kevin Harer, James H. Kukula, Robert F. Damiano, Valeria Bertacco, Jerry Taylor, Jiang Long
    Smart Simulation Using Collaborative Formal and Simulation Engines. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2000, pp:120-126 [Conf]
  16. Yu-Min Kuo, Cheng-Hung Lin, Chun-Yao Wang, Shih-Chieh Chang, Pei-Hsin Ho
    Intelligent Random Vector Generator Based on Probability Analysis of Circuit Structure. [Citation Graph (0, 0)][DBLP]
    ISQED, 2007, pp:344-349 [Conf]
  17. Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho
    Automatic Symbolic Verification of Embedded Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1993, pp:2-11 [Conf]
  18. Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
    HyTech: The Next Generation. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time Systems Symposium, 1995, pp:56-65 [Conf]
  19. Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
    A User Guide to HyTech. [Citation Graph (0, 0)][DBLP]
    TACAS, 1995, pp:41-71 [Conf]
  20. Gerard J. Chang, Pei-Hsin Ho
    The ß-assignment problem in general graphs. [Citation Graph (0, 0)][DBLP]
    Computers & OR, 1997, v:24, n:8, pp:757-765 [Journal]
  21. Freddy Y. C. Mang, Pei-Hsin Ho
    Controllability and Cooperativeness Analysis for Automatic Abstraction Refinement. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 2006, v:17, n:4, pp:763-774 [Journal]
  22. Tung-Lin Lu, Pei-Hsin Ho, Gerard J. Chang
    The Domatic Number Problem in Interval Graphs. [Citation Graph (0, 0)][DBLP]
    SIAM J. Discrete Math., 1990, v:3, n:4, pp:531-536 [Journal]
  23. Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
    HYTECH: A Model Checker for Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    STTT, 1997, v:1, n:1-2, pp:110-122 [Journal]
  24. Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine
    The Algorithmic Analysis of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:138, n:1, pp:3-34 [Journal]
  25. Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho
    Automatic Symbolic Verification of Embedded Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1996, v:22, n:3, pp:181-201 [Journal]
  26. Freddy Y. C. Mang, Wenting Hou, Pei-Hsin Ho
    Techniques for Effective Distributed Physical Synthesis. [Citation Graph (0, 0)][DBLP]
    DAC, 2007, pp:859-864 [Conf]

  27. GPU friendly fast Poisson solver for structured power grid network analysis. [Citation Graph (, )][DBLP]


  28. Industrial clock design. [Citation Graph (, )][DBLP]


  29. On improving optimization effectiveness in interconnect-driven physical synthesis. [Citation Graph (, )][DBLP]


  30. Automatic register banking for low-power clock trees. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002