Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Theor.~Comput.~Sci. AND Volume=346
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A theory for execution-time derivation in real-time programs
Karl Lermer
,
Colin J. Fidge
,
Ian J. Hayes
Theoretical Computer Science
346
(1), 2005, pp. 3-27
Quantitative information in the tuple space coordination model
Mario Bravetti
,
Roberto Gorrieri
,
Roberto Lucchi
,
Gianluigi Zavattaro
Theoretical Computer Science
346
(1), 2005, pp. 28-57
A semantic framework for the abstract model checking of tccp programs
María Alpuente
,
María del Mar Gallardo
,
Ernesto Pimentel
,
Alicia Villanueva
Theoretical Computer Science
346
(1), 2005, pp. 58-95
Probabilistic guarded commands mechanized in HOL
Joe Hurd
,
Annabelle McIver
,
Carroll Morgan
Theoretical Computer Science
346
(1), 2005, pp. 96-112
On finite-state approximants for probabilistic computation tree logic
Michael Huth
Theoretical Computer Science
346
(1), 2005, pp. 113-134
Quantitative
\mu
-calculus and CTL defined over constraint semirings
Alberto Lluch-Lafuente
,
Ugo Montanari
Theoretical Computer Science
346
(1), 2005, pp. 135-160
Separable equilibrium state probabilities via time reversal in Markovian process algebra
P.G. Harrison
,
T.T. Lee
Theoretical Computer Science
346
(1), 2005, pp. 161-182
Minimal change list for Lucas strings and some graph theoretic consequences
Jean-Luc Baril
,
Vincent Vajnovszki
Theoretical Computer Science
346
(2-3), 2005, pp. 189-199
The discrete Green theorem and some applications in discrete geometry
S. Brlek
,
G. Labelle
,
A. Lacasse
Theoretical Computer Science
346
(2-3), 2005, pp. 200-225
Graph encoding of 2D-gon tilings
Frédéric Chavanon
,
Matthieu Latapy
,
Michel Morvan
,
Eric Rémila
,
Laurent Vuillon
Theoretical Computer Science
346
(2-3), 2005, pp. 226-253
A solution to the tennis ball problem
Anna de Mier
,
Marc Noy
Theoretical Computer Science
346
(2-3), 2005, pp. 254-264
A multidimensional critical factorization theorem
Chiara Epifanio
,
Filippo Mignosi
Theoretical Computer Science
346
(2-3), 2005, pp. 265-280
Implicit surface visualization of reconstructed biological molecules
Edgar Garduño
,
Gabor T. Herman
Theoretical Computer Science
346
(2-3), 2005, pp. 281-299
Reduction from three-dimensional discrete tomography to multicommodity flow problem
Y. Gerard
Theoretical Computer Science
346
(2-3), 2005, pp. 300-306
Enumeration of symmetry classes of convex polyominoes on the honeycomb lattice
Dominique Gouyou-Beauchamps
,
Pierre Leroux
Theoretical Computer Science
346
(2-3), 2005, pp. 307-334
A sufficient condition for non-uniqueness in binary tomography with absorption
Attila Kuba
,
Murice Nivat
Theoretical Computer Science
346
(2-3), 2005, pp. 335-357
Monotone runs of uniformly distributed integer random variables: A probabilistic analysis
Guy Louchard
Theoretical Computer Science
346
(2-3), 2005, pp. 358-387
Efficient iteration in admissible combinatorial classes
Conrado Martínez
,
Xavier Molinero
Theoretical Computer Science
346
(2-3), 2005, pp. 388-417
On computing the coefficients of bivariate holonomic formal series
P. Massazza
,
R. Radicioni
Theoretical Computer Science
346
(2-3), 2005, pp. 418-438
Reconstruction of convex polyominoes from orthogonal projections of their contours
C. Picouleau
Theoretical Computer Science
346
(2-3), 2005, pp. 439-454
Three dimensional Narayana and Schröder numbers
Robert A. Sulanke
Theoretical Computer Science
346
(2-3), 2005, pp. 455-468
Rauzy substitutions and multi-dimensional Sturmian words
Robert Tijdeman
Theoretical Computer Science
346
(2-3), 2005, pp. 469-489