Pei-Hsin Ho

	2009
30		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
29		Pei-Hsin Ho: Industrial clock design. ISPD 2009: 139-140
28		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
27		Wenting Hou, Dick Liu, Pei-Hsin Ho: Automatic register banking for low-power clock trees. ISQED 2009: 647-652
	2007
26		Freddy Y. C. Mang, Wenting Hou, Pei-Hsin Ho: Techniques for Effective Distributed Physical Synthesis. DAC 2007: 859-864
25		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
24		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
23		Eduard Cerny, Ashvin Dsouza, Kevin Harer, Pei-Hsin Ho, Hi-Keung Tony Ma: Supporting sequential assumptions in hybrid verification. ASP-DAC 2005: 1035-1038
22		Yongseok Cheon, Pei-Hsin Ho, Andrew B. Kahng, Sherief Reda, Qinke Wang: Power-aware placement. DAC 2005: 795-800
	2004
21		Pei-Hsin Ho: Abstraction Refinement. ATVA 2004: 7
20		Freddy Y. C. Mang, Pei-Hsin Ho: Abstraction refinement by controllability and cooperativeness analysis. DAC 2004: 224-229
	2001
19		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
18		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
	1999
17		Yatin Vasant Hoskote, Timothy Kam, Pei-Hsin Ho, Xudong Zhao: Coverage Estimation for Symbolic Model Checking. DAC 1999: 300-305
	1998
16		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
15		Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi: HYTECH: A Model Checker for Hybrid Systems. CAV 1997: 460-463
14		Gerard J. Chang, Pei-Hsin Ho: The ß-assignment problem in general graphs. Computers & OR 24(8): 757-765 (1997)
13		Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi: HYTECH: A Model Checker for Hybrid Systems. STTT 1(1-2): 110-122 (1997)
	1996
12		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
11		Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho: Automatic Symbolic Verification of Embedded Systems. IEEE Trans. Software Eng. 22(3): 181-201 (1996)
	1995
10		Thomas A. Henzinger, Pei-Hsin Ho: Algorithmic Analysis of Nonlinear Hybrid Systems. CAV 1995: 225-238
9		Pei-Hsin Ho, Howard Wong-Toi: Automated Analysis of an Audio Control Protocol. CAV 1995: 381-394
8		Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi: HyTech: The Next Generation. IEEE Real-Time Systems Symposium 1995: 56-65
7		Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi: A User Guide to HyTech. TACAS 1995: 41-71
6		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)
	1994
5		Thomas A. Henzinger, Pei-Hsin Ho: A Note on Abstract Interpretation Strategies for Hybrid Automata. Hybrid Systems 1994: 252-264
4		Thomas A. Henzinger, Pei-Hsin Ho: HYTECH: The Cornell HYbrid TECHnology Tool. Hybrid Systems 1994: 265-293
	1993
3		Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho: Automatic Symbolic Verification of Embedded Systems. IEEE Real-Time Systems Symposium 1993: 2-11
	1992
2		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
1		Tung-Lin Lu, Pei-Hsin Ho, Gerard J. Chang: The Domatic Number Problem in Interval Graphs. SIAM J. Discrete Math. 3(4): 531-536 (1990)

Coauthor Index

1	Rajeev Alur	[2] [3] [6] [11]
2	Valeria Bertacco	[18]
3	Yici Cai	[30]
4	Eduard Cerny	[23]
5	Gerard J. Chang	[1] [14]
6	Shih-Chieh Chang	[25]
7	Yirng-An Chen	[12]
8	Yongseok Cheon	[22]
9	Edmund M. Clarke	[12]
10	Costas Courcoubetis	[2] [6]
11	Robert F. Damiano	[18] [19]
12	Ashvin Dsouza	[23]
13	Nicolas Halbwachs	[6]
14	Kevin Harer	[18] [23]
15	Thomas A. Henzinger	[2] [3] [4] [5] [6] [7] [8] [10] [11] [13] [15]
16	Yatin Vasant Hoskote	[12] [17]
17	Wenting Hou	[26] [27] [30]
18	Adrian J. Isles	[16]
19	Mahesh A. Iyer	[28]
20	Andrew B. Kahng	[22]
21	Timothy Kam	[12] [16] [17]
22	Manpreet Khaira	[12]
23	Vishal Khandelwal	[28]
24	James H. Kukula	[18] [19]
25	Yu-Min Kuo	[25]
26	Cheng-Hung Lin	[25]
27	J.-C. Lin	[28]
28	Dick Liu	[27]
29	Jiang Long	[18] [19]
30	Tung-Lin Lu	[1]
31	Hi-Keung Tony Ma	[19] [23]
32	Liwei Ma	[30]
33	Freddy Y. C. Mang	[20] [24] [26]
34	Xavier Nicollin	[6]
35	John W. O'Leary	[12]
36	Alfredo Olivero	[6]
37	Changge Qiao	[28]
38	Sherief Reda	[22]
39	Prashant Saxena	[28]
40	Jin Shi	[30]
41	Thomas R. Shiple	[18]
42	Joseph Sifakis	[6]
43	Sheldon X.-D. Tan (Xiang-Dong Tan)	[30]
44	Jerry Taylor	[18]
45	Chun-Yao Wang	[25]
46	Dong Wang	[19]
47	Qinke Wang	[22]
48	Xiaoyi Wang	[30]
49	Howard Wong-Toi	[7] [8] [9] [13] [15]
50	Sergio Yovine	[6]
51	Xudong Zhao	[12] [17]
52	Yunshan Zhu	[19]

Colors in the list of coauthors