Update

JOURNAL ARTICLE published November 2002 in Journal of the ACM

Authors: Joe Halpern

The reduction of perturbed Markov generators

JOURNAL ARTICLE published June 1988 in Journal of the ACM

Authors: Jan Robin Rohlicek | Alan S. Willsky

Deterministic versus nondeterministic time and lower bound problems

JOURNAL ARTICLE published January 2003 in Journal of the ACM

Authors: Richard E. Stearns

JACM 1991--1997

JOURNAL ARTICLE published January 2003 in Journal of the ACM

Authors: Tom Leighton

Some Bounds on the Storage Requirements of Sequential Machines and Turing Machines

JOURNAL ARTICLE published July 1967 in Journal of the ACM

Authors: Richard M. Karp

Finite Automata, Pattern Recognition and Perceptrons

JOURNAL ARTICLE published January 1961 in Journal of the ACM

Authors: Herbert B. Keller

The IBM Magnetic Drum Calculator Type 650

JOURNAL ARTICLE published January 1954 in Journal of the ACM

Authors: F. E. Hamilton | E. C. Kubie

Numerical Computation of Sojourn-Time Distributions in Queuing Networks

JOURNAL ARTICLE published 20 September 1984 in Journal of the ACM

Authors: Benjamin Melamed | Micha Yadin

Plausibility measures and default reasoning

JOURNAL ARTICLE published July 2001 in Journal of the ACM

Deterministic Distributed Vertex Coloring in Polylogarithmic Time

JOURNAL ARTICLE published October 2011 in Journal of the ACM

Research funded by United States - Israel Binational Science Foundation (20008390) | Israel Academy of Sciences and Humanities (483/06)

Authors: Leonid Barenboim | Michael Elkin

How to sign given any trapdoor permutation

JOURNAL ARTICLE published 2 January 1992 in Journal of the ACM

Authors: Mihir Bellare | Silvio Micali

Asynchronous Iterative Methods for Multiprocessors

JOURNAL ARTICLE published April 1978 in Journal of the ACM

Authors: Gérard M. Baudet

Fixpoint logics, relational machines, and computational complexity

JOURNAL ARTICLE published 15 January 1997 in Journal of the ACM

Authors: Serge Abiteboul | Moshe Y. Vardi | Victor Vianu

Alternating-time temporal logic

JOURNAL ARTICLE published September 2002 in Journal of the ACM

Authors: Rajeev Alur | Thomas A. Henzinger | Orna Kupferman

Periodification scheme

JOURNAL ARTICLE published September 2000 in Journal of the ACM

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

From Low-Distortion Norm Embeddings to Explicit Uncertainty Relations and Efficient Information Locking

JOURNAL ARTICLE published November 2013 in Journal of the ACM

Research funded by Office of Naval Research (N000140811249)

Authors: Omar Fawzi | Patrick Hayden | Pranab Sen

Connectivity and Reversibility in Automata

JOURNAL ARTICLE published April 1970 in Journal of the ACM

Authors: Zamir Bavel | David E. Muller

Probabilistic inductive inference

JOURNAL ARTICLE published April 1989 in Journal of the ACM

Authors: L. Pitt

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