Theory of Computing Systems, Volume 42

Volume 42, Number 1, January 2008

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

Volume 42, Number 2, February 2008

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

Volume 42, Number 3, April 2008

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