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
1968Transition Graphs and the Star Height ProblemRina S. Cohen
1968On the Hartmanis-Stearns Problem for a Class of TAG MachinesAlan Cobham
1968Regular-Like Expressions for Some Irregular LanguagesJanusz A. Brzozowski
1968Fault Detection in a Linear Cascade of Identical MachinesMelvin A. Breuer
1968Grammars with Linear Time FunctionsRonald V. Book
1968Transformation of Program Schemes to Standard FormsSanat K. Basu
1968Iteratively Realized Sequential CircuitsThomas F. Arnold, Chung-Jen Tan, Monroe M. Newborn
1968Automaton Analogs of Syntax Directed Translation SchemataAlfred V. Aho, Jeffrey D. Ullman
1967Modular Decomposition of Synchronous Sequential MachinesPeter Weiner, John E. Hopcroft
1967On the Structure of Programming Languages, or, Six Languages for Turing MachinesEric G. Wagner
1967Computation Times for Finite Groups, Semigroups and AutomataPhilip M. Spira, Michael A. Arbib
1967Programmed Grammars: A New Device for Generating Formal LanguagesDaniel J. Rosenkrantz
1967Fuzzy Star Functions, Probabilistic Automata and Their Approximation by Nonprobabilistic AutomataAzaria Paz
1967Structural Equivalence of Context-Free GrammarsMarvin C. Paull, Stephen H. Unger
1967The General Synthesis Problem for Asynchronous Digital NetworksDavid E. Muller
1967Generalization of Self-Dual and Self-Complementary Dual FunctionsChao-Wei Mow, King-Sun Fu
1967Turing Machines with Several Read-Write Heads (Preliminary Report)Albert R. Meyer, Arnold L. Rosenberg, Patrick C. Fischer
1967Inverse Problems in Coding, Automata, and Continuous SystemsJames L. Massey, Michael K. Sain
1967Memory-Span Concepts and the Synthesis of Sequential Machines in Feedback Shift-Register FormRobert L. Martin
1967Completely Functional Asynchronous Computational StructuresFred L. Luconi
1967Generalized State Identification ProblemsEugene L. Lawler, Thomas F. Piatkowski
1967Two Contributions to Redundancy TheoryTheresa F. Klaschka
1967Testing for Faults in Combinational Cellular Logic ArraysWilliam H. Kautz
1967Parallel Program Schemata: A Mathematical Model for Parallel ComputationRichard M. Karp, Raymond E. Miller
1967Classes of Automata and Transitive ClosureNeil D. Jones
4,0014,025 of 4,193← PreviousNext →

Comparable venues

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