Library
Sources behind the atlas
Every paper, book, encyclopedia entry and article cited on a topic page, gathered by domain. 165 entries. Filter by type, or jump to the topic that cites a source.
Foundations & Mathematics13
SourceAuthorTypeCited by
- Foundations of the Theory of ProbabilityBookProbability & Statistics
- OrganonBookFormal Logic
- A Symbolic Analysis of Relay and Switching CircuitsPaperBoolean Algebra & Switching Circuits
- A Mathematical Theory of CommunicationPaperInformation Theory
- Gödel, Escher, BachBookGödel’s Incompleteness Theorems
- An Investigation of the Laws of ThoughtPaperBoolean Algebra & Switching Circuits
- BegriffsschriftBookFormal Logic
- Ars ConjectandiBookProbability & Statistics
- Discrete Mathematics and Its ApplicationsBookBoolean Algebra & Switching Circuits
- On Formally Undecidable Propositions of Principia Mathematica and Related SystemsPaperGödel’s Incompleteness Theorems
- Principia MathematicaBookSet Theory & Infinity
- Elements of Information TheoryBookInformation Theory
- Set TheoryBookSet Theory & Infinity
Theory of Computation9
SourceAuthorTypeCited by
- On Computable Numbers, with an Application to the EntscheidungsproblemPaperTuring Machine
- Computing Machinery and IntelligenceBookTuring Machine
- Computational Complexity: A Modern ApproachOtherComputational Complexity
- Computers and IntractabilityBookComputational Complexity
- Introduction to Combinators and λ-CalculusBookLambda Calculus
- Introduction to Automata Theory, Languages, and ComputationBookAutomata & Formal Languages
- Computability and UnsolvabilityBookComputability & the Halting Problem
- Three Models for the Description of LanguageBookAutomata & Formal Languages
- The Implementation of Functional Programming LanguagesPaperLambda Calculus
Algorithms & Data Structures11
SourceAuthorTypeCited by
- Quicksort ↗PaperSorting & Searching
- Introduction to Algorithms, Part VIBookGraph Algorithms
- Introduction to AlgorithmsBookSorting & SearchingAlgorithm Analysis
- Introduction to Algorithms, Chapter 15BookDynamic Programming
- The Art of Computer Programming, Volume 1BookAlgorithm Analysis
- Data Structures and Algorithm AnalysisOtherData Structures
- Graph TheoryOtherGraph Algorithms
- Dynamic Programming and Optimal ControlBookDynamic Programming
- The Algorithm Design ManualOtherData Structures
- Sorting algorithm ↗EncyclopediaSorting & Searching
- Timsort ↗EncyclopediaSorting & Searching
Computer Architecture12
SourceAuthorTypeCited by
- Computer Systems: A Programmer’s PerspectiveBookMemory Hierarchy & CachesVirtualization & Containers
- Chip WarOtherTransistor & Integrated Circuit
- Fire in the ValleyBookTransistor & Integrated Circuit
- Computer Architecture: A Quantitative ApproachBookVon Neumann ArchitectureInstruction Sets: RISC vs CISCGPU & Heterogeneous Computing
- Cache design notesBookMemory Hierarchy & Caches
- Can Programming Be Liberated from the von Neumann Style?PaperVon Neumann Architecture
- First Draft of a Report on the EDVAC ↗PaperVon Neumann Architecture
- A Brief History of the MicroprocessorOtherMicroprocessor & Moore’s Law
- CUDA Programming GuideOtherGPU & Heterogeneous Computing
- Computer Organization and DesignBookMicroprocessor & Moore’s Law
- The RISC-V ReaderOtherInstruction Sets: RISC vs CISC
- Von Neumann architecture ↗EncyclopediaVon Neumann Architecture
Operating Systems10
SourceAuthorTypeCited by
- Java Concurrency in PracticeBookProcesses & Threads
- Unix: A History and a MemoirOtherUnix & C
- Kubernetes Up & RunningBookVirtualization & Containers
- An Experimental Time-Sharing SystemBookBatch & Time-Sharing Systems
- Intel 64 and IA-32 Architectures Software Developer's Manual, Vol. 3A ↗ArticleVirtual Memory
- The Unix Programming EnvironmentBookUnix & C
- Operating Systems: Three Easy Pieces (Memory chapter) ↗BookVirtual Memory
- Operating System ConceptsBookBatch & Time-Sharing SystemsVirtual Memory
- Operating Systems: Design and ImplementationBookProcesses & Threads
- Virtual Memory ↗EncyclopediaVirtual Memory
Computer Networks16
SourceAuthorTypeCited by
- Wireless CommunicationsOtherWireless & Mobile Networks
- Ethernet: The Definitive GuideOtherEthernet & LAN
- What is DNS? ↗ArticleDNS & Domain Names
- DNS and BINDBookDNS & Domain Names
- The Design Philosophy of the DARPA Internet ProtocolsPaperTCP/IP
- HTTP: The Definitive GuideOtherWorld Wide Web & HTTP
- A Brief History of the Internet ↗ArticlePacket Switching & ARPANET
- On Distributed Communications ↗PaperPacket Switching & ARPANET
- RFC 1034: Domain Names — Concepts and Facilities ↗PaperDNS & Domain Names
- Mobile Edge ComputingBookWireless & Mobile Networks
- Computer NetworksBookPacket Switching & ARPANETEthernet & LAN
- Weaving the WebOtherWorld Wide Web & HTTP
- A Protocol for Packet Network Intercommunication ↗PaperPacket Switching & ARPANET
- TCP/IP IllustratedBookTCP/IP
- Packet switching ↗EncyclopediaPacket Switching & ARPANET
- Domain Name System ↗EncyclopediaDNS & Domain Names
Programming Languages & Compilers14
SourceAuthorTypeCited by
- Structure and Interpretation of Computer ProgramsBookLISP & Functional Programming
- Compilers: Principles, Techniques, and ToolsBookCompilers & Optimization
- C Traps and PitfallsBookThe C Programming Language
- The FORTRAN Automatic Coding SystemBookFORTRAN
- Inside the Java Virtual MachineOtherJava & the JVM
- Thinking in JavaOtherJava & the JVM
- Notes on Structured ProgrammingBookALGOL & Structured Programming
- Design PatternsBookObject-Oriented Programming
- Smalltalk-80: The Language and its ImplementationBookObject-Oriented Programming
- The C Programming LanguageBookThe C Programming Language
- LISP 1.5 Programmer’s ManualBookLISP & Functional Programming
- Revised Report on the Algorithmic Language ALGOL 60BookALGOL & Structured Programming
- Modern FortranOtherFORTRAN
- Advanced Compiler Design and ImplementationOtherCompilers & Optimization
Software Engineering14
SourceAuthorTypeCited by
- Software Engineering EconomicsBookWaterfall & the Software Lifecycle
- Manifesto for Agile Software Development ↗ArticleAgile Software Development
- Pro GitOtherVersion Control & Git
- Go To Statement Considered Harmful ↗PaperThe Software Crisis
- The Cathedral and the BazaarOtherThe Open Source Movement
- The Mythical Man-MonthBookThe Software Crisis
- Software Engineering Techniques (NATO conference report) ↗PaperThe Software Crisis
- Extreme Programming ExplainedBookAgile Software Development
- Pragmatic Version ControlOtherVersion Control & Git
- Free Software, Free SocietyOtherThe Open Source Movement
- The Scrum Guide ↗ArticleAgile Software Development
- The Software Crisis ↗EncyclopediaThe Software Crisis
- Agile software development ↗EncyclopediaAgile Software Development
- Managing the Development of Large Software SystemsBookWaterfall & the Software Lifecycle
Data & Databases12
SourceAuthorTypeCited by
- A Critique of the SQL Database LanguagePaperThe Relational Model
- Bigtable: A Distributed Storage System for Structured Data ↗PaperNoSQL
- Spanner: Google’s Globally-Distributed DatabaseBookDistributed Databases
- Spark: The Definitive GuideBookBig Data & MapReduce
- MapReduce: Simplified Data Processing on Large ClustersOtherBig Data & MapReduce
- Dynamo: Amazon's Highly Available Key-value Store ↗PaperNoSQL
- A Relational Model of Data for Large Shared Data Banks ↗PaperThe Relational Model
- Transaction Processing: Concepts and TechniquesBookTransactions & ACID
- SQL in a NutshellOtherSQL
- Database System ConceptsBookThe Relational ModelSQLTransactions & ACID
- Relational model ↗EncyclopediaThe Relational Model
- NoSQL ↗EncyclopediaNoSQL
Artificial Intelligence18
SourceAuthorTypeCited by
- Language Models are Few-Shot LearnersBookTransformers & Large Language Models
- Pattern Recognition and Machine LearningOtherStatistical Learning
- The Perceptron: A Probabilistic Model for Information Storage and Organization in the Brain ↗PaperPerceptron & Connectionism
- Generative Adversarial NetworksBookGenerative Models
- Deep LearningOtherDeep Learning
- The Elements of Statistical LearningOtherStatistical Learning
- Building Expert SystemsBookExpert Systems & AI Winter
- Denoising Diffusion Probabilistic ModelsBookGenerative Models
- Expert Systems: Principles and ProgrammingBookExpert Systems & AI Winter
- ImageNet Classification with Deep Convolutional Neural NetworksBookDeep Learning
- Computation: Finite and Infinite MachinesBookDartmouth & Symbolic AI
- Perceptrons: An Introduction to Computational GeometryBookPerceptron & Connectionism
- A Proposal for the Dartmouth Summer Research Project on Artificial IntelligenceBookDartmouth & Symbolic AI
- A Logical Calculus of the Ideas Immanent in Nervous Activity ↗PaperPerceptron & Connectionism
- Human-level control through deep reinforcement learningBookReinforcement Learning
- Reinforcement Learning: An IntroductionOtherReinforcement Learning
- Attention Is All You NeedBookTransformers & Large Language Models
- Perceptron ↗EncyclopediaPerceptron & Connectionism
Graphics & Human–Computer Interaction11
SourceAuthorTypeCited by
- Real-Time RenderingBookRendering
- Human–Computer InteractionBookGUIs & Human–Computer Interaction
- The Design of Everyday ThingsBookSketchpad & Interactive GraphicsGUIs & Human–Computer Interaction
- Computer Graphics: Principles and PracticeBookRendering
- Sketchpad: A Man-Machine Graphical Communication System ↗PaperSketchpad & Interactive Graphics
- A Head-Mounted Three Dimensional Display ↗PaperSketchpad & Interactive Graphics
- GPU GemsBookProgrammable Shaders
- Augmented Reality: Principles and PracticeOtherVirtual & Augmented Reality
- OpenGL Programming GuideBookProgrammable Shaders
- Virtual RealityOtherVirtual & Augmented Reality
- Sketchpad ↗EncyclopediaSketchpad & Interactive Graphics
Security & Cryptography10
SourceAuthorTypeCited by
- Post-Quantum CryptographyOtherPost-Quantum Cryptography
- Applied CryptographyBookPublic-Key Cryptography
- New Directions in CryptographyBookPublic-Key Cryptography
- SSL and TLS: Designing and Building Secure SystemsOtherTLS & Secure Transport
- RFC 8446: TLS 1.3OtherTLS & Secure Transport
- The Art of ExploitationOtherVulnerabilities & Attacks
- Handbook of Applied CryptographyBookHashes & Message Authentication
- NIST FIPS 203 / 204 / 205OtherPost-Quantum Cryptography
- Secure Coding in C and C++OtherVulnerabilities & Attacks
- On the Security of Hash FunctionsBookHashes & Message Authentication
Distributed Systems & Frontiers15
SourceAuthorTypeCited by
- Mastering BitcoinOtherBlockchain & Bitcoin
- Quantum Supremacy Using a Programmable Superconducting ProcessorBookQuantum Computing
- AWS Well-Architected FrameworkOtherCloud Computing
- Distributed Systems: Concepts and DesignBookDistributed Systems
- In Search of an Understandable Consensus Algorithm (Raft) ↗PaperConsensus Algorithms
- Biological Sequence AnalysisCourseBioinformatics
- Impossibility of Distributed Consensus with One Faulty Process ↗PaperConsensus Algorithms
- CloudonomicsOtherCloud Computing
- Highly Accurate Protein Structure Prediction with AlphaFoldBookBioinformatics
- Time, Clocks, and the Ordering of Events in a Distributed SystemBookDistributed Systems
- The Part-Time Parliament ↗PaperConsensus Algorithms
- Designing Data-Intensive ApplicationsBookConsensus AlgorithmsNoSQLDistributed Databases
- Quantum Computation and Quantum InformationOtherQuantum Computing
- Bitcoin: A Peer-to-Peer Electronic Cash SystemOtherBlockchain & Bitcoin
- Consensus (computer science) ↗EncyclopediaConsensus Algorithms