Theoretical Computer Science, Volume 391

Volume 391, Numbers 1-2, February 2008

• Valérie Berthé, Pierre B. A. Lecomte, Michel Rigo:
  Preface to the special issue dedicated to combinatorics, automata and number theory. 1-2
  
• Paul Bell, Igor Potapov:
  On undecidability bounds for matrix decision problems. 3-13
  
• Elena Czeizler:
  Multiple constraints on three and four words. 14-19
  
• F. Durand:
  Cobham-Semenov theorem and N^d-subshifts. 20-38
  
• D. Frettlöh:
  Self-dual tilings with respect to star-duality. 39-50
  
• Amy Glen:
  A characterization of fine words over a finite alphabet. 51-60
  
• Juha Honkala:
  Cancellation and periodicity properties of iterated morphisms. 61-64
  
• Christoph Koutschan:
  Regular languages and their generating functions: The inverse problem. 65-74
  
• Srecko Brlek, Gilbert Labelle, Annie Lacasse:
  Shuffle operations on discrete paths. 75-89
  
• Jean Neraud:
  Completing circular codes in regular submonoids. 90-98
  
• Ilja V. Petrov:
  An algorithm for recognition of n-collapsing words. 99-108
  
• Guy Louchard, Helmut Prodinger:
  Generalized approximate counting revisited. 109-125
  
• Jui-Yi Kao, Narad Rampersad, Jeffrey Shallit, Manuel Silva:
  Words avoiding repetitions in arithmetic progressions. 126-137
  
• B. Schratzberger:
  A conversion algorithm based on the technique of singularization. 138-149
  
• Robert Brignall, Nikola Ruskuc, Vincent Vatter:
  Simple permutations: Decidability and unavoidable substructures. 150-163
  
• Julien Bernat:
  Symmetrized beta-integers. 164-177
  
• S. A. Puzynina, Sergey V. Avgustinovich:
  On periodicity of two-dimensional words. 178-187
  

Volume 391, Number 3, February 2008

• Corrado Priami:
  Preface. 189
  
• Luca Cardelli:
  On process rate semantics. 190-215
  
• Matteo Cavaliere, Radu Mardare, Sean Sedwards:
  A multiset-based model of synchronizing agents: Computability and robustness. 216-238
  
• John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn:
  Probabilistic model checking of complex biological pathways. 239-257
  
• Heike Siebert, Alexander Bockmayr:
  Temporal constraints in the logical analysis of regulatory networks. 258-275
  
• Hila Amir-Kroll, Avital Sadot, Irun R. Cohen, David Harel:
  GemCell: A generic platform for modeling multi-cellular biological systems. 276-290