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 Volume=43
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Local management of a global resource in a communication network
Yehuda Afek
,
Baruch Awerbuch
,
Serge Plotkin
,
Michael Saks
Journal of the ACM
43
(1), 1996, pp. 1-19
Tabled evaluation with delaying for general logic programs
Weidong Chen
,
David S. Warren
Journal of the ACM
43
(1), 1996, pp. 20-74
A comprehensive study of the complexity of multiparty interaction
Yuh-Jzer Joung
,
Scott A. Smolka
Journal of the ACM
43
(1), 1996, pp. 75-115
The benefits of relaxing punctuality
Rajeev Alur
,
Tomás Feder
,
Thomas A. Henzinger
Journal of the ACM
43
(1), 1996, pp. 116-146
The asymptotic complexity of merging networks
Peter Bro Miltersen
,
Mike Paterson
,
Jun Tarui
Journal of the ACM
43
(1), 1996, pp. 147-165
Automated proofs of object code for a widely used microprocessor
Robert S. Boyer
,
Yuan Yu
Journal of the ACM
43
(1), 1996, pp. 166-192
Knowledge compilation and theory approximation
Bart Selman
,
Henry Kautz
Journal of the ACM
43
(2), 1996, pp. 193-224
Unreliable failure detectors for reliable distributed systems
Tushar Deepak Chandra
,
Sam Toueg
Journal of the ACM
43
(2), 1996, pp. 225-267
Interactive proofs and the hardness of approximating cliques
Uriel Feige
,
Shafi Goldwasser
,
Laszlo Lovász
,
Shmuel Safra
,
Mario Szegedy
Journal of the ACM
43
(2), 1996, pp. 268-292
Optimal emulations by butterfly-like networks
Sandeep N. Bhatt
,
Fan R.K. Chung
,
Jia-Wei Hong
,
F. Thomson Leighton
,
Bojana Obrenić
,
Arnold L. Rosenberg
,
Eric J. Schwabe
Journal of the ACM
43
(2), 1996, pp. 293-330
Sorting on a parallel pointer machine with applications to set expression evaluation
Michael T. Goodrich
,
S. Rao Kosaraju
Journal of the ACM
43
(2), 1996, pp. 331-361
Confluence properties of weak and strong calculi of explicit substitutions
Pierre-Louis Curien
,
Thérèse Hardin
,
Jean-Jacques Lévy
Journal of the ACM
43
(2), 1996, pp. 362-397