Ted Stanion
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1993–2003
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | SAT | Guiding SAT Diagnosis with Tree Decompositions. | Per Bjesse, James H. Kukula, Robert F. Damiano, Ted Stanion, Yunshan Zhu |
| 2002 | DAC | A practical and efficient method for compare-point matching. | Demos Anastasakis, Robert F. Damiano, Hi-Keung Tony Ma, Ted Stanion |
| 1999 | ICCD | Implicit Verification of Structurally Dissimilar Arithmetic Circuits. | Ted Stanion |
| 1995 | DAC | A Method for Finding Good Ashenhurst Decompositions and Its Application to FPGA Synthesis. | Ted Stanion, Carl Sechen |
| 1993 | ICCAD | Maximum projections of don't care conditions in a Boolean network. | Ted Stanion, Carl Sechen |