Skip to content
◈ALB Atlas

Papers

36 entries, ordered by year of publication. Filter by decade, field, or status.

NameYearStatusFieldAuthors
An Unsolvable Problem of Elementary Number Theory1936–AliveTheoryAlonzo Church
On Computable Numberswith an Application to the Entscheidungsproblem1936–AliveTheoryAlan Turing
As We May Think1945–AliveHypertextVannevar Bush
A Mathematical Theory of Communication1948–AliveInformation theoryClaude Shannon
The Logic Theory Machine1956–AliveArtificial intelligenceNewell & Simon
Man-Computer Symbiosis1960–AliveHCIJ.C.R. Licklider
Recursive Functions of Symbolic Expressions1960–AliveProgramming languagesJohn McCarthy
Augmenting Human Intellect: A Conceptual Framework1962–AliveHCIDouglas Engelbart
Sketchpad: A Man-Machine Graphical Communication System1963–AliveGraphicsIvan Sutherland
The Next 700 Programming Languages1966–AliveProgramming languagesPeter Landin
Fundamental Concepts in Programming Languages1967–AliveProgramming languagesChristopher Strachey
Go To Statement Considered Harmful1968–AliveProgramming languagesEdsger Dijkstra
The Art of Computer Programming, Vol. 11968–AliveAlgorithmsDonald Knuth
An Axiomatic Basis for Computer Programming1969–AliveTheoryC.A.R. Hoare
A Relational Model of Data for Large Shared Data Banks1970–AliveDatabasesEdgar F. Codd
A Personal Computer for Children of All Ages1972–AliveHCIAlan Kay
On the Criteria To Be Used in Decomposing Systems into Modules1972–AliveSoftware engineeringDavid Parnas
A Protocol for Packet Network Intercommunication1974–AliveNetworksCerf & Kahn
The UNIX Time-Sharing System1974–AliveSystemsRitchie & Thompson
Lambda: The Ultimate Imperative1975–AliveProgramming languagesSteele & Sussman
Can Programming Be Liberated from the von Neumann Style?1978–AliveProgramming languagesJohn Backus
Communicating Sequential Processes1978–AliveConcurrencyC.A.R. Hoare
Time, Clocks, and the Ordering of Events in a Distributed System1978–AliveConcurrencyLeslie Lamport
RFC 791: Internet Protocol1981–AliveNetworksJon Postel, ed.
The Emperor's Old Clothes1981–AliveProgramming languagesC.A.R. Hoare
Hints for Computer System Design1983–AliveSystemsButler Lampson
Literate Programming1984–AliveProgramming languagesDonald Knuth
Reflections on Trusting Trust1984–AliveSecurityKen Thompson
The GNU Manifesto1985–AliveOpen sourceRichard Stallman
No Silver Bullet1986–AliveSoftware engineeringFrederick Brooks
Information Management: A Proposal1989–AliveHypertextTim Berners-Lee
Lisp: Good News, Bad News, How to Win Big1991–AliveProgramming languagesRichard Gabriel
The Development of the C Language1993–AliveProgramming languagesDennis Ritchie
The Early History of Smalltalk1993–AliveProgramming languagesAlan Kay
The Anatomy of a Large-Scale Hypertextual Web Search Engine1998–AliveSearchBrin & Page
Bitcoin: A Peer-to-Peer Electronic Cash System2008–AliveCryptographySatoshi Nakamoto