Journal: Theory Comput. Syst.

Volume 42, Issue 4

431 -- 449Leah Epstein, Arik Ganot. Optimal On-Line Algorithms to Minimize Makespan on Two Machines with Resource Augmentation
450 -- 464Anna Bernasconi, Valentina Ciriani, Fabrizio Luccio, Linda Pagli. Synthesis of Autosymmetric Functions in a New Three-Level Form
465 -- 487Micah Adler, Ying Gong, Arnold L. Rosenberg. On Exploiting Node-Heterogeneous Clusters Optimally
488 -- 518Tomasz Jurdzinski, Friedrich Otto, Frantisek Mráz, Martin Plátek. On the Complexity of 2-Monotone Restarting Automata
519 -- 535Kieran T. Herley, Andrea Pietracaprina, Geppino Pucci. Store-and-Forward Multicast Routing on the Mesh
536 -- 567Blaise Genest, Anca Muscholl. Pattern Matching and Membership for Hierarchical Message Sequence Charts
568 -- 595José L. Balcázar, Yang Dai, Junichi Tanaka, Osamu Watanabe. Provably Fast Training Algorithms for Support Vector Machines
596 -- 607Aduri Pavan, N. V. Vinodchandran. Relations between Average-Case and Worst-Case Complexity
608 -- 631Manfred Droste, Paul Gastin. On Aperiodic and Star-Free Formal Power Series in Partially Commuting Variables
632 -- 650Michele Flammini, Luca Moscardelli, Alfredo Navarra, Stephane Perennes. Asymptotically Optimal Solutions for Small World Graphs

Volume 42, Issue 3

287 -- 288Mario Coppo, Elena Lodi, G. Michele Pinna. Foreword
289 -- 305Yuichi Asahiro, Eiji Miyano, Shinichi Shimoirisa. Grasp and Delivery for Moving Objects on Broken Lines
306 -- 348Steffen van Bakel, Ugo de Liguoro. Logical Equivalence for Subtyping Object and Recursive Types
349 -- 365Tsvi Kopelowitz, Ely Porat. Improved Algorithms for Polynomial-Time Decay and Time-Decay with Additive Error
366 -- 410Wojciech Jamroga, Jürgen Dix. Model Checking Abilities of Agents: A Closer Look
411 -- 429Sabrina Mantaci, Antonio Restivo, Giovanna Rosone, Marinella Sciortino. A New Combinatorial Approach to Sequence Comparison

Volume 42, Issue 2

131 -- 142John M. Hitchcock, Aduri Pavan, N. V. Vinodchandran. Partial Bi-immunity, Scaled Dimension, and NP-Completeness
143 -- 156Boris Aronov, Tetsuo Asano, Yosuke Kikuchi, Subhas C. Nandy, Shinji Sasahara, Takeaki Uno. A Generalization of Magic Squares with Applications to Digital Halftoning
157 -- 186Christian Wartena. Storage Products and Linear Control of Derivations
187 -- 221Koichi Koizumi, Takaaki Mizuki, Takao Nishizeki. A Revised Transformation Protocol for Unconditionally Secure Secret Key Exchange
222 -- 238Michael Okun, Amnon Barak. Efficient Algorithms for Anonymous Byzantine Agreement
239 -- 255Nadia Creignou, Miki Hermann, Andrei A. Krokhin, Gernot Salzer. Complexity of Clausal Constraints Over Chains
256 -- 286Christian Glaßer, Heinz Schmitz. Languages of Dot-Depth 3/2

Volume 42, Issue 1

1 -- 0Paul G. Spirakis. Preface
2 -- 26Randeep Bhatia, Nicole Immorlica, Tracy Kimbrel, Vahab S. Mirrokni, Joseph Naor, Baruch Schieber. Traffic Engineering of Management Flows by Link Augmentations on Confluent Trees
27 -- 41Baruch Awerbuch, Yossi Azar, Zvi Lotker, Boaz Patt-Shamir, Mark R. Tuttle. Collaborate with Strangers to Find Own Preferences
42 -- 72Ioannis Chatzigiannakis, Athanasios Kinalis, Sotiris E. Nikoletseas. Adaptive Energy Management for Incremental Deployment of Heterogeneous Wireless Sensors
73 -- 90Piotr Sankowski. Processor Efficient Parallel Matching
91 -- 130Martin Gairing, Burkhard Monien, Karsten Tiemann. Selfish Routing with Incomplete Information