On the Recognition of Information With a Digital Computer

JOURNAL ARTICLE published April 1957 in Journal of the ACM

Authors: Herbert T. Glantz

Some Binary Derivation Systems

JOURNAL ARTICLE published April 1974 in Journal of the ACM

Authors: E. E. Sibert | D. Michie

Lower Bounds on Implementing Mediators in Asynchronous Systems with Rational and Malicious Agents

JOURNAL ARTICLE published 30 April 2023 in Journal of the ACM

Research funded by NSF (IIS-1703846, IIS-0911036) | ARO (W911NF-17-1-0592) | MURI (W911NF-19-1-0217)

Authors: Ivan Geffner | Joseph Y. Halpern

Almost Optimal Exact Distance Oracles for Planar Graphs

JOURNAL ARTICLE published 30 April 2023 in Journal of the ACM

Research funded by NSF (CF-1637546, CCF-1815316) | Israel Science Foundation (592/17, 810/21) | Independent Research Fund Denmark (7027-00050B)

Authors: Panagiotis Charalampopoulos | Paweł Gawrychowski | Yaowei Long | Shay Mozes | Seth Pettie | Oren Weimann | Christian Wulff-Nilsen

An analytic approach to the height of binary search trees II

JOURNAL ARTICLE published May 2003 in Journal of the ACM

Authors: Michael Drmota

Periodification scheme

JOURNAL ARTICLE published September 2000 in Journal of the ACM

Authors: Mirosław kutyłowski | Krzysztof Loryś | Brigitte Oesterdiekhoff | Rolf Wanka

On the complexity analysis of static analyses

JOURNAL ARTICLE published July 2002 in Journal of the ACM

Authors: David McAllester

How to use expert advice

JOURNAL ARTICLE published May 1997 in Journal of the ACM

Authors: Nicolò Cesa-Bianchi | Yoav Freund | David Haussler | David P. Helmbold | Robert E. Schapire | Manfred K. Warmuth

Efficient algorithms for inverting evolution

JOURNAL ARTICLE published July 1999 in Journal of the ACM

Authors: Martin Farach | Sampath Kannan

A Unified Translation of Linear Temporal Logic to ω-Automata

JOURNAL ARTICLE published 31 December 2020 in Journal of the ACM

Research funded by Deutsche Forschungsgemeinschaft (317422601) | H2020 European Research Council (787367)

Authors: Javier Esparza | Jan Křetínský | Salomon Sickert

Fitting Distances by Tree Metrics Minimizing the Total Error within a Constant Factor

JOURNAL ARTICLE published 30 April 2024 in Journal of the ACM

Research funded by VILLUM (16582) | European Union’s Horizon 2020 (801199)

Authors: Vincent Cohen-Addad | Debarati Das | Evangelos Kipouridis | Nikos Parotsidis | Mikkel Thorup

Optimal scheduling policies for a class of queues with customer deadlines to the beginning of service

JOURNAL ARTICLE published October 1988 in Journal of the ACM

Authors: Shivendra S. Panwar | Don Towsley | Jack K. Wolf

The Unique Games Conjecture, Integrality Gap for Cut Problems and Embeddability of Negative-Type Metrics into ℓ ₁

JOURNAL ARTICLE published 2 March 2015 in Journal of the ACM

Authors: Subhash A. Khot | Nisheeth K. Vishnoi

The mutual exclusion problem

JOURNAL ARTICLE published April 1986 in Journal of the ACM

Authors: Leslie Lamport

A Polynomial Solution to the Undirected Two Paths Problem

JOURNAL ARTICLE published July 1980 in Journal of the ACM

Authors: Yossi Shiloach

Fast Decision Procedures Based on Congruence Closure

JOURNAL ARTICLE published April 1980 in Journal of the ACM

Authors: Greg Nelson | Derek C. Oppen

Query Complexity of Approximate Nash Equilibria

JOURNAL ARTICLE published 8 November 2016 in Journal of the ACM

Authors: Yakov Babichenko

Sparsification—a technique for speeding up dynamic graph algorithms

JOURNAL ARTICLE published September 1997 in Journal of the ACM

Authors: David Eppstein | Zvi Galil | Giuseppe F. Italiano | Amnon Nissenzweig

Boosting textual compression in optimal linear time

JOURNAL ARTICLE published July 2005 in Journal of the ACM

Authors: Paolo Ferragina | Raffaele Giancarlo | Giovanni Manzini | Marinella Sciortino

SINR Diagrams

JOURNAL ARTICLE published August 2012 in Journal of the ACM

Research funded by Israel Science Foundation (894/09)

Authors: Chen Avin | Yuval Emek | Erez Kantor | Zvi Lotker | David Peleg | Liam Roditty