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=2012
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Spin systems on
k
-regular graphs with complex edge functions
Jin-Yi Cai
,
Michael Kowalczyk
Theoretical Computer Science
461
, 2012, pp. 2-16
Computing majority with triple queries
Gianluca De Marco
,
Evangelos Kranakis
,
Gábor Wiener
Theoretical Computer Science
461
, 2012, pp. 17-26
Parameterized complexity in multiple-interval graphs: Domination, partition, separation, irredundancy
Minghui Jiang
,
Yong Zhang
Theoretical Computer Science
461
, 2012, pp. 27-44
Lowness for bounded randomness
Rod Downey
,
Keng Meng Ng
Theoretical Computer Science
460
, 2012, pp. 1-9
Reversible iterative graph processes
Mitre C. Dourado
,
Lucia Draque Penso
,
Dieter Rautenbach
,
Jayme L. Szwarcfiter
Theoretical Computer Science
460
, 2012, pp. 16-25
On the complexity of the highway problem
Khaled Elbassioni
,
Rajiv Raman
,
Saurabh Ray
,
René Sitters
Theoretical Computer Science
460
, 2012, pp. 70-77
Complexity of Gröbner basis detection and border basis detection
Prabhanjan V. Ananth
,
Ambedkar Dukkipati
Theoretical Computer Science
459
, 2012, pp. 1-15
Tree-shifts of finite type
Nathalie Aubrun
,
Marie-Pierre Béal
Theoretical Computer Science
459
, 2012, pp. 16-25
LRM-trees: Compressed indices, adaptive sorting, and compressed permutations
Jérémy Barbay
,
Johannes Fischer
,
Gonzalo Navarro
Theoretical Computer Science
459
, 2012, pp. 26-41
The
k
-resource problem in uniform metric spaces
Marcin Bienkowski
,
Jarosƚaw Kutyƚowski
Theoretical Computer Science
459
, 2012, pp. 42-54
Strong reductions in effective randomness
Laurent Bienvenu
,
Christopher Porter
Theoretical Computer Science
459
, 2012, pp. 55-68
Improving the Hadamard extractor
Jan Bouda
,
Matej Pivoluska
,
Martin Plesch
Theoretical Computer Science
459
, 2012, pp. 69-76
Algorithms for dominating clique problems
N. Bourgeois
,
F. Della Croce
,
B. Escoffier
,
V.Th. Paschos
Theoretical Computer Science
459
, 2012, pp. 77-88
Complexity of distance paired-domination problem in graphs
Gerard J. Chang
,
B.S. Panda
,
D. Pradhan
Theoretical Computer Science
459
, 2012, pp. 89-99
The binary identification problem for weighted trees
Ferdinando Cicalese
,
Tobias Jacobs
,
Eduardo Laber
,
Caio Valentim
Theoretical Computer Science
459
, 2012, pp. 100-112
The lattice structure of
n
-player games
Alessandro Cincotti
Theoretical Computer Science
459
, 2012, pp. 113-119
Rule formats for distributivity
Luca Aceto
,
Matteo Cimini
,
Anna Ingolfsdottir
,
MohammadReza Mousavi
,
Michel A. Reniers
Theoretical Computer Science
458
, 2012, pp. 1-28
A type system for counting instances of software components
Marc Bezem
,
Dag Hovland
,
Hoang Truong
Theoretical Computer Science
458
, 2012, pp. 29-48
Energy parity games
Krishnendu Chatterjee
,
Laurent Doyen
Theoretical Computer Science
458
, 2012, pp. 49-60
A state-based model of sensor protocols
Young-ri Choi
,
Mohamed G. Gouda
Theoretical Computer Science
458
, 2012, pp. 61-75
Finite and infinite implementation of transition systems
Wim H. Hesselink
,
Gerard R. Renardel de Lavalette
Theoretical Computer Science
458
, 2012, pp. 131-135
Telling stories: Enumerating maximal directed acyclic graphs with a constrained set of sources and targets
Vicente Acuña
,
Etienne Birmelé
,
Ludovic Cottret
,
Pierluigi Crescenzi
,
Fabien Jourdan
,
Vincent Lacroix
,
Alberto Marchetti-Spaccamela
,
Andrea Marino
,
Paulo Vieira Milreu
,
Marie-France Sagot
,
Leen Stougie
Theoretical Computer Science
457
, 2012, pp. 1-9
Optimal gathering in radio grids with interference
Jean-Claude Bermond
,
Joseph G. Peters
Theoretical Computer Science
457
, 2012, pp. 10-26
On suffix extensions in suffix trees
Dany Breslauer
,
Giuseppe F. Italiano
Theoretical Computer Science
457
, 2012, pp. 27-34
Several semi-online scheduling problems on two identical machines with combined information
Qian Cao
,
T.C.E. Cheng
,
Guohua Wan
,
Yi Li
Theoretical Computer Science
457
, 2012, pp. 35-44
Seiten
<
1
2
3
4
5
6
7
8
9
10
11
12
>