| 509 | -- | 546 | Lars Engebretsen, Marek Karpinski. TSP with bounded metrics |
| 547 | -- | 575 | Stéphane Demri, François Laroussinie, Ph. Schnoebelen. A parametric analysis of the state-explosion problem in model checking |
| 576 | -- | 591 | David Gross-Amblard, Michel de Rougemont. Uniform generation in spatial constraint databases and applications |
| 592 | -- | 616 | Yehuda Hassin, David Peleg. Average probe complexity in quorum systems |
| 617 | -- | 647 | Blaise Genest, Anca Muscholl, Helmut Seidl, Marc Zeitoun. Infinite-state high-level MSCs: Model-checking and realizability |
| 648 | -- | 659 | Michael Elkin, Guy Kortsarz. Sublogarithmic approximation for telephone multicast |
| 660 | -- | 689 | Holger Spakowski, Rahul Tripathi. LWPP and WPP are not uniformly gap-definable |
| 690 | -- | 705 | Zuhua Shao. Security of the design of time-stamped signatures |
| 706 | -- | 726 | Li Chunlin, Li Layuan. A distributed multiple dimensional QoS constrained resource scheduling optimization policy in computational grid |
| 727 | -- | 740 | I-En Liao, Cheng-Chi Lee, Min-Shiang Hwang. A password authentication scheme over insecure networks |
| 741 | -- | 759 | Hui-Cheng Xia, Deng-Feng Li, Ji-Yan Zhou, Jian-Ming Wang. Fuzzy LINMAP method for multiattribute decision making under fuzzy environments |
| 760 | -- | 782 | John M. Hitchcock, N. V. Vinodchandran. Dimension, entropy rates, and compression |
| 783 | -- | 0 | Birgit Jenner, Johannes Köbler, Pierre McKenzie, Jacobo Torán. Corrigendum to Completeness results for graph isomorphism [J. Comput. System Sci. 66(2003) 549-566] |