| 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 | 2876 | 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 | 1908 | 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 | 1760 | 1997 |
| Automatic symbolic verification of embedded systems R Alur, TA Henzinger, PH Ho IEEE Transactions on Software Engineering 22 (3), 181-201, 1996 | 954 | 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 | 440 | 1995 |
| Algorithmic analysis of nonlinear hybrid systems TA Henzinger, PH Ho, H Wong-Toi IEEE transactions on automatic control 43 (4), 540-554, 1998 | 372 | 1998 |
| HyTech: the next generation TA Henzinger, PH Ho, H Wong-Toi Proceedings 16th IEEE Real-Time Systems Symposium, 56-65, 1995 | 339 | 1995 |
| Hytech: The cornell hybrid technology tool TA Henzinger, PH Ho International Hybrid Systems Workshop, 265-293, 1994 | 320 | 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 | 201 | 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 | 173 | 2000 |
| Algorithmic analysis of nonlinear hybrid systems TA Henzinger, PH Ho Computer Aided Verification: 7th International Conference, CAV'95 Liège …, 1995 | 171 | 1995 |
| Power-aware placement Y Cheon, PH Ho, AB Kahng, S Reda, Q Wang Proceedings of the 42nd annual Design Automation Conference, 795-800, 2005 | 167 | 2005 |
| 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 |
| Automated analysis of an audio control protocol PH Ho, H Wong-Toi Computer Aided Verification: 7th International Conference, CAV'95 Liège …, 1995 | 144 | 1995 |
| 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 | 111 | 2017 |
| 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 | 106 | 2001 |
| A note on abstract interpretation strategies for hybrid automata TA Henzinger, PH Ho International Hybrid Systems Workshop, 252-264, 1994 | 103 | 1994 |
| 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 | 81 | 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 | 81 | 1996 |
| Automatic analysis of hybrid systems PH Ho Cornell University, 1995 | 80* | 1995 |
Thomas HenzingerIST AustriaVerified email at ist.ac.at
