| Routability Optimization for Industrial Designs at Sub-14nm Process Nodes Using Machine Learning. | 10 | 0.61 | 2017 |
| Interesting Problems in Physical Synthesis. | 1 | 0.36 | 2017 |
| On improving optimization effectiveness in interconnect-driven physical synthesis | 0 | 0.34 | 2009 |
| Industrial clock design | 1 | 0.36 | 2009 |
| Automatic register banking for low-power clock trees | 22 | 1.52 | 2009 |
| GPU friendly fast Poisson solver for structured power grid network analysis | 27 | 1.22 | 2009 |
| Intelligent Random Vector Generator Based on Probability Analysis of Circuit Structure | 2 | 0.38 | 2007 |
| Techniques for effective distributed physical synthesis | 1 | 0.40 | 2007 |
| Controllability And Cooperativeness Analysis For Automatic Abstraction Refinement | 0 | 0.34 | 2006 |
| Power-aware placement | 43 | 2.07 | 2005 |
| Supporting sequential assumptions in hybrid verification | 5 | 0.46 | 2005 |
| Abstraction Refinement | 0 | 0.34 | 2004 |
| Abstraction refinement by controllability and cooperativeness analysis | 8 | 0.57 | 2004 |
| Smart simulation using collaborative formal and simulation engines | 74 | 4.01 | 2000 |
| Coverage estimation for symbolic model checking | 82 | 4.78 | 1999 |
| Formal verification of pipeline control using controlled token nets and abstract interpretation | 24 | 1.95 | 1998 |
| HYTECH: A Model Checker for Hybrid Systems | 300 | 17.17 | 1997 |
| The Beta-Assignment Problem In General Graphs | 0 | 0.34 | 1997 |
| Automatic symbolic verification of embedded systems | 295 | 39.16 | 1996 |
| Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking | 27 | 1.55 | 1996 |
| Algorithmic Analysis of Nonlinear Hybrid Systems | 83 | 14.40 | 1995 |
| Automated Analysis of an Audio Control Protocol | 52 | 14.88 | 1995 |
| The algorithmic analysis of hybrid systems | 604 | 73.89 | 1995 |
| HYTECH: the next generation | 124 | 18.48 | 1995 |
| A User Guide to HyTech | 150 | 19.66 | 1995 |
| A Note on Abstract Interpretation Strategies for Hybrid Automata | 37 | 6.56 | 1994 |
| HYTECH: The Cornell HYbrid TECHnology Tool | 100 | 12.63 | 1994 |
| Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems | 491 | 65.63 | 1992 |
| The domatic number problem interval graphs | 14 | 1.26 | 1990 |
