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=2004
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Techniques from combinatorial approximation algorithms yield efficient algorithms for random
2k
-SAT
Amin Coja-Oghlan
,
Andreas Goerdt
,
André Lanka
,
Frank Schädlich
Theoretical Computer Science
329
(1-3), 2004, pp. 1-45
On Robson's convergence and boundedness conjectures concerning the height of binary search trees
Michael Drmota
Theoretical Computer Science
329
(1-3), 2004, pp. 47-70
\omega
-regular languages are testable with a constant number of queries
Hana Chockler
,
Orna Kupferman
Theoretical Computer Science
329
(1-3), 2004, pp. 71-92
Recognizing frozen variables in constraint satisfaction problems
Peter Jonsson
,
Andrei Krokhin
Theoretical Computer Science
329
(1-3), 2004, pp. 93-113
Storage-to-tree transducers with look-head
Tamás Hornung
,
Sándor Vágvölgyi
Theoretical Computer Science
329
(1-3), 2004, pp. 115-158
Codes, orderings, and partial words
F. Blanchet-Sadri
Theoretical Computer Science
329
(1-3), 2004, pp. 177-202
On the complexities of multipoint evaluation and interpolation
Alin Bostan
,
Éric Schost
Theoretical Computer Science
329
(1-3), 2004, pp. 223-235
Uniquely decodable
n
-gram embeddings
Leonid Kontorovich
Theoretical Computer Science
329
(1-3), 2004, pp. 271-284
An improved deterministic local search algorithm for 3-Sat
Tobias Brueggemann
,
Walter Kern
Theoretical Computer Science
329
(1-3), 2004, pp. 303-313
The complexity of counting homomorphisms seen from the other side
Víctor Dalmau
,
Peter Jonsson
Theoretical Computer Science
329
(1-3), 2004, pp. 315-323
An optimal pre-determinization algorithm for weighted transducers
Cyril Allauzen
,
Mehryar Mohri
Theoretical Computer Science
328
(1-2), 2004, pp. 3-18
Conversation protocols: A formalism for specification and verification of reactive electronic services
Xiang Fu
,
Tevfik Bultan
,
Jianwen Su
Theoretical Computer Science
328
(1-2), 2004, pp. 19-37
Acyclic networks maximizing the printing complexity
Franck Guingne
,
Florent Nicart
,
André Kempe
Theoretical Computer Science
328
(1-2), 2004, pp. 39-51
Branching automata with costs - A way of reflecting parallelism in costs
Dietrich Kuske
,
Ingmar Meinecke
Theoretical Computer Science
328
(1-2), 2004, pp. 53-75
Introducing
Vaucanson
Sylvain Lombardy
,
Yann Régis-Gianas
,
Jacques Sakarovitch
Theoretical Computer Science
328
(1-2), 2004, pp. 77-96
The probabilistic powerdomain for stably compact spaces
Mauricio Alvarez-Manilla
,
Achim Jung
,
Klaus Keimel
Theoretical Computer Science
328
(3), 2004, pp. 221-244
Structure and behavior preservation by Petri-net-based refinements in system design
Hejiao Huang
,
To-yat Cheung
,
Wai Ming Mak
Theoretical Computer Science
328
(3), 2004, pp. 245-269
Type inference for light affine logic via constraints on words
Patrick Baillot
Theoretical Computer Science
328
(3), 2004, pp. 289-323
Linearity and regularity with negation normal form
Reiner Hähnle
,
Neil V. Murray
,
Erik Rosenthal
Theoretical Computer Science
328
(3), 2004, pp. 325-354
A dynamical system which must be stable whose stability cannot be proved
John Foy
Theoretical Computer Science
328
(3), 2004, pp. 355-361
A hierarchy of probabilistic system types
Falk Bartels
,
Ana Sokolova
,
Erik de Vink
Theoretical Computer Science
327
(1-2), 2004, pp. 3-22
A coalgebraic approach to Kleene algebra with tests
Hubie Chen
,
Riccardo Pucella
Theoretical Computer Science
327
(1-2), 2004, pp. 23-44
A compositional approach to defining logics for coalgebras
Corina Cîrstea
Theoretical Computer Science
327
(1-2), 2004, pp. 45-69
Simulations in coalgebra
Jesse Hughes
,
Bart Jacobs
Theoretical Computer Science
327
(1-2), 2004, pp. 71-108
Stone coalgebras
Clemens Kupke
,
Alexander Kurz
,
Yde Venema
Theoretical Computer Science
327
(1-2), 2004, pp. 109-134
Seiten 1
2
3
4
5
6
7
8
9
10
11
12
>