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. For assistance in adding a technical report, please contact our department Communications Assistant, Adrian Rodriguez, at adrian00@ucsb.edu.


Report ID Title Report Authors Report Date
1993-06 Set-Serializability: A Formal Theory for Partitioned Data Gustavo Alonso and Amr El Abbadi
1993-05 Correctness Proofs of Programs using Weak Memories Manhoi Choy and Ambuj K. Singh
1993-04 Efficient Implementation of Synchronous Communication OverAsynchronous Networks Manhoi Choy and Ambuj K. Singh
1993-03 Localizing Failures in Distributed Synchronization Manhoi Choy and Ambuj K. Singh
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