Pei-Hsin Ho

2009
27	EE	Wenting Hou, Dick Liu, Pei-Hsin Ho: Automatic register banking for low-power clock trees. ISQED 2009: 647-652
2007
26	EE	Freddy Y. C. Mang, Wenting Hou, Pei-Hsin Ho: Techniques for Effective Distributed Physical Synthesis. DAC 2007: 859-864
25	EE	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	EE	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	EE	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	EE	Yongseok Cheon, Pei-Hsin Ho, Andrew B. Kahng, Sherief Reda, Qinke Wang: Power-aware placement. DAC 2005: 795-800
2004
21	EE	Pei-Hsin Ho: Abstraction Refinement. ATVA 2004: 7
20	EE	Freddy Y. C. Mang, Pei-Hsin Ho: Abstraction refinement by controllability and cooperativeness analysis. DAC 2004: 224-229
2001
19	EE	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	EE	Yatin Vasant Hoskote, Timothy Kam, Pei-Hsin Ho, Xudong Zhao: Coverage Estimation for Symbolic Model Checking. DAC 1999: 300-305
1998
16	EE	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	EE	Gerard J. Chang, Pei-Hsin Ho: The ß-assignment problem in general graphs. Computers & OR 24(8): 757-765 (1997)
13	EE	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	EE	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	EE	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	Eduard Cerny	[23]
4	Gerard J. Chang	[1] [14]
5	Shih-Chieh Chang	[25]
6	Yirng-An Chen	[12]
7	Yongseok Cheon	[22]
8	Edmund M. Clarke	[12]
9	Costas Courcoubetis	[2] [6]
10	Robert F. Damiano	[18] [19]
11	Ashvin Dsouza	[23]
12	Nicolas Halbwachs	[6]
13	Kevin Harer	[18] [23]
14	Thomas A. Henzinger	[2] [3] [4] [5] [6] [7] [8] [10] [11] [13] [15]
15	Yatin Vasant Hoskote	[12] [17]
16	Wenting Hou	[26] [27]
17	Adrian J. Isles	[16]
18	Andrew B. Kahng	[22]
19	Timothy Kam	[12] [16] [17]
20	Manpreet Khaira	[12]
21	James H. Kukula	[18] [19]
22	Yu-Min Kuo	[25]
23	Cheng-Hung Lin	[25]
24	Dick Liu	[27]
25	Jiang Long	[18] [19]
26	Tung-Lin Lu	[1]
27	Hi-Keung Tony Ma	[19] [23]
28	Freddy Y. C. Mang	[20] [24] [26]
29	Xavier Nicollin	[6]
30	John W. O'Leary	[12]
31	Alfredo Olivero	[6]
32	Sherief Reda	[22]
33	Thomas R. Shiple	[18]
34	Joseph Sifakis	[6]
35	Jerry Taylor	[18]
36	Chun-Yao Wang	[25]
37	Dong Wang	[19]
38	Qinke Wang	[22]
39	Howard Wong-Toi	[7] [8] [9] [13] [15]
40	Sergio Yovine	[6]
41	Xudong Zhao	[12] [17]
42	Yunshan Zhu	[19]

Colors in the list of coauthors