| 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 | 2606 | 1995 |
| Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems R Alur, C Courcoubetis, TA Henzinger, PH Ho Hybrid systems, 209-229, 1992 | 1802 | 1992 |
| HyTech: A model checker for hybrid systems TA Henzinger, PH Ho, H Wong-Toi International Conference on Computer Aided Verification, 460-463, 1997 | 1663 | 1997 |
| Automatic symbolic verification of embedded systems R Alur, TA Henzinger, PH Ho IEEE Transactions on Software Engineering 22 (3), 181-201, 1996 | 940 | 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 | 429 | 1995 |
| Algorithmic analysis of nonlinear hybrid systems TA Henzinger, PH Ho, H Wong-Toi IEEE transactions on automatic control 43 (4), 540-554, 1998 | 356 | 1998 |
| HyTech: the next generation TA Henzinger, PH Ho, H Wong-Toi Proceedings 16th IEEE Real-Time Systems Symposium, 56-65, 1995 | 332 | 1995 |
| HyTech: The Cornell hybrid technology tool TA Henzinger, PH Ho International Hybrid Systems Workshop, 265-293, 1994 | 304 | 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 | 194 | 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 | 170 | 2000 |
| Algorithmic analysis of nonlinear hybrid systems TA Henzinger, PH Ho International Conference on Computer Aided Verification, 225-238, 1995 | 168 | 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 | 157 | 2005 |
| Automated analysis of an audio control protocol PH Ho, H Wong-Toi International Conference on Computer Aided Verification, 381-394, 1995 | 143 | 1995 |
| The algorithmic analysis of hybrid systems R Alur, C Courcoubetis, T Henzinger, P Ho, X Nicollin, A Olivero, J Sifakis, ... 11th International Conference on Analysis and Optimization of Systems …, 1994 | 109 | 1994 |
| Formal property verification by abstraction refinement with formal, simulation and hybrid engines D Wang, PH Ho, J Long, J Kukula, Y Zhu, T Ma, R Damiano Proceedings of the 38th Design Automation Conference (IEEE Cat. No …, 2001 | 100 | 2001 |
| A note on abstract interpretation strategies for hybrid automata TA Henzinger, PH Ho International Hybrid Systems Workshop, 252-264, 1994 | 98 | 1994 |
| Automatic analysis of hybrid systems PH Ho Cornell University, 1995 | 78* | 1995 |
| 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 | 75 | 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 | 74 | 1996 |
Thomas HenzingerIST AustriaVerified email at ist.ac.at
