| 105 | -- | 131 | Robert Givan, David A. McAllester, Carl Witty, Dexter Kozen. Tarskian Set Constraints |
| 132 | -- | 142 | Arnaud Durand, Malika More. Nonerasing, Counting, and Majority over the Linear Time Hierarchy |
| 143 | -- | 179 | Nobuko Yoshida, Matthew Hennessy. Assigning Types to Processes |
| 180 | -- | 192 | Alberto Apostolico, Mikhail J. Atallah. Compact Recognizers of Episode Sequences |
| 193 | -- | 202 | Steven S. Seiden. A General Decomposition Theorem for the k-Server Problem |
| 203 | -- | 213 | Noga Alon, Haim Kaplan, Michael Krivelevich, Dahlia Malkhi, Julien P. Stern. Scalable Secure Storage When Half the System Is Faulty |