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=J. ACM AND YEAR=2013
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Matrix sparsification and nested dissection over arbitrary fields
Noga Alon
,
Raphael Yuster
Journal of the ACM
60
(4), 2013, pp. 25: 1-18
Relational transducers for declarative networking
Tom J. Ameloot
,
Frank Neven
,
Jan Van Den Bussche
Journal of the ACM
60
(2), 2013, pp. 15: 1-38
Paging and list update under bijective analysis
Spyros Angelopoulos
,
Pascal Schweitzer
Journal of the ACM
60
(2), 2013, pp. 7: 1-18
Data exchange beyond complete data
Marcelo Arenas
,
Jorge Pérez
,
Juan Reutter
Journal of the ACM
60
(4), 2013, pp. 28: 1-59
Clustering under approximation stability
Maria-Florina Balcan
,
Avrim Blum
,
Anupam Gupta
Journal of the ACM
60
(2), 2013, pp. 8: 1-34
Local reasoning for global invariants, Part I: Region logic
Anindya Banerjee
,
David A. Naumann
,
Stan Rosenberg
Journal of the ACM
60
(3), 2013, pp. 18: 1-56
Local reasoning for global invariants, Part II: Dynamic boundaries
Anindya Banerjee
,
David A. Naumann
Journal of the ACM
60
(3), 2013, pp. 19: 1-73
Testing closeness of discrete distributions
Tug̑kan Batu
,
Lance Fortnow
,
Ronitt Rubinfeld
,
Warren D. Smith
,
Patrick White
Journal of the ACM
60
(1), 2013, pp. 4: 1-25
A learning theory approach to noninteractive database privacy
Avrim Blum
,
Katrina Ligett
,
Aaron Roth
Journal of the ACM
60
(2), 2013, pp. 12: 1-25
The expressibility of functions on the Boolean domain, with applications to counting CSPs
Andrei A. Bulatov
,
Martin Dyer
,
Leslie Ann Goldberg
,
Mark Jerrum
,
Colin McQuillan
Journal of the ACM
60
(5), 2013, pp. 32: 1-36
The complexity of the counting constraint satisfaction problem
Andrei A. Bulatov
Journal of the ACM
60
(5), 2013, pp. 34: 1-41
Steiner tree approximation via iterative randomized rounding
Jarosƚaw Byrka
,
Fabrizio Grandoni
,
Thomas Rothvoss
,
Laura Sanità
Journal of the ACM
60
(1), 2013, pp. 6: 1-33
Persistence-based clustering in Riemannian manifolds
Frédéric Chazal
,
Leonidas J. Guibas
,
Steve Y. Oudot
,
Primoz Skraba
Journal of the ACM
60
(6), 2013, pp. 41: 1-38
Fast matrix rank algorithms and applications
Ho Yee Cheung
,
Tsz Chiu Kwok
,
Lap Chi Lau
Journal of the ACM
60
(5), 2013, pp. 31: 1-25
A master theorem for discrete divide and conquer recurrences
Michael Drmota
,
Wojciech Szpankowski
Journal of the ACM
60
(3), 2013, pp. 16: 1-49
Testing first-order properties for subclasses of sparse graphs
Zdenȇk Dvoȓák
,
Daniel Král'
,
Robin Thomas
Journal of the ACM
60
(5), 2013, pp. 36: 1-24
From low-distortion norm embeddings to explicit uncertainty relations and efficient information locking
Omar Fawzi
,
Patrick Hayden
,
Pranab Sen
Journal of the ACM
60
(6), 2013, pp. 44: 1-61
Towards a complexity theory for local distributed computing
Pierre Fraigniaud
,
Amos Korman
,
David Peleg
Journal of the ACM
60
(5), 2013, pp. 35: 1-26
Asynchronous gossip
Chryssis Georgiou
,
Seth Gilbert
,
Rachid Guerraoui
,
Dariusz R. Kowalski
Journal of the ACM
60
(2), 2013, pp. 11: 1-42
The HOM problem is decidable
Guillem Godoy
,
Omer Giménez
Journal of the ACM
60
(4), 2013, pp. 23: 1-44
Lower bounds for local approximation
Mika Göös
,
Juho Hirvonen
,
Jukka Suomela
Journal of the ACM
60
(5), 2013, pp. 39: 1-23
Decomposing combinatorial auctions and set packing problems
Georg Gottlob
,
Gianluigi Greco
Journal of the ACM
60
(4), 2013, pp. 24: 1-39
The VPN conjecture is true
Navin Goyal
,
Neil Olver
,
F. Bruce Shepherd
Journal of the ACM
60
(3), 2013, pp. 17: 1-17
Strategy iteration is strongly polynomial for 2-player turn-based stochastic games with a constant discount factor
Thomas Dueholm Hansen
,
Peter Bro Miltersen
,
Uri Zwick
Journal of the ACM
60
(1), 2013, pp. 1: 1-16
Testing product states, quantum Merlin-Arthur games and tensor optimization
Aram W. Harrow
,
Ashley Montanaro
Journal of the ACM
60
(1), 2013, pp. 3: 1-43
Seiten 1
2
>