Journal: Journal of the ACM

Volume 44, Issue 6

779 -- 805Cynthia Dwork, Maurice Herlihy, Orli Waarts. Contention in shared memory algorithms
806 -- 825Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe. Exact analysis of Dodgson elections: Lewis Carroll s 1876 voting system is complete for parallel access to NP
826 -- 849Hal Wasserman, Manuel Blum. Software reliability via run-time result-checking
850 -- 891Manfred Broy. Compositional refinement of interactive systems

Volume 44, Issue 5

633 -- 668Ronen I. Brafman, Jean-Claude Latombe, Yoram Moses, Yoav Shoham. Applications of a logic of knowledge to motion planning under uncertainty
669 -- 696David Eppstein, Zvi Galil, Giuseppe F. Italiano, Amnon Nissenzweig. Sparsification - a technique for speeding up dynamic graph algorithms
697 -- 725Roni Khardon, Dan Roth. Learning to reason
726 -- 741Allan Borodin, Prabhakar Raghavan, Baruch Schieber, Eli Upfal. How much can hardware help routing?
742 -- 778Thomas H. Spencer. Time-work tradeoffs for parallel algorithms

Volume 44, Issue 4

527 -- 548Peter Jeavons, David A. Cohen, Marc Gyssens. Closure properties of constraints
549 -- 566Peter van Beek, Rina Dechter. Constraint tightness and looseness versus local and global consistency
567 -- 584Pankaj K. Agarwal, Sariel Har-Peled, Micha Sharir, Kasturi R. Varadarajan. Approximating shortest paths on a convex polytope in three dimensions
585 -- 591Mechthild Stoer, Frank Wagner. A simple min-cut algorithm
592 -- 614Prasad Jayanti. Robust wait-free hierarchies
615 -- 631Noga Alon, Shai Ben-David, Nicolò Cesa-Bianchi, David Haussler. Scale-sensitive dimensions, uniform convergence, and learnability
632 -- 0Tao Jiang, Joel I. Seiferas, Paul M. B. Vitányi. Erratum: Two heads are better that two tapes

Volume 44, Issue 3

363 -- 365Joseph Y. Halpern. On becoming editor-in-chief of JACM
366 -- 394Zhen Liu, Philippe Nain, Donald F. Towsley. Exponential bounds with applications to call admission
395 -- 426Rolf H. Möhring, Matthias Müller-Hannemann, Karsten Weihe. Mesh refinement via bidirected flows: modeling, complexity, and computational results
427 -- 485Nicolò Cesa-Bianchi, Yoav Freund, David Haussler, David P. Helmbold, Robert E. Schapire, Manfred K. Warmuth. How to use expert advice
486 -- 504James Aspnes, Yossi Azar, Amos Fiat, Serge A. Plotkin, Orli Waarts. On-line routing of virtual circuits with applications to load balancing and machine scheduling
505 -- 525R. C. Sekar, I. V. Ramakrishnan, Prateek Mishra. On the power and limitations of strictness analysis

Volume 44, Issue 2

201 -- 236Stefano Bistarelli, Ugo Montanari, Francesca Rossi. Semiring-based constraint satisfaction and optimization
237 -- 256Tao Jiang, Joel I. Seiferas, Paul M. B. Vitányi. Two heads are better than two tapes
257 -- 271Gudmund Skovbjerg Frandsen, Peter Bro Miltersen, Sven Skyum. Dynamic word problems
272 -- 319Jan Van den Bussche, Dirk Van Gucht, Marc Andries, Marc Gyssens. On the completeness of object-creating database transformation languages
320 -- 344Wolfgang Bibel, Elmar Eder. Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution
345 -- 361Robert A. Wagner. Evaluating uniform expressions within two steps of minimum parallel time

Volume 44, Issue 1

1 -- 29Gary L. Miller, Shang-Hua Teng, William P. Thurston, Stephen A. Vavasis. Separators for sphere-packings and nearest neighbor graphs
30 -- 56Serge Abiteboul, Moshe Y. Vardi, Victor Vianu. Fixpoint logics, relational machines, and computational complexity
57 -- 85Shinichi Morishita. Avoiding Cartesian products for multiple joins
86 -- 103Baruch Awerbuch, Leonard J. Schulman. The maintenance of common data in a distributed system
104 -- 147Richard R. Koch, Frank Thomson Leighton, Bruce M. Maggs, Satish Rao, Arnold L. Rosenberg, Eric J. Schwabe. Work-preserving emulations of fixed-connection networks
148 -- 199Alexander T. Ishii, Charles E. Leiserson, Marios C. Papaefthymiou. Optimizing two-phase, level-clocked circuitry