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
2021A Matrix Trickle-Down Theorem on Simplicial Complexes and Applications to Sampling Colorings.Dorna Abdolazimi, Kuikui Liu, Shayan Oveis Gharan
2021APMF < APSP? Gomory-Hu Tree for Unweighted Graphs in Almost-Quadratic Time.Amir Abboud, Robert Krauthgamer, Ohad Trabelsi
2021Proof of the Contiguity Conjecture and Lognormal Limit for the Symmetric Perceptron.Emmanuel Abbe, Shuangping Li, Allan Sly
2021A Nearly Optimal All-Pairs Min-Cuts Algorithm in Simple Graphs.Jason Li, Debmalya Panigrahi, Thatchaphol Saranurak
2021Random walks and forbidden minors III: $\text{poly}\left(d\varepsilon ^{-1}\right)$-time partition oracles for minor-free graph classes.Akash Kumar, C. Seshadhri, Andrew Stolman
2021Exact and Approximate Pattern Counting in Degenerate Graphs: New Algorithms, Hardness Results, and Complexity Dichotomies.Marco Bressan, Marc Roth
2021Non-adaptive vs Adaptive Queries in the Dense Graph Testing Model.Oded Goldreich, Avi Wigderson
2021Hardness vs Randomness, Revised: Uniform, Non-Black-Box, and Instance-Wise.Lijie Chen, Roei Tell
2021Fully Dynamic s-t Edge Connectivity in Subpolynomial Time (Extended Abstract).Wenyu Jin, Xiaorui Sun
2021Random Order Online Set Cover is as Easy as Offline.Anupam Gupta, Gregory Kehne, Roie Levin
2021On the Nisan-Ronen conjecture.George Christodoulou, Elias Koutsoupias, Annamria Kovcs
2021A direct product theorem for quantum communication complexity with applications to device-independent QKD.Rahul Jain, Srijita Kundu
2021Constructive Separations and Their Consequences.Lijie Chen, Ce Jin, Rahul Santhanam, R. Ryan Williams
2021A Hitting Set Relaxation for $k$-Server and an Extension to Time-Windows.Anupam Gupta, Amit Kumar, Debmalya Panigrahi
2020Monochromatic Triangles, Triangle Listing and APSP.Virginia Vassilevska Williams, Yinzhan Xu
2020Testing linear-invariant properties.Jonathan Tidor, Yufei Zhao
2020Towards Optimal Separations between Quantum and Randomized Query Complexities.Avishay Tal
2020Tight Limits on Nonlocality from Nontrivial Communication Complexity; a.k.a. Reliable Computation with Asymmetric Gate Noise.Noah Shutty, Mary Wootters, Patrick Hayden
2020Lazy Search Trees.Bryce Sandlund, Sebastian Wild
2020Counting Small Induced Subgraphs Satisfying Monotone Properties.Marc Roth, Johannes Schmitt, Philip Wellnitz
2020Local Proofs Approaching the Witness Length [Extended Abstract].Noga Ron-Zewi, Ron D. Rothblum
2020Lifting with Simple Gadgets and Applications to Circuit and Proof Complexity.Susanna F. de Rezende, Or Meir, Jakob Nordstrm, Toniann Pitassi, Robert Robere, Marc Vinyals
2020KRW Composition Theorems via Lifting.Susanna F. de Rezende, Or Meir, Jakob Nordstrm, Toniann Pitassi, Robert Robere
2020Is it Easier to Prove Theorems that are Guaranteed to be True?Rafael Pass, Muthuramakrishnan Venkitasubramaniam
2020Explicit near-fully X-Ramanujan graphs.Ryan O'Donnell, Xinyu Wu
626650 of 4,193← PreviousNext →

Comparable venues

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