| 537 | -- | 564 | Yasunori Ishihara, Shougo Shimizu, Hiroyuki Seki, Minoru Ito. Refinements of Complexity Results on Type Consistency for Object-Oriented Databases |
| 565 | -- | 588 | Juraj Hromkovic, Sebastian Seibert, Thomas Wilke. Translating Regular Expressions into Small -Free Nondeterministic Finite Automata |
| 589 | -- | 607 | Yonatan Aumann, Johan Håstad, Michael O. Rabin, Madhu Sudan. Linear-Consistency Testing |
| 608 | -- | 628 | Changwook Kim. Separation Results for Separated Apex NLC and NCE Graph Languages |
| 629 | -- | 652 | Clemens Lautemann, Pierre McKenzie, Thomas Schwentick, Heribert Vollmer. The Descriptive Complexity Approach to LOGCFL |
| 653 | -- | 667 | Marcus Hutter. New Error Bounds for Solomonoff Prediction |
| 668 | -- | 690 | Yonit Kesten, Amir Pnueli, Moshe Y. Vardi. Verification by Augmented Abstraction: The Automata-Theoretic View |