| 4 | -- | 9 | Peter Wegner, Eugene Eberbach. New Models of Computation |
| 10 | -- | 19 | George F. Georgakopoulos, David J. McClurkin. Generalized Template Splay: A Basic Theory and Calculus |
| 20 | -- | 24 | Amir Sapir. The Tower of Hanoi with Forbidden Moves |
| 25 | -- | 45 | Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco. Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation |
| 46 | -- | 57 | Ziya Arnavut. Inversion Coding |
| 58 | -- | 70 | Masayuki Abe. Combining Encryption and Proof of Knowledge in the Random Oracle Model |
| 71 | -- | 84 | Ying Xu, Xiaoyu Song, Eduard Cerny, Otmane Aït Mohamed. Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs) |
| 85 | -- | 92 | Luiz Carlos Pessoa Albini, Stefano Chessa, Piero Maestrini. Diagnosis of Symmetric Graphs Under the BGM Model |
| 93 | -- | 102 | Ahmad A. Hiasat. A Suggestion for a Fast Residue Multiplier for a Family of Moduli of the Form (2:::n::: - (2:::p::: [plusmn] 1)) |
| 103 | -- | 133 | Zhongqiang Chen, Alex Delis, Henry L. Bertoni. Building Footprint Simplification Techniques and Their Effects on Radio Propagation Predictions |