Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/jacm/0005024,
  author       = {Xiao Hu and
                  Yufei Tao},
  title        = {Parallel Acyclic Joins: Optimal Algorithms and Cyclicity Separation},
  journal      = {J. {ACM}},
  volume       = {71},
  number       = {1},
  pages        = {6:1--6:44},
  year         = {2024},
  url          = {https://doi.org/10.1145/3633512},
  doi          = {10.1145/3633512},
  timestamp    = {Sat, 16 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/0005024.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/BalcanDSV24,
  author       = {Maria{-}Florina Balcan and
                  Travis Dick and
                  Tuomas Sandholm and
                  Ellen Vitercik},
  title        = {Learning to Branch: Generalization Guarantees and Limits of Data-Independent
                  Discretization},
  journal      = {J. {ACM}},
  volume       = {71},
  number       = {2},
  pages        = {13:1--13:73},
  year         = {2024},
  url          = {https://doi.org/10.1145/3637840},
  doi          = {10.1145/3637840},
  timestamp    = {Fri, 17 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/BalcanDSV24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/ChaudhuryGM24,
  author       = {Bhaskar Ray Chaudhury and
                  Jugal Garg and
                  Kurt Mehlhorn},
  title        = {{EFX} Exists for Three Agents},
  journal      = {J. {ACM}},
  volume       = {71},
  number       = {1},
  pages        = {4:1--4:27},
  year         = {2024},
  url          = {https://doi.org/10.1145/3616009},
  doi          = {10.1145/3616009},
  timestamp    = {Sat, 16 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/ChaudhuryGM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/ChouGSV24,
  author       = {Chi{-}Ning Chou and
                  Alexander Golovnev and
                  Madhu Sudan and
                  Santhoshini Velusamy},
  title        = {Sketching Approximability of All Finite CSPs},
  journal      = {J. {ACM}},
  volume       = {71},
  number       = {2},
  pages        = {15:1--15:74},
  year         = {2024},
  url          = {https://doi.org/10.1145/3649435},
  doi          = {10.1145/3649435},
  timestamp    = {Fri, 17 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/ChouGSV24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/CohenAddadDKPT24,
  author       = {Vincent Cohen{-}Addad and
                  Debarati Das and
                  Evangelos Kipouridis and
                  Nikos Parotsidis and
                  Mikkel Thorup},
  title        = {Fitting Distances by Tree Metrics Minimizing the Total Error within
                  a Constant Factor},
  journal      = {J. {ACM}},
  volume       = {71},
  number       = {2},
  pages        = {10:1--10:41},
  year         = {2024},
  url          = {https://doi.org/10.1145/3639453},
  doi          = {10.1145/3639453},
  timestamp    = {Fri, 17 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/CohenAddadDKPT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Dutting0NPR24,
  author       = {Paul D{\"{u}}tting and
                  Zhe Feng and
                  Harikrishna Narasimhan and
                  David C. Parkes and
                  Sai Srivatsa Ravindranath},
  title        = {Optimal Auctions through Deep Learning: Advances in Differentiable
                  Economics},
  journal      = {J. {ACM}},
  volume       = {71},
  number       = {1},
  pages        = {5:1--5:53},
  year         = {2024},
  url          = {https://doi.org/10.1145/3630749},
  doi          = {10.1145/3630749},
  timestamp    = {Sat, 16 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Dutting0NPR24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/EsparzaRS24,
  author       = {Javier Esparza and
                  Rub{\'{e}}n Rubio and
                  Salomon Sickert},
  title        = {Efficient Normalization of Linear Temporal Logic},
  journal      = {J. {ACM}},
  volume       = {71},
  number       = {2},
  pages        = {16:1--16:42},
  year         = {2024},
  url          = {https://doi.org/10.1145/3651152},
  doi          = {10.1145/3651152},
  timestamp    = {Fri, 17 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/EsparzaRS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/GeorgesGSTTDB24,
  author       = {A{\"{\i}}na Linn Georges and
                  Arma{\"{e}}l Gu{\'{e}}neau and
                  Thomas Van Strydonck and
                  Amin Timany and
                  Alix Trieu and
                  Dominique Devriese and
                  Lars Birkedal},
  title        = {Cerise: Program Verification on a Capability Machine in the Presence
                  of Untrusted Code},
  journal      = {J. {ACM}},
  volume       = {71},
  number       = {1},
  pages        = {3:1--3:59},
  year         = {2024},
  url          = {https://doi.org/10.1145/3623510},
  doi          = {10.1145/3623510},
  timestamp    = {Mon, 01 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/GeorgesGSTTDB24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/HuangPZ24,
  author       = {Shang{-}En Huang and
                  Seth Pettie and
                  Leqi Zhu},
  title        = {Byzantine Agreement with Optimal Resilience via Statistical Fraud
                  Detection},
  journal      = {J. {ACM}},
  volume       = {71},
  number       = {2},
  pages        = {12:1--12:37},
  year         = {2024},
  url          = {https://doi.org/10.1145/3639454},
  doi          = {10.1145/3639454},
  timestamp    = {Fri, 17 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/HuangPZ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/KhamisNPSW24,
  author       = {Mahmoud Abo Khamis and
                  Hung Q. Ngo and
                  Reinhard Pichler and
                  Dan Suciu and
                  Yisu Remy Wang},
  title        = {Convergence of datalog over (Pre-) Semirings},
  journal      = {J. {ACM}},
  volume       = {71},
  number       = {2},
  pages        = {8:1--8:55},
  year         = {2024},
  url          = {https://doi.org/10.1145/3643027},
  doi          = {10.1145/3643027},
  timestamp    = {Fri, 17 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/KhamisNPSW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Kong24,
  author       = {Yuqing Kong},
  title        = {Dominantly Truthful Peer Prediction Mechanisms with a Finite Number
                  of Tasks},
  journal      = {J. {ACM}},
  volume       = {71},
  number       = {2},
  pages        = {9:1--9:49},
  year         = {2024},
  url          = {https://doi.org/10.1145/3638239},
  doi          = {10.1145/3638239},
  timestamp    = {Fri, 17 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/Kong24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/LichterS24,
  author       = {Moritz Lichter and
                  Pascal Schweitzer},
  title        = {Choiceless Polynomial Time with Witnessed Symmetric Choice},
  journal      = {J. {ACM}},
  volume       = {71},
  number       = {2},
  pages        = {7:1--7:70},
  year         = {2024},
  url          = {https://doi.org/10.1145/3648104},
  doi          = {10.1145/3648104},
  timestamp    = {Fri, 17 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/LichterS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/NeigerSSV24,
  author       = {Vincent Neiger and
                  Bruno Salvy and
                  {\'{E}}ric Schost and
                  Gilles Villard},
  title        = {Faster Modular Composition},
  journal      = {J. {ACM}},
  volume       = {71},
  number       = {2},
  pages        = {11:1--11:79},
  year         = {2024},
  url          = {https://doi.org/10.1145/3638349},
  doi          = {10.1145/3638349},
  timestamp    = {Fri, 17 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/NeigerSSV24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/Ovens24,
  author       = {Sean Ovens},
  title        = {The Space Complexity of Consensus from Swap},
  journal      = {J. {ACM}},
  volume       = {71},
  number       = {1},
  pages        = {1:1--1:26},
  year         = {2024},
  url          = {https://doi.org/10.1145/3631390},
  doi          = {10.1145/3631390},
  timestamp    = {Sat, 16 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/Ovens24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/SteinS24,
  author       = {Dario Stein and
                  Sam Staton},
  title        = {Probabilistic Programming with Exact Conditions},
  journal      = {J. {ACM}},
  volume       = {71},
  number       = {1},
  pages        = {2:1--2:53},
  year         = {2024},
  url          = {https://doi.org/10.1145/3632170},
  doi          = {10.1145/3632170},
  timestamp    = {Sat, 16 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/SteinS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/ValeSC24,
  author       = {Arthur Oliveira Vale and
                  Zhong Shao and
                  Yixuan Chen},
  title        = {A Compositional Theory of Linearizability},
  journal      = {J. {ACM}},
  volume       = {71},
  number       = {2},
  pages        = {14:1--14:107},
  year         = {2024},
  url          = {https://doi.org/10.1145/3643668},
  doi          = {10.1145/3643668},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/ValeSC24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.