Theoretical Computer Science, Volume 346

Volume 346, Number 1, 23 November 2005

• Antonio Cerone, Alessandra Di Pierro:
  Preface. 1-2
  
• Karl Lermer, Colin J. Fidge, Ian J. Hayes:
  A theory for execution-time derivation in real-time programs. 3-27
  
• Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro:
  Quantitative information in the tuple space coordination model. 28-57
  
• María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva:
  A semantic framework for the abstract model checking of tccp programs. 58-95
  
• Joe Hurd, Annabelle McIver, Carroll Morgan:
  Probabilistic guarded commands mechanized in HOL. 96-112
  
• Michael Huth:
  On finite-state approximants for probabilistic computation tree logic. 113-134
  
• Alberto Lluch-Lafuente, Ugo Montanari:
  Quantitative mu-calculus and CTL defined over constraint semirings. 135-160
  
• Peter G. Harrison, Ting Ting Lee:
  Separable equilibrium state probabilities via time reversal in Markovian process algebra. 161-182
  

Volume 346, Numbers 2-3, 28 November 2005

• Elisa Pergola, Simone Rinaldi:
  Preface. 183
  
• Elisa Pergola, Simone Rinaldi:
  In memoriam: Alberto Del Lungo (1965-2003). 184-188
  
• Jean-Luc Baril, Vincent Vajnovszki:
  Minimal change list for Lucas strings and some graph theoretic consequences. 189-199
  
• Srecko Brlek, Gilbert Labelle, Annie Lacasse:
  The discrete Green Theorem and some applications in discrete geometry. 200-225
  
• Frédéric Chavanon, Matthieu Latapy, Michel Morvan, Eric Rémila, Laurent Vuillon:
  Graph encoding of 2D-gon tilings. 226-253
  
• Anna de Mier, Marc Noy:
  A solution to the tennis ball problem. 254-264
  
• Chiara Epifanio, Filippo Mignosi:
  A multidimensional critical factorization theorem. 265-280
  
• Edgar Garduño, Gabor T. Herman:
  Implicit surface visualization of reconstructed biological molecules. 281-299
  
• Y. Gerard:
  Reduction from three-dimensional discrete tomography to multicommodity flow problem. 300-306
  
• Dominique Gouyou-Beauchamps, Pierre Leroux:
  Enumeration of symmetry classes of convex polyominoes on the honeycomb lattice. 307-334
  
• Attila Kuba, Maurice Nivat:
  A sufficient condition for non-uniqueness in binary tomography with absorption. 335-357
  
• Guy Louchard:
  Monotone runs of uniformly distributed integer random variables: A probabilistic analysis. 358-387
  
• Conrado Martínez, Xavier Molinero:
  Efficient iteration in admissible combinatorial classes. 388-417
  
• Paolo Massazza, Roberto Radicioni:
  On computing the coefficients of bivariate holonomic formal series. 418-438
  
• Christophe Picouleau:
  Reconstruction of convex polyominoes from orthogonal projections of their contours. 439-454
  
• Robert A. Sulanke:
  Three dimensional Narayana and Schröder numbers. 455-468
  
• Robert Tijdeman:
  Rauzy substitutions and multi-dimensional Sturmian words. 469-489