| |
| 1998 | ||
|---|---|---|
| 2 | EE | Tod Amon, Gaetano Borriello, Jiwen Liu: Making Complex Timing Relationships Readable: Presburger Formula Simplicication Using Don't Cares. DAC 1998: 586-590 |
| 1997 | ||
| 1 | EE | Tod Amon, Gaetano Borriello, Taokuan Hu, Jiwen Liu: Symbolic Timing Verification of Timing Diagrams using Presburger Formulas. DAC 1997: 226-231 |
| 1 | Tod Amon | [1] [2] |
| 2 | Gaetano Borriello | [1] [2] |
| 3 | Taokuan Hu | [1] |