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
To the main CS technical reports page