Skip to content

IEEE Symposium on Foundations of Computer Science

FOCS

A*

CORE rank

CORE rank (raw)

A*

Acceptance rate

30.0% (2023)

Fields of research

Theory of Computation

Papers indexed

4,193

1960–2025

Papers per year

1960142 peak2025

FOCS papers

4,193 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
1975On the Decision Tree Complexity of the Shortest Path ProblemsMichael L. Fredman
1975The Exact Time Required to Perform Generalized AdditionRobert W. Floyd
1975An O(n^2.5) Algorithm for Maximum Matching in General GraphsShimon Even, Oded Kariv
1975On the Complexity of Timetable and Multi-Commodity Flow ProblemsShimon Even, Alon Itai, Adi Shamir
1975Correct Computation Rules for Recursive Languages (Extended Abstract)Peter J. Downey, Ravi Sethi
1975Fast Parallel Matrix Inversion AlgorithmsL. Csanky
1975Preserving Order in a Forest in less than Logarithmic TimePeter van Emde Boas
1975An Improvement of Valiant's Decision Procedure for Equivalence of Deterministic Finite-Turn Pushdown AutomataCatriel Beeri
1975Flow of Control in the Proof Theory of Structured ProgrammingJ. W. de Bakker
1975Parallel Computations in Graph TheoryEshrat Arjomandi, Derek G. Corneil
1975Computational Complexity of Decision Procedures for Polynomials (Extended Abstract)Leonard M. Adleman, Kenneth L. Manders
1974Bounds on Selection NetworksAndrew Chi-Chih Yao
1974Ianov Schemas Augmented by a Pushdown MemoryNobuki Tokura, Tadao Kasami, Shukichi Furuta
1974P-Complete Problems and Approximate SolutionsSartaj Sahni, Teofilo F. Gonzalez
1974Approximate Algorithms for the Traveling Salesperson ProblemDaniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II
1974On Self-Organizing Sequential Search HeuristicsRonald L. Rivest
1974On Hash-Coding Algorithms for Partial-Match Retrieval (Extended Abstract)Ronald L. Rivest
1974The Equivalence Problem for Regular Expressions over one Letter Is ElementaryJos Lucas Rangel
1974A Comparative Study of Models of Parallel ComputationRichard J. Lipton, Lawrence Snyder, Yechezkel Zalcstein
1974Combinational Complexity of Some Monotone FunctionsEdmund A. Lamagna, John E. Savage
1974On the Computational Complexity of Finding the Maxima of a Set of VectorsH. T. Kung
1974On Boolean Functions Having Maximal Number of Subfunction ClassesPawel Kerntopf
1974Operations on Sparse Relations and Efficient Algorithms for Grammar Problems (Extended Abstract)Harry B. Hunt III, Thomas G. Szymanski, Jeffrey D. Ullman
1974Axiomatic Equivalence of Programs with Structured VariablesChristoph M. Hoffmann, Lawrence H. Landweber
1974Minimization of Fanout in Switching NetworksJohn P. Hayes
3,8013,825 of 4,193← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.