Theoretical Computer Science, Volume 402

Volume 402, Number 1, July 2008

• Sotiris E. Nikoletseas, José D. P. Rolim:
  Preface. 1
  Electronic Edition (link) BibTeX

• Alan A. Bertossi, Stephan Olariu, Maria Cristina Pinotti:
  Efficient corona training protocols for sensor networks. 2-15
  Electronic Edition (link) BibTeX
• Jacek Cichon, Miroslaw Kutylowski, Marcin Zawada:
  Adaptive initialization algorithm for ad hoc radio networks with carrier sensing. 16-28
  Electronic Edition (link) BibTeX
• Magnús M. Halldórsson, Takeshi Tokuyama:
  Minimizing interference of a wireless ad-hoc network in a plane. 29-42
  Electronic Edition (link) BibTeX
• Davide Bilò, Guido Proietti:
  On the complexity of minimizing interference in ad-hoc and sensor networks. 43-55
  Electronic Edition (link) BibTeX
• Sotiris E. Nikoletseas, Paul G. Spirakis:
  Efficient sensor network design for continuous monitoring of moving objects. 56-66
  Electronic Edition (link) BibTeX
• Paola Flocchini, Giuseppe Prencipe, Nicola Santoro:
  Self-deployment of mobile sensors on a ring. 67-80
  Electronic Edition (link) BibTeX

Volume 402, Numbers 2-3, August 2008

• Ugo Montanari, Donald Sannella:
  Preface. 81
  Electronic Edition (link) BibTeX

• Aslan Askarov, Daniel Hedin, Andrei Sabelfeld:
  Cryptographically-masked flows. 82-101
  Electronic Edition (link) BibTeX
• Roberto Bruni, Ivan Lanese:
  Parametric synchronizations in mobile nominal calculi. 102-119
  Electronic Edition (link) BibTeX
• Luís Caires:
  Spatial-behavioral types for concurrency and resource control in distributed systems. 120-141
  Electronic Edition (link) BibTeX
• Ioannis Caragiannis, Christos Kaklamanis, Panagiotis Kanellopoulos, Evi Papaioannou:
  Scheduling to maximize participation. 142-155
  Electronic Edition (link) BibTeX
• Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Daniele Varacca:
  Security types for dynamic web data. 156-171
  Electronic Edition (link) BibTeX
• Reiner Hähnle, Jing Pan, Philipp Rümmer, Dennis Walter:
  Integration of a security type system into a program logic. 172-189
  Electronic Edition (link) BibTeX
• Nicolas Hanusse, Dimitris J. Kavvadias, Evangelos Kranakis, Danny Krizanc:
  Memoryless search algorithms in a network with faulty advice. 190-198
  Electronic Edition (link) BibTeX
• Damien Pous:
  Using bisimulation proof techniques for the analysis of distributed abstract machines. 199-220
  Electronic Edition (link) BibTeX
• Francesco Silvestri:
  On the limits of cache-oblivious rational permutations. 221-233
  Electronic Edition (link) BibTeX
• Ian Wehrman, David Kitchin, William R. Cook, Jayadev Misra:
  A timed semantics of Orc. 234-248
  Electronic Edition (link) BibTeX