Immediate Impact
65 standout
Citing Papers
Sampled-data control systems with non-uniform sampling: A survey of methods and trends
2023 Standout
Human-in-the-loop machine learning: a state of the art
2022 Standout
Works of Pei-Hsin Ho being referenced
HYTECH: a model checker for hybrid systems
1997
Automatic symbolic verification of embedded systems
1996
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Pei-Hsin Ho | 512 | 35 | 166 | 223 | 11 | 627 | |
| Howard Wong-Toi | 471 | 52 | 141 | 166 | 6 | 531 | |
| Eugène Asarin | 494 | 67 | 104 | 110 | 26 | 738 | |
| Mats P. E. Heimdahl | 296 | 73 | 103 | 472 | 34 | 689 | |
| Edward F. Moore | 241 | 121 | 76 | 74 | 13 | 648 | |
| Antoine Petit | 245 | 63 | 45 | 110 | 20 | 529 | |
| Arthur Gill | 248 | 62 | 96 | 117 | 29 | 526 | |
| Bernard Berthomieu | 506 | 88 | 207 | 135 | 14 | 644 | |
| Håkan L. S. Younes | 180 | 191 | 30 | 121 | 13 | 603 | |
| Ph. Schnoebelen | 457 | 105 | 49 | 192 | 21 | 586 | |
| S. Seshu | 209 | 70 | 236 | 109 | 18 | 653 |
All Works
Loading papers...