| 1 | -- | 11 | Amihood Amir, Martin Farach. Efficient 2-Dimensional Approximate Matching of Half-Rectangular Figures |
| 12 | -- | 33 | Peter J. Stuckey. Negation and Constraint Logic Programming |
| 34 | -- | 37 | Samir Khuller, Yossi Matias. A Simple Randomized Sieve Algorithm for the Closest-Pair Problem |
| 38 | -- | 47 | Walter Vogler. Generalized OM-Bisimulation |
| 48 | -- | 64 | William J. Bultman, Wolfgang Maass. Fast Identification of Geometric Objects with Membership Queries |
| 65 | -- | 72 | John Shawe-Taylor. Sample Sizes for Threshold Networks with Equivalences |
| 73 | -- | 90 | Richard Beigel, Martin Kummer, Frank Stephan. Quantifying the Amount of Verboseness |
| 91 | -- | 100 | Gregory Kucherov, Mohamed Tajine. Decidability of Regularity and Related Properties of Ground Normal Form Languages |
| 101 | -- | 109 | Hervé J. Touati, Robert K. Brayton, Robert P. Kurshan. Testing Language Containment for omega-Automata Using BDD s |
| 110 | -- | 119 | Igor Litovsky, Yves Métivier, Wieslaw Zielonka. On the Recognition of Families of Graphs with Local Computations |
| 120 | -- | 127 | Masako Takahashi. Parallel Reductions in lambda-Calculus |
| 128 | -- | 141 | Jens Palsberg, Michael I. Schwartzbach. Safety Analysis versus Type Inference |
| 142 | -- | 157 | Rajeev Alur, Alon Itai, Robert P. Kurshan, Mihalis Yannakakis. Timing Verification by Successive Approximation |
| 158 | -- | 179 | Flaviu Cristian, Houtan Aghili, H. Raymond Strong, Danny Dolev. Atomic Broadcast: From Simple Message Diffusion to Byzantine Agreement |