Volume 346, Number 1, 23 November 2005

Quantitative Aspects of Programming Languages (QAPL 2004)

• 
  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

In memoriam: Alberto Del Lungo (1965-2003)

• 
  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
• 
  Yan Gérard: 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