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] |