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=2007
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
The quantum query complexity of the Abelian hidden subgroup problem
Pascal Koiran
,
Vincent Nesme
,
Natacha Portier
Theoretical Computer Science
380
(1-2), 2007, pp. 115-126
Discrete random variables over domains
Michael Mislove
Theoretical Computer Science
380
(1-2), 2007, pp. 181-198
Tight lower bounds for query processing on streaming and external memory data
Martin Grohe
,
Christoph Koch
,
Nicole Schweikardt
Theoretical Computer Science
380
(1-2), 2007, pp. 199-217
Reversals and palindromes in continued fractions
Boris Adamczewski
,
Jean-Paul Allouche
Theoretical Computer Science
380
(3), 2007, pp. 220-237
On alpha-adic expansions in Pisot bases
Petr Ambroz̑
,
Christiane Frougny
Theoretical Computer Science
380
(3), 2007, pp. 238-250
Functional stepped surfaces, flips, and generalized substitutions
Pierre Arnoux
,
Valérie Berthé
,
Thomas Fernique
,
Damien Jamet
Theoretical Computer Science
380
(3), 2007, pp. 251-265
Factor versus palindromic complexity of uniformly recurrent infinite words
Peter Baláz̑i
,
Zuzana Masáková
,
Edita Pelantová
Theoretical Computer Science
380
(3), 2007, pp. 266-275
Discrete rotations and symbolic dynamics
Valérie Berthé
,
Bertrand Nouvel
Theoretical Computer Science
380
(3), 2007, pp. 276-285
A geometrical characterization of factors of multidimensional Billiard words and some applications
Jean-Pierre Borel
Theoretical Computer Science
380
(3), 2007, pp. 286-303
On the arithmetical complexity of Sturmian words
J. Cassaigne
,
A.E. Frid
Theoretical Computer Science
380
(3), 2007, pp. 304-316
Local rule substitutions and stepped surfaces
Thomas Fernique
Theoretical Computer Science
380
(3), 2007, pp. 317-329
Powers in a class of
A
-strict standard episturmian words
Amy Glen
Theoretical Computer Science
380
(3), 2007, pp. 330-354
Extension of the decidability of the marked PCP to instances with unique blocks
Vesa Halava
,
Tero Harju
,
Juhani Karhumäki
,
Michel Latteux
Theoretical Computer Science
380
(3), 2007, pp. 355-362
On systems of word equations with simple loop sets
S̑tȇpán Holub
,
Juha Kortelainen
Theoretical Computer Science
380
(3), 2007, pp. 363-372
A note on the number of squares in a word
Lucian Ilie
Theoretical Computer Science
380
(3), 2007, pp. 373-376
Transposition invariant words
Arto Lepistö
,
Francesco Pappalardi
,
Kalle Saari
Theoretical Computer Science
380
(3), 2007, pp. 377-387
Operational semantics for Petri net components
Jan Friso Groote
,
Marc Voorhoeve
Theoretical Computer Science
379
(1-2), 2007, pp. 1-19
From truth to computability II
Giorgi Japaridze
Theoretical Computer Science
379
(1-2), 2007, pp. 20-52
Closure properties for the class of behavioral models
Manuel A. Martins
Theoretical Computer Science
379
(1-2), 2007, pp. 53-83
Strong planning under uncertainty in domains with numerous but identical elements (a generic approach)
Max Kanovich
,
Jacqueline Vauzeilles
Theoretical Computer Science
379
(1-2), 2007, pp. 84-119
Semantics of a sequential language for exact real-number computation
J. Raymundo Marcial-Romero
,
Martín H. Escardó
Theoretical Computer Science
379
(1-2), 2007, pp. 120-141
Reasoning about probabilistic sequential programs
R. Chadha
,
L. Cruz-Filipe
,
P. Mateus
,
A. Sernadas
Theoretical Computer Science
379
(1-2), 2007, pp. 142-165
Ultraproducts and possible worlds semantics in institutions
Răzvan Diaconescu
,
Petros Stefaneas
Theoretical Computer Science
379
(1-2), 2007, pp. 210-230
Algorithmic analysis of polygonal hybrid systems, part I: Reachability
Eugene Asarin
,
Gerardo Schneider
,
Sergio Yovine
Theoretical Computer Science
379
(1-2), 2007, pp. 231-265
Generalising automaticity to modal properties of finite structures
Anuj Dawar
,
Stephan Kreutzer
Theoretical Computer Science
379
(1-2), 2007, pp. 266-285
Seiten
<
1
2
3
4
5
6
7
8
9
10
11
12
>