By venue
A conference, workshop or journal: the thing that recurs, across all its years.
The Mathematical Association of America's monthly, written for mathematicians generally rather than for specialists. Its articles are expository by design, so it is where a clean account of a classical result usually lives.
The IEEE's quarterly on the history of computing: machines, companies, people and the documentary record. The place to cite for how something actually happened, as against how it is remembered.
The ASL's companion to the Journal of Symbolic Logic, carrying surveys, expository articles and communications rather than primary results — which makes it the better citation when what is wanted is an account of a field rather than a theorem.
The ACM's flagship monthly, read across the whole of computing rather than by one speciality. It carries Turing lectures, position pieces and survey-style articles, and historically published research that became foundational — which is why a bibliography reaching back to the 1960s meets it so often.
The practitioner-facing magazine of the IEEE Communications Society. Tutorial and survey articles on networking and telecommunications, aimed at engineers who build the things rather than at theorists.
A journal of nothing but surveys and tutorials in communications and networking. Its articles are long, heavily cited entry points into a subject, which is what a bibliography usually wants them for.
A journal published by the Army Cyber Institute at West Point, on cyber conflict and defence policy as much as on technology. Peer reviewed, and freely readable — held here for the strategic literature rather than the technical.
Elsevier's series for workshop proceedings in theoretical computer science, running from the late 1990s until it was discontinued in 2021. Many workshops of that period are citable only through an ENTCS volume, which is what keeps it in a bibliography.
An open-access, author-funded-free series carrying the proceedings of workshops and conferences in theoretical computer science. EPTCS exists so that a small workshop can publish a citable, permanently archived volume without a commercial publisher; everything in it is free to read and the authors keep their copyright.
A journal on the mathematics of software construction: specification languages, refinement, proof and their application to real systems. Founded under Springer and now published by the ACM, it is one of the long-standing homes of the formal-methods literature.
An ACM symposium on VLSI design, covering circuits, architecture and the design automation between them. Held in the Great Lakes region, hence the name.
IBM's own research journal, published since 1957 and now distributed through IEEE. A great deal of foundational work on computer architecture, physics of computation and early systems appeared here rather than at a conference.
The IEEE Computer Society's general-audience monthly, covering the whole field at survey depth. Written to be read across specialities, which is why the classic overview of a topic is often a Computer article.
The ACM's oldest and most selective journal, taking major results across the whole of computer science. Papers here are long, thoroughly refereed and expected to matter for decades rather than for a conference cycle.
A theory journal covering complexity, automata, databases and the mathematical side of systems. Its back catalogue holds several results that defined their subfields, which is usually why a bibliography reaches for it.
The Association for Symbolic Logic's main research journal, published since 1936: model theory, set theory, recursion theory and proof theory. The venue where a good deal of what computer science later borrowed from logic first appeared.
The journal form of ACM SIGPLAN's conferences: POPL, ICFP, OOPSLA and PLDI each appear as an issue. Papers are refereed on a journal cycle and then presented at the conference, which is why a citation here names an issue rather than a proceedings volume.
A French journal on the history and philosophy of science, published in French and English and freely readable through OpenEdition. Held here for work on the foundations of logic and mathematics.
The multidisciplinary journal of the US National Academy of Sciences. Rarely a computing venue, so a record from it is usually here for a specific episode rather than for a subject.
The IEEE's oldest journal, publishing broad review articles across all of electrical engineering and computing. Issues are often themed, and a Proceedings article is typically the standard survey of its subject.
A reference work maintained by the Metaphysics Research Lab at Stanford, in which every entry is written by a specialist and kept up to date rather than frozen at publication. Entries are refereed by a subject editor and revised over time, which makes it citable in a way an encyclopaedia usually is not — and it is free to read.
SIGCOMM's quarterly, and the venue where a good deal of the internet's architecture was argued out in print — editorials, measurement notes and short technical papers alongside the conference proceedings it once carried.
SIGPLAN's newsletter, which for decades doubled as the proceedings of its conferences — so a great deal of programming-language research from the 1970s to the 2010s is cited as a Notices issue. It stopped carrying proceedings when PACMPL took that over.
A journal about tools rather than only techniques — verification and analysis tools, their engineering, and what happens when they meet industrial systems. Closely tied to the TACAS and ISoLA communities.
Elsevier's broad theory journal, split into sections covering algorithms and complexity, logic and semantics, and formal languages. Large, long-running, and where a conference paper in theory is often expanded into its definitive form.
The ACM's journal on computer systems — operating systems, distributed systems, storage and the measurement of real machines. Short volumes, long papers, and the place several of the field's defining systems papers were published.
The ACM's journal for programming languages and systems: semantics, type systems, compilation, program analysis and verification. Where a POPL or PLDI result goes when it is written up in full.