Pei-Hsin Ho - Concepedia

Author

Pei-Hsin Ho

Intel (United States)

Also Known As

P. Ho, P.S. Ho, PEI-HSIN HO, Pei -Hsin Ho, Pei-Hsin Ho

Publications

4.2K

Citations

H-Index

Concepts

All Affiliations

Intel (United States)Synopsys (United States)Synopsys (Switzerland)University of California, Berkeley Advanced Technology Group (Czechia)

About

Pei-Hsin Ho is an author at Intel (United States) specializing in engineering, computer science, and computer engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	16	17	2.3K
2	Computer Science	11	11	1.3K
3	Computer Engineering	9	9	1.1K
4	Applied Physics	1	1	37
5	Electrical Engineering	1	1	46

Pei-Hsin Ho

Publications

2.4K

Citations

H-Index

Page 1

	Year	Citations
HYTECH: a model checker for hybrid systems Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi International Journal on Software Tools for Technology Transfer EngineeringVerificationFormal MethodsComputer-aided VerificationSystems Engineering	1997	771
Automatic symbolic verification of embedded systems Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho IEEE Transactions on Software Engineering EngineeringVerificationComputer-aided VerificationModel CheckingEmbedded Systems	1996	489
HYTECH: the next generation Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi New HytechNew ImplementationEngineeringVerificationComputer-aided Verification	2002	205
Algorithmic analysis of nonlinear hybrid systems Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi IEEE Transactions on Automatic Control Nonlinear Hybrid SystemsNonlinear System IdentificationLogical AutomatonClock TranslationEngineering	1998	181
Coverage estimation for symbolic model checking Yatin Hoskote, Timothy Kam, Pei-Hsin Ho, EngineeringVerificationComputer-aided VerificationSoftware EngineeringModel Checking	1999	133
Power-aware placement Yongseok Cheon, Pei-Hsin Ho, Andrew B. Kahng, Hardware SecurityCluster ComputingPower-aware ComputingEngineeringEnergy Efficiency	2005	120
Routability Optimization for Industrial Designs at Sub-14nm Process Nodes Using Machine Learning Wei-Ting Jonas Chan, Pei-Hsin Ho, Andrew B. Kahng, EngineeringMachine LearningIndustrial EngineeringNetwork RoutingComputer Architecture	2017	104
Automatic register banking for low-power clock trees Wenting Hou, Dick Liu, Pei-Hsin Ho EngineeringVlsi DesignComputer ArchitectureLow-power Clock TreesHardware Security	2009	46
Coverage estimation for symbolic model checking Yatin Hoskote, Timothy Kam, Pei-Hsin Ho, Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361) EngineeringVerificationComputer-aided VerificationSoftware EngineeringModel Checking	2003	44
GPU friendly fast Poisson solver for structured power grid network analysis Jin Shi, Yici Cai, Wenting Hou, Mathematical ProgrammingEngineeringPower Grid OperationNetwork AnalysisGrid Network	2009	42

Page 1