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=41
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Fishspear: A priority queue algorithm
Michael J. Fischer
,
Michael S. Paterson
Journal of the ACM
41
(1), 1994, January, pp. 3-30
Efficient computation of Fourier inversion for finite groups
Daniel N. Rockmore
Journal of the ACM
41
(1), 1994, January, pp. 31-66
Cryptographic limitations on learning boolean formulae and finite automata
Michael Kearns
,
Leslie Valiant
Journal of the ACM
41
(1), 1994, January, pp. 67-95
Instance complexity
Pekka Orponen
,
Ker-I Ko
,
Uwe Schöning
,
Osamu Watanabe
Journal of the ACM
41
(1), 1994, January, pp. 96-121
Bounds on the time to reach agreement in the presence of timing uncertainty
Hagit Attiya
,
Cynthia Dwork
,
Nancy Lynch
,
Larry Stockmeyer
Journal of the ACM
41
(1), 1994, January, pp. 122-152
Approximation algorithms for NP-complete problems on planar graphs
Brenda S. Baker
Journal of the ACM
41
(1), 1994, January, pp. 153-180
A really temporal logic
Rajeev Alur
,
Thomas A. Henzinger
Journal of the ACM
41
(1), 1994, January, pp. 181-204
Faster tree pattern matching
Moshe Dubiner
,
Zvi Galil
,
Edith Magen
Journal of the ACM
41
(2), 1994, March, pp. 205-213
Biconnectivity approximations and graph carvings
Samir Khuller
,
Uzi Vishkin
Journal of the ACM
41
(2), 1994, March, pp. 214-235
Equational inference, canonical proofs, and proof orderings
Leo Bachmair
,
Nachum Dershowitz
Journal of the ACM
41
(2), 1994, March, pp. 236-276
Tight lower bounds for probabilistic solitude verification on anonymous rings
Karl Abrahamson
,
Andrew Adler
,
David Kirkpatrick
Journal of the ACM
41
(2), 1994, March, pp. 277-310
The elusive atomic register
Ambuj K. Singh
,
James H. Anderson
,
Mohamed G. Gouda
Journal of the ACM
41
(2), 1994, March, pp. 311-339
Reasoning about knowledge and probability
Ronald Fagin
,
Joseph Y. Halpern
Journal of the ACM
41
(2), 1994, March, pp. 340-367
An analysis of ML typability
A.J. Kfoury
,
J. Tiuryn
,
P. Urzyczyn
Journal of the ACM
41
(2), 1994, March, pp. 368-398
Optimal algorithms for parallel Givens factorization on a coarse-grained PRAM
Michel Cosnard
,
El Mostafa Daoudi
Journal of the ACM
41
(2), 1994, March, pp. 399-421
Parallel linear programming in fixed dimension almost surely in constant time
Noga Alon
,
Nimrod Megiddo
Journal of the ACM
41
(2), 1994, March, pp. 422-434
On binary constraint problems
Peter B. Ladkin
,
Roger D. Maddux
Journal of the ACM
41
(3), 1994, May, pp. 435-469
New approximation algorithms for graph coloring
Avrim Blum
Journal of the ACM
41
(3), 1994, May, pp. 470-516
On the power of bounded concurrency I: Finite automata
Doron Drusinsky
,
David Harel
Journal of the ACM
41
(3), 1994, May, pp. 517-539
On the power of bounded concurrency II: Pushdown automata
Tirza Hirst
,
David Harel
Journal of the ACM
41
(3), 1994, May, pp. 540-554
Diversity-based inference of finite automata
Ronald L. Rivest
,
Robert E. Schapire
Journal of the ACM
41
(3), 1994, May, pp. 555-589
On solving equations and disequations
Wray L. Buntine
,
Hans-Jürgen Bürckert
Journal of the ACM
41
(4), 1994, July, pp. 591-629
Linear approximation of shortest superstrings
Avrim Blum
,
Tao Jiang
,
Ming Li
,
John Tromp
,
Mihalis Yannakakis
Journal of the ACM
41
(4), 1994, July, pp. 630-647
Efficient decomposition methods for the analysis of multi-facility blocking models
Adrian E. Conway
,
Eugene Pinsky
,
Srinivasan Tridandapani
Journal of the ACM
41
(4), 1994, July, pp. 648-675
Computing bounds on steady state availability of repairable computer systems
John C.S. Lui
,
Richard R. Muntz
Journal of the ACM
41
(4), 1994, July, pp. 676-707
Seiten 1
2
>