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=Inf.~Comput. AND Volume=210
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Coping with selfish on-going behaviors
Orna Kupferman
,
Tami Tamir
Information and Computation
210
, 2012, pp. 1-12
On Ladner's result for a class of real machines with restricted use of constants
Klaus Meer
Information and Computation
210
, 2012, pp. 13-20
A constructive version of Birkhoff's ergodic theorem for Martin-Löf random points
Laurent Bienvenu
,
Adam R. Day
,
Mathieu Hoyrup
,
Ilya Mezhirov
,
Alexander Shen
Information and Computation
210
, 2012, pp. 21-30
Sparse reliable graph backbones
Shiri Chechik
,
Yuval Emek
,
Boaz Patt-Shamir
,
David Peleg
Information and Computation
210
, 2012, pp. 31-39
Temporal logics over linear time domains are in PSPACE
Alexander Rabinovich
Information and Computation
210
, 2012, pp. 40-67
Improved model checking of hierarchical systems
Benjamin Aminof
,
Orna Kupferman
,
Aniello Murano
Information and Computation
210
, 2012, pp. 68-86
Space-efficient scheduling of stochastically generated tasks
Tomás̑ Brázdil
,
Javier Esparza
,
Stefan Kiefer
,
Michael Luttenberger
Information and Computation
210
, 2012, pp. 87-110