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
1969Fault Diagnosis of Logical CircuitsIgal Kohavi
1969On the Modular Decomposition of Autonomous Sequential MachinesW. Frank King III, Peter Weiner
1969Definite Stochastic Sequential Machines and Definite Stochastic MatricesDenis J. Kfoury, Chung L. Liu
1969String Adjunct GrammarsAravind K. Joshi, S. Rao Kosaraju, H. Yamada
1969Some Techniques for Proving Certain Simple Programs OptimalJohn E. Hopcroft, L. R. Kerr
1969Full AFLs and Nested Iterated SubstitutionSheila A. Greibach
1969Single Pass Precedence Analysis (Extended Abstract)Jim Gray, Michael A. Harrison
1969On Probabilistic Automata with Structural RestrictionsErol Gelenbe
1969On the Representation of Formal Languages Using Automata on NetworksGerald A. Fischer, George N. Raney
1969Two Characterizations of the Context-Sensitive LanguagesMichael J. Fischer
1969The Operator GapRobert L. Constable
1969Asynchronous Control NetworksJohn L. Bruno, Stanley M. Altman
1969Semi-Thue Systems and Representations of TreesWalter S. Brainerd
1969Dense and Non-Dense Families of Complexity ClassesAllan Borodin, Robert L. Constable, John E. Hopcroft
1969Probabilistic Representation of Formal LanguagesTaylor L. Booth
1969Iteratively Realized Sequential Circuits: Further ConsiderationsThomas F. Arnold, Monroe M. Newborn
1969A Characterization of Two-Way Deterministic Classes of LanguagesAlfred V. Aho, Jeffrey D. Ullman
1968Toward a Theory of EnumerationsPaul R. Young
1968Structural Equivalence of AutomataRaymond T. Yeh
1968The Position of Table Languages within the Hierarchy of Nondeterministic On-Line Tape-Bounded Turing Machine LanguagesGordon Whitney
1968Optimal Synthesis of Arbitrary Switching Functions with Regular Arrays of 2-Input, 1-Output Switching ElementsC. Dennis Weiss
1968"Tapeless" Bounded Action MachinesEric G. Wagner
1968Universal Two State Machines: Characterization Theorems and Decomposition SchemesJeffrey D. Ullman, Peter Weiner
1968Structural Simplification and Decomposition of Asynchronous Sequential CircuitsChung-Jen Tan, Prem R. Menon, Arthur D. Friedman
1968Property Grammars and Table MachinesRichard Edwin Stearns, Philip M. Lewis II
3,9513,975 of 4,193← PreviousNext →

Comparable venues

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