default search action
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 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.