Theoretical Computer Science, Volume 312

Volume 312, Number 1, 26 January 2004

• Stephan Eidenbenz, Matthew Hennessy, Rafael Morales Bueno, Francisco Triguero Ruiz, Peter Widmayer, Ricardo Conejo:
  Preface. 1-2
  Electronic Edition (link) BibTeX
• Moses Charikar, Kevin Chen, Martin Farach-Colton:
  Finding frequent items in data streams. 3-15
  Electronic Edition (link) BibTeX
• Lars Engebretsen, Jonas Holmerin, Alexander Russell:
  Inapproximability results for equations over finite groups. 17-45
  Electronic Edition (link) BibTeX
• Seth Pettie:
  A new approach to all-pairs shortest paths on real-weighted graphs. 47-74
  Electronic Edition (link) BibTeX
• Tomasz Radzik:
  Improving time bounds on maximum generalised flow computations by contracting the network. 75-97
  Electronic Edition (link) BibTeX
• Keye Martin, Michael W. Mislove, James Worrell:
  Measuring the probabilistic powerdomain. 99-119
  Electronic Edition (link) BibTeX
• C.-H. Luke Ong, Pietro Di Gianantonio:
  Games characterizing Levy-Longo trees. 121-142
  Electronic Edition (link) BibTeX

Volume 312, Numbers 2-3, 30 January 2004

• Rudolf Freund, Carlos Martín-Vide, Gheorghe Paun:
  From regulated rewriting to computing with membranes: collapsing hierarchies. 143-188
  Electronic Edition (link) BibTeX
• Nageswara S. V. Rao:
  Probabilistic quickest path algorithm. 189-201
  Electronic Edition (link) BibTeX
• Véronique Terrier:
  Two-dimensional cellular automata and their neighborhoods. 203-222
  Electronic Edition (link) BibTeX
• Stéphane Vialette:
  On the computational complexity of 2-interval pattern matching problems. 223-249
  Electronic Edition (link) BibTeX
• Kosaburo Hashiguchi, Naoto Sakakibara, Shuji Jimbo:
  Equivalence of regular binoid expressions and regular expressions denoting binoid languages over free binoids. 251-266
  Electronic Edition (link) BibTeX
• Yoshiyuki Karuno, Hiroshi Nagamochi:
  An approximability result of the multi-vehicle scheduling problem on a path with release and handling times. 267-280
  Electronic Edition (link) BibTeX
• Zhang Yi:
  Global exponential convergence of recurrent neural networks with variable delays. 281-293
  Electronic Edition (link) BibTeX
• Pierluigi Frisco:
  The conformon-P system: a molecular and cell biology-inspired computability model. 295-319
  Electronic Edition (link) BibTeX
• Chuan-Kun Wu, Ed Dawson:
  Correlation immunity and resiliency of symmetric Boolean functions. 321-335
  Electronic Edition (link) BibTeX
• Jochen Alber, Jens Gramm, Jiong Guo, Rolf Niedermeier:
  Computing the similarity of two sequences with nested arc annotations. 337-358
  Electronic Edition (link) BibTeX
• Oscar H. Ibarra, Zhe Dang:
  On two-way FA with monotonic counters and quadratic Diophantine equations. 359-378
  Electronic Edition (link) BibTeX
• Oscar H. Ibarra, Zhe Dang, Ömer Egecioglu:
  Catalytic P systems, semilinear sets, and vector addition systems. 379-399
  Electronic Edition (link) BibTeX
• Michel Habib, Lhouari Nourine, Olivier Raynaud, Eric Thierry:
  Computational aspects of the 2-dimension of partially ordered sets. 401-431
  Electronic Edition (link) BibTeX
• Antonio Cano Gómez, Jean-Eric Pin:
  Shuffle on positive varieties of languages. 433-461
  Electronic Edition (link) BibTeX
• Benjamin Doerr:
  Typical rounding problems. 463-477
  Electronic Edition (link) BibTeX
• Daowen Qiu, Mingsheng Ying:
  Characterizations of quantum automata. 479-489
  Electronic Edition (link) BibTeX