| 153 | -- | 159 | Mark A. Fulk. Inductive Inference with Additional Information |
| 160 | -- | 170 | Cristina Bazgan, Miklos Santha, Zsolt Tuza. Efficient Approximation Algorithms for the SUBSET-SUMS EQUALITY Problem |
| 171 | -- | 218 | Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni. Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems |
| 219 | -- | 248 | Minos N. Garofalakis, Yannis E. Ioannidis, Banu Özden, Abraham Silberschatz. Competitive On-line Scheduling of Continuous-Media Streams |
| 249 | -- | 283 | Frank Drewes, Berthold Hoffmann, Detlef Plump. Hierarchical Graph Transformation |
| 284 | -- | 307 | Tom H. Westerdale. Minimality of an Automaton Cascade Decomposition for Learning System Environments |
| 308 | -- | 310 | Martin R. Bridson, Robert H. Gilman. Context-Free Languages of Sub-exponential Growth |
| 311 | -- | 328 | Lane A. Hemaspaandra, Mitsunori Ogihara, Gerd Wechsung. Reducing the Number of Solutions of NP Functions |
| 329 | -- | 349 | Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal. Interval Consistency of Asynchronous Distributed Computations |
| 350 | -- | 395 | Joost Engelfriet, Sebastian Maneth. Output String Languages of Compositions of Deterministic Macro Tree Transducers |
| 396 | -- | 418 | Volker Diekert, Paul Gastin. LTL Is Expressively Complete for Mazurkiewicz Traces |
| 419 | -- | 438 | Detlef Sieling. Lower Bounds for Linearly Transformed OBDDs and FBDDs |