| 3 | -- | 42 | Thomas Eiter, Georg Gottlob. The Complexity of Logic-Based Abduction |
| 43 | -- | 66 | Bernhard Nebel, Hans-Jürgen Bürckert. Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen s Interval Algebra |
| 67 | -- | 90 | Paul B. Callahan, S. Rao Kosaraju. A Decomposition of Multidimensional Point Sets with Applications to k-Nearest-Neighbors and n-Body Potential Fields |
| 91 | -- | 123 | Andrew A. Chien, Jae H. Kim. Planar-Adaptive Routing: Low-Cost Adaptive Networks for Multiprocessors |
| 124 | -- | 142 | Hagit Attiya, Amotz Bar-Noy, Danny Dolev. Sharing Memory Robustly in Message-Passing Systems |
| 143 | -- | 185 | Danny Dolev, Joseph Y. Halpern, Barbara Simons, H. Raymond Strong. Dynamic Fault-Tolerant Clock Synchronization |
| 186 | -- | 203 | Sibsankar Haldar, K. Vidyasankar. Constructing 1-Writer Multireader Multivalued Atomic Variable from Regular Variables |
| 204 | -- | 231 | C. S. Chang, R. Nelson. Bounds on the Speedup and Efficiency of Partial Synchronization in Parallel Processing Systems |
| 232 | -- | 268 | Bard Bloom, Sorin Istrail, Albert R. Meyer. Bisimulation Can t be Traced |
| 269 | -- | 291 | Manuel Blum, Sampath Kannan. Designing Programs that Check Their Work |