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=355
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Exploring networks with traceroute-like probes: Theory and simulations
Luca Dall'Asta
,
Ignacio Alvarez-Hamelin
,
Alain Barrat
,
Alexei Vázquez
,
Alessandro Vespignani
Theoretical Computer Science
355
(1), 2006, pp. 6-24
Broadcasting in unstructured peer-to-peer overlay networks
Fred S. Annexstein
,
Kenneth A. Berman
,
Mijhalo A. Jovanović
Theoretical Computer Science
355
(1), 2006, pp. 25-36
Efficiently covering complex networks with cliques of similar vertices
Michael Behrisch
,
Anusch Taraz
Theoretical Computer Science
355
(1), 2006, pp. 37-47
Scalable percolation search on complex networks
Nima Sarshar
,
Oscar Boykin
,
Vwani Roychowdhury
Theoretical Computer Science
355
(1), 2006, pp. 48-64
D2B: A de Bruijn based content-addressable network
Pierre Fraigniaud
,
Philippe Gauron
Theoretical Computer Science
355
(1), 2006, pp. 65-79
Local heuristics and the emergence of spanning subgraphs in complex networks
Alexandre O. Stauffer
,
Valmir C. Barbosa
Theoretical Computer Science
355
(1), 2006, pp. 80-95
Could any graph be turned into a small-world?
Philippe Duchon
,
Nicolas Hanusse
,
Emmanuelle Lebhar
,
Nicolas Schabanel
Theoretical Computer Science
355
(1), 2006, pp. 96-103
Intersection types and lambda models
Fabio Alessi
,
Franco Barbanera
,
Mariangiola Dezani-Ciancaglini
Theoretical Computer Science
355
(2), 2006, pp. 108-126
NL-printable sets and nondeterministic Kolmogorov complexity
Eric Allender
Theoretical Computer Science
355
(2), 2006, pp. 127-138
k
-valued non-associative Lambek grammars are learnable from generalized functor-argument structures
Denis Béchet
,
Annie Foret
Theoretical Computer Science
355
(2), 2006, pp. 139-152
The universe of propositional approximations
Marcelo Finger
,
Renata Wassermann
Theoretical Computer Science
355
(2), 2006, pp. 153-166
Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
Sven Hartmann
,
Sebastian Link
,
Klaus-Dieter Schewe
Theoretical Computer Science
355
(2), 2006, pp. 167-196
Computing queries with higher-order logics
Lauri Hella
,
José María Turull-Torres
Theoretical Computer Science
355
(2), 2006, pp. 197-214
Quantifier-free logic for nondeterministic theories
Yngve Lamo
,
Michaƚ Walicki
Theoretical Computer Science
355
(2), 2006, pp. 215-227
Revision by comparison as a unifying framework: Severe withdrawal, irrevocable revision and irrefutable revision
Hans Rott
Theoretical Computer Science
355
(2), 2006, pp. 228-242
Probability distribution for simple tautologies
Marek Zaionc
Theoretical Computer Science
355
(2), 2006, pp. 243-260
Approximation algorithms for minimizing the total weighted tardiness on a single machine
Stavros G. Kolliopoulos
,
George Steiner
Theoretical Computer Science
355
(3), 2006, pp. 261-273
Finite derivation type for Rees matrix semigroups
António Malheiro
Theoretical Computer Science
355
(3), 2006, pp. 274-290
Many hard examples in exact phase transitions
Ke Xu
,
Wei Li
Theoretical Computer Science
355
(3), 2006, pp. 291-302
A linear time algorithm for binary tree sequences transformation using left-arm and right-arm rotations
Ro-Yu Wu
,
Jou-Ming Chang
,
Yue-Li Wang
Theoretical Computer Science
355
(3), 2006, pp. 303-314
Asynchronous deterministic rendezvous in graphs
Gianluca De Marco
,
Luisa Gargano
,
Evangelos Kranakis
,
Danny Krizanc
,
Andrzej Pelc
,
Ugo Vaccaro
Theoretical Computer Science
355
(3), 2006, pp. 315-326
Reductions in binary search trees
José-Ramón Sánchez-Couso
,
María-Inés Fernández-Camacho
Theoretical Computer Science
355
(3), 2006, pp. 327-353
On the
k
-path cover problem for cacti
Zemin Jin
,
Xueliang Li
Theoretical Computer Science
355
(3), 2006, pp. 354-363
Edge-colouring of join graphs
Caterina De Simone
,
C.P. de Mello
Theoretical Computer Science
355
(3), 2006, pp. 364-370
The scientific works of Rainer Kemp (1949-2004)
Philippe Flajolet
,
Markus Nebel
,
Helmut Prodinger
Theoretical Computer Science
355
(3), 2006, pp. 371-381
Seiten 1
2
>