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=2012
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Minimum entropy combinatorial optimization problems
Jean Cardinal
,
Samuel Fiorini
,
Gwenaël Joret
Theory of Computing Systems
51
(1), 2012, pp. 4-21
Program self-reference in constructive Scott subdomains
John Case
,
Samuel E. Moelius III
Theory of Computing Systems
51
(1), 2012, pp. 22-49
Cutting planes and the parameter cutwidth
Stefan Dantchev
,
Barnaby Martin
Theory of Computing Systems
51
(1), 2012, pp. 50-64
Representation theorems for analytic machines and computability of analytic functions
Tobias Gärtner
,
Günter Hotz
Theory of Computing Systems
51
(1), 2012, pp. 65-84
Non-determinism in Gödel's System
T
Lars Kristiansen
,
Bedeho Mesghina Wolde Mender
Theory of Computing Systems
51
(1), 2012, pp. 85-105
Comparing nontriviality for E and EXP
Klaus Ambos-Spies
,
Timur Bakibayev
Theory of Computing Systems
51
(1), 2012, pp. 106-122
Dispersion in disks
Adrian Dumitrescu
,
Minghui Jiang
Theory of Computing Systems
51
(2), 2012, pp. 125-142
The complexity of the list homomorphism problem for graphs
László Egri
,
Andrei Krokhin
,
Benoit Larose
,
Pascal Tesson
Theory of Computing Systems
51
(2), 2012, pp. 143-178
On optimal heuristic randomized semidecision procedures, with applications to proof complexity and cryptography
Edward A. Hirsch
,
Dmitry Itsykson
,
Ivan Monakhov
,
Alexander Smal
Theory of Computing Systems
51
(2), 2012, pp. 179-195
Representing hyper-arithmetical sets by equations over sets of integers
Artur Jeż
,
Alexander Okhotin
Theory of Computing Systems
51
(2), 2012, pp. 196-228
Inseparability and strong hypotheses for disjoint NP pairs
Lance Fortnow
,
Jack H. Lutz
,
Elvira Mayordomo
Theory of Computing Systems
51
(2), 2012, pp. 229-247
Collapsing and separating completeness notions under average-case and worst-case hypotheses
Xiaoyang Gu
,
John M. Hitchcock
,
A. Pavan
Theory of Computing Systems
51
(2), 2012, pp. 248-265
A faster algorithm for finding minimum Tucker submatrices
Guillaume Blin
,
Romeo Rizzi
,
Stéphane Vialette
Theory of Computing Systems
51
(3), 2012, pp. 270-281
Avoiding simplicity is complex
Eric Allender
,
Holger Spakowski
Theory of Computing Systems
51
(3), 2012, pp. 282-296
The complexity of explicit constructions
Rahul Santhanam Article
Theory of Computing Systems
51
(3), 2012, pp. 297-312
Proofs, programs, processes
Ulrich Berger
,
Monika Seisenberger
Theory of Computing Systems
51
(3), 2012, pp. 313-329
How powerful are integer-valued martingales?
Laurent Bienvenu
,
Frank Stephan
,
Jason Teutsch
Theory of Computing Systems
51
(3), 2012, pp. 330-351
Computability of countable subshifts in one dimension
Douglas Cenzer
,
Ali Dashti
,
Ferit Toska
,
Sebastian Wyman
Theory of Computing Systems
51
(3), 2012, pp. 352-371
Approximate self-assembly of the Sierpinski triangle
Jack H. Lutz
,
Brad Shutters
Theory of Computing Systems
51
(3), 2012, pp. 372-400
Generating fast indulgent algorithms
Dan Alistarh
,
Seth Gilbert
,
Rachid Guerraoui
,
Corentin Travers
Theory of Computing Systems
51
(4), 2012, pp. 404-424
A single-version STM that is multi-versioned permissive
Hagit Attiya
,
Eshcar Hillel
Theory of Computing Systems
51
(4), 2012, pp. 425-446
Efficient decentralized algorithms for the distributed trigger counting problem
Venkatesan T. Chakaravarthy
,
Anamitra R. Choudhury
,
Vijay K. Garg
,
Yogish Sabharwal
Theory of Computing Systems
51
(4), 2012, pp. 447-473
A near optimal periodic transmission schedule in bounded degree wireless sensor network
Bala Kalyanasundaram
,
Mahe Velauthapillai
Theory of Computing Systems
51
(4), 2012, pp. 474-491
Christmas gift exchange games
Arpita Ghosh
,
Mohammad Mahdian
Theory of Computing Systems
50
(1), 2012, pp. 3-19
The feline Josephus problem
Frank Ruskey
,
Aaron Williams
Theory of Computing Systems
50
(1), 2012, pp. 20-34
Seiten 1
2
3
>