Tod Amon
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
1991–1998
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1998 | DAC | Making Complex Timing Relationships Readable: Presburger Formula Simplicication Using Don't Cares. | Tod Amon, Gaetano Borriello, Jiwen Liu |
| 1997 | DAC | Symbolic Timing Verification of Timing Diagrams using Presburger Formulas. | Tod Amon, Gaetano Borriello, Taokuan Hu, Jiwen Liu |
| 1993 | ICCAD | Practical applications of an efficient time separation of events algorithm. | Henrik Hulgaard, Steven M. Burns, Tod Amon, Gaetano Borriello |
| 1993 | ICCD | An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems. | Tod Amon, Henrik Hulgaard, Steven M. Burns, Gaetano Borriello |
| 1992 | DAC | An Approach to Symbolic Timing Verification. | Tod Amon, Gaetano Borriello |
| 1991 | DAC | OEsim: A Simulator for Timing Behavior. | Tod Amon, Gaetano Borriello |
| 1991 | DAC | Sizing Synchronization Queues: A Case Study in Higher Level Synthesis. | Tod Amon, Gaetano Borriello |