| 1 | -- | 14 | Silvia Ghilezan. Full Intersection Types and Topologies in Lambda Calculus |
| 15 | -- | 42 | Fosca Giannotti, Dino Pedreschi, Carlo Zaniolo. Semantics and Expressive Power of Nondeterministic Constructs in Deductive Databases |
| 43 | -- | 72 | Paolo Liberatore, Marco Schaerf. Belief Revision and Update: Complexity of Model Checking |
| 73 | -- | 122 | Anna Philippou, David Walker. A Process-Calculus Analysis of Concurrent Operations on B-Trees |
| 123 | -- | 151 | Sally A. Goldman, Stephen Kwek, Stephen D. Scott. Agnostic Learning of Geometric Patterns |
| 152 | -- | 177 | Richard Cole, Bruce M. Maggs, Ramesh K. Sitaraman. On the Benefit of Supporting Virtual Channels in Wormhole Routers |
| 178 | -- | 212 | Sanjay Jain, Carl H. Smith, Rolf Wiehagen. Robust Learning Is Rich |