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
1967An Approach to a Unified Theory of AutomataJohn E. Hopcroft, Jeffrey D. Ullman
1967Two Results on One-Way Stack AutomataJohn E. Hopcroft, Jeffrey D. Ullman
1967On the Complexity of Undecidable Problems in Automata TheoryJuris Hartmanis
1967An Infinite Hierarchy of Context-Free LanguagesSheila A. Greibach
1967Abstract Families of LanguagesSeymour Ginsburg, Sheila A. Greibach
1967Universal Single Transition Time Asynchronous State AssignmentsArthur D. Friedman
1967Real Time Counter Machines (Preliminary Version)Patrick C. Fischer, Albert R. Meyer, Arnold L. Rosenberg
1967A Cellular Structure for Sequential NetworksDomenico Ferrari, Antonio Grasselli
1967Decomposition of Group Functions and the Synthesis of Multirail CascadesBernard Elspas, Harold S. Stone
1967On the Star Height of Regular EventsRina S. Cohen, Janusz A. Brzozowski
1967On Decompositions of Regular EventsJanusz A. Brzozowski, Rina S. Cohen
1967Automata on a 2-Dimensional TapeManuel Blum, Carl Hewitt
1967On Endomorphisms and Congruences of AutomataRudolf Bayer
1967On the Decomposability of Monadic Algebras and AutomataZamir Bavel, James W. Thomas
1967Synthesis of Asynchronous Sequential Circuits with Minimum Number of Delay ElementsDouglas B. Armstrong, Arthur D. Friedman, Prem R. Menon
1967A Parallel-Acting Iterative AutomatonS. M. Amoroso
1967Indexed Grammars-An Extension of Context Free GrammarsAlfred V. Aho
1967Irreducible Decompositions of Transformation Graphs by Assignment TechniquesClarence M. Ablow, Michael Yoeli, James Turner
1966Context-Free Language Processing in Time n^3Daniel H. Younger
1966Subdirect Decompositions of Transformation GraphsMichael Yoeli, Clarence M. Ablow
1966A Row Assignment for Delay-Free Realizations of Flow Tables without Essential HazardsStephen H. Unger
1966Conjunctive Encoding of Boolean MatricesD. R. Stover, Donald L. Epley
1966Synthesis of Multiple Sequential MachinesEdward J. Smith, Zvi Kohavi
1966Generalized Decomposition of Incomplete Finite AutomataArthur T. Pu
1966On the Automorphism Group of a Reduced AutomatonManfred Paul
4,0264,050 of 4,193← PreviousNext →

Comparable venues

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