| |
| 2004 | ||
|---|---|---|
| 2 | EE | Demos Anastasakis, Lisa McIlwain, Slawomir Pilarski: Efficient equivalence checking with partitions and hierarchical cut-points. DAC 2004: 539-542 |
| 2002 | ||
| 1 | EE | Demos Anastasakis, Robert F. Damiano, Hi-Keung Tony Ma, Ted Stanion: A practical and efficient method for compare-point matching. DAC 2002: 305-310 |
| 1 | Robert F. Damiano | [1] |
| 2 | Hi-Keung Tony Ma | [1] |
| 3 | Lisa McIlwain | [2] |
| 4 | Slawomir Pilarski | [2] |
| 5 | Ted Stanion | [1] |