Search dblp for Publications

export results for "toc:db/journals/jacm/jacm44.bht:"

 download as .bib file

@article{DBLP:journals/jacm/AbiteboulVV97,
  author       = {Serge Abiteboul and
                  Moshe Y. Vardi and
                  Victor Vianu},
  title        = {Fixpoint logics, relational machines, and computational complexity},
  journal      = {J. {ACM}},
  volume       = {44},
  number       = {1},
  pages        = {30--56},
  year         = {1997},
  url          = {https://doi.org/10.1145/256292.256295},
  doi          = {10.1145/256292.256295},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/AbiteboulVV97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/AgarwalHSV97,
  author       = {Pankaj K. Agarwal and
                  Sariel Har{-}Peled and
                  Micha Sharir and
                  Kasturi R. Varadarajan},
  title        = {Approximating shortest paths on a convex polytope in three dimensions},
  journal      = {J. {ACM}},
  volume       = {44},
  number       = {4},
  pages        = {567--584},
  year         = {1997},
  url          = {https://doi.org/10.1145/263867.263869},
  doi          = {10.1145/263867.263869},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/AgarwalHSV97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/AlonBCH97,
  author       = {Noga Alon and
                  Shai Ben{-}David and
                  Nicol{\`{o}} Cesa{-}Bianchi and
                  David Haussler},
  title        = {Scale-sensitive dimensions, uniform convergence, and learnability},
  journal      = {J. {ACM}},
  volume       = {44},
  number       = {4},
  pages        = {615--631},
  year         = {1997},
  url          = {https://doi.org/10.1145/263867.263927},
  doi          = {10.1145/263867.263927},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/AlonBCH97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/AspnesAFPW97,
  author       = {James Aspnes and
                  Yossi Azar and
                  Amos Fiat and
                  Serge A. Plotkin and
                  Orli Waarts},
  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},
  url          = {https://doi.org/10.1145/258128.258201},
  doi          = {10.1145/258128.258201},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/AspnesAFPW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/AwerbuchS97,
  author       = {Baruch Awerbuch and
                  Leonard J. Schulman},
  title        = {The maintenance of common data in a distributed system},
  journal      = {J. {ACM}},
  volume       = {44},
  number       = {1},
  pages        = {86--103},
  year         = {1997},
  url          = {https://doi.org/10.1145/256292.256298},
  doi          = {10.1145/256292.256298},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/AwerbuchS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BeekD97,
  author       = {Peter van Beek and
                  Rina Dechter},
  title        = {Constraint tightness and looseness versus local and global consistency},
  journal      = {J. {ACM}},
  volume       = {44},
  number       = {4},
  pages        = {549--566},
  year         = {1997},
  url          = {https://doi.org/10.1145/263867.263499},
  doi          = {10.1145/263867.263499},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/BeekD97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BibelE97,
  author       = {Wolfgang Bibel and
                  Elmar Eder},
  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},
  url          = {https://doi.org/10.1145/256303.256313},
  doi          = {10.1145/256303.256313},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/BibelE97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BistarelliMR97,
  author       = {Stefano Bistarelli and
                  Ugo Montanari and
                  Francesca Rossi},
  title        = {Semiring-based constraint satisfaction and optimization},
  journal      = {J. {ACM}},
  volume       = {44},
  number       = {2},
  pages        = {201--236},
  year         = {1997},
  url          = {https://doi.org/10.1145/256303.256306},
  doi          = {10.1145/256303.256306},
  timestamp    = {Tue, 23 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/BistarelliMR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BorodinRSU97,
  author       = {Allan Borodin and
                  Prabhakar Raghavan and
                  Baruch Schieber and
                  Eli Upfal},
  title        = {How much can hardware help routing?},
  journal      = {J. {ACM}},
  volume       = {44},
  number       = {5},
  pages        = {726--741},
  year         = {1997},
  url          = {https://doi.org/10.1145/265910.265922},
  doi          = {10.1145/265910.265922},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/BorodinRSU97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BrafmanLMS97,
  author       = {Ronen I. Brafman and
                  Jean{-}Claude Latombe and
                  Yoram Moses and
                  Yoav Shoham},
  title        = {Applications of a logic of knowledge to motion planning under uncertainty},
  journal      = {J. {ACM}},
  volume       = {44},
  number       = {5},
  pages        = {633--668},
  year         = {1997},
  url          = {https://doi.org/10.1145/265910.265912},
  doi          = {10.1145/265910.265912},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/BrafmanLMS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Broy97,
  author       = {Manfred Broy},
  title        = {Compositional refinement of interactive systems},
  journal      = {J. {ACM}},
  volume       = {44},
  number       = {6},
  pages        = {850--891},
  year         = {1997},
  url          = {https://doi.org/10.1145/268999.269004},
  doi          = {10.1145/268999.269004},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Broy97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BusscheGAG97,
  author       = {Jan Van den Bussche and
                  Dirk Van Gucht and
                  Marc Andries and
                  Marc Gyssens},
  title        = {On the completeness of object-creating database transformation languages},
  journal      = {J. {ACM}},
  volume       = {44},
  number       = {2},
  pages        = {272--319},
  year         = {1997},
  url          = {https://doi.org/10.1145/256303.256311},
  doi          = {10.1145/256303.256311},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/BusscheGAG97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Cesa-BianchiFHHSW97,
  author       = {Nicol{\`{o}} Cesa{-}Bianchi and
                  Yoav Freund and
                  David Haussler and
                  David P. Helmbold and
                  Robert E. Schapire and
                  Manfred K. Warmuth},
  title        = {How to use expert advice},
  journal      = {J. {ACM}},
  volume       = {44},
  number       = {3},
  pages        = {427--485},
  year         = {1997},
  url          = {https://doi.org/10.1145/258128.258179},
  doi          = {10.1145/258128.258179},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/Cesa-BianchiFHHSW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/DworkHW97,
  author       = {Cynthia Dwork and
                  Maurice Herlihy and
                  Orli Waarts},
  title        = {Contention in shared memory algorithms},
  journal      = {J. {ACM}},
  volume       = {44},
  number       = {6},
  pages        = {779--805},
  year         = {1997},
  url          = {https://doi.org/10.1145/268999.269000},
  doi          = {10.1145/268999.269000},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/DworkHW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/EppsteinGIN97,
  author       = {David Eppstein and
                  Zvi Galil and
                  Giuseppe F. Italiano and
                  Amnon Nissenzweig},
  title        = {Sparsification - a technique for speeding up dynamic graph algorithms},
  journal      = {J. {ACM}},
  volume       = {44},
  number       = {5},
  pages        = {669--696},
  year         = {1997},
  url          = {https://doi.org/10.1145/265910.265914},
  doi          = {10.1145/265910.265914},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/EppsteinGIN97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/FrandsenMS97,
  author       = {Gudmund Skovbjerg Frandsen and
                  Peter Bro Miltersen and
                  Sven Skyum},
  title        = {Dynamic word problems},
  journal      = {J. {ACM}},
  volume       = {44},
  number       = {2},
  pages        = {257--271},
  year         = {1997},
  url          = {https://doi.org/10.1145/256303.256309},
  doi          = {10.1145/256303.256309},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/FrandsenMS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Halpern97,
  author       = {Joseph Y. Halpern},
  title        = {On becoming editor-in-chief of {JACM}},
  journal      = {J. {ACM}},
  volume       = {44},
  number       = {3},
  pages        = {363--365},
  year         = {1997},
  url          = {https://doi.org/10.1145/258128.268577},
  doi          = {10.1145/258128.268577},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Halpern97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/HemaspaandraHR97,
  author       = {Edith Hemaspaandra and
                  Lane A. Hemaspaandra and
                  J{\"{o}}rg Rothe},
  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},
  url          = {https://doi.org/10.1145/268999.269002},
  doi          = {10.1145/268999.269002},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/HemaspaandraHR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/IshiiLP97,
  author       = {Alexander T. Ishii and
                  Charles E. Leiserson and
                  Marios C. Papaefthymiou},
  title        = {Optimizing two-phase, level-clocked circuitry},
  journal      = {J. {ACM}},
  volume       = {44},
  number       = {1},
  pages        = {148--199},
  year         = {1997},
  url          = {https://doi.org/10.1145/256292.256301},
  doi          = {10.1145/256292.256301},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/IshiiLP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Jayanti97,
  author       = {Prasad Jayanti},
  title        = {Robust wait-free hierarchies},
  journal      = {J. {ACM}},
  volume       = {44},
  number       = {4},
  pages        = {592--614},
  year         = {1997},
  url          = {https://doi.org/10.1145/263867.263888},
  doi          = {10.1145/263867.263888},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Jayanti97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/JeavonsCG97,
  author       = {Peter Jeavons and
                  David A. Cohen and
                  Marc Gyssens},
  title        = {Closure properties of constraints},
  journal      = {J. {ACM}},
  volume       = {44},
  number       = {4},
  pages        = {527--548},
  year         = {1997},
  url          = {https://doi.org/10.1145/263867.263489},
  doi          = {10.1145/263867.263489},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/JeavonsCG97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/JiangSV97,
  author       = {Tao Jiang and
                  Joel I. Seiferas and
                  Paul M. B. Vit{\'{a}}nyi},
  title        = {Two heads are better than two tapes},
  journal      = {J. {ACM}},
  volume       = {44},
  number       = {2},
  pages        = {237--256},
  year         = {1997},
  url          = {https://doi.org/10.1145/256303.256308},
  doi          = {10.1145/256303.256308},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/JiangSV97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/JiangSV97a,
  author       = {Tao Jiang and
                  Joel I. Seiferas and
                  Paul M. B. Vit{\'{a}}nyi},
  title        = {Erratum: "Two heads are better that two tapes"},
  journal      = {J. {ACM}},
  volume       = {44},
  number       = {4},
  pages        = {632},
  year         = {1997},
  url          = {https://doi.org/10.1145/263867.268580},
  doi          = {10.1145/263867.268580},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/JiangSV97a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/KhardonR97,
  author       = {Roni Khardon and
                  Dan Roth},
  title        = {Learning to reason},
  journal      = {J. {ACM}},
  volume       = {44},
  number       = {5},
  pages        = {697--725},
  year         = {1997},
  url          = {https://doi.org/10.1145/265910.265918},
  doi          = {10.1145/265910.265918},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/KhardonR97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/KochLMRRS97,
  author       = {Richard R. Koch and
                  Frank Thomson Leighton and
                  Bruce M. Maggs and
                  Satish Rao and
                  Arnold L. Rosenberg and
                  Eric J. Schwabe},
  title        = {Work-preserving emulations of fixed-connection networks},
  journal      = {J. {ACM}},
  volume       = {44},
  number       = {1},
  pages        = {104--147},
  year         = {1997},
  url          = {https://doi.org/10.1145/256292.256299},
  doi          = {10.1145/256292.256299},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/KochLMRRS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/LiuNT97,
  author       = {Zhen Liu and
                  Philippe Nain and
                  Donald F. Towsley},
  title        = {Exponential bounds with applications to call admission},
  journal      = {J. {ACM}},
  volume       = {44},
  number       = {3},
  pages        = {366--394},
  year         = {1997},
  url          = {https://doi.org/10.1145/258128.258129},
  doi          = {10.1145/258128.258129},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/LiuNT97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/MillerTTV97,
  author       = {Gary L. Miller and
                  Shang{-}Hua Teng and
                  William P. Thurston and
                  Stephen A. Vavasis},
  title        = {Separators for sphere-packings and nearest neighbor graphs},
  journal      = {J. {ACM}},
  volume       = {44},
  number       = {1},
  pages        = {1--29},
  year         = {1997},
  url          = {https://doi.org/10.1145/256292.256294},
  doi          = {10.1145/256292.256294},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/MillerTTV97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/MohringMW97,
  author       = {Rolf H. M{\"{o}}hring and
                  Matthias M{\"{u}}ller{-}Hannemann and
                  Karsten Weihe},
  title        = {Mesh refinement via bidirected flows: modeling, complexity, and computational
                  results},
  journal      = {J. {ACM}},
  volume       = {44},
  number       = {3},
  pages        = {395--426},
  year         = {1997},
  url          = {https://doi.org/10.1145/258128.258174},
  doi          = {10.1145/258128.258174},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/MohringMW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Morishita97,
  author       = {Shinichi Morishita},
  title        = {Avoiding Cartesian products for multiple joins},
  journal      = {J. {ACM}},
  volume       = {44},
  number       = {1},
  pages        = {57--85},
  year         = {1997},
  url          = {https://doi.org/10.1145/256292.256296},
  doi          = {10.1145/256292.256296},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/Morishita97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/SekarRM97,
  author       = {R. Sekar and
                  I. V. Ramakrishnan and
                  Prateek Mishra},
  title        = {On the power and limitations of strictness analysis},
  journal      = {J. {ACM}},
  volume       = {44},
  number       = {3},
  pages        = {505--525},
  year         = {1997},
  url          = {https://doi.org/10.1145/258128.258212},
  doi          = {10.1145/258128.258212},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/SekarRM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Spencer97,
  author       = {Thomas H. Spencer},
  title        = {Time-work tradeoffs for parallel algorithms},
  journal      = {J. {ACM}},
  volume       = {44},
  number       = {5},
  pages        = {742--778},
  year         = {1997},
  url          = {https://doi.org/10.1145/265910.265923},
  doi          = {10.1145/265910.265923},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Spencer97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/StoerW97,
  author       = {Mechthild Stoer and
                  Frank Wagner},
  title        = {A simple min-cut algorithm},
  journal      = {J. {ACM}},
  volume       = {44},
  number       = {4},
  pages        = {585--591},
  year         = {1997},
  url          = {https://doi.org/10.1145/263867.263872},
  doi          = {10.1145/263867.263872},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/StoerW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/Wagner97,
  author       = {Robert A. Wagner},
  title        = {Evaluating uniform expressions within two steps of minimum parallel
                  time},
  journal      = {J. {ACM}},
  volume       = {44},
  number       = {2},
  pages        = {345--361},
  year         = {1997},
  url          = {https://doi.org/10.1145/256303.256314},
  doi          = {10.1145/256303.256314},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Wagner97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/WassermanB97,
  author       = {Hal Wasserman and
                  Manuel Blum},
  title        = {Software reliability via run-time result-checking},
  journal      = {J. {ACM}},
  volume       = {44},
  number       = {6},
  pages        = {826--849},
  year         = {1997},
  url          = {https://doi.org/10.1145/268999.269003},
  doi          = {10.1145/268999.269003},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/WassermanB97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics