1982 CS Technical Reports

• CS0203 Micha Hofri: Bin Packing: An Analysis of the Next-fit Algorithm
• CS0231 Shimon Even: A Protocol for Signing Contracts
• CS0232 B. Mahr and J.A. Makowsky: Characterlzing Specification Languages which Admit Initiat Semantics
• CS0233 S. Even, O. Goidreich and A. Lempel: A Randomized Protocol for Signing Contracts
• CS0234 J.A. Makowsky and M.L. Tiomkin: An Array Assignment for Propositional Dynamic Logic
• CS0235 Shlomo Moran: On the Length of Optimal TSP Circuits in Sets of Bounded Diameter
• CS0236 Gadiel Seroussi and Abraham Lempel: Maximum Likelihood Decoding of Certain Reed-Muller Codes
• CS0237 Guy Fayolle and Micha Hofri: On The Capacity of a Collision Channel under Stack-Based Collision Resolution Algorithm
• CS0238 Nachum Dershowitz and Shmuel Zaks: The Cycle Lemma and Some Applications
• CS0239 Oded Goldreich: A Protocol for Sending Certified Mail
• CS0240 Tuvi Etzion and Michael Yoeli: Super-Nets and Their Hierarchy
• CS0241 Shlorno Moran: On the Densest Packing of Circles in Convex Figures
• CS0242 Micha Hofri: Bin Packing: An Analysis of the Next-fit Algorithm
• CS0243 Alon Itai and Johann Makowsky: On the Complexity of Herbrand's Theorem
• CS0244 Tzilla Elrad and Nissim Francez: A Weakest Precondition Semantics for Communicating Processes
• CS0245 Tuvi Etzion and Abraham Lempel: Algorithms for the Generation of Full-length Shift-register Sequences
• CS0246 J. A. Makowsky: Compactness and Unions of Chains
• CS0247 Micha Hofri: Analysis of Interleaved Storage via a Constant Service Queueing System with "Markov-Chain Driven" Input
• CS0248 Amir Tomer arid Michael Yoeli: On the Application of Extended Petri Nets to the Verification of Protocols
• CS0249 O. Kariv and M. Jeger: Algorithms For P-Center In A Weighted Tree
• CS0250 Micha Hofri: Should the Two-Headed Disk Be Greedy?
• CS0251 Alon Itai and Avram Zehavi: Bounds on Path Connectivity
• CS0252 B. Mahr and J.A. Makowsky: An Axiomatic Approach to Semantics of Specification Languages
• CS0253 Alon Itai and Michael Rodeh: The Lord of the Ring
• CS0254 J. A. Makowsky and S. Shelah: Positive Results in Abstract Model Theory: A Theory of Compact Logics
• CS0255 I. Chlamtac and Ora. Gaoz: A Model of Dual Bus Distributed System with Alternative Communication Port Designs