| 255 | -- | 274 | Esther M. Arkin, Christos H. Papadimitriou, Mihalis Yannakakis. Modularity of Cycles and Paths in Graphs |
| 275 | -- | 298 | David P. Dobkin, Subhash Suri. Maintenance of Geometric Extrema |
| 299 | -- | 328 | Randal E. Bryant. A Methodology for Hardware Verification Based on Logic Simulation |
| 329 | -- | 381 | Yannis E. Ioannidis, Eugene Wong. Towards an Algebraic Theory of Recursion |
| 382 | -- | 428 | Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi. A Model-Theoretic Analysis of Knowledge |
| 429 | -- | 452 | Nicholas Bambos, Jean C. Walrand. On Stability and Performance of Parallel Processing Systems |
| 453 | -- | 471 | Yishay Mansour, Baruch Schieber, Prasoon Tiwari. A Lower Bound for Integer Greatest Common Divisor Computations |
| 472 | -- | 494 | Anne Condon. Space-Bounded Probabilistic Game Automata |
| 495 | -- | 514 | Noga Alon, A. K. Dewdney, Teunis J. Ott. Efficient Simulation of Finite Automata by Neural Nets |