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=Theory of Computing Systems AND YEAR=2014
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Distributed knowledge justification logics
Meghdad Ghari
Theory of Computing Systems
55
(1), 2014, pp. 1-40
String indexing for patterns with wildcards
Philip Bille
,
Inge Li Grtz
,
Hjalte Wedel Vildhj
,
Sren Vind
Theory of Computing Systems
55
(1), 2014, pp. 41-60
Constant thresholds can make target set selection tractable
Morgan Chopin
,
André Nichterlein
,
Rolf Niedermeier
,
Mathias Weller
Theory of Computing Systems
55
(1), 2014, pp. 61-83
Accepting networks of evolutionary processors with subregular filters
Florin Manea
,
Bianca Truthe
Theory of Computing Systems
55
(1), 2014, pp. 84-109
A note on the parallel runtime of self-stabilizing graph linearization
Dominik Gall
,
Riko Jacob
,
Andrea Richa
,
Christian Scheideler
,
Stefan Schmid
,
Hanjo Täubig
Theory of Computing Systems
55
(1), 2014, pp. 110-135
Decidability of branching bisimulation on normed commutative context-free processes
Wojciech Czerwiński
,
Piotr Hofman
,
Sƚawomir Lasota
Theory of Computing Systems
55
(1), 2014, pp. 136-169
Constant unary constraints and symmetric real-weighted counting constraint satisfaction problems
Tomoyuki Yamakami
Theory of Computing Systems
55
(1), 2014, pp. 170-201
Improved randomized online scheduling of intervals and jobs
Stanley P.Y. Fung
,
Chung Keung Poon
,
Feifeng Zheng
Theory of Computing Systems
55
(1), 2014, pp. 202-228
Dynamic matrix rank with partial lookahead
Telikepalli Kavitha
Theory of Computing Systems
55
(1), 2014, pp. 229-249
The failure of the strong pumping lemma for multiple context-free languages
Makoto Kanazawa
,
Gregory M. Kobele
,
Jens Michaelis
,
Sylvein Salvat
,
Ryo Yoshinaka
Theory of Computing Systems
55
(1), 2014, pp. 250-278
The equivalence of sampling and searching
Scott Aaronson
Theory of Computing Systems
55
(2), 2014, pp. 281-298
Improving the space-bounded version of Muchnik's conditional complexity theorem via ``naive'' derandomization
Daniil Musatov
Theory of Computing Systems
55
(2), 2014, pp. 299-312
Pseudo-random graphs and bit probe schemes with one-sided error
Andrei Romashchenko
Theory of Computing Systems
55
(2), 2014, pp. 313-329
An extended tree-width notion for directed graphs related to the computation of permanents
Klaus Meer
Theory of Computing Systems
55
(2), 2014, pp. 330-346
Join-reachability problems in directed graphs
Loukas Georgiadis
,
Stavros D. Nikolopoulos
,
Leonidas Palios
Theory of Computing Systems
55
(2), 2014, pp. 347-379
The complexity of solving reachability games using value and strategy iteration
Kristoffer Arnsfelt Hansen
,
Rasmus Ibsen-Jensen
,
Peter Bro Miltrsen
Theory of Computing Systems
55
(2), 2014, pp. 380-403
Learning read-constant polynomials of constant degree modulo composites
Arkadev Chattopadhyay
,
Ricard Gavaldà
,
Kristoffer Arnsfelt Hansen
,
Denis Thérien
Theory of Computing Systems
55
(2), 2014, pp. 404-420
Two-way automata versus logarithmic space
Christos A. Kapoutsis
Theory of Computing Systems
55
(2), 2014, pp. 421-447
Tight bounds for adopt-commit objects
James Aspnes
,
Faith Ellen
Theory of Computing Systems
55
(3), 2014, pp. 451-474
Highly-efficient wait-free synchronization
Panagiota Fatourou
,
Nikolaos D. Kallimanis
Theory of Computing Systems
55
(3), 2014, pp. 475-520
Nearly-linear work parallel SDD solvers, low-diameter decomposition, and low-stretch subgraphs
Guy E. Blelloch
,
Anupam Gupta
,
Ioannis Koutis
,
Gary L. Miller
,
Richard Peng
,
Kanat Tangwongsan
Theory of Computing Systems
55
(3), 2014, pp. 521-554
Software engineering with transactional memory versus locks in practice
Victor Pankratius
,
Ali-Reza Adl-Tabatabai
Theory of Computing Systems
55
(3), 2014, pp. 555-590
Re-Chord: A self-stabilizing chord overlay network
Sebastian Kniesburges
,
Andreas Koutsopoulos
,
Christian Scheideler
Theory of Computing Systems
55
(3), 2014, pp. 591-612
On a local protocol for concurrent file transfers
Mohammad Taghi Hajiaghayi
,
Rohit Khandekar
,
Guy Kortsarz
,
Vahit Liaghat
Theory of Computing Systems
55
(3), 2014, pp. 613-636
TeX-approximation for graphic TSP
Marcin Mucha
Theory of Computing Systems
55
(4), 2014, pp. 640-657
Seiten 1
2
3
>