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.
An excursion in reaction systems: From computer science to biology
Luca Corolli
,
Carlo Maj
,
Fabrizio Marini
,
Daniela Besozzi
,
Giancarlo Mauri
Theoretical Computer Science
454
, 2012, pp. 95-108
Star-free languages are Church-Rosser congruential
Volker Diekert
,
Manfred Kufleitner
,
Pascal Weil
Theoretical Computer Science
454
, 2012, pp. 129-135
A combinatoric interpretation of dual variables for weighted matching and
f
-factors
Harold N. Gabow
Theoretical Computer Science
454
, 2012, pp. 136-163
State complexity of union and intersection of square and reversal on regular languages
Yuan Gao
,
Lila Kari
,
Sheng Yu
Theoretical Computer Science
454
, 2012, pp. 164-171
Problems in between words and Abelian words:
k
-Abelian avoidability
Mari Huova
,
Juhani Karhumäki
,
Aleksi Saarela
Theoretical Computer Science
454
, 2012, pp. 172-177
Consistency of multidimensional combinatorial substitutions
Timo Jolivet
,
Jarkko Kari
Theoretical Computer Science
454
, 2012, pp. 178-188
Regions of Petri nets with a/sync connections
Jetty Kleijn
,
Maciej Koutny
,
Marta Pietkiewicz-Koutny
Theoretical Computer Science
454
, 2012, pp. 189-198
A note on uniform power connectivity in the physical signal to interference plus noise (SINR) model
Chen Avin
,
Zvi Lotker
,
Francesco Pasquale
,
Yvonne-Anne Pignolet
Theoretical Computer Science
453
, 2012, pp. 2-13
Near-optimal radio use for wireless network synchronization
Milan Bradonjić
,
Eddie Kohler
,
Rafail Ostrovsky
Theoretical Computer Science
453
, 2012, pp. 14-28
Monitoring churn in wireless networks
Stephan Holzer
,
Yvonne Anne Pignolet
,
Jasmin Smula
,
Roger Wattenhofer
Theoretical Computer Science
453
, 2012, pp. 29-43
Virtual raw anchor coordinates: A new localization paradigm
Florian Huc
,
Aubin Jarry
,
Pierre Leone
,
José Rolim
Theoretical Computer Science
453
, 2012, pp. 44-53
Improved local algorithms for spanner construction
Iyad A. Kanj
,
Ge Xia
Theoretical Computer Science
453
, 2012, pp. 54-64
Energy efficient alert in single-hop networks of extremely weak devices
M. Klonowski
,
M. Kutyƚowski
,
J. Zatopiański
Theoretical Computer Science
453
, 2012, pp. 65-74
From key predistribution to key redistribution
Jacek Cichoń
,
Zbigniew Goƚȩbiewski
,
Mirosƚaw Kutyƚowski
Theoretical Computer Science
453
, 2012, pp. 75-87
Bayesian ignorance
Noga Alon
,
Yuval Emek
,
Michal Feldman
,
Moshe Tennenholtz
Theoretical Computer Science
452
, 2012, pp. 1-11
An algorithm approach to bounding aggregations of multidimensional Markov chains
Hind Castel-Taleb
,
Lynda Mokdad
,
Nihal Pekergin
Theoretical Computer Science
452
, 2012, pp. 12-20
On families of categorial grammars of bounded value, their learnability and related complexity questions
Christophe Costa Florêncio
,
Henning Fernau
Theoretical Computer Science
452
, 2012, pp. 21-38
Parameterized reductions and algorithms for a graph editing problem that generalizes vertex cover
Peter Damaschke
,
Leonid Molokov
Theoretical Computer Science
452
, 2012, pp. 39-46
Process and truth-table characterisations of randomness
Adam R. Day
Theoretical Computer Science
452
, 2012, pp. 47-55
Computing optimal contracts in combinatorial agencies
Yuval Emek
,
Michal Feldman
Theoretical Computer Science
452
, 2012, pp. 56-74
An algorithmic analysis of the Honey-Bee game
Rudolf Fleischer
,
Gerhard J. Woeginger
Theoretical Computer Science
452
, 2012, pp. 75-87
The checkpoint problem
MohammadTaghi Hajiaghayi
,
Rohit Khandekar
,
Guy Kortsarz
,
Julián Mestre
Theoretical Computer Science
452
, 2012, pp. 88-99
The index of a binary word
Aleksandar Ilić
,
Sandi Klavz̑ar
,
Yoomi Rho
Theoretical Computer Science
452
, 2012, pp. 100-106
Game-theoretic analysis of Internet switching with selfish users
Alex Kesselman
,
Stefano Leonardi
Theoretical Computer Science
452
, 2012, pp. 107-116
PNL to HOL: From the logic of nominal sets to the logic of higher-order functions
Gilles Dowek
,
Murdoch J. Gabbay
Theoretical Computer Science
451
, 2012, pp. 38-69
Seiten
<
1
2
3
4
5
6
7
8
9
10
11
12
>