| The algorithmic analysis of hybrid systems R Alur, C Courcoubetis, N Halbwachs, TA Henzinger, PH Ho, X Nicollin, ... Theoretical computer science 138 (1), 3-34, 1995 | 2846 | 1995 |
| Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems R Alur, C Courcoubetis, TA Henzinger, PH Ho International Hybrid Systems Workshop, 209-229, 1991 | 1886 | 1991 |
| HyTech: A model checker for hybrid systems TA Henzinger, PH Ho, H Wong-Toi Computer Aided Verification: 9th International Conference, CAV'97 Haifa …, 1997 | 1731 | 1997 |
| Automatic symbolic verification of embedded systems R Alur, TA Henzinger, PH Ho IEEE Transactions on Software Engineering 22 (3), 181-201, 1996 | 944 | 1996 |
| A user guide to HyTech T Henzinger, P Ho, H Wong-Toi Tools and algorithms for the construction and analysis of systems, 41-71, 1995 | 438 | 1995 |
| Algorithmic analysis of nonlinear hybrid systems TA Henzinger, PH Ho, H Wong-Toi IEEE transactions on automatic control 43 (4), 540-554, 1998 | 368 | 1998 |
| HyTech: the next generation TA Henzinger, PH Ho, H Wong-Toi Proceedings 16th IEEE Real-Time Systems Symposium, 56-65, 1995 | 337 | 1995 |
| HyTech: The Cornell hybrid technology tool TA Henzinger, PH Ho International Hybrid Systems Workshop, 265-293, 1994 | 319 | 1994 |
| Coverage estimation for symbolic model checking Y Hoskote, T Kam, PH Ho, X Zhao Proceedings of the 36th annual ACM/IEEE Design Automation Conference, 300-305, 1999 | 202 | 1999 |
| Smart simulation using collaborative formal and simulation engines PH Ho, T Shiple, K Harer, J Kukula, R Damiano, V Bertacco, J Taylor, ... IEEE/ACM International Conference on Computer Aided Design. ICCAD-2000. IEEE …, 2000 | 174 | 2000 |
| Algorithmic analysis of nonlinear hybrid systems TA Henzinger, PH Ho Computer Aided Verification: 7th International Conference, CAV'95 Liège …, 1995 | 172 | 1995 |
| Interconnect-driven physical synthesis using persistent virtual routing P Saxena, V Khandelwal, C Qiao, PH Ho, JC Lin, MA Iyer US Patent 7,853,915, 2010 | 166 | 2010 |
| Power-aware placement Y Cheon, PH Ho, AB Kahng, S Reda, Q Wang Proceedings of the 42nd annual Design Automation Conference, 795-800, 2005 | 164 | 2005 |
| Automated analysis of an audio control protocol PH Ho, H Wong-Toi Computer Aided Verification: 7th International Conference, CAV'95 Liège …, 1995 | 141 | 1995 |
| Formal property verification by abstraction refinement with formal, simulation and hybrid engines D Wang, PH Jiang, J Kukula, Y Zhu, T Ma, R Damiano Proceedings of the 38th annual Design Automation Conference, 35-40, 2001 | 103 | 2001 |
| A note on abstract interpretation strategies for hybrid automata TA Henzinger, PH Ho International Hybrid Systems Workshop, 252-264, 1994 | 101 | 1994 |
| Routability optimization for industrial designs at sub-14nm process nodes using machine learning WTJ Chan, PH Ho, AB Kahng, P Saxena Proceedings of the 2017 ACM on International Symposium on Physical Design, 15-21, 2017 | 92 | 2017 |
| Automatic register banking for low-power clock trees W Hou, D Liu, PH Ho 2009 10th International Symposium on Quality Electronic Design, 647-652, 2009 | 83 | 2009 |
| Verification of all circuits in a floating-point unit using word-level model checking YA Chen, E Clarke, PH Ho, Y Hoskote, T Kam, M Khaira, J O'Leary, ... International Conference on Formal Methods in Computer-Aided Design, 19-33, 1996 | 77 | 1996 |
| Automatic analysis of hybrid systems PH Ho Cornell University, 1995 | 77* | 1995 |
Thomas HenzingerIST AustriaVerified email at ist.ac.at
