When the new tech report is saved, it will be published to the Tech Report page. By default the Tech Report page displays all reports ordered by report ID descending. Marking a tech report as unpublished will not remove it from the page. This ensures that all "reserved" numbers are displayed. If you need help with the tech reports, please fill out this form.


Report ID Title Report Authors Report Date
1993-02 Bounded Timestamps in Process Networks Manhoi Choy and Ambuj K. Singh
1993-01 A Computationally Intractable Problem on Simplicial Complexes Omer Egecioglu and Teofilo Gonzalez
1992-22 Formal Verification of Realtime Systems in ASTRAL Alberto Coen-Porisini, Richard A. Kemmerer, and Dino Mandrioli
1992-22 Formal Verification of Realtime Systems in ASTRAL Alberto Coen-Porisini, Richard A. Kemmerer, and Dino Mandrioli
1983-02 Logic programming graphics and infinite terms K.P. Chow, P.R. Eggert