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
1992A Class of Logic Problems Solvable by Linear ProgrammingMichele Conforti, Grard Cornujols
1992Tighter Bounds on the Exact Complexity of String Matching (Extended Abstract)Richard Cole, Ramesh Hariharan
1992Approximate Max Flow on Small Depth NetworksEdith Cohen
1992Safe and Effective Determinant EvaluationKenneth L. Clarkson
1992Mick Gets Some (the Odds Are on His Side)Vasek Chvtal, Bruce A. Reed
1992The Complexity of Parallel Prefix Problems on Small DomainsShiva Chaudhuri, Jaikumar Radhakrishnan
1992On the Completeness of Object-Creating Query Languages (Extended Abstract)Jan Van den Bussche, Dirk Van Gucht, Marc Andries, Marc Gyssens
1992Data Structural Bootstrapping, Linear Path Compression, and Catenable Heap Ordered Double Ended QueuesAdam L. Buchsbaum, Rajamani Sundar, Robert Endre Tarjan
1992On the Exact Learning of Formulas in Parallel (Extended Abstract)Nader H. Bshouty, Richard Cleve
1992A Decomposition Theorem and Bounds for Randomized Server ProblemsAvrim Blum, Howard J. Karloff, Yuval Rabani, Michael E. Saks
1992Towards a Computational Theory of Statistical Tests (Extended Abstract)Manuel Blum, Oded Goldreich
1992How to Denest Ramanujan's Nested RadicalsJohannes Blmer
1992Improved Parallel Polynomial Division and Its ExtensionsDario Bini, Victor Y. Pan
1992The Distributed k-Server Problem-A Competitive Distributed Translator for k-Server AlgorithmsYair Bartal, Adi Rosn
1992On-line Load Balancing (Extended Abstract)Yossi Azar, Andrei Z. Broder, Anna R. Karlin
1992Clock Construction in Fully Asynchronous Parallel Systems and PRAM Simulation (Extended Abstract)Yonatan Aumann, Michael O. Rabin
1992Randomized Consensus in Expected O(n log ^2 n) Operations Per ProcessorJames Aspnes, Orli Waarts
1992Probabilistic Checking of Proofs; A New Characterization of NPSanjeev Arora, Shmuel Safra
1992Proof Verification and Hardness of Approximation ProblemsSanjeev Arora, Carsten Lund, Rajeev Motwani, Madhu Sudan, Mario Szegedy
1992Reconstructing Algebraic Functions from Mixed DataSigal Ar, Richard J. Lipton, Ronitt Rubinfeld, Madhu Sudan
1992Back to the Future: Towards a Theory of Timed Regular LanguagesRajeev Alur, Thomas A. Henzinger
1992Lower Bounds on the Competitive Ratio for Mobile User Tracking and Distributed Job Scheduling (Extended Abstract)Noga Alon, Gil Kalai, Moty Ricklin, Larry J. Stockmeyer
1992Witnesses for Boolean Matrix Multiplication and for Shortest PathsNoga Alon, Zvi Galil, Oded Margalit, Moni Naor
1992The Algorithmic Aspects of the Regularity Lemma (Extended Abstract)Noga Alon, Richard A. Duke, Hanno Lefmann, Vojtech Rdl, Raphael Yuster
1992Halvers and ExpandersMikls Ajtai, Jnos Komls, Endre Szemerdi
2,8512,875 of 4,193← PreviousNext →

Comparable venues

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