@article{Miller-Teng-Thurston-Vavasis/97,
AUTHOR = {Miller, Gary L. and Teng, Shang-Hua and Thurston, William and Vavasis, Stephen A.},
TITLE = {Separators for sphere-packings and nearest neighbor graphs},
JOURNAL = {J. ACM},
VOLUME = {44},
NUMBER = {1},
PAGES = {1-29},
YEAR = {1997},
EDITOR = {Leighton, F. Thomson},
URL = {http://doi.acm.org/10.1145/256292.256294},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Abiteboul-Vardi-Vianu/97,
AUTHOR = {Abiteboul, Serge and Vardi, Moshe Y. and Vianu, Victor},
TITLE = {Fixpoint logics, relational machines, and computational complexity},
JOURNAL = {J. ACM},
VOLUME = {44},
NUMBER = {1},
PAGES = {30-56},
YEAR = {1997},
EDITOR = {Leighton, F. Thomson},
URL = {http://doi.acm.org/10.1145/256292.256295},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Morishita/97,
AUTHOR = {Morishita, Shinichi},
TITLE = {Avoiding Cartesian products for multiple joins},
JOURNAL = {J. ACM},
VOLUME = {44},
NUMBER = {1},
PAGES = {57-85},
YEAR = {1997},
EDITOR = {Leighton, F. Thomson},
URL = {http://doi.acm.org/10.1145/256292.256296},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Awerbuch-Schulman/97,
AUTHOR = {Awerbuch, Baruch and Schulman, Leonard J.},
TITLE = {The maintenance of common data in a distributed system},
JOURNAL = {J. ACM},
VOLUME = {44},
NUMBER = {1},
PAGES = {86-103},
YEAR = {1997},
EDITOR = {Leighton, F. Thomson},
URL = {http://doi.acm.org/10.1145/256292.256298},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Koch-Leighton-Maggs-Rao-Rosenberg-Schwabe/97,
AUTHOR = {Koch, Richard R. and Leighton, F.T. and Maggs, Bruce M. and Rao, Satish B. and Rosenberg, Arnold L. and Schwabe, Eric J.},
TITLE = {Work-preserving emulations of fixed-connection networks},
JOURNAL = {J. ACM},
VOLUME = {44},
NUMBER = {1},
PAGES = {104-147},
YEAR = {1997},
EDITOR = {Leighton, F. Thomson},
URL = {http://doi.acm.org/10.1145/256292.256299},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Ishii-Leiserson-Papaefthymiou/97,
AUTHOR = {Ishii, Alexander T. and Leiserson, Charles E. and Papaefthymiou, Marios C.},
TITLE = {Optimizing two-phase, level-clocked circuitry},
JOURNAL = {J. ACM},
VOLUME = {44},
NUMBER = {1},
PAGES = {148-199},
YEAR = {1997},
EDITOR = {Leighton, F. Thomson},
URL = {http://doi.acm.org/10.1145/256292.256301},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Bistarelli-Montanari-Rossi/97,
AUTHOR = {Bistarelli, Stefano and Montanari, Ugo and Rossi, Francesca},
TITLE = {Semiring-based constraint satisfaction and optimization},
JOURNAL = {J. ACM},
VOLUME = {44},
NUMBER = {2},
PAGES = {201-236},
YEAR = {1997},
EDITOR = {Leighton, F. Thomson},
URL = {http://doi.acm.org/10.1145/256303.256306},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Jiang-Seiferas-Vitanyi/97,
AUTHOR = {Jiang, Tao and Seiferas, Joel I. and Vit{\'{a}}nyi, Paul M.B.},
TITLE = {Two heads are better than two tapes},
JOURNAL = {J. ACM},
VOLUME = {44},
NUMBER = {2},
PAGES = {237-256},
YEAR = {1997},
EDITOR = {Leighton, F. Thomson},
URL = {http://doi.acm.org/10.1145/256303.256308},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
NOTE = {see Erratum in J. ACM, Vol. 44, 1997, No. 4, 632-632},
}
@article{Skovbjerg_Frandsen-Bro_Miltersen-Skyum/97,
AUTHOR = {Skovbjerg Frandsen, Gudmund and Bro Miltersen, Peter and Skyum, Sven},
TITLE = {Dynamic word problems},
JOURNAL = {J. ACM},
VOLUME = {44},
NUMBER = {2},
PAGES = {257-271},
YEAR = {1997},
EDITOR = {Leighton, F. Thomson},
URL = {http://doi.acm.org/10.1145/256303.256309},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{van_den_Bussche-van_Gucht-Andries-Gyssens/97,
AUTHOR = {van den Bussche, Jan and van Gucht, Dirk and Andries, Marc and Gyssens, Marc},
TITLE = {On the completeness of object-creating database transformation languages},
JOURNAL = {J. ACM},
VOLUME = {44},
NUMBER = {2},
PAGES = {272-319},
YEAR = {1997},
EDITOR = {Leighton, F. Thomson},
URL = {http://doi.acm.org/10.1145/256303.256311},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Bibel-Eder/97,
AUTHOR = {Bibel, W. and Eder, E.},
TITLE = {Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution},
JOURNAL = {J. ACM},
VOLUME = {44},
NUMBER = {2},
PAGES = {320-344},
YEAR = {1997},
EDITOR = {Leighton, F. Thomson},
URL = {http://doi.acm.org/10.1145/256303.256313},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Wagner/97,
AUTHOR = {Wagner, Robert A.},
TITLE = {Evaluating uniform expressions within two steps of minimum parallel time},
JOURNAL = {J. ACM},
VOLUME = {44},
NUMBER = {2},
PAGES = {345-361},
YEAR = {1997},
EDITOR = {Leighton, F. Thomson},
URL = {http://doi.acm.org/10.1145/256303.256314},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Liu-Nain-Towsley/97,
AUTHOR = {Liu, Zhen and Nain, Philippe and Towsley, Don},
TITLE = {Exponential bounds with applications to call admission},
JOURNAL = {J. ACM},
VOLUME = {44},
NUMBER = {3},
PAGES = {366-394},
YEAR = {1997},
EDITOR = {Leighton, F. Thomson},
URL = {http://doi.acm.org/10.1145/258128.258129},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Mohring-Muller-Hannemann-Weihe/97,
AUTHOR = {M{\"o}hring, Rolf H. and M{\"{u}}ller-Hannemann, Matthias and Weihe, Karsten},
TITLE = {Mesh refinement via bidirected flows: Modeling, complexity, and computational results},
JOURNAL = {J. ACM},
VOLUME = {44},
NUMBER = {3},
PAGES = {395-426},
YEAR = {1997},
EDITOR = {Leighton, F. Thomson},
URL = {http://doi.acm.org/10.1145/258128.258174},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Cesa-Bianchi-Freund-Haussler-Helmbold-Schapire-Warmuth/97,
AUTHOR = {Cesa-Bianchi, Nicol{\`o} and Freund, Yoav and Haussler, David and Helmbold, David P. and Schapire, Robert E. and Warmuth, Manfred K.},
TITLE = {How to use expert advice},
JOURNAL = {J. ACM},
VOLUME = {44},
NUMBER = {3},
PAGES = {427-485},
YEAR = {1997},
EDITOR = {Leighton, F. Thomson},
URL = {http://doi.acm.org/10.1145/258128.258179},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Aspnes-Azar-Fiat-Plotkin-Waarts/97,
AUTHOR = {Aspnes, James and Azar, Yossi and Fiat, Amos and Plotkin, Serge and Waarts, Orli},
TITLE = {On-line routing of virtual circuits with applications to load balancing and machine scheduling},
JOURNAL = {J. ACM},
VOLUME = {44},
NUMBER = {3},
PAGES = {486-504},
YEAR = {1997},
EDITOR = {Leighton, F. Thomson},
URL = {http://doi.acm.org/10.1145/258128.258201},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Sekar-Ramakrishnan-Mishra/97,
AUTHOR = {Sekar, R. and Ramakrishnan, I.V. and Mishra, P.},
TITLE = {On the power and limitations of strictness analysis},
JOURNAL = {J. ACM},
VOLUME = {44},
NUMBER = {3},
PAGES = {505-525},
YEAR = {1997},
EDITOR = {Leighton, F. Thomson},
URL = {http://doi.acm.org/10.1145/258128.258212},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Jeavons-Cohen-Gyssens/97,
AUTHOR = {Jeavons, Peter and Cohen, David and Gyssens, Marc},
TITLE = {Closure properties of constraints},
JOURNAL = {J. ACM},
VOLUME = {44},
NUMBER = {4},
PAGES = {527-548},
YEAR = {1997},
EDITOR = {Leighton, F. Thomson},
URL = {http://doi.acm.org/10.1145/263867.263489},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{van_Beek-Dechter/97,
AUTHOR = {van Beek, Peter and Dechter, Rina},
TITLE = {Constraint tightness and looseness versus local and global consistency},
JOURNAL = {J. ACM},
VOLUME = {44},
NUMBER = {4},
PAGES = {549-566},
YEAR = {1997},
EDITOR = {Leighton, F. Thomson},
URL = {http://doi.acm.org/10.1145/263867.263499},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
NOTE = {see Erratum in J. ACM, Vol. 50, 2003, No. 3, 277-279},
}
@article{Agarwal-Har-Peled-Sharir-Varadarajan/97,
AUTHOR = {Agarwal, Pankaj K. and Har-Peled, Sariel and Sharir, Micha and Varadarajan, Kasturi R.},
TITLE = {Approximating shortest paths on a convex polytope in three dimensions},
JOURNAL = {J. ACM},
VOLUME = {44},
NUMBER = {4},
PAGES = {567-584},
YEAR = {1997},
EDITOR = {Leighton, F. Thomson},
URL = {http://doi.acm.org/10.1145/263867.263869},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Stoer-Wagner/97,
AUTHOR = {Stoer, Mechthild and Wagner, Frank},
TITLE = {A simple min-cut algorithm},
JOURNAL = {J. ACM},
VOLUME = {44},
NUMBER = {4},
PAGES = {585-591},
YEAR = {1997},
EDITOR = {Leighton, F. Thomson},
URL = {http://doi.acm.org/10.1145/263867.263872},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Jayanti/97,
AUTHOR = {Jayanti, Prasad},
TITLE = {Robust wait-free hierarchies},
JOURNAL = {J. ACM},
VOLUME = {44},
NUMBER = {4},
PAGES = {592-614},
YEAR = {1997},
EDITOR = {Leighton, F. Thomson},
URL = {http://doi.acm.org/10.1145/263867.263888},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Alon-Ben-David-Cesa-Bianchi-Haussler/97,
AUTHOR = {Alon, Noga and Ben-David, Shai and Cesa-Bianchi, Nicol{\`o} and Haussler, David},
TITLE = {Scale-sensitive dimensions, uniform convergence, and learnability},
JOURNAL = {J. ACM},
VOLUME = {44},
NUMBER = {4},
PAGES = {615-631},
YEAR = {1997},
EDITOR = {Leighton, F. Thomson},
URL = {http://doi.acm.org/10.1145/263867.263927},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Jiang-Seiferas-Vitanyi/97a,
AUTHOR = {Jiang, Tao and Seiferas, Joel I. and Vitanyi, Paul M.B.},
TITLE = {Erratum to ''Two heads are better than two tapes''},
JOURNAL = {J. ACM},
VOLUME = {44},
NUMBER = {4},
PAGES = {632-632},
YEAR = {1997},
EDITOR = {Leighton, F. Thomson},
URL = {http://doi.acm.org/10.1145/263867.268580},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
NOTE = {Originally in J. ACM, Vol. 44, 1997, No. 2, 237-256},
}
@article{Brafman-Latombe-Moses-Shoham/97,
AUTHOR = {Brafman, Ronen I. and Latombe, Jean-Claude and Moses, Yoram and Shoham, Yoav},
TITLE = {Applications of a logic of knowledge to motion planning under uncertainty},
JOURNAL = {J. ACM},
VOLUME = {44},
NUMBER = {5},
PAGES = {633-668},
YEAR = {1997},
EDITOR = {Leighton, F. Thomson},
URL = {http://doi.acm.org/10.1145/265910.265912},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Eppstein-Galil-Italiano-Nissenzweig/97,
AUTHOR = {Eppstein, David and Galil, Zvi and Italiano, Giuseppe F. and Nissenzweig, Amnon},
TITLE = {Sparsification --- A technique for speeding up dynamic graph algorithms},
JOURNAL = {J. ACM},
VOLUME = {44},
NUMBER = {5},
PAGES = {669-696},
YEAR = {1997},
EDITOR = {Leighton, F. Thomson},
URL = {http://doi.acm.org/10.1145/265910.265914},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Khardon-Roth/97,
AUTHOR = {Khardon, Roni and Roth, Dan},
TITLE = {Learning to reason},
JOURNAL = {J. ACM},
VOLUME = {44},
NUMBER = {5},
PAGES = {697-725},
YEAR = {1997},
EDITOR = {Leighton, F. Thomson},
URL = {http://doi.acm.org/10.1145/265910.265918},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Borodin-Raghavan-Schieber-Upfal/97,
AUTHOR = {Borodin, Allan and Raghavan, Prabhakar and Schieber, Baruch and Upfal, Eli},
TITLE = {How much can hardware help routing?},
JOURNAL = {J. ACM},
VOLUME = {44},
NUMBER = {5},
PAGES = {726-741},
YEAR = {1997},
EDITOR = {Leighton, F. Thomson},
URL = {http://doi.acm.org/10.1145/265910.265922},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Spencer/97,
AUTHOR = {Spencer, Thomas H.},
TITLE = {Time-work tradeoffs for parallel algorithms},
JOURNAL = {J. ACM},
VOLUME = {44},
NUMBER = {5},
PAGES = {742-778},
YEAR = {1997},
EDITOR = {Leighton, F. Thomson},
URL = {http://doi.acm.org/10.1145/265910.265923},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Dwork-Herlihy-Waarts/97,
AUTHOR = {Dwork, Cynthia and Herlihy, Maurice and Waarts, Orli},
TITLE = {Contention in shared memory algorithms},
JOURNAL = {J. ACM},
VOLUME = {44},
NUMBER = {6},
PAGES = {779-805},
YEAR = {1997},
EDITOR = {Leighton, F. Thomson},
URL = {http://doi.acm.org/10.1145/268999.269000},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Hemaspaandra-Hemaspaandra-Rothe/97,
AUTHOR = {Hemaspaandra, Edith and Hemaspaandra, Lane A. and Rothe, J{\"{o}}rg},
TITLE = {Exact analysis of Dodgson elections: Lewis Carroll's 1876 voting system is complete for parallel access to $NP$},
JOURNAL = {J. ACM},
VOLUME = {44},
NUMBER = {6},
PAGES = {806-825},
YEAR = {1997},
EDITOR = {Leighton, F. Thomson},
URL = {http://doi.acm.org/10.1145/268999.269002},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Wasserman-Blum/97,
AUTHOR = {Wasserman, Hal and Blum, Manuel},
TITLE = {Software reliability via run-time result-checking},
JOURNAL = {J. ACM},
VOLUME = {44},
NUMBER = {6},
PAGES = {826-849},
YEAR = {1997},
EDITOR = {Leighton, F. Thomson},
URL = {http://doi.acm.org/10.1145/268999.269003},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Broy/97,
AUTHOR = {Broy, Manfred},
TITLE = {Compositional refinement of interactive systems},
JOURNAL = {J. ACM},
VOLUME = {44},
NUMBER = {6},
PAGES = {850-891},
YEAR = {1997},
EDITOR = {Leighton, F. Thomson},
URL = {http://doi.acm.org/10.1145/268999.269004},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}