Still loading...

A | B | C | D | E | F | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | AA | |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|

1 | Au | Year | Title | Female Au? | Notes | Link | ||||||||||||||||||||

2 | Leibniz | 1677 | Preface to the general science | https://books.google.com/books?id=dLQ3bDy2tgYC&pg=PA189&lpg=PA189&dq=leibniz+%22preface+to+the+general+science%22&source=bl&ots=OAmP9tWGzI&sig=uCdYIXRRLE2A9U7cu1X3CotJHr4&hl=en&sa=X&ved=0ahUKEwiTgsumkf_QAhVFSiYKHSTtA3MQ6AEIGjAA#v=onepage&q=leibniz%20%22preface%20to%20the%20general%20science%22&f=false | ||||||||||||||||||||||

3 | Menabrea and Lovelace | 1842 | A sketch of the analytical engine invented by Charles Babbage | F | https://www.fourmilab.ch/babbage/sketch.html | |||||||||||||||||||||

4 | Boole | 1853 | An investigation of the laws of thought | http://www.eng.auburn.edu/~agrawvd/COURSE/READING/DIGITAL/15114-pdf.pdf | ||||||||||||||||||||||

5 | Hilbert | 1900 | Mathematical problems | http://aleph0.clarku.edu/~djoyce/hilbert/problems.html | ||||||||||||||||||||||

6 | Turing | 1936 | On computable numbers, with an application to the Entscheidungsproblem | https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf | ||||||||||||||||||||||

7 | Aiken | 1938 | Proposed automatic calculating machine | http://history-computer.com/Library/AikenProposal.pdf | ||||||||||||||||||||||

8 | Shannon | 1938 | A symbolic analysis of relays and switching circuits | https://paradise.caltech.edu/ist4/lectures/shannon38.pdf | ||||||||||||||||||||||

9 | McCulloch and Pitts | 1943 | A logical calculus of the ideas immanent in nervous activity | http://www.cse.chalmers.se/~coquand/AUTOMATA/mcp.pdf | ||||||||||||||||||||||

10 | Bush | 1945 | As we may think | http://www.theatlantic.com/magazine/archive/1945/07/as-we-may-think/303881/ | ||||||||||||||||||||||

11 | von Neumann | 1945 | First draft of a report on the EDVAC | http://www.virtualtravelog.net/wp/wp-content/media/2003-08-TheFirstDraft.pdf | ||||||||||||||||||||||

12 | Burks, Goldstine, von Neumann | 1946 | Preliminary discussion of the logical design of an electronic computing instrument | https://www.cs.princeton.edu/courses/archive/fall10/cos375/Burks.pdf | ||||||||||||||||||||||

13 | Shannon | 1948 | A mathematical theory of communication | http://worrydream.com/refs/Shannon%20-%20A%20Mathematical%20Theory%20of%20Communication.pdf | ||||||||||||||||||||||

14 | von Neumann | 1948 | The general and logical theory of automata | https://www.cs.ucf.edu/~dcm/Teaching/COP5611Spring2010/vonNeumannSelfReproducingAutomata.pdf | ||||||||||||||||||||||

15 | McCulloch | 1949 | The brain as a computing machine | http://www.univie.ac.at/constructivism/archive/fulltexts/2828.html | ||||||||||||||||||||||

16 | Hamming | 1950 | Error detecting and error correcting codes | http://www.signallake.com/signallake.com/innovation/hamming.pdf | ||||||||||||||||||||||

17 | Shannon | 1950 | Programming a computer for playing chess | http://vision.unipv.it/IA1/ProgrammingaComputerforPlayingChess.pdf | ||||||||||||||||||||||

18 | Turing | 1950 | Computing Machinery and Intelligence | http://www.loebner.net/Prizef/TuringArticle.html | ||||||||||||||||||||||

19 | Kleene | 1951 | Representation of events in nerve nets and finite automata | https://www.rand.org/content/dam/rand/pubs/research_memoranda/2008/RM704.pdf | ||||||||||||||||||||||

20 | Wilkes | 1951 | The best way to design an automatic calculating machine | https://www.cs.princeton.edu/courses/archive/fall10/cos375/BestWay.pdf | ||||||||||||||||||||||

21 | Hopper | 1952 | The education of a computer | F | http://ieeexplore.ieee.org.ezp-prod1.hul.harvard.edu/document/4640568/ | |||||||||||||||||||||

22 | Shannon | 1953 | Computers and automata | http://ieeexplore.ieee.org.ezp-prod1.hul.harvard.edu/stamp/stamp.jsp?tp=&arnumber=4051186 | ||||||||||||||||||||||

23 | McCarthy, Minsky, Rochester, Shannon | 1955 | A proposal for the Dartmouth summer institute on artifical intelligence | http://www.aaai.org/ojs/index.php/aimagazine/article/viewFile/1904/1802 | ||||||||||||||||||||||

24 | Bardeen | 1956 | Semiconductor research leading to the point contact transistor | https://www.nobelprize.org/nobel_prizes/physics/laureates/1956/bardeen-lecture.pdf | ||||||||||||||||||||||

25 | Godel | 1956 | Letter to von Neumann | http://www.cs.cmu.edu/~15251/notes/godel-letter.pdf | ||||||||||||||||||||||

26 | Newell and Simon | 1956 | The logic theory machine | http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=1056797 | ||||||||||||||||||||||

27 | Backus et al. | 1957 | The FORTRAN automatic coding system | F (Lois Haibt) | http://archive.computerhistory.org/resources/text/Fortran/102663113.05.01.acc.pdf | |||||||||||||||||||||

28 | Rosenblatt | 1958 | The perceptron: A probabilistic model for information storage and organization in the brain | http://ezp-prod1.hul.harvard.edu/login?url=http://search.ebscohost.com/login.aspx?direct=true&db=pdh&AN=1959-09865-001&site=ehost-live&scope=site | ||||||||||||||||||||||

29 | Rabin and Scott | 1959 | Finite automata and their decision problems | http://www.cse.chalmers.se/~coquand/AUTOMATA/rs.pdf | ||||||||||||||||||||||

30 | Licklider | 1960 | Man-Computer Symbiosis | http://worrydream.com/refs/Licklider%20-%20Man-Computer%20Symbiosis.pdf | ||||||||||||||||||||||

31 | Corbato, Daggett, Daley | 1962 | An experimental time-sharing system | F | http://larch-www.lcs.mit.edu:8001/~corbato/sjcc62/ | |||||||||||||||||||||

32 | Engelbart | 1962 | Augmenting human intellect | http://www.1962paper.org/web.html | ||||||||||||||||||||||

33 | Gale & Shapley | 1962 | College admissions and the stability of marriage | http://cramton.umd.edu/market-design/gale-shapley-college-admissions.pdf | ||||||||||||||||||||||

34 | Hoare | 1962 | Quicksort | https://comjnl.oxfordjournals.org/content/5/1/10.full.pdf | ||||||||||||||||||||||

35 | Kilburn et al. | 1962 | One-level storage system | http://www.chilton-computing.org.uk/acl/pdfs/atlas-1-level.pdf | ||||||||||||||||||||||

36 | Warshall | 1962 | A theorem on boolean matrices | http://bioinfo.ict.ac.cn/~dbu/AlgorithmCourses/Lectures/Warshall1962.pdf | ||||||||||||||||||||||

37 | Hartmanis and Stearns | 1963 | On the computational complexity of algorithms | http://fi.ort.edu.uy/innovaportal/file/20124/1/60-hartmanis_stearns_complexity_of_algorithms.pdf | ||||||||||||||||||||||

38 | Naur | 1963 | Revised report on the algorithmic language ALGOL 60 | http://web.eecs.umich.edu/~bchandra/courses/papers/Naure_Algol60.pdf | ||||||||||||||||||||||

39 | Sutherland | 1963 | Sketchpad, a man-machine communication system | https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-574.pdf | ||||||||||||||||||||||

40 | Amdahl et al. | 1964 | Architecture of the IBM System/360 | http://ieeexplore.ieee.org.ezp-prod1.hul.harvard.edu/stamp/stamp.jsp?tp=&arnumber=5389178 | ||||||||||||||||||||||

41 | Baran | 1964 | On distributed communications | http://www.rand.org/content/dam/rand/pubs/research_memoranda/2006/RM3420.pdf | ||||||||||||||||||||||

42 | Kilby | 1964 | Miniaturized electronic circuits | https://www.google.com/patents/US3138743 | ||||||||||||||||||||||

43 | Edmonds | 1965 | Paths, trees, and flowers | http://math.nist.gov/~JBernal/p_t_f.pdf | ||||||||||||||||||||||

44 | Cooley and Tukey | 1965 | An algorithm for the machine calculation of complex Fourier seris | http://www.ams.org/journals/mcom/1965-19-090/S0025-5718-1965-0178586-1/S0025-5718-1965-0178586-1.pdf | ||||||||||||||||||||||

45 | Knuth | 1965 | On the translation of languages from left to right | https://www.dc.uba.ar/materias/tl/2010/c2/files/Knuth-1965-TranslationofLanguages.pdf | ||||||||||||||||||||||

46 | Moore | 1965 | Cramming more components onto integrated circuits | http://web.eng.fiu.edu/npala/eee6397ex/gordon_moore_1965_article.pdf | ||||||||||||||||||||||

47 | Sutherland | 1965 | The ultimate display | http://worrydream.com/refs/Sutherland%20-%20The%20Ultimate%20Display.pdf | ||||||||||||||||||||||

48 | Wilkes | 1965 | Slave memories and dynamic storage allocation | https://www.cs.princeton.edu/courses/archive/fall10/cos375/WilkesCacheElectronics.pdf | ||||||||||||||||||||||

49 | Forsythe | 1966 | How do you solve a quadratic equation? | http://i.stanford.edu/pub/cstr/reports/cs/tr/66/40/CS-TR-66-40.pdf | ||||||||||||||||||||||

50 | Weizenbaum | 1966 | ELIZA -- A computer program for the study of natural langauage communication between man and machine | http://web.stanford.edu/class/linguist238/p36-weizenabaum.pdf | ||||||||||||||||||||||

51 | Blum | 1967 | A machine-independent theory of the complexity of recursive functions | http://dl.acm.org.ezp-prod1.hul.harvard.edu/citation.cfm?id=321395&CFID=881275590&CFTOKEN=57797048 | ||||||||||||||||||||||

52 | Dijkstra | 1967 | The structure of the "THE" multiprogramming system | http://www.cs.virginia.edu/~zaher/classes/CS656/p341-dijkstra.pdf | ||||||||||||||||||||||

53 | Floyd, R. | 1967 | Assigning meanings to programs | https://classes.soe.ucsc.edu/cmps290g/Fall09/Papers/AssigningMeanings1967.pdf | ||||||||||||||||||||||

54 | Tomasuolo | 1967 | An efficient algorithm for exploiting multiple arithmetic units | http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.129.4915&rep=rep1&type=pdf | ||||||||||||||||||||||

55 | Daley and Dennis | 1968 | Virtual memory, processes, and sharing in MULTICS | http://www.cs.virginia.edu/~zaher/classes/CS656/p306-daley.pdf | ||||||||||||||||||||||

56 | Denning, P. | 1968 | The working set model for program behavior | http://www.liralab.it/teaching/OS/files/p323-denning.pdf | ||||||||||||||||||||||

57 | Dijkstra | 1968 | Go To Statement considered harmful | http://homepages.cwi.nl/~storm/teaching/reader/Dijkstra68.pdf | ||||||||||||||||||||||

58 | Englebart | 1968 | FJCC "The mother of all demos" | http://web.stanford.edu/dept/SUL/library/extra4/sloan/mousesite/1968Demo | ||||||||||||||||||||||

59 | Myer & Sutherland | 1968 | On the design of display processors | http://cva.stanford.edu/classes/cs99s/papers/myer-sutherland-design-of-display-processors.pdf | ||||||||||||||||||||||

60 | Hoare | 1969 | An axiomatic basis for computer programming | https://www.cs.cmu.edu/~crary/819-f09/Hoare69.pdf | ||||||||||||||||||||||

61 | Strassen | 1969 | Gaussian Elimination is not Optimal | http://dl.acm.org/citation.cfm?id=2722798 | ||||||||||||||||||||||

62 | Codd | 1970 | A reltional model for large shared data banks | https://www.seas.upenn.edu/~zives/03f/cis550/codd.pdf | ||||||||||||||||||||||

63 | Earley | 1970 | An efficient context-free parsing algorithm | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.138.1808&rank=1 | ||||||||||||||||||||||

64 | Engelbart | 1970 | Intellectual implications of multi-access computer networks | http://www.dougengelbart.org/pubs/augment-5255.html | ||||||||||||||||||||||

65 | Licklider and Taylor | 1970 | The computer as a communication device | http://memex.org/licklider.pdf | ||||||||||||||||||||||

66 | McCarthy | 1970 | The home information terminal | http://www-formal.stanford.edu/jmc/hoter2.pdf | ||||||||||||||||||||||

67 | Scott | 1970 | Outline of a mathematical theory of computation | https://www.cs.ox.ac.uk/files/3222/PRG02.pdf | ||||||||||||||||||||||

68 | Cook | 1971 | The complexity of theorem-proving procedures | https://www.cs.toronto.edu/~sacook/homepage/1971.pdf | ||||||||||||||||||||||

69 | Scott and Strachey | 1971 | Toward a mathematical semantics of programming languages | https://www.cs.ox.ac.uk/files/3228/PRG06.pdf | ||||||||||||||||||||||

70 | Bayer and McCreight | 1972 | Organization and maintenance of large ordered indexes | http://www.minet.uni-jena.de/dbis/lehre/ws2005/dbs1/Bayer_hist.pdf | ||||||||||||||||||||||

71 | Brand | 1972 | SPACEWAR: Fanatic life and symbolic death among the computer bums | http://www.wheels.org/spacewar/stone/rolling_stone.html | ||||||||||||||||||||||

72 | Codd | 1972 | Relational completeness of data base sublanguages | http://www.geology.cz/personal/j/jan.sedlacek/codd2.pdf | ||||||||||||||||||||||

73 | Karp | 1972 | Reducibility among combinatorial problems | http://cgi.di.uoa.gr/~sgk/teaching/grad/handouts/karp.pdf | ||||||||||||||||||||||

74 | Kay | 1972 | A personal computer for children of all ages | http://mprove.de/diplom/gui/kay72.html | ||||||||||||||||||||||

75 | SpÃ¤rck Jones | 1972 | A statistical interpretation of term specificity and its application in retrieval | F | https://ai2-s2-pdfs.s3.amazonaws.com/4f09/e6ec1b7d4390d23881852fd7240994abeb58.pdf | |||||||||||||||||||||

76 | Blum, Floyd, Pratt, Rivest, Tarjan | 1973 | Time bounds for selection | https://people.csail.mit.edu/rivest/pubs/BFPRT73.pdf | ||||||||||||||||||||||

77 | Levin | 1973 | Universal search problems | https://rjlipton.wordpress.com/2011/03/14/levins-great-discoveries/ | ||||||||||||||||||||||

78 | Catmull | 1974 | A subdivision algorithm for display of curved surfaces | http://static1.1.sqspcdn.com/static/f/552576/6419248/1270507173137/catmull_thesis.pdf?token=HytCG9faeSevSXpD01dUP2bsvoU%3D | ||||||||||||||||||||||

79 | Cerf and Kahn | 1974 | A protocol for packet network intercommunication | https://www.cs.princeton.edu/courses/archive/fall06/cos561/papers/cerf74.pdf | ||||||||||||||||||||||

80 | Liskov and Zilles | 1974 | Programming with abstract data types | F | http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.136.3043&rep=rep1&type=pdf | |||||||||||||||||||||

81 | Ritchie and Thompson | 1974 | The UNIX time-sharing system | https://people.eecs.berkeley.edu/~brewer/cs262/unix.pdf | ||||||||||||||||||||||

82 | Brooks | 1975 | The Mythical Man-Month | https://archive.org/details/mythicalmanmonth00fred | ||||||||||||||||||||||

83 | DoD | 1975 | Strawman requirements | http://www.iment.com/maida/computer/requirements/strawman.htm | ||||||||||||||||||||||

84 | Gray, Lorie, Putzolu | 1975 | Granularity of locks in a shared data base | http://pages.cs.wisc.edu/~nil/764/Trans/13_P428.pdf | ||||||||||||||||||||||

85 | Salton, Wong, Yang | 1975 | A vector space model for automatic indexing | http://dl.acm.org.ezp-prod1.hul.harvard.edu/citation.cfm?id=361220&CFID=877975772&CFTOKEN=67457347 | ||||||||||||||||||||||

86 | Allen and Cocke | 1976 | A program data flow analysis procedure | F | http://dl.acm.org.ezp-prod1.hul.harvard.edu/citation.cfm?id=360025&CFID=715263129&CFTOKEN=57524138 | |||||||||||||||||||||

87 | Denning, D. | 1976 | A lattice model of secure information flow | F | https://pdfs.semanticscholar.org/5f2b/22b77559ddb4f3734459d1ff66c58d22df12.pdf | |||||||||||||||||||||

88 | Diffie&Hellman | 1976 | New Directions in Cryptography | https://www-ee.stanford.edu/~hellman/publications/24.pdf | ||||||||||||||||||||||

89 | Metcalfe and Boggs | 1976 | Ethernet: Distributed Packet switching for local computer networks | http://www.cs.cmu.edu/~srini/15-744/papers/MB76.pdf | ||||||||||||||||||||||

90 | Kay and Goldberg | 1977 | Personal dynamic media | http://www.newmediareader.com/book_samples/nmr-26-kay.pdf | ||||||||||||||||||||||

91 | Liskov et al. | 1977 | Abstraction mechanisms in CLU | F | https://www.cs.virginia.edu/~weimer/615/reading/liskov-clu-abstraction.pdf | |||||||||||||||||||||

92 | Milner | 1977 | A theory of type polymorphism in programming | http://ac.els-cdn.com.ezp-prod1.hul.harvard.edu/0022000078900144/1-s2.0-0022000078900144-main.pdf?_tid=c72262be-b36d-11e6-bfcb-00000aacb35e&acdnat=1480119655_4e40fb11aebc22bb1a1654bb2034060e | ||||||||||||||||||||||

93 | Newell and Blinn | 1977 | The progression of realism in computer generated images | https://pdfs.semanticscholar.org/a1fb/09ff51242a245572c6247d17ee93afa7e3da.pdf | ||||||||||||||||||||||

94 | Aho Kernighan and Weinberger | 1978 | Awk â€” A Pattern Scanning and Processing Language | http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.31.1299&rep=rep1&type=pdf | ||||||||||||||||||||||

95 | Lamport | 1978 | Time, clocks, and the ordering of events in a distributed system | http://amturing.acm.org/p558-lamport.pdf | ||||||||||||||||||||||

96 | Hoare | 1978 | Communicating sequential processes | http://dl.acm.org.ezp-prod1.hul.harvard.edu/citation.cfm?id=359576&CFID=926343961&CFTOKEN=21791095 | ||||||||||||||||||||||

97 | Rivest, Shamir, Adleman | 1978 | A method for obtaining digital signatures and public-key cryptosystems | http://people.csail.mit.edu/rivest/Rsapaper.pdf | ||||||||||||||||||||||

98 | Russell | 1978 | The Cray-1 computer system | https://www.cs.auckland.ac.nz/courses/compsci703s1c/archive/2008/resources/Russell.pdf | ||||||||||||||||||||||

99 | Carter and Wegman | 1979 | Universal classes of hash functions | https://www.cs.princeton.edu/courses/archive/fall09/cos521/Handouts/universalclasses.pdf | ||||||||||||||||||||||

100 | Demillo, Lipton, Perlis | 1979 | Social processes and proofs of theorems and programs | https://www.cs.umd.edu/~gasarch/BLOGPAPERS/social.pdf |

Loading...