Pei-Hsin Ho

Intel (United States)

Papers

1

Total Citations

421

H-Index

1

About

No biography available yet.

Research Focus

Algorithm1 · 421 citations
Automata theory1 · 421 citations
Automaton1 · 421 citations
Computer science1 · 421 citations
Finite-state machine1 · 421 citations
Hybrid automaton1 · 421 citations
Hybrid system1 · 421 citations
Key (lock)1 · 421 citations
Machine learning1 · 421 citations
Mathematics1 · 421 citations
Model checking1 · 421 citations
Parametric statistics1 · 421 citations

Key Achievements

1
H-Index
1
Papers
421
Total Citations
421
Avg Citations/Paper
🏆 Most Cited Paper
HyTech: A model checker for hybrid systems
421 citations · 1997
📈 Most Prolific Year: 1997 (1 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: Intel (United States)

Top Papers

  1. 1
    HyTech: A model checker for hybrid systems
    421 citations · 1997

Key Collaborators

TAThomas A. Henzinger1 shared papersHWHoward Wong-Toi1 shared papers
Not generated yet