Pei-Hsin Ho
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
8
Active years
1993–2023
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ICCAD | Sphinx: A Hybrid Boolean Processor-FPGA Hardware Emulation System. | Ruiyao Pu, Yiwei Sun, Pei-Hsin Ho, Fan Yang, Li Shang, Xuan Zeng |
| 2019 | ICCAD | 2019 CAD Contest: System-level FPGA Routing with Timing Division Multiplexing Technique. | Yu-Hsuan Su, Richard Sun, Pei-Hsin Ho |
| 2009 | DAC | GPU friendly fast Poisson solver for structured power grid network analysis. | Jin Shi, Yici Cai, Wenting Hou, Liwei Ma, Sheldon X.-D. Tan, Pei-Hsin Ho, Xiaoyi Wang |
| 2007 | DAC | Techniques for Effective Distributed Physical Synthesis. | Freddy Y. C. Mang, Wenting Hou, Pei-Hsin Ho |
| 2005 | ASPDAC | Supporting sequential assumptions in hybrid verification. | Eduard Cerny, Ashvin Dsouza, Kevin Harer, Pei-Hsin Ho, Hi-Keung Tony Ma |
| 2005 | DAC | Power-aware placement. | Yongseok Cheon, Pei-Hsin Ho, Andrew B. Kahng, Sherief Reda, Qinke Wang |
| 2004 | ATVA | Abstraction Refinement. | Pei-Hsin Ho |
| 2004 | DAC | Abstraction refinement by controllability and cooperativeness analysis. | Freddy Y. C. Mang, Pei-Hsin Ho |
| 2001 | DAC | Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines. | Dong Wang, Pei-Hsin Ho, Jiang Long, James H. Kukula, Yunshan Zhu, Hi-Keung Tony Ma, Robert F. Damiano |
| 2000 | ICCAD | Smart Simulation Using Collaborative Formal and Simulation Engines. | Pei-Hsin Ho, Thomas R. Shiple, Kevin Harer, James H. Kukula, Robert F. Damiano, Valeria Bertacco, Jerry Taylor, Jiang Long |
| 1999 | DAC | Coverage Estimation for Symbolic Model Checking. | Yatin Vasant Hoskote, Timothy Kam, Pei-Hsin Ho, Xudong Zhao |
| 1998 | ICCAD | Formal verification of pipeline control using controlled token nets and abstract interpretation. | Pei-Hsin Ho, Adrian J. Isles, Timothy Kam |
| 1997 | CAV | HYTECH: A Model Checker for Hybrid Systems. | Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi |
| 1996 | FMCAD | Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking. | Yirng-An Chen, Edmund M. Clarke, Pei-Hsin Ho, Yatin Vasant Hoskote, Timothy Kam, Manpreet Khaira, John W. O'Leary, Xudong Zhao |
| 1995 | CAV | Algorithmic Analysis of Nonlinear Hybrid Systems. | Thomas A. Henzinger, Pei-Hsin Ho |
| 1995 | CAV | Automated Analysis of an Audio Control Protocol. | Pei-Hsin Ho, Howard Wong-Toi |
| 1995 | RTSS | HyTech: The Next Generation. | Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi |
| 1995 | TACAS | A User Guide to HyTech. | Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi |
| 1993 | RTSS | Automatic Symbolic Verification of Embedded Systems. | Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho |