Statistics
Publications
2
Citations
2K
H-Index
2
Active since
1995
Affiliations
Pei -Hsin Ho is an author at Nokia (United States) specializing in model checking, formal methods, and hybrid systems.
Publications per year
1995–2002
2
2
The algorithmic analysis of hybrid systems
Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs et al. · Theoretical Computer Science · 1995 · 1.9K citations · Full text
Automatic symbolic verification of embedded systems
Rajeev Alur, Thomas A. Henzinger, Pei -Hsin Ho · 2002 · 115 citations
1–2 of 2