IEEE Symposium on Foundations of Computer Science

FOCS

CORE rank

CORE rank (raw)

Acceptance rate

30.0% (2023)

Fields of research

Theory of Computation

Papers indexed

4,193

1960–2025

Papers per year

1960142 peak2025

Most published authors

FOCS papers

4,193 records sourced from DBLP. Search titles, filter by year, sort by recency.

Year	Title	Authors
1961	Operations of finite automata	Calvin C. Elgot, Joseph D. Rutledge
1961	Two problems on threshold functions	Calvin C. Elgot, Saburo Muroga
1961	Many-valued logics and reliable homeostatic mechanisms	Jack D. Cowan
1961	Canonical forms of functions in P-valued logics	Marius Cohn
1961	An application of linear programming to the minimization of Boolean functions	Alan Cobham, R. Fridshal, J. H. North
1961	On the characterization of threshold functions	C. K. Chow
1961	Multivalued logic devices for simulating threshold neurons	D. R. Boyle, Robert S. Ledley
1961	Delayed-logic and finite-state machines	Dean N. Arden
1961	Threshold logic and two-person, zero-sum games	Sheldon B. Akers Jr.
1960	Single stage threshold logic	Robert O. Winder
1960	The decision and synthesis problems in semimodular switching theory	James Harold Shelly
1960	Current-operated diode logic gates	Henry Reinecke Jr.
1960	Forcing circuitry-Sequential building blocks for logical design	R. M. Meade
1960	Boolean matrices applied to sequential circuit theory and threshold logics	Robert S. Ledley
1960	A four-megacycle, 24-bit checked binary adder	M. E. Homan
1960	A Method for Factoring the Action of Asynchronous Circuits	W. D. Frazer, David E. Muller
1960	Truth functions realizable by single threshold organs	Calvin C. Elgot
1960	Switching function canonical forms based on commutative and associative binary operations	Peter Calingaert

4,176–4,193 of 4,193← Previous Next →

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