Complexity Analysis of Generalized and Fractional Hypertree Decompositions

JOURNAL ARTICLE published 31 October 2021 in Journal of the ACM

Research funded by Austrian Science Fund (P30930 and Y698) | Royal Society “RAISON DATA” (RP\R1\201074)

Authors: Georg Gottlob | Matthias Lanzinger | Reinhard Pichler | Igor Razgon

Impossibility Results for Truthful Combinatorial Auctions with Submodular Valuations

JOURNAL ARTICLE published 30 March 2016 in Journal of the ACM

Research funded by EU CIG (618128) | Israel Science Foundation (4/11)

Authors: Shahar Dobzinski | Jan Vondrák

The Salesman’s Improved Paths through Forests

JOURNAL ARTICLE published 31 August 2019 in Journal of the ACM

Research funded by LabEx PERSYVAL-Lab (ANR 11-LABX-0025) | Simons Foundation (359525)

Authors: András Sebő | Anke Van Zuylen

The verifying compiler

JOURNAL ARTICLE published January 2003 in Journal of the ACM

Authors: Tony Hoare

The Choice of Origin and Scale for Graphs

JOURNAL ARTICLE published April 1965 in Journal of the ACM

Authors: W. J. Dixon | R. A. Kronmal

Finding the Lengths of All Shortest paths in N -Node Nonnegative-Distance Complete Networks Using ½ N ³ Additions and N ³ Comparisons

JOURNAL ARTICLE published July 1972 in Journal of the ACM

Authors: Jin Y. Yen

On the Consistency of Precedence Matrices

JOURNAL ARTICLE published July 1960 in Journal of the ACM

Authors: Frank Harary

An Improved Bidirectional Heuristic Search Algorithm

JOURNAL ARTICLE published April 1977 in Journal of the ACM

Authors: Lenie Sint | Dennis de Champeaux

Psychological Tests and Selection of Computer Programmers

JOURNAL ARTICLE published July 1957 in Journal of the ACM

Authors: T. C. Rowan

A Numerical Method of Solving a Heat Flow Problem with Moving Boundary

JOURNAL ARTICLE published April 1958 in Journal of the ACM

Authors: L. W. Ehrlich

Countable nondeterminism and random assignment

JOURNAL ARTICLE published 10 August 1986 in Journal of the ACM

Authors: K. R. Apt | G. D. Plotkin

Behavioral equivalence in the polymorphic pi-calculus

JOURNAL ARTICLE published May 2000 in Journal of the ACM

Authors: Benjamin C. Pierce | Davide Sangiorgi

A unified theory of shared memory consistency

JOURNAL ARTICLE published September 2004 in Journal of the ACM

Authors: Robert C. Steinke | Gary J. Nutt

A Family of Quadrature Formulas Which Achieve High Accuracy in Composite Rules

JOURNAL ARTICLE published July 1959 in Journal of the ACM

Authors: A. Ralston

Numerical Solution of Systems of Nonlinear Equations

JOURNAL ARTICLE published October 1963 in Journal of the ACM

Authors: Ferdinand Freudenstein | Bernhard Roth

JOURNAL ISSUE published 1 June 2012 in Journal of the ACM

An in-place sorting with O ( n log n ) comparisons and O ( n ) moves

JOURNAL ARTICLE published July 2005 in Journal of the ACM

Authors: Gianni Franceschini | Viliam Geffert

Rates of Convergence in Numerical Solution of the Diffusion Equation

JOURNAL ARTICLE published January 1956 in Journal of the ACM

Authors: Richard H. Stark

Regenerative Simulation of Response Times in Networks of Queues

JOURNAL ARTICLE published July 1978 in Journal of the ACM

Authors: Donald L. Iglehart | Gerald S. Shedler

A new class of heuristic algorithms for weighted perfect matching

JOURNAL ARTICLE published October 1988 in Journal of the ACM

Authors: M. D. Grigoriadis | B. Kalantari