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
1964On the linearity of sequential machinesWayne A. Davis, Janusz A. Brzozowski
1964Reducing variable dependency in combinational circuitsArthur J. Bernstein
1964On the total length of an experiment, IZamir Bavel
1964A diagrammatic approach to multi-level logic synthesisSheldon B. Akers Jr.
1963Infinite sequences and finite machinesDavid E. Muller
1963A survey of asynchronous logic: Comparing various definitions and models for asynchronous switching circuitsRaymond E. Miller
1963Finite automata and badly timed elementsRobert McNaughton
1963Logical design theory of NOR gate networks with no complemented inputsEdward J. McCluskey
1963Determining the best ordering of variables in cascade switching circuitsRoger E. Levien
1963The minimal synthesis of tree structuresEugene L. Lawler
1963Bilateral threshold nets (extended summary)W. D. Frazer
1963On computability by certain classes of restricted Turing machinesPatrick C. Fischer
1963Two-sided finite-state transductions (abbreviated version)Calvin C. Elgot, Jorge E. Mezei
1963Sequential circuit synthesis using input delaysEdward B. Eichelberger
1963Threshold gate realizations of logical functions with don't caresC. L. Coates, Philip M. Lewis II
1963Demonstrating hazards in sequential relay circuitsTheodore M. Booth
1963On the analysis of functional symmetryRichard F. Arnold, Eugene L. Lawler
1962Bounded-transient automataShmuel Winograd
1962On some transformation theorems in many-valued logical systemsChuen K. Tung
1962Research and algorithms in the theory of Boolean formulasE. W. Samson, Lorenzo Calabi
1962Generation of self-dual threshold functions and lower bounds of the number of threshold functions and a maximum weightSaburo Muroga
1962On the minimal third order expression of a Boolean functionAngelo Raffaele Meo
1962Reduction of feedback loops in sequential circuits and carry leads in iterative networksEdward J. McCluskey
1962A realization procedure for threshold gate networksPhilip M. Lewis II, C. L. Coates
1962The synthesis of cascade switching circuitsRoger E. Levien
4,1264,150 of 4,193← PreviousNext →

Comparable venues

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