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=2009
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Single-edge monotonic sequences of graphs and linear-time algorithms for minimal completions and deletions
Pinar Heggernes
,
Charis Papadopoulos
Theoretical Computer Science
410
(1), 2009, pp. 1-15
Finite
n
-tape automata over possibly infinite alphabets: Extending a theorem of Eilenberg et al.
Christian Choffrut
,
Serge Grigorieff
Theoretical Computer Science
410
(1), 2009, pp. 16-34
A cyclic binary morphism avoiding Abelian fourth powers
James D. Currie
,
Ali Aberkane
Theoretical Computer Science
410
(1), 2009, pp. 44-52
On the parameterized complexity of multiple-interval graph problems
Michael R. Fellows
,
Danny Hermelin
,
Frances Rosamond
,
Stéphane Vialette
Theoretical Computer Science
410
(1), 2009, pp. 53-61
All-pairs nearly 2-approximate shortest paths in
O(n^2
polylog
n)
time
Surender Baswana
,
Vishrut Goyal
,
Sandeep Sen
Theoretical Computer Science
410
(1), 2009, pp. 84-93
The hitting and cover times of random walks on finite graphs using local degree information
Satoshi Ikeda
,
Izumi Kubo
,
Masafumi Yamashita
Theoretical Computer Science
410
(1), 2009, pp. 94-100
The complexity of power-index comparison
Piotr Faliszewski
,
Lane Hemaspaandra
Theoretical Computer Science
410
(1), 2009, pp. 101-107
Pict correctness revisited
Philippe Bidinger
,
Adriana Compagnoni
Theoretical Computer Science
410
(2-3), 2009, pp. 114-127
Amalgamating sessions and methods in object-oriented languages with generics
Sara Capecchi
,
Mario Coppo
,
Mariangiola Dezani-Ciancaglini
,
Sophia Drossopoulou
,
Elena Giachino
Theoretical Computer Science
410
(2-3), 2009, pp. 142-167
Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications
John Field
,
Maria-Cristina Marinescu
,
Christian Stefansen
Theoretical Computer Science
410
(2-3), 2009, pp. 168-201
Scala Actors: Unifying thread-based and event-based programming
Philipp Haller
,
Martin Odersky
Theoretical Computer Science
410
(2-3), 2009, pp. 202-220
Fully abstract models and refinements as tools to compare agents in timed coordination languages
Jean-Marie Jacquet
,
Isabelle Linden
Theoretical Computer Science
410
(2-3), 2009, pp. 221-253
Computational expressiveness of Genetic Systems
Nadia Busi
,
Claudio Zandron
Theoretical Computer Science
410
(4-5), 2009, pp. 286-293
Computational prediction of nucleic acid secondary structure: Methods, applications, and challenges
Anne Condon
,
Hosna Jabbari
Theoretical Computer Science
410
(4-5), 2009, pp. 294-301
Quantum approaches to graph colouring
Ellie D'Hondt
Theoretical Computer Science
410
(4-5), 2009, pp. 302-309
Introducing time in reaction systems
A. Ehrenfeucht
,
G. Rozenberg
Theoretical Computer Science
410
(4-5), 2009, pp. 310-322
Computational virtuality in biological systems
Carmine Garzillo
,
Giuseppe Trautteur
Theoretical Computer Science
410
(4-5), 2009, pp. 323-331
Complexity classes for self-assembling flexible tiles
Natas̑a Jonoska
,
Gregory L. McColm
Theoretical Computer Science
410
(4-5), 2009, pp. 332-346
Effective dimension of points visited by Brownian motion
Bjrn Kjos-Hanssen
,
Anil Nerode
Theoretical Computer Science
410
(4-5), 2009, pp. 347-354
Membrane computing with transport and embedded proteins
Shankara Narayanan Krishna
Theoretical Computer Science
410
(4-5), 2009, pp. 355-375
What does it mean to say that a physical system implements a computation?
James Ladyman
Theoretical Computer Science
410
(4-5), 2009, pp. 376-383
Robust random number generation for peer-to-peer systems
Baruch Awerbuch
,
Christian Scheideler
Theoretical Computer Science
410
(6-7), 2009, pp. 453-466
Hop chains: Secure routing and the establishment of distinct identities
Rida A. Bazzi
,
Young-ri Choi
,
Mohamed G. Gouda
Theoretical Computer Science
410
(6-7), 2009, pp. 467-480
Gathering few fat mobile robots in the plane
Jurek Czyzowicz
,
Leszek Ga̧sieniec
,
Andrzej Pelc
Theoretical Computer Science
410
(6-7), 2009, pp. 481-499
GLANCE: A lightweight querying service for wireless sensor networks
Murat Demirbas
,
Anish Arora
,
Vinodkrishnan Kulathumani
Theoretical Computer Science
410
(6-7), 2009, pp. 500-513
Seiten 1
2
3
4
5
6
7
8
9
10
11
12
>