iBet uBet web content aggregator. Adding the entire web to your favor.

Link to original content: https://dblp.org/pid/15/835.html

dblp: Pei-Hsin Ho

default search action

combined dblp search
author search
venue search
publication search

ask others

Pei-Hsin Ho

> Home > Persons

Person information

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/PuSHYSZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/PuSHYSZ23
Ruiyao Pu, Yiwei Sun, Pei-Hsin Ho, Fan Yang, Li Shang, Xuan Zeng:
Sphinx: A Hybrid Boolean Processor-FPGA Hardware Emulation System. ICCAD 2023: 1-9

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/SuSH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/SuSH19
Yu-Hsuan Su, Richard Sun, Pei-Hsin Ho:
2019 CAD Contest: System-level FPGA Routing with Timing Division Multiplexing Technique. ICCAD 2019: 1-2
2017
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/ispd/ChanHKS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispd/ChanHKS17
Wei-Ting Jonas Chan, Pei-Hsin Ho, Andrew B. Kahng, Prashant Saxena:
Routability Optimization for Industrial Designs at Sub-14nm Process Nodes Using Machine Learning. ISPD 2017: 15-21
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/ispd/Ho17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispd/Ho17
Pei-Hsin Ho:
Interesting Problems in Physical Synthesis. ISPD 2017: 131
2011
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/isqed/PlazaSSH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isqed/PlazaSSH11
Stephen M. Plaza, Prashant Saxena, Thomas R. Shiple, Pei-Hsin Ho:
Multi-mode redundancy removal. ISQED 2011: 791-799

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/ShiCHMTHW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/ShiCHMTHW09
Jin Shi, Yici Cai, Wenting Hou, Liwei Ma, Sheldon X.-D. Tan, Pei-Hsin Ho, Xiaoyi Wang:
GPU friendly fast Poisson solver for structured power grid network analysis. DAC 2009: 178-183
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/ispd/SaxenaKQHLI09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispd/SaxenaKQHLI09
Prashant Saxena, Vishal Khandelwal, Changge Qiao, Pei-Hsin Ho, J.-C. Lin, Mahesh A. Iyer:
On improving optimization effectiveness in interconnect-driven physical synthesis. ISPD 2009: 51-58
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/ispd/Ho09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispd/Ho09
Pei-Hsin Ho:
Industrial clock design. ISPD 2009: 139-140
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/isqed/HouLH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isqed/HouLH09
Wenting Hou, Dick Liu, Pei-Hsin Ho:
Automatic register banking for low-power clock trees. ISQED 2009: 647-652
2007
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/MangHH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/MangHH07
Freddy Y. C. Mang, Wenting Hou, Pei-Hsin Ho:
Techniques for Effective Distributed Physical Synthesis. DAC 2007: 859-864
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/isqed/KuoLWCH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isqed/KuoLWCH07
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. ISQED 2007: 344-349
2006
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/ijfcs/MangH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijfcs/MangH06
Freddy Y. C. Mang, Pei-Hsin Ho:
Controllability and Cooperativeness Analysis for Automatic Abstraction Refinement. Int. J. Found. Comput. Sci. 17(4): 763-774 (2006)
2005
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/aspdac/CernyDHHM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aspdac/CernyDHHM05
Eduard Cerny, Ashvin Dsouza, Kevin Harer, Pei-Hsin Ho, Hi-Keung Tony Ma:
Supporting sequential assumptions in hybrid verification. ASP-DAC 2005: 1035-1038
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/CheonHKRW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/CheonHKRW05
Yongseok Cheon, Pei-Hsin Ho, Andrew B. Kahng, Sherief Reda, Qinke Wang:
Power-aware placement. DAC 2005: 795-800
2004
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/Ho04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/Ho04
Pei-Hsin Ho:
Abstraction Refinement. ATVA 2004: 7
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/MangH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/MangH04
Freddy Y. C. Mang, Pei-Hsin Ho:
Abstraction refinement by controllability and cooperativeness analysis. DAC 2004: 224-229
2001
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/WangHLKZMD01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/WangHLKZMD01
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. DAC 2001: 35-40
2000
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/HoSHKDBTL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/HoSHKDBTL00
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. ICCAD 2000: 120-126

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/HoskoteKHZ99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/HoskoteKHZ99
Yatin Vasant Hoskote, Timothy Kam, Pei-Hsin Ho, Xudong Zhao:
Coverage Estimation for Symbolic Model Checking. DAC 1999: 300-305
1998
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/HenzingerHW98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/HenzingerHW98
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi:
Algorithmic analysis of nonlinear hybrid systems. IEEE Trans. Autom. Control. 43(4): 540-554 (1998)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/HoIK98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/HoIK98
Pei-Hsin Ho, Adrian J. Isles, Timothy Kam:
Formal verification of pipeline control using controlled token nets and abstract interpretation. ICCAD 1998: 529-536
1997
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/cor/ChangH97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cor/ChangH97
Gerard J. Chang, Pei-Hsin Ho:
The ß-assignment problem in general graphs. Comput. Oper. Res. 24(8): 757-765 (1997)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/HenzingerHW97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/HenzingerHW97
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi:
HYTECH: A Model Checker for Hybrid Systems. Int. J. Softw. Tools Technol. Transf. 1(1-2): 110-122 (1997)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/HenzingerHW97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HenzingerHW97
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi:
HYTECH: A Model Checker for Hybrid Systems. CAV 1997: 460-463
1996
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/AlurHH96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/AlurHH96
Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho:
Automatic Symbolic Verification of Embedded Systems. IEEE Trans. Software Eng. 22(3): 181-201 (1996)
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/ChenCHHKKZ96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/ChenCHHKKZ96
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. FMCAD 1996: 19-33
1995
[b1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - phd/us/Ho95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/us/Ho95
Pei-Hsin Ho:
Automatic Analysis of Hybrid Systems. Cornell University, USA, 1995
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AlurCHHHNOSY95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AlurCHHHNOSY95
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. Theor. Comput. Sci. 138(1): 3-34 (1995)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/HenzingerH95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HenzingerH95
Thomas A. Henzinger, Pei-Hsin Ho:
Algorithmic Analysis of Nonlinear Hybrid Systems. CAV 1995: 225-238
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/HoW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/HoW95
Pei-Hsin Ho, Howard Wong-Toi:
Automated Analysis of an Audio Control Protocol. CAV 1995: 381-394
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/HenzingerHW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/HenzingerHW95
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi:
HyTech: The Next Generation. RTSS 1995: 56-65
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/HenzingerHW95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HenzingerHW95
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi:
A User Guide to HyTech. TACAS 1995: 41-71
1994
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/HenzingerH94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/HenzingerH94
Thomas A. Henzinger, Pei-Hsin Ho:
A Note on Abstract Interpretation Strategies for Hybrid Automata. Hybrid Systems 1994: 252-264
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/HenzingerH94a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/HenzingerH94a
Thomas A. Henzinger, Pei-Hsin Ho:
HYTECH: The Cornell HYbrid TECHnology Tool. Hybrid Systems 1994: 265-293
1993
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/rtss/AlurHH93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rtss/AlurHH93
Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho:
Automatic Symbolic Verification of Embedded Systems. RTSS 1993: 2-11
1992
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/AlurCHH92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/AlurCHH92
Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho:
Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems. Hybrid Systems 1992: 209-229
1990
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/siamdm/LuHC90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siamdm/LuHC90
Tung-Lin Lu, Pei-Hsin Ho, Gerard J. Chang:
The Domatic Number Problem in Interval Graphs. SIAM J. Discret. Math. 3(4): 531-536 (1990)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.