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
1974On the Power of Multiplication in Random Access MachinesJuris Hartmanis, Janos Simon
1974The Recursive Equivalence of the Reachability Problem and the Liveness Problem for Petri Nets and Vector Addition SystemsMichel Hack
1974Initial Algebra SemanticsJoseph A. Goguen, James W. Thatcher
1974Two Way Deterministic Pushdown Automaton Languages and Some Open Problems in the Theory of ComputationZvi Galil
1974Relationships between Monadic Recursion Schemes and Deterministic Context-Free LanguagesEmily P. Friedman
1974Skeletal LR ParsingAlan J. Demers
1974Non-Complex Sequences: Characterizations and ExamplesRobert P. Daley
1974Characterization of Context-Free Grammatical FamiliesArmin B. Cremers, Seymour Ginsburg
1974Recursive Schemes, Algebraic Trees and Deterministic LanguagesBruno Courcelle
1974A Two-Dimensional Generating System Modeling Growth by Binary Cell Division (Preliminary Report)Jack W. Carlyle, Sheila A. Greibach, Azaria Paz
1974"Natural" Properties of Flowchart Complexity MeasuresTheodore P. Baker
1974Bounds on the Complexity of the Longest Common Subsequence Problem (Extended Abstract)Alfred V. Aho, Daniel S. Hirschberg, Jeffrey D. Ullman
1973Optimization among Provably Equivalent Programs (Preliminary Abstract)Paul Young
1973Linear Pattern Matching AlgorithmsPeter Weiner
1973Non-Canonical ParsingThomas G. Szymanski, John H. Williams
1973On Tape-Bounded Complexity Classes and Multi-Head Finite AutomataIvan Hal Sudborough
1973On Finding and Updating Shortest Paths and Spanning TreesPhilip M. Spira, A. Pan
1973Refinements of the Nondeterministic Time and Space HierarchiesJoel I. Seiferas, Michael J. Fischer, Albert R. Meyer
1973Statistical Indicators of OptimalitySam L. Savage
1973Complexity of Recognition in Intermediate-Level LanguagesWilliam C. Rounds
1973On Lower Bounds for Computing the i-th Largest ElementVaughan R. Pratt, Foong Frances Yao
1973On the Ability to Cover LR(k) Grammars with LR(1), SLR(1), and (1,1) Bounded-Context GrammarsM. Dennis Mickunas, Victor B. Schneider
1973On the Size of Sets of Computable FunctionsKurt Mehlhorn
1973A Notion of Helping and Pseudo-Complementation in Lattices of Honest Subrecursive ClassesMichael Machtey
1973Efficient Algorithms for Determining an Extremal Tree of a Graph (Extended Abstract)Tiko Kameda, Shunichi Toida
3,8263,850 of 4,193← PreviousNext →

Comparable venues

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