OEsim: A Simulator for Timing Behavior. - Tod Amon; Gaetano Borriello (DAC, 1991)

Sizing Synchronization Queues: A Case Study in Higher Level Synthesis. - Tod Amon; Gaetano Borriello (DAC, 1991)

An Approach to Symbolic Timing Verification. - Tod Amon; Gaetano Borriello (DAC, 1992)

Practical applications of an efficient time separation of events algorithm. - Henrik Hulgaard; Steven M. Burns; Tod Amon; Gaetano Borriello (ICCAD, 1993)

An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems. - Henrik Hulgaard; Steven M. Burns; Tod Amon; Gaetano Borriello (IEEE Trans. Computers, 1995)

Symbolic Timing Verification of Timing Diagrams using Presburger Formulas. - Tod Amon; Gaetano Borriello; Taokuan Hu; Jiwen Liu (DAC, 1997)

Making Complex Timing Relationships Readable: Presburger Formula Simplicication Using Don't Cares. - Tod Amon; Gaetano Borriello; Jiwen Liu (DAC, 1998)

Symbolic Time Separation of Events. - Tod Amon; Henrik Hulgaard (ASYNC, 1999)

Symbolic timing analysis of asynchronous systems. - Henrik Hulgaard; Tod Amon (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2000)

Bicycle club mileage log: a servlet application for teaching Web programming. - Tod Amon (J. Comput. Sci. Coll., 2003)

Emulators, ethics, and PDA programming. - Tod Amon; Dann Ormond (J. Comput. Sci. Coll., 2004)