Pei-Hsin Ho

Cited by

	All	Since 2016
Citations	10044	1456
h-index	28	14
i10-index	35	18

520

260

130

390

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202150 164 180 286 291 374 458 380 357 441 433 489 473 464 503 435 421 435 435 469 474 411 364 311 297 265 215 4

Co-authors

Thomas HenzingerIST AustriaVerified email at ist.ac.at
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Howard Wong-ToiGoogle, Inc.Verified email at google.com
Costas CourcoubetisProfessor of Singapore University of Technology and DesignVerified email at sutd.edu.sg
Joseph SifakisReseracher at Verimag laboratory, GrenobleVerified email at imag.fr
Sergio YovineUniversidad ORT Uruguay & Universidad de Buenos AiresVerified email at ort.edu.uy
Nicolas HalbwachsCNRS / VerimagVerified email at imag.fr
Timothy Yee-Kwong KamIntelVerified email at intel.com
Valeria BertaccoProfessor, Computer Science and Engineering, University of MichiganVerified email at umich.edu
Sherief RedaProfessor, Brown UniversityVerified email at brown.edu
Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
John O'LearyIntel CorporationVerified email at intel.com
Sheldon X.-D. TanUniversity of California at RiversideVerified email at ece.ucr.edu
Wei-Ting Jonas ChanSynopsysVerified email at synopsys.com
Jerry R. BurchSynopsys, Inc.Verified email at fun-journey.com
Shih-Chieh ChangComputer Science, Natioanl Tsing-Hua UniversityVerified email at cs.nthu.edu.tw
Chun-Yao WangDistinguished Professor of Computer Science, National Tsing Hua UniversityVerified email at cs.nthu.edu.tw
Stephen M PlazaProject and Software Engineering Manager, Janelia Farm Research CampusVerified email at janelia.hhmi.org
Gerard Jennhwa ChangProfessor of Mathematics, National Taiwan University
Liwei MaSifive China

Pei-Hsin Ho

Synopsys, Inc.

Verified email at synopsys.com - Homepage

FPGA-Based Emulation Physical Design Formal Verification Electronic Design Automation Real-Time Systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The algorithmic analysis of hybrid systems R Alur, C Courcoubetis, N Halbwachs, TA Henzinger, PH Ho, X Nicollin, ... Theoretical computer science 138 (1), 3-34, 1995	2489	1995
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems R Alur, C Courcoubetis, TA Henzinger, PH Ho Hybrid systems, 209-229, 1992	1701	1992
HyTech: A model checker for hybrid systems TA Henzinger, PH Ho, H Wong-Toi International Journal on Software Tools for Technology Transfer 1 (1-2), 110-122, 1997	1582	1997
Automatic symbolic verification of embedded systems R Alur, TA Henzinger, PH Ho IEEE Transactions on Software Engineering 22 (3), 181-201, 1996	905	1996
A user guide to HyTech T Henzinger, P Ho, H Wong-Toi Tools and algorithms for the construction and analysis of systems, 41-71, 1995	406	1995
Algorithmic analysis of nonlinear hybrid systems TA Henzinger, PH Ho, H Wong-Toi IEEE transactions on automatic control 43 (4), 540-554, 1998	339	1998
HyTech: the next generation TA Henzinger, PH Ho, H Wong-Toi Proceedings 16th IEEE Real-Time Systems Symposium, 56-65, 1995	333	1995
HyTech: The Cornell hybrid technology tool TA Henzinger, PH Ho International Hybrid Systems Workshop, 265-293, 1994	290	1994
Coverage estimation for symbolic model checking Y Hoskote, T Kam, PH Ho, X Zhao Proceedings of the 36th annual ACM/IEEE Design Automation Conference, 300-305, 1999	185	1999
Interconnect-driven physical synthesis using persistent virtual routing P Saxena, V Khandelwal, C Qiao, PH Ho, JC Lin, MA Iyer US Patent 7,853,915, 2010	165	2010
Smart simulation using collaborative formal and simulation engines PH Ho, T Shiple, K Harer, J Kukula, R Damiano, V Bertacco, J Taylor, ... IEEE/ACM International Conference on Computer Aided Design. ICCAD-2000. IEEE …, 2000	165	2000
Algorithmic analysis of nonlinear hybrid systems TA Henzinger, PH Ho International Conference on Computer Aided Verification, 225-238, 1995	158	1995
Power-aware placement Y Cheon, PH Ho, AB Kahng, S Reda, Q Wang Proceedings of the 42nd annual Design Automation Conference, 795-800, 2005	154	2005
Automated analysis of an audio control protocol PH Ho, H Wong-Toi International Conference on Computer Aided Verification, 381-394, 1995	139	1995
The algorithmic analysis of hybrid systems R Alur, C Courcoubetis, T Henzinger, P Ho, X Nicollin, A Olivero, J Sifakis, ... 11th International Conference on Analysis and Optimization of Systems …, 1994	105	1994
A note on abstract interpretation strategies for hybrid automata TA Henzinger, PH Ho International Hybrid Systems Workshop, 252-264, 1994	99	1994
Formal property verification by abstraction refinement with formal, simulation and hybrid engines D Wang, PH Ho, J Long, J Kukula, Y Zhu, T Ma, R Damiano Proceedings of the 38th Design Automation Conference (IEEE Cat. No …, 2001	95	2001
Automatic analysis of hybrid systems PH Ho Cornell University, 1995	79*	1995
Automatic register banking for low-power clock trees W Hou, D Liu, PH Ho 2009 10th International Symposium on Quality Electronic Design, 647-652, 2009	74	2009
Verification of all circuits in a floating-point unit using word-level model checking YA Chen, E Clarke, PH Ho, Y Hoskote, T Kam, M Khaira, J O'Leary, ... International Conference on Formal Methods in Computer-Aided Design, 19-33, 1996	74	1996

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors