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
2025The Proof Analysis Problem.Noel Arteche, Albert Atserias, Susanna F. de Rezende, Erfan Khaniki
2025Stochastic scheduling with Bernoulli-type jobs through policy stratification.Antonios Antoniadis, Ruben Hoeksma, Kevin Schewior, Marc Uetz
2025Handling LP-Rounding for Hierarchical Clustering and Fitting Distances by Ultrametrics.Hyung-Chan An, Mong-Jen Kao, Changyeol Lee, Mu-Ting Lee
2025Embeddings into Similarity Measures for Nearest Neighbor Search.Alexandr Andoni, Negev Shekel Nosatzki
2025Faster Exact Learning of k-Term DNFs with Membership and Equivalence Queries.Josh Alman, Shivam Nadimpalli, Shyamal Patel, Rocco A. Servedio
2025Kronecker Powers, Orthogonal Vectors, and the Asymptotic Spectrum.Josh Alman, Baitian Li
2025Adversarially Robust Quantum State Learning and Testing.Maryam Aliakbarpour, Vladimir Braverman, Nai-Hui Chia, Yuhan Liu
2025The Sponge Is Quantum Indifferentiable.Gorjan Alagic, Joseph Carolan, Christian Majenz, Saliha Tokat
2025Breaking a Long-Standing Barrier: 2-ε Approximation for Steiner Forest.Ali Ahmadi, Iman Gholami, MohammadTaghi Hajiaghayi, Peyman Jabbarzade, Mohammad Mahdavi
2025Bipartite Matching is in Catalytic Logspace.Aryan Agarwala, Ian Mertz
2025Deterministic Almost-Linear-Time Gomory-Hu Trees.Amir Abboud, Rasmus Kyng, Jason Li, Debmalya Panigrahi, Maximilian Probst Gutenberg, Thatchaphol Saranurak, Weixuan Yuan, Wuwei Yuan
2024Dmitriy Zhuk
2024A Stronger Bound for Linear 3-LCC.Tal Yankovitz
2024The Orthogonal Vectors Conjecture and Non-Uniform Circuit Lower Bounds.Ryan Williams
2024A Sampling Lovsz Local Lemma for Large Domain Sizes.Chunyang Wang, Yitong Yin
2024A Lossless Deamortization for Dynamic Greedy Set Cover.Shay Solomon, Amitai Uzrad, Tianyi Zhang
2024The Communication Complexity of Approximating Matrix Rank.Alexander A. Sherstov, Andrey A. Storozhenko
2024Communication Separations for Truthful Auctions: Breaking the Two-Player Barrier.Shiri Ron, Clayton Thomas, S. Matthew Weinberg, Qianfan Zhang
2024Proofs of Space with Maximal Hardness.Leonid Reyzin
2024Canonical Forms for Matrix Tuples in Polynomial Time.Youming Qiao, Xiaorui Sun
2024Directed Isoperimetry and Monotonicity Testing: A Dynamical Approach.Renato Ferreira Pinto Jr.
2024Obstructions to Erds-Psa Dualities for Minors.Christophe Paul, Evangelos Protopapas, Dimitrios M. Thilikos, Sebastian Wiederrecht
2024An Optimal Algorithm for Sorting Pattern-Avoiding Sequences.Michal Opler
2024Instance-Optimality in I/O-Efficient Sampling and Sequential Estimation.Shyam Narayanan, Vclav Rozhon, Jakub Tetek, Mikkel Thorup
2024Polynomial Calculus Sizes Over the Boolean and Fourier Bases are Incomparable.Sasank Mouli
126150 of 4,193← PreviousNext →

Comparable venues

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