On the Decidability of Membership in Matrix-exponential Semigroups

JOURNAL ARTICLE published 30 June 2019 in Journal of the ACM

Research funded by Engineering and Physical Sciences Research Council (EP/N008197/1) | European Research Council (648701)

Authors: Joël Ouaknine | Amaury Pouly | João Sousa-Pinto | James Worrell

A note on probabilistically verifying integer and polynomial products

JOURNAL ARTICLE published January 1989 in Journal of the ACM

Authors: Michael Kaminski

On computing all abductive explanations from a propositional Horn theory

JOURNAL ARTICLE published October 2007 in Journal of the ACM

Authors: Thomas Eiter | Kazuhisa Makino

JOURNAL ISSUE published 1 October 2007 in Journal of the ACM

A Purely Homomorphic Characterization of Recursively Enumerable Sets

JOURNAL ARTICLE published April 1979 in Journal of the ACM

Authors: K. Culik

On Computing the Exact Determinant of Matrices with Polynomial Entries

JOURNAL ARTICLE published January 1975 in Journal of the ACM

Authors: E. Horowitz | S. Sahni

Tree Structures for Optimal Searching

JOURNAL ARTICLE published July 1970 in Journal of the ACM

Authors: L. E. Stanfel

Probability Models for Buffer Storage Allocation Problems

JOURNAL ARTICLE published April 1971 in Journal of the ACM

Authors: Donald P. Gaver | Peter A. W. Lewis

Program and Addressing Structure in a Time-Sharing Environment

JOURNAL ARTICLE published January 1966 in Journal of the ACM

Authors: B. W. Arden | B. A. Galler | T. C. O'Brien | F. H. Westervelt

Floating-Point Arithmetics

JOURNAL ARTICLE published April 1960 in Journal of the ACM

Authors: W. G. Wadey

Chebyshev Solution of n+1 Linear Equations in n + 1 n Unknowns

JOURNAL ARTICLE published July 1965 in Journal of the ACM

Authors: David Moursund

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

JOURNAL ISSUE published 1 February 2008 in Journal of the ACM

JOURNAL ISSUE published 26 April 2019 in Journal of the ACM

The asymptotic complexity of merging networks

JOURNAL ARTICLE published January 1996 in Journal of the ACM

Authors: Peter Bro Miltersen | Mike Paterson | Jun Tarui

JOURNAL ISSUE published 1 September 2016 in Journal of the ACM

JOURNAL ISSUE published 1 August 2009 in Journal of the ACM