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
1970Asynchronous Sequential Circuits with (2,1) Type State AssignmentsGyula Mag
1970On Maximally Parallel SchemataRobert M. Keller
1970On the Computational Power of Some Machines with Pushdown-Like StorageTiko Kameda
1970Extended Precedence Languages, Bounded Right Context Languages, and Deterministic Languages (Extended Abstract)Susan L. Graham
1970Writing Stack AcceptorsJoseph Alphonso Giuliano
1970A Phenomenon in the Theory of SortingDavid Gale, Richard M. Karp
1970Deux applications de la representation matricielle d'une serie rationnelle non commutativeMichel Fliess
1970Synchronizing and Representation Problems for Sequential Machines with Masked OutputsMartin A. Fischler, Meyer Tannenbaum
1970On the Efficiency of Programs in Subrecursive Formalisms (Incomplete Version, Extended Abstract)Robert L. Constable, Allan Borodin
1970Elimination of Static and Dynamic Hazards in Combinatorial Switching CircuitsJon G. Bredeson, Paul T. Hulina
1970The Synthesis of Finite State Syntax Directed Top-Down and Bottom-Up TransducersDines Bjrner
1970Parsing Algorithms with BacktrackAlexander Birman, Jeffrey D. Ullman
1970Syntactic CluesDavid B. Benson
1970Universality in Cellular AutomataEdwin Roger Banks
1970Fault Detection Experiments for Asynchronous Sequential MachinesAaron Ashkinazy
1970Equivalence of Programs with Structured VariablesAlfred V. Aho, Jeffrey D. Ullman
1969Deterministic Context-Sensitive LanguagesDaniel A. Walters
1969Iterative ProceduresDennis Tsichritzis
1969Table Machine SimulationRichard Edwin Stearns, Daniel J. Rosenkrantz
1969Threshold Logic: A Simplified Synthesis by a Recursive MethodRichard T. Sha, T. W. Sze
1969Parallel Leveled GrammarsB. O. Nash, Rina S. Cohen
1969The Incompletely-Specified Finite-State Stochastic Sequential Machine Equivalence and ReductionBernard W. Lovell
1969Storage Interference in Asynchronous ComputationsLuigi Logrippo
1969Machine Identification Concepts of Path Sensitizing Fault DiagnosisThomas A. Kriz
1969Recognition of Context-Free and Stack LanguagesS. Rao Kosaraju
3,9263,950 of 4,193← PreviousNext →

Comparable venues

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