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

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

Generalized Multistep Predictor-Corrector Methods

JOURNAL ARTICLE published April 1964 in Journal of the ACM

Authors: William B. Gragg | Hans J. Stetter

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

Incomplete Information in Relational Databases

JOURNAL ARTICLE published 20 September 1984 in Journal of the ACM

Authors: Tomasz Imieliński | Witold Lipski