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
1962Minimal Boolean expressions with more than two levels of sums and productsEugene L. Lawler
1962States of sequential machines whose logical elements involve delayFranz E. Hohn
1962A procedure for obtaining an economical asynchronous sequential circuit directly from a set of regular expressionsBarrett Hazeltine
1962Generalized automata and their information losslessnessShimon Even
1962Machine properties preserved under state minimizationCalvin C. Elgot, Joseph D. Rutledge
1962The algebra of Boolean formulas: Some criteria for minimalityLorenzo Calabi, J. A. Riley
1962Some theorems for incompletely specified sequential machines with applications to state minimizationJames C. Beatty, Raymond E. Miller
1962Synthesis of combinational logic using three-input majority gatesSheldon B. Akers Jr.
1961More about threshold logicRobert O. Winder
1961One method for designing speed independent logic for a controlRobert E. Swartwout
1961The profile technique for the design of threshold device logicO. B. Stram
1961Problems in the physical realization of speed independent circuitsJames E. Robertson
1961Use of a list processing language in programming simplification proceduresStanley R. Petrick
1961Boolean two-terminal analysis and synthesisS. Okada, K. P. Rajappan, K. P. Young
1961Functional forms of majority functions and a necessary and sufficient condition for their realizabilitySaburo Muroga
1961An introduction to speed independent circuit theoryRaymond E. Miller
1961Minimal sums for Boolean functions having many unspecified fundamental productsEdward J. McCluskey
1961Mathematical models of neurone interactionH. D. Landahl
1961Transient behavior in iterative combinatorial switching networksWilliam L. Kilmer
1961The integrative properties of neuronsDonald Kennedy
1961Automatic fault detection in combinational switching networksWilliam H. Kautz
1961Some unsolved problems in switching theoryWilliam H. Kautz
1961A computer program for the synthesis of combinational switching circuitsRichard M. Karp, F. E. McFarlin, J. Paul Roth, J. R. Wilts
1961A flow chart notation for the description of a speed-independent controlD. B. Gillies
1961Techniques for the diagnosis of switching circuit failuresJ. M. Galey, R. E. Norby, J. Paul Roth
4,1514,175 of 4,193← PreviousNext →

Comparable venues

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