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 YEAR=2003
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Shape preserving top-down tree transducers
Zoltán Fülöp
,
Zsolt Gazdag
Theoretical Computer Science
304
(1-3), 2003, pp. 315-339
Text sparsification via local maxima
Pilu Crescenzi
,
Alberto Del Lungo
,
Roberto Grossi
,
Elena Lodi
,
Linda Pagli
,
Gianluca Rossi
Theoretical Computer Science
304
(1-3), 2003, pp. 341-364
Some properties of the factors of Sturmian sequences
Wei-Ting Cao
,
Zhi-Ying Wen
Theoretical Computer Science
304
(1-3), 2003, pp. 365-385
A Nim game played on graphs
Masahiko Fukuyama
Theoretical Computer Science
304
(1-3), 2003, pp. 387-399
A Nim game played on graphs II
Masahiko Fukuyama
Theoretical Computer Science
304
(1-3), 2003, pp. 401-419
A descriptive complexity approach to the linear hierarchy
Yassine Hachaïchi
Theoretical Computer Science
304
(1-3), 2003, pp. 421-429
Fractal dimension and logarithmic loss unpredictability
John M. Hitchcock
Theoretical Computer Science
304
(1-3), 2003, pp. 431-441
Super link-connectivity of iterated line digraphs
Xiaoyan Cheng
,
Xiufeng Du
,
Manki Min
,
Hung Q. Ngo
,
Lu Ruan
,
Jianhua Sun
,
Weili Wu
Theoretical Computer Science
304
(1-3), 2003, pp. 461-469
On universally easy classes for
NP
-complete problems
Erik D. Demaine
,
Alejandro López-Ortiz
,
J. Ian Munro
Theoretical Computer Science
304
(1-3), 2003, pp. 471-476
When does a random Robin Hood win?
William Gasarch
,
Evan Golub
,
Aravind Srinivasan
Theoretical Computer Science
304
(1-3), 2003, pp. 477-484
Combinatorial constructions associated to the dynamics of one-sided cellular automata
Pablo Dartnell
,
Alejandro Maass
,
Fernando Schwartz
Theoretical Computer Science
304
(1-3), 2003, pp. 485-497
Games for synthesis of controllers with partial observation
A. Arnold
,
A. Vincent
,
I. Walukiewicz
Theoretical Computer Science
303
(1), 2003, pp. 7-34
Functional labels and syntactic entropy on DNA strings and proteins
A. Carbone
,
M. Gromov
Theoretical Computer Science
303
(1), 2003, pp. 35-51
On the amplitude of intervals of natural numbers whose every element has a common prime divisor with at least an extremity
Patrick Cégielski
,
François Heroult
,
Denis Richard
Theoretical Computer Science
303
(1), 2003, pp. 53-62
On feasible cases of checking multi-agent systems behavior
Michael Dekhtyar
,
Alexander Dikovsky
,
Mars Valiev
Theoretical Computer Science
303
(1), 2003, pp. 63-81
Algebraic proof systems over formulas
Dima Grigoriev
,
Edward A. Hirsch
Theoretical Computer Science
303
(1), 2003, pp. 83-102
On temporal logic versus Datalog
Ir'ene Guessarian
,
Eugénie Foustoucos
,
Theodore Andronikos
,
Foto Afrati
Theoretical Computer Science
303
(1), 2003, pp. 103-133
Combinatorics of perfect matchings in plane bipartite graphs and application to tilings
J.C. Fournier
Theoretical Computer Science
303
(2-3), 2003, pp. 333-351
An algorithm to generate exactly once every tiling with lozenges of a domain
Sébastien Desreux
Theoretical Computer Science
303
(2-3), 2003, pp. 375-408
A codicity undecidable problem in the plane
Danièle Beauquier
,
Maurice Nivat
Theoretical Computer Science
303
(2-3), 2003, pp. 417-430
Data structures and algorithms for tilings
Olaf Delgado-Friedrichs
Theoretical Computer Science
303
(2-3), 2003, pp. 431-445
A weakly mixing tiling dynamical system with a smooth model
Thomas L. Fitzkee
,
Kevin G. Hockett
,
E. Arthur, Jr. Robinson
Theoretical Computer Science
303
(2-3), 2003, pp. 447-462
Additive and multiplicative properties of point sets based on beta-integers
Christiane Frougny
,
Jean-Pierre Gazeau
,
Rudolf Krejcar
Theoretical Computer Science
303
(2-3), 2003, pp. 491-516
The bounded eight-vertex model
Kari Eloranta
Theoretical Computer Science
303
(2-3), 2003, pp. 539-552
Nearly optimal strategies for special cases of on-line capital investment
Peter Damaschke
Theoretical Computer Science
302
(1-3), 2003, pp. 35-44
Seiten
<
1
2
3
4
5
6
7
8
9
10
11
12
>